polynomial
11257 papers tagged with this keyword
Computing the minimum rank of a loop directed tree
The minimum rank of a graph is the minimum possible rank of a real matrix whose zero-nonzero pattern is described by the graph. The current algorithms can compute efficiently the minimum rank of undirected trees. This paper provides an algorithm to compute in polynomial time the minimum rank of directed trees allowing loops.
Counting Group Valued Graph Colorings
There are many variations on partition functions for graph homomorphisms or colorings. The case considered here is a counting or hard constraint problem in which the range or color graph carries a free and vertex transitive Abelian group action so that the colors are identified with the elements of this group. A Fourier transform is used to obtain an expansion for the numbers of colorings with terms indexed by isthmus free subgraphs of the domain. The terms are products of a polynomial in the edge density a of the color graph and the number of colorings of the indexing subgraph of the domain into the complementary color graph. The polynomial in a is independent of the color group and the term has order (1-a) to the r where r is the number of vertices minus the number of components in the indexing subgraph. Thus if (1-a) is small there is a main term indexed by the empty subgraph which is a polynomial in a and the first dependence on the coloring group occurs in the lowest order corrections which are indexed by the shortest cycles in the graph and are of order (1-a) to the g-1 where g is the length of these shortest cycles. The main theorem is stated as a reciprocity law. Examples are given in which the coloring groups are long cycles and products of short cycles and adjacent vertices are required to have distant rather than distinct colors. The chromatic polynomial of a graph corresponds to using any group and taking the allowed set to be the complement of the identity.
New Lower Bounds for Matching Vector Codes
Published
• View Publication
• BIB
A Matching Vector (MV) family modulo $m$ is a pair of ordered lists $U=(u_1,...,u_t)$ and $V=(v_1,...,v_t)$ where $u_i,v_j \in \mathbb{Z}_m^n$ with the following inner product pattern: for any $i$, $< u_i,v_i>=0$, and for any $i \ne j$, $< u_i,v_j> \ne 0$. A MV family is called $q$-restricted if inner products $< u_i,v_j>$ take at most $q$ different values.
Our interest in MV families stems from their recent application in the construction of sub-exponential locally decodable codes (LDCs). There, $q$-restricted MV families are used to construct LDCs with $q$ queries, and there is special interest in the regime where $q$ is constant. When $m$ is a prime it is known that such constructions yield codes with exponential block length. However, for composite $m$ the behaviour is dramatically different. A recent work by Efremenko [STOC 2009] (based on an approach initiated by Yekhanin [JACM 2008]) gives the first sub-exponential LDC with constant queries. It is based on a construction of a MV family of super-polynomial size by Grolmusz [Combinatorica 2000] modulo composite $m$.
In this work, we prove two lower bounds on the block length of LDCs which are based on black box construction using MV families. When $q$ is constant (or sufficiently small), we prove that such LDCs must have a quadratic block length. When the modulus $m$ is constant (as it is in the construction of Efremenko) we prove a super-polynomial lower bound on the block-length of the LDCs, assuming a well-known conjecture in additive combinatorics, the polynomial Freiman-Ruzsa conjecture over $\mathbb{Z}_m$.
Benjamini--Schramm continuity of root moments of graph polynomials
Published in European J. Combin. 52 (2016), part B, 302--320
• Search Publication
Recently, M.\ Abért and T.\ Hubai studied the following problem. The chromatic measure of a finite simple graph is defined to be the uniform distribution on its chromatic roots. Abért and Hubai proved that for a Benjamini-Schramm convergent sequence of finite graphs, the chromatic measures converge in holomorphic moments. They also showed that the normalized log of the chromatic polynomial converges to a harmonic real function outside a bounded disc.
In this paper we generalize their work to a wide class of graph polynomials, namely, multiplicative graph polynomials of bounded exponential type. A special case of our results is that for any fixed complex number $v_0$ the measures arising from the Tutte polynomial $Z_{G_n}(z,v_0)$ converge in holomorphic moments if the sequence $(G_n)$ of finite graphs is Benjamini--Schramm convergent. This answers a question of Abért and Hubai in the affirmative. Even in the original case of the chromatic polynomial, our proof is considerably simpler.
Lattice multi-polygons
Published in Kyoto J. Math. 57, no. 4 (2017), 807-828
• View Publication
• BIB
We discuss generalizations of some results on lattice polygons to certain piecewise linear loops which may have a self-intersection but have vertices in the lattice $\mathbb{Z}^2$. We first prove a formula on the rotation number of a unimodular sequence in $\mathbb{Z}^2$. This formula implies the generalized twelve-point theorem in [12]. We then introduce the notion of lattice multi-polygons which is a generalization of lattice polygons, state the generalized Pick's formula and discuss the classification of Ehrhart polynomials of lattice multi-polygons and also of several natural subfamilies of lattice multi-polygons.
Two new triangles of $q$-integers via $q$-Eulerian polynomials of type $A$ and $B$
Published
• View Publication
• BIB
The classical Eulerian polynomials can be expanded in the basis $t^{k-1}(1+t)^{n+1-2k}$ ($1\leq k\leq\lfloor (n+1)/2\rfloor$) with positive integral coefficients. This formula implies both the symmetry and the unimodality of the Eulerian polynomials. In this paper, we prove a $q$-analogue of this expansion for Carlitz's $q$-Eulerian polynomials as well as a similar formula for Chow-Gessel's $q$-Eulerian polynomials of type $B$. We shall give some applications of these two formulae, which involve two new sequences of polynomials in the variable $q$ with positive integral coefficients. An open problem is to give a combinatorial interpretation for these polynomials.
Combinatorics of asymptotic representation theory
Published in European Congress of Mathematics, Kraków, 2--7 July, 2012, pp: 531-545, European Mathematical Society Publishing House
• View Publication
• BIB
The representation theory of the symmetric groups S_n is intimately related to combinatorics: combinatorial objects such as Young tableaux and combinatorial algorithms such as Murnaghan-Nakayama rule. In the limit as n tends to infinity, the structure of these combinatorial objects and algorithms becomes complicated and it is hard to extract from them some meaningful answers to asymptotic questions. In order to overcome these difficulties, a kind of dual combinatorics of the representation theory of the symmetric groups was initiated in 1990s. We will concentrate on one of its highlights: Kerov polynomials which express characters in terms of, so called, free cumulants.
A relationship between two graphical models of the Kauffman polynomial
There are two oriented 4-valent graphical models for the Kauffman polynomial: one (HJ) is obtained by combining Jaeger's formula and Kauffman-Vogel model for the Homflypt polynomial; the other (WF) is obtained by combining Kauffman-Vogel model for the Kauffman polynomial and Wu's formula. The main goal of this paper is to explore the relationship between the two models. We find that there is an one-to-many correspondence between the terms of HJ model and the terms of WF model. In addition, we investigate the relation between trivalent graphical models and 4-valent graphical models of both the Homflypt and Kauffman polynomials, and observe that there is a bijection between the terms of the two models.
Novel Distance Measures for Vote Aggregation
We consider the problem of rank aggregation based on new distance measures derived through axiomatic approaches and based on score-based methods. In the first scenario, we derive novel distance measures that allow for discriminating between the ranking process of highest and lowest ranked elements in the list. These distance functions represent weighted versions of Kendall's tau measure and may be computed efficiently in polynomial time. Furthermore, we describe how such axiomatic approaches may be extended to the study of score-based aggregation and present the first analysis of distributed vote aggregation over networks.
Ribbon graphs and the Temperley-Lieb Algebra
Published
• View Publication
• BIB
Let $n$ be a nonnegative integer, we use ribbon $n-$graph diagrams and the Yamada polynomial skein relations to construct an algebra ${\mathcal Y}_n$ which is shown to be closely related to the Temerley-Lieb Algebra. We prove that the algebra ${\mathcal Y}_2$ is isomorphic to some quotient of a three variables polynomial algebra. Then, we give a family of generators for the algebra ${\mathcal Y}_3$.
Circular law for random discrete matrices of given row sum
Published
• View Publication
• BIB
Let $M_n$ be a random matrix of size $n\times n$ and let $λ_1,...,λ_n$ be the eigenvalues of $M_n$. The empirical spectral distribution $μ_{M_n}$ of $M_n$ is defined as $$μ_{M_n}(s,t)=\frac{1}{n}# \{k\le n, \Re(λ_k)\le s; \Im(λ_k)\le t\}.$$
The circular law theorem in random matrix theory asserts that if the entries of $M_n$ are i.i.d. copies of a random variable with mean zero and variance $σ^2$, then the empirical spectral distribution of the normalized matrix $\frac{1}{σ\sqrt{n}}M_n$ of $M_n$ converges almost surely to the uniform distribution $μ_\cir$ over the unit disk as $n$ tends to infinity.
In this paper we show that the empirical spectral distribution of the normalized matrix of $M_n$, a random matrix whose rows are independent random $(-1,1)$ vectors of given row-sum $s$ with some fixed integer $s$ satisfying $|s|\le (1-o(1))n$, also obeys the circular law. The key ingredient is a new polynomial estimate on the least singular value of $M_n$.
Characteristic polynomials, related to the normal form of the non linear Schrödinger equation
We study the irreducibility of the characteristic polynomial of the energy graph of the non linear Schrödinger equation (NLS). This will be useful to the verification of the second Melnikov condition for NLS.
On Bivariate s-Fibopolynomials
In this article we study a generalization of Fibonomials, replacing the Fibonacci sequences by bivariate s-Fibonacci polynomial sequences. We call the obtained objects "Bivariate s-Fibopolynomials".
On the scaling limit of finite vertex transitive graphs with large diameter
Published
• View Publication
• BIB
Let $(X_n)$ be an unbounded sequence of finite, connected, vertex transitive graphs such that $ |X_n | = o(diam(X_n)^q)$ for some $q>0$. We show that up to taking a subsequence, and after rescaling by the diameter, the sequence $(X_n)$ converges in the Gromov Hausdorff distance to a torus of dimension $<q$, equipped with some invariant Finsler metric. The proof relies on a recent quantitative version of Gromov's theorem on groups with polynomial growth obtained by Breuillard, Green and Tao. If $X_n$ is only roughly transitive and $|X_n| = o\bigl({diam(X_n)^δ}\bigr)$ for $δ> 1$ sufficiently small, we prove, this time by elementary means, that $(X_n)$ converges to a circle.
Exact Sequences for the Homology of the Matching Complex
Published in J. Combin. Theory Ser. A 115 (2008) 1504-1526
• View Publication
• BIB
Building on work by Bouc and by Shareshian and Wachs, we provide a toolbox of long exact sequences for the reduced simplicial homology of the matching complex $M_n$, which is the simplicial complex of matchings in the complete graph $K_n$. Combining these sequences in different ways, we prove several results about the 3-torsion part of the homology of $M_n$. First, we demonstrate that there is nonvanishing 3-torsion in $H_d(M_n;Z)$ whenever $ν_n \le d \le (n-6}/2$, where $ν_n= \lceil (n-4)/3 \rceil$. By results due to Bouc and to Shareshian and Wachs, $H_{ν_n}(M_n;Z)$ is a nontrivial elementary 3-group for almost all $n$ and the bottom nonvanishing homology group of $M_n$ for all $n \neq 2$. Second, we prove that $H_d(M_n;Z)$ is a nontrivial 3-group whenever $ν_n \le d \le (2n-9)/5$. Third, for each $k \ge 0$, we show that there is a polynomial $f_k(r)$ of degree 3k such that the dimension of $H_{k-1+r}(M_{2k+1+3r};Z_3)$, viewed as a vector space over $Z_3$, is at most $f_k(r)$ for all $r \ge k+2$.
On the 3-torsion Part of the Homology of the Chessboard Complex
Published in Ann. Combin. 14 (2010), no. 4, 487-505
• Search Publication
Let $1 \le m \le n$. We prove various results about the chessboard complex $M_{m,n}$, which is the simplicial complex of matchings in the complete bipartite graph $K_{m,n}$. First, we demonstrate that there is nonvanishing 3-torsion in $H_d(M_{m,n};Z)$ whenever $\frac{m+n-4}{3} \le d \le m-4$ and whenever $6 \le m < n$ and $d=m-3$. Combining this result with theorems due to Friedman and Hanlon and to Shareshian and Wachs, we characterize all triples $(m,n,d)$ satisfying $H_{d}(M_{m,n};Z) \neq 0$. Second, for each $k \ge 0$, we show that there is a polynomial $f_k(a,b)$ of degree 3k such that the dimension of $H_{k+a+2b-2}(M_{k+a+3b-1,k+2a+3b-1};Z_3)$, viewed as a vector space over $Z_3$, is at most $f_k(a,b)$ for all $a \ge 0$ and $b \ge k+2$. Third, we give a computer-free proof that $H_2(M_{5,5};Z) \cong Z_3$. Several proofs are based on a new long exact sequence relating the homology of a certain subcomplex of $M_{m,n}$ to the homology of $M_{m-2,n-1}$ and $M_{m-2,n-3}$.
Counting matrices over finite fields with support on skew Young diagrams and complements of Rothe diagrams
Published in J. Algebraic Combinatorics 39 #2 (2014), pp. 429-456
• View Publication
• BIB
We consider the problem of finding the number of matrices over a finite field with a certain rank and with support that avoids a subset of the entries. These matrices are a q-analogue of permutations with restricted positions (i.e., rook placements). For general sets of entries these numbers of matrices are not polynomials in q (Stembridge 98); however, when the set of entries is a Young diagram, the numbers, up to a power of q-1, are polynomials with nonnegative coefficients (Haglund 98).
In this paper, we give a number of conditions under which these numbers are polynomials in q, or even polynomials with nonnegative integer coefficients. We extend Haglund's result to complements of skew Young diagrams, and we apply this result to the case when the set of entries is the Rothe diagram of a permutation. In particular, we give a necessary and sufficient condition on the permutation for its Rothe diagram to be the complement of a skew Young diagram up to rearrangement of rows and columns. We end by giving conjectures connecting invertible matrices whose support avoids a Rothe diagram and Poincaré polynomials of the strong Bruhat order.
Developments from Programming the Partition Method for a Power Series Expansion
Published
• View Publication
• BIB
Recently, a novel method based on coding partitions [1]-[4] has been used to derive power series expansions to previously intractable problems. In this method the coefficients at $k$ are determined by summing the contributions made by each partition whose elements sum to $k$. These contributions are found by assigning values to each element and multiplying by an appropriate multinomial factor. This work presents a theoretical framework for the partition method for a power series expansion. To overcome the complexity due to the contributions, a programming methodology is created allowing more general problems to be studied than envisaged originally. The methodology uses the bi-variate recursive central partition (BRCP) algorithm, which is based on a tree-diagram approach to scanning partitions. Its main advantage is that partitions are generated in the multiplicity representation. During the development of the theoretical framework, scanning over partitions was seen as a discrete operation with an operator $L_{P,k}[ \cdot]$, whose summand depends on the coefficients of the two series when the original function is written as a pseudo-composite function. Simple modifications result in programs for other operators of specific types of partitions such as: (1) only odd or even elements, (2) a fixed number of elements, (3) discrete elements, (4) specific elements and (5) those restricted by element size. Another modification generates conjugate partitions by transposing Ferrers diagrams. The operator approach is then applied to the generating functions for both discrete and standard partitions. The main generalisation introduces a parameter $ω$, whose powers give the number of elements in the partitions while the coefficients become polynomials in $ω$. Finally, power series expansions for more advanced infinite products are derived, culminating in Heine's multi-parameter product.
Arc-Disjoint Paths and Trees in 2-Regular Digraphs
Published
• View Publication
• BIB
An out-(in-)branching B_s^+ (B_s^-) rooted at s in a digraph D is a connected spanning subdigraph of D in which every vertex x != s has precisely one arc entering (leaving) it and s has no arcs entering (leaving) it. We settle the complexity of the following two problems:
1) Given a 2-regular digraph $D$, decide if it contains two arc-disjoint branchings B^+_u, B^-_v.
2) Given a 2-regular digraph D, decide if it contains an out-branching B^+_u such that D remains connected after removing the arcs of B^+_u.
Both problems are NP-complete for general digraphs. We prove that the first problem remains NP-complete for 2-regular digraphs, whereas the second problem turns out to be polynomial when we do not prescribe the root in advance. We also prove that, for 2-regular digraphs, the latter problem is in fact equivalent to deciding if $D$ contains two arc-disjoint out-branchings. We generalize this result to k-regular digraphs where we want to find a number of pairwise arc-disjoint spanning trees and out-branchings such that there are k in total, again without prescribing any roots.
Raising operators and the Littlewood-Richardson polynomials
We use Young's raising operators to derive a Pieri rule for the ring generated by the indeterminates $h_{r,s}$ given in Macdonald's 9th Variation of the Schur functions. Under an appropriate specialisation of $h_{r,s}$, we derive the Pieri rule for the ring $\La(a)$ of double symmetric functions, which has a basis consisting of the double Schur functions. Together with a suitable interpretation of the Jacobi--Trudi identity, our Pieri rule allows us to obtain a new proof of a rule to calculate the Littlewood--Richardson polynomials, which gives a multiplication rule for the double Schur functions.