Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Derangement Polynomials and Excedances of Type B
Published
• View Publication
• BIB
Adopting the definition of excedances of type B due to Brenti, we give a type B analogue of the q-derangement polynomials. The connection between q-derangement polynomials and Eulerian polynomials naturally extends to the type B case. Based on this relation, we derive some basic properties of the q-derangement polynomials of type B, including the generating function formula, the Sturm sequence property, and the asymptotic normal distribution. We also show that the q-derangement polynomials are almost symmetric in the sense that the coefficients possess the spiral property.
Group-case commutative association schemes and their character tables
Leading towards the classification of primitive commutative association schemes as the ultimate goal, Bannai and some of his school have been trying to
* identify the major sources of (primitive) commutative association schemes,
* collect known group-case primitive commutative association schemes, and
* compute their character tables over the last twenty years. The construction of their character tables are important first step for a systematic study of such association schemes and towards the classification of those schemes. In this talk, we briefly survey the progress made in this direction of research, and list some open problems.
Neighborliness of Marginal Polytopes
Published in Contributions to Algebra and Geometry 51 (2010), No. 1, 45-56
• Search Publication
A neighborliness property of marginal polytopes of hierarchical models, depending on the cardinality of the smallest non-face of the underlying simplicial complex, is shown. The case of binary variables is studied explicitly, then the general case is reduced to the binary case. A Markov basis for binary hierarchical models whose simplicial complexes is the complement of an interval is given.
$\LE$-diagrams and totally positive bases inside the nonnegative Grassmannian
There is a cell decomposition of the nonnegative Grassmannian. For each cell, totally positive bases(TP-bases) is defined as the minimal set of Plücker variables such that all other nonzero Plücker variables in the cell can be expressed in those variables in a subtraction-free rational function. This is the generalization of the TP-bases defined for nonnegative part of $GL_k$ defined in \cite{FZ5}.
For each cell, we have a $\LE$-diagram and a natural way to label the dots inside the diagram with Plücker variables. Those set of Plücker variables form a TP-bases of the cell. Using mutations coming from 3-term Plücker relation, we conjecture that they can be mutated to a special set of Plücker variable $§$. All other nonzero Plücker variables in the cell will be expressed as a subtraction-free Laurent polynomial in variables of $§$. We define TP-diagrams to express the transformation procedure in terms of moves on a diagram.
We will prove the conjecture for certain class of cells called weakly-connected cells. Then we will study the connection with cluster algebras through lattice-path-matroid cells.
Non-Gatherable Triples for Non-Affine Root Systems
Published in SIGMA 4 (2008), 079, 12 pages
• View Publication
• BIB
This paper contains a complete description of minimal non-gatherable triangle triples in the lambda-sequences for the classical root systems, $F_4$ and $E_6$. Such sequences are associated with reduced decompositions (words) in affine and non-affine Weyl groups. The existence of the non-gatherable triples is a combinatorial obstacle for using the technique of intertwiners for an explicit description of the irreducible representations of the (double) affine Hecke algebras, complementary to their algebraic-geometric theory.
Smooth words and Chebyshev polynomials
A word $σ=σ_1...σ_n$ over the alphabet $[k]=\{1,2,...,k\}$ is said to be {\em smooth} if there are no two adjacent letters with difference greater than 1. A word $σ$ is said to be {\em smooth cyclic} if it is a smooth word and in addition satisfies $|σ_n-σ_1|\le 1$. We find the explicit generating functions for the number of smooth words and cyclic smooth words in $[k]^n$, in terms of {\it Chebyshev polynomials of the second kind}. Additionally, we find explicit formula for the numbers themselves, as trigonometric sums. These lead to immediate asymptotic corollaries. We also enumerate smooth necklaces, which are cyclic smooth words that are not equivalent up to rotation.
Homogeneous Representations of Khovanov-Lauda Algebras
Published
• View Publication
• BIB
We construct irreducible graded representations of simply laced Khovanov-Lauda algebras which are concentrated in one degree. The underlying combinatorics of skew shapes and standard tableaux corresponding to arbitrary simply laced types has been developed previously by Peterson, Proctor and Stembridge. In particular, the Peterson-Proctor hook formula gives dimensions of the homogeneous irreducible modules corresponding to straight shapes.
Low dimensional strongly perfect lattices. III: Dual strongly perfect lattices of dimension 14
Published
• View Publication
• BIB
The extremal 3-modular lattice $[\pm G_2(3)]_{14}$ with automorphism group $C_2 \times G_2(\F_3) $ is the unique dual strongly perfect lattice of dimension 14.
Relation between powers of factors and recurrence function characterizing Sturmian words
In this paper we use the relation of the index of an infinite aperiodic word and its recurrence function to give another characterization of Sturmian words. As a byproduct, we give a new proof of theorem describing the index of a Sturmian word in terms of the continued fraction expansion of its slope. This theorem was independently proved by Carpi and de Luca, and Damanik and Lenz.
Rational Generating Functions and Integer Programming Games
Published in Operations Research 59 (2011), no. 6, 1445-1460
• View Publication
• BIB
We explore the computational complexity of computing pure Nash equilibria for a new class of strategic games called integer programming games with difference of piecewise linear convex payoffs. Integer programming games are games where players' action sets are integer points inside of polytopes. Using recent results from the study of short rational generating functions for encoding sets of integer points pioneered by Alexander Barvinok, we present efficient algorithms for enumerating all pure Nash equilibria, and other computations of interest, such as the pure price of anarchy, and pure threat point, when the dimension and number of "convex" linear pieces in the payoff functions are fixed. Sequential games where a leader is followed by competing followers (a Stackelberg--Nash setting) are also considered.
Coloured quiver mutation for higher cluster categories
Published
• View Publication
• BIB
We define mutation on coloured quivers associated to tilting objects in higher cluster categories. We show that this operation is compatible with the mutation operation on the tilting objects. This gives a combinatorial approach to tilting in higher cluster categories and especially an algorithm to determine the Gabriel quivers of tilting objects in such categories.
Long cycles in graphs through fragments
Four basic Dirac-type sufficient conditions for a graph $G$ to be hamiltonian are known involving order $n$, minimum degree $δ$, connectivity $κ$ and independence number $α$ of $G$: (1) $δ\geq n/2$ (Dirac); (2) $κ\geq 2$ and $δ\geq (n+κ)/3$ (by the author); (3) $κ\geq 2$ and $δ\geq \max\lbrace (n+2)/3,α\rbrace$ (Nash-Williams); (4) $κ\geq 3$ and $δ\geq \max\lbrace (n+2κ)/4,α\rbrace$ (by the author). In this paper we prove the reverse version of (4) concerning the circumference $c$ of $G$ and completing the list of reverse versions of (1)-(4): (R1) if $κ\geq 2$, then $c\geq\min\lbrace n,2δ\rbrace$ (Dirac); (R2) if $κ\geq 3$, then $c\geq\min\lbrace n,3δ-κ\rbrace$ (by the author); (R3) if $κ\geq 3$ and $δ\geq α$, then $c\geq\min\lbrace n,3δ-3\rbrace$ (Voss and Zuluaga); (R4) if $κ\geq 4$ and $δ\geq α$, then $c\geq\min\lbrace n,4δ-2κ\rbrace$. To prove (R4), we present four more general results centered around a lower bound $c\geq 4δ-2κ$ under four alternative conditions in terms of fragments. A subset $X$ of $V(G)$ is called a fragment of $G$ if $N(X)$ is a minimum cut-set and $V(G)-(X\cup N(X))\neq\emptyset$.
Polynomial treewidth forces a large grid-like-minor
Published in European J. Combinatorics 33.3:374-379, 2012
• View Publication
• BIB
Robertson and Seymour proved that every graph with sufficiently large treewidth contains a large grid minor. However, the best known bound on the treewidth that forces an $\ell\times\ell$ grid minor is exponential in $\ell$. It is unknown whether polynomial treewidth suffices. We prove a result in this direction. A \emph{grid-like-minor of order} $\ell$ in a graph $G$ is a set of paths in $G$ whose intersection graph is bipartite and contains a $K_{\ell}$-minor. For example, the rows and columns of the $\ell\times\ell$ grid are a grid-like-minor of order $\ell+1$. We prove that polynomial treewidth forces a large grid-like-minor. In particular, every graph with treewidth at least $c\ell^4\sqrt{\log\ell}$ has a grid-like-minor of order $\ell$. As an application of this result, we prove that the cartesian product $G\square K_2$ contains a $K_{\ell}$-minor whenever $G$ has treewidth at least $c\ell^4\sqrt{\log\ell}$.
Central Forests in Trees
A new 2-parameter family of central structures in trees, called central forests, is introduced. Minieka's $m$-center problem and McMorris's and Reid's central-$k$-tree can be seen as special cases of central forests in trees. A central forest is defined as a forest $F$ of $m$ subtrees of a tree $T$, where each subtree has $k$ nodes, which minimizes the maximum distance between nodes not in $F$ and those in $F$. An $O(n(m+k))$ algorithm to construct such a central forest in trees is presented, where $n$ is the number of nodes in the tree. The algorithm either returns with a central forest, or with the largest $k$ for which a central forest of $m$ subtrees is possible. Some of the elementary properties of central forests are also studied.
The Lee-Yang and Pólya-Schur Programs. I. Linear Operators Preserving Stability
Published in Invent. Math. 177 (2009), no. 3, 541-569
• View Publication
• BIB
In 1952 Lee and Yang proposed the program of analyzing phase transitions in terms of zeros of partition functions. Linear operators preserving non-vanishing properties are essential in this program and various contexts in complex analysis, probability theory, combinatorics, and matrix theory. We characterize all linear operators on finite or infinite-dimensional spaces of multivariate polynomials preserving the property of being non-vanishing whenever the variables are in prescribed open circular domains. In particular, this solves the higher dimensional counterpart of a long-standing classification problem originating from classical works of Hermite, Laguerre, Hurwitz and Pólya-Schur on univariate polynomials with such properties.
Zero-temperature Glauber dynamics on Z^d
Published
• View Publication
• BIB
We study zero-temperature Glauber dynamics on \Z^d, which is a dynamic version of the Ising model of ferromagnetism. Spins are initially chosen according to a Bernoulli distribution with density p, and then the states are continuously (and randomly) updated according to the majority rule. This corresponds to the sudden quenching of a ferromagnetic system at high temperature with an external field, to one at zero temperature with no external field. Define p_c(\Z^d) to be the infimum over p such that the system fixates at '+' with probability 1. It is a folklore conjecture that p_c(\Z^d) = 1/2 for every 2 \le d \in \N. We prove that p_c(\Z^d) \to 1/2 as d \to \infty.
Pattern avoidance in binary trees
Published in Journal of Combinatorial Theory, Series A 117 (2010) 741-758
• View Publication
• BIB
This paper considers the enumeration of trees avoiding a contiguous pattern. We provide an algorithm for computing the generating function that counts n-leaf binary trees avoiding a given binary tree pattern t. Equipped with this counting mechanism, we study the analogue of Wilf equivalence in which two tree patterns are equivalent if the respective n-leaf trees that avoid them are equinumerous. We investigate the equivalence classes combinatorially. Toward establishing bijective proofs of tree pattern equivalence, we develop a general method of restructuring trees that conjecturally succeeds to produce an explicit bijection for each pair of equivalent tree patterns.
Some Hecke Algebra Products and Corresponding Random Walks
Published
• View Publication
• BIB
Let $\bm{i}=1+q+...+q^{i-1}$. For certain sequences $(r_1,...,r_l)$ of positive integers, we show that in the Hecke algebra $\mathscr{H}_n(q)$ of the symmetric group $\mathfrak{S}_n$, the product $(1+\bm{r_1}T_{r_1})... (1+\bm{r_l}T_{r_l})$ has a simple explicit expansion in terms of the standard basis $\{T_w\}$. An interpretation is given in terms of random walks on $\mathfrak{S}_n$.
On Duality between Local Maximum Stable Sets of a Graph and its Line-Graph
Published
• View Publication
• BIB
G is a Koenig-Egervary graph provided alpha(G)+ mu(G)=|V(G)|, where mu(G) is the size of a maximum matching and alpha(G) is the cardinality of a maximum stable set. S is a local maximum stable set of G if S is a maximum stable set of the closed neighborhood of S. Nemhauser and Trotter Jr. proved that any local maximum stable set is a subset of a maximum stable set of G. In this paper we demonstrate that if S is a local maximum stable set, the subgraph H induced by the closed neighborhood of S is a Koenig-Egervary graph, and M is a maximum matching in H, then M is a local maximum stable set in the line graph of G.
The longest minimum-weight path in a complete graph
Published
• View Publication
• BIB
We consider the minimum-weight path between any pair of nodes of the n-vertex complete graph in which the weights of the edges are i.i.d. exponentially distributed random variables. We show that the longest of these minimum-weight paths has about α^* \log n$ edges where α^* ~ 3.5911 is the unique solution of the equation $alpha log(alpha) - α=1. This answers a question posed by Janson (1999).