polynomial
11257 papers tagged with this keyword
Polynomial properties on large symmetric association schemes
Published
• View Publication
• BIB
In this paper we characterize "large" regular graphs using certain entries in the projection matrices onto the eigenspaces of the graph. As a corollary of this result, we show that "large" association schemes become $P$-polynomial association schemes. Our results are summarized as follows. Let $G=(V,E)$ be a connected $k$-regular graph with $d+1$ distinct eigenvalues $k=θ_0>θ_1>\cdots>θ_d$. Since the diameter of $G$ is at most $d$, we have the Moore bound \[ |V| \leq M(k,d)=1+k \sum_{i=0}^{d-1}(k-1)^i. \] Note that if $|V|> M(k,d-1)$ holds, the diameter of $G$ is equal to $d$. Let $E_i$ be the orthogonal projection matrix onto the eigenspace corresponding to $θ_i$. Let $\partial(u,v)$ be the path distance of $u,v \in V$.
Theorem. Assume $|V|> M(k,d-1)$ holds. Then for $x,y \in V$ with $\partial(x,y)=d$, the $(x,y)$-entry of $E_i$ is equal to \[ -\frac{1}{|V|}\prod_{j=1,2,\ldots,d, j \ne i} \frac{θ_0-θ_j}{θ_i-θ_j}. \] If a symmetric association scheme $\mathfrak{X}=(X,\{R_i\}_{i=0}^d)$ has a relation $R_i$ such that the graph $(X,R_i)$ satisfies the above condition, then $\mathfrak{X}$ is $P$-polynomial. Moreover we show the "dual" version of this theorem for spherical sets and $Q$-polynomial association schemes.
A product formula for multivariate Rogers-Szegö polynomials
Published
• View Publication
• BIB
Let $H_n(t)$ denote the classical Rogers-Szegö polynomial, and let $\tH_n(t_1, \ldots, t_l)$ denote the homogeneous Rogers-Szegö polynomial in $l$ variables, with indeterminate $q$. There is a classical product formula for $H_k(t)H_n(t)$ as a sum of Rogers-Szegö polynomials with coefficients being polynomials in $q$. We generalize this to a product formula for the multivariate homogeneous polynomials $\tH_n(t_1, \ldots, t_l)$. The coefficients given in the product formula are polynomials in $q$ which are defined recursively, and we find closed formulas for several interesting cases. We then reinterpret the product formula in terms of symmetric function theory, where these coefficients become structure constants.
Charge on tableaux and the poset of k-shapes
Published
• View Publication
• BIB
A poset on a certain class of partitions known as k-shapes was recently introduced to provide a combinatorial rule for the expansion of a (k-1)-Schur functions into k-Schur functions at t=1. The main ingredient in this construction was a bijection, which we call the weak bijection, that associates to a k-tableau a pair made out of a (k-1)-tableau and a path in the poset of k-shapes. We define here a concept of charge on k-tableaux (which conjecturally gives a combinatorial interpretation for the expansion coefficients of Hall-Littlewood polynomials into k-Schur functions), and show that it is compatible in the standard case with the weak bijection. In particular, we obtain that the usual charge of a standard tableau of size n is equal to the sum of the charges of its corresponding paths in the poset of k-shapes, for k=2,3...n.
On the reduction of the CSP dichotomy conjecture to digraphs
It is well known that the constraint satisfaction problem over general relational structures can be reduced in polynomial time to digraphs. We present a simple variant of such a reduction and use it to show that the algebraic dichotomy conjecture is equivalent to its restriction to digraphs and that the polynomial reduction can be made in logspace. We also show that our reduction preserves the bounded width property, i.e., solvability by local consistency methods. We discuss further algorithmic properties that are preserved and related open problems.
The complexity of generalized domino tilings
Published
• View Publication
• BIB
Tiling planar regions with dominoes is a classical problem in which the decision and counting problems are polynomial. We prove a variety of hardness results (both NP- and #P-completeness) for different generalizations of dominoes in three and higher dimensions.
Symmetries of statistics on lattice paths between two boundaries
Published in Adv. Math. 287 (2016), 347-388
• View Publication
• BIB
We prove that on the set of lattice paths with steps N=(0,1) and E=(1,0) that lie between two fixed boundaries T and B (which are themselves lattice paths), the statistics `number of E steps shared with B' and `number of E steps shared with T' have a symmetric joint distribution. To do so, we give an involution that switches these statistics, preserves additional parameters, and generalizes to paths that contain steps S=(0,-1) at prescribed x-coordinates. We also show that a similar equidistribution result for path statistics follows from the fact that the Tutte polynomial of a matroid is independent of the order of its ground set. We extend the two theorems to k-tuples of paths between two boundaries, and we give some applications to Dyck paths, generalizing a result of Deutsch, to watermelon configurations, to pattern-avoiding permutations, and to the generalized Tamari lattice. Finally, we prove a conjecture of Nicolás about the distribution of degrees of k consecutive vertices in k-triangulations of a convex n-gon. To achieve this goal, we provide a new statistic-preserving bijection between certain k-tuples of non-crossing paths and k-flagged semistandard Young tableaux, which is based on local moves reminiscent of jeu de taquin.
Relation spaces of hyperplane arrangements and modules defined by graphs of fiber zonotopes
Published in Israel Journal of Mathematics 201 (2014) 901-947
• View Publication
• BIB
We study the exactness of certain combinatorially defined complexes which generalize the Orlik-Solomon algebra of a geometric lattice. The main results pertain to complex reflection arrangements and their restrictions. In particular, we consider the corresponding relation complexes and give a simple proof of the $n$-formality of these hyperplane arrangements. As an application, we are able to bound the Castelnouvo-Mumford regularity of certain modules over polynomial rings associated to Coxeter arrangements (real reflection arrangements) and their restrictions. The modules in question are defined using the relation complex of the Coxeter arrangement and fiber polytopes of the dual Coxeter zonotope. They generalize the algebra of piecewise polynomial functions on the original arrangement.
Strong Products of Hypergraphs: Unique Prime Factorization Theorems and Algorithms
Published
• View Publication
• BIB
It is well-known that all finite connected graphs have a unique prime factor decomposition (PFD) with respect to the strong graph product which can be computed in polynomial time. Essential for the PFD computation is the construction of the so-called Cartesian skeleton of the graphs under investigation.
In this contribution, we show that every connected thin hypergraph H has a unique prime factorization with respect to the normal and strong (hypergraph) product. Both products coincide with the usual strong graph product whenever H is a graph. We introduce the notion of the Cartesian skeleton of hypergraphs as a natural generalization of the Cartesian skeleton of graphs and prove that it is uniquely defined for thin hypergraphs. Moreover, we show that the Cartesian skeleton of hypergraphs can be determined in O(|E|^2) time and that the PFD can be computed in O(|V|^2|E|) time, for hypergraphs H = (V,E) with bounded degree and bounded rank.
Skew Hadamard Difference Sets from Dickson Polynomials of Order 7
Published
• View Publication
• BIB
Skew Hadamard difference sets are an interesting topic of study for over seventy years. For a long time, it had been conjectured the classical Paley difference sets (the set of nonzero quadratic residues in $\mathbb{F}_q$ where $q \equiv 3 \bmod{4}$) were the only example in abelian groups. In 2006, the first author and Yuan disproved this conjecture by showing that the image set of $\mathcal{D}_5(x^2,u)$ is a new skew Hadamard difference set in $(\mathbb{F}_{3^m},+)$ with $m$ odd, where $\mathcal{D}_n(x,u)$ denotes the first kind of Dickson polynomials of order $n$ and $u \in \mathbb{F}_q^*$. The key observation in the proof is that $\mathcal{D}_5(x^2,u)$ is a planar function from $\mathbb{F}_{3^m}$ to $\mathbb{F}_{3^m}$ for $m$ odd. Since then a few families of new skew Hadamard difference sets have been discovered. In this paper, we prove that for all $u \in \mathbb{F}_{3^m}^*$, the set $D_u := \{\mathcal{D}_7(x^2,u) : x \in \mathbb{F}_{3^m}^* \}$ is a skew Hadamard difference set in $(\mathbb{F}_{3^m}, +)$, where $m$ is odd and $m \not \equiv 0 \pmod{3}$. The proof is more complicated and different from that of Ding-Yuan skew Hadamard difference sets since $\mathcal{D}_7(x^2,u)$ is not planar in $\mathbb{F}_{3^m}$. Furthermore, we show that such skew Hadamard difference sets are inequivalent to all existing ones for $m = 5, 7$ by comparing the triple intersection numbers.
Schur function identities arising from the basic representation of $A^{(2)}_{2}$
Published
• View Publication
• BIB
A Lie theoretic interpretation is given for some formulas of Schur functions and Schur $Q$-functions. Two realizations of the basic representation of the Lie algebra $A^{(2)}_2$ are considered; one is on the fermionic Fock space and the other is on the bosonic polynomial space. Via the boson-fermion correspondence, simple relations of the vacuum expectation values of fermions turn out to be algebraic relations of Schur functions.
Computing the autotopy group of a Latin square by cycle structure
Published in Discrete Mathematics. 331, 74--82 (2014)
• View Publication
• BIB
An algorithm that uses the cycle structure of the rows, or the columns, of a Latin square to compute its autotopy group is introduced. As a result, a bound for the size of the autotopy group is obtained. This bound is used to show that the computation time for the autotopy group of Latin squares that have two rows or two columns that map from one to the other by a permutation which decomposes into a bounded number of disjoint cycles, is polynomial in the order $n$.
The compositional inverse of a class of linearized permutation polynomials over $\mathbb{F}_{2^n}$, $n$ odd
Published
• View Publication
• BIB
In this paper, the compositional inverses of a class of linearized permutation polynomials of the form $P(x)=x+x^2+\tr(\frac{x}{a})$ over the finite field $\mathbb{F}_{2^n}$ for an odd positive integer $n$ are explicitly determined.
Domination Polynomials of Graph Products
The domination polynomials of binary graph operations, aside from union, join and corona, have not been widely studied. We compute and prove recurrence formulae and properties of the domination polynomials of families of graphs obtained by various products, ranging from explicit formulae and recurrences for specific families to more general results. As an application, we show the domination polynomial is computationally hard to evaluate.
Enumerations of lozenge tilings, lattice paths, and perfect matchings and the weak Lefschetz property
MacMahon enumerated the plane partitions in an $a \times b \times c$ box. These are in bijection to lozenge tilings of a hexagon, to certain perfect matchings, and to families of non-intersecting lattice paths. In this work we consider more general regions, called triangular regions, and establish signed versions of the latter three bijections. Indeed, we use perfect matchings and families of non-intersecting lattice paths to define two signs of a lozenge tiling. A combinatorial argument involving a new method, called resolution of a puncture, then shows that the signs are in fact equivalent. This provides in particular two different determinantal enumerations of these families. These results are then applied to study the weak Lefschetz property of Artinian quotients by monomial ideals of a three-dimensional polynomial ring. We establish sufficient conditions guaranteeing the weak Lefschetz property as well as the semistability of the syzygy bundle of the ideal, classify the type two algebras with the weak Lefschetz property, and study monomial almost complete intersections in depth. Furthermore, we develop a general method that often associates to an algebra that fails the weak Lefschetz property a toric surface that satisfies a Laplace equation. We also present examples of toric varieties that satisfy arbitrarily many Laplace equations. Our combinatorial methods allow us to address the dependence on the characteristic of the base field for many of our results.
Maximum-Bandwidth Node-Disjoint Paths
Published in International Journal of Advanced Computer Science and Applications - IJACSA, Volume 3, Issue 3, March 2012, pp 48-56
• Search Publication
This paper presents a new method for finding the node-disjoint paths with maximum combined bandwidth in communication networks. This problem is an NP-complete problem which can be optimally solved in exponential time using integer linear programming (ILP). The presented method uses a maximum-cost variant of Dijkstra algorithm and a virtual-node representation to obtain the maximum-bandwidth node-disjoint path. Through several simulations, we compare the performance of our method to a modern heuristic technique and to the ILP solution. We show that, in a polynomial execution time, our proposed method produces results that are almost identical to ILP in a significantly lower execution time.
Special polynomials related to the supersymmetric eight-vertex model. I. Behaviour at cusps
We study certain symmetric polynomials, which as very special cases include polynomials related to the supersymmetric eight-vertex model, and other elliptic lattice models with $Δ=\pm 1/2$. In this paper, which is the first part of a series, we study the behaviour of the polynomials at special parameter values, which can be identified with cusps of the modular group $Γ_0(12)$. In subsequent papers, we will show that the polynomials satisfy a non-stationary Schrödinger equation related to the Knizhnik--Zamolodchikov--Bernard equation and that they give a four-dimensional lattice of tau functions of Painlevé VI.
Diagrams of affine permutations, balanced labellings, and symmetric functions
We generalize the work of Fomin, Greene, Reiner, and Shimozono on balanced labellings in two directions: (1) we define the diagrams of affine permutations and the balanced labellings on them; (2) we define the set-valued version of the balanced labellings. We show that the column-strict balanced labellings on the diagram of an affine permutation yield the affine Stanley symmetric function defined by Lam, and that the column-strict set-valued balanced labellings yield the affine stable Grothendieck polynomial of Lam. Moreover, once we impose suitable flag conditions, the flagged column-strict set-valued balanced labellings on the diagram of a finite permutation give a monomial expansion of the Grothendieck polynomial of Lascoux and Schützenberger. We also give a necessary and sufficient condition for a diagram to be an affine permutation diagram.
A note on the space of evolutionary operators in population genetics and folding dynamics
Discrete dynamical systems defined by the iteration of a polynomial map of the unit simplex to itself appear in the context of population genetic systems evolving under mutation, recombination and weak selection. Although exceptional progress has been made in finding particular solutions to these systems, our knowledge of the general properties of the space of all possible dynamical systems of this kind is still limited. We prove that the space of bounded-degree polynomial maps of the unit simplex to itself is a compact and convex subset of a Euclidean space. We provide an explicit characterization of such a space and of its boundary. A special class of maps in the boundary, the folding maps, which generalize the logistic map for any dimension and degree are defined and constructed. Finally, we use numerical methods to study the ergodic and mixing properties of maps in the neighborhood of several of these folding maps.
Classification of tile digit sets as product-forms
Published
• View Publication
• BIB
Let $A$ be an expanding matrix on ${\Bbb R}^s$ with integral entries. A fundamental question in the fractal tiling theory is to understand the structure of the digit set ${\mathcal D}\subset{\Bbb Z}^s$ so that the integral self-affine set $T(A,\mathcal D)$ is a translational tile on ${\Bbb R}^s$. In our previous paper, we classified such tile digit sets ${\mathcal D}\subset{\Bbb Z}$ by expressing the mask polynomial $P_{\mathcal D}$ into product of cyclotomic polynomials. In this paper, we first show that a tile digit set in ${\Bbb Z}^s$ must be an integer tile (i.e. ${\mathcal D}\oplus{\mathcal L} = {\Bbb Z}^s$ for some discrete set ${\mathcal L}$). This allows us to combine the technique of Coven and Meyerowitz on integer tiling on ${\Bbb R}^1$ together with our previous results to characterize explicitly all tile digit sets ${\mathcal D}\subset {\Bbb Z}$ with $A = p^αq$ ($p, q$ distinct primes) as {\it modulo product-form} of some order, an advance of the previously known results for $A = p^α$ and $pq$.
Roots of the Ehrhart polynomial of hypersimplices
Published in Commentarii Mathematici Universitatis Sancti Pauli 62 (2013), 91-108
• Search Publication
The Ehrhart polynomial of the $d$-th hypersimplex $Δ(d,n)$ of order $n$ is studied. By computational experiments and a known result for $d=2$, we conjecture that the real part of every roots of the Ehrhart polynomial of $Δ(d,n)$ is negative and larger than $- \frac{n}{d}$ if $n \geq 2d$. In this paper, we show that the conjecture is true when $d=3$ and that every root $a$ of the Ehrhart polynomial of $Δ(d,n)$ satisfies $-\frac{n}{d} < {\rm Re} (a) < 1$ if $4 \leq d \ll n$.