Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Words with intervening neighbours in infinite Coxeter groups are reduced
Published
• View Publication
• BIB
Consider a graph with vertex set S. A word in the alphabet S has the intervening neighbours property if any two occurrences of the same letter are separated by all its graph neighbours. For a Coxeter graph, words represent group elements. Speyer recently proved that words with the intervening neighbours property are irreducible if the group is infinite and irreducible. We present a new and shorter proof using the root automaton for recognition of irreducible words.
$R$-polynomials of finite monoids of Lie type
Published
• View Publication
• BIB
This paper concerns the combinatorics of the orbit Hecke algebra associated with the orbit of a two sided Weyl group action on the Renner monoid of a finite monoid of Lie type, $M$. It is shown by Putcha in \cite{Putcha97} that the Kazhdan-Lusztig involution (\cite{KL79}) can be extended to the orbit Hecke algebra which enables one to define the $R$-polynomials of the intervals contained in a given orbit. Using the $R$-polynomials, we calculate the Möbius function of the Bruhat-Chevalley ordering on the orbits. Furthermore, we provide a necessary condition for an interval contained in a given orbit to be isomorphic to an interval in some Weyl group.
Exactly solved models of polyominoes and polygons
Published
• View Publication
• BIB
This chapter deals with the exact enumeration of certain classes of self-avoiding polygons and polyominoes on the square lattice. We present three general approaches that apply to many classes of polyominoes. The common principle to all of them is a recursive description of the polyominoes which then translates into a functional equation satisfied by the generating function. The first approach applies to classes of polyominoes having a linear recursive structure and results in a rational generating function. The second approach applies to classes of polyominoes having an algebraic recursive structure and results in an algebraic generating function. The third approach, commonly called the Temperley method, is based on the action of adding a new column to the polyominoes. We conclude by discussing some open questions.
Interval greedoids and families of local maximum stable sets of graphs
A maximum stable set in a graph G is a stable set of maximum cardinality. S is a local maximum stable set of G, if S is a maximum stable set of the subgraph induced by its closed neighborhood.
Nemhauser and Trotter Jr. proved in 1975 that any local maximum stable set is a subset of a maximum stable set of G. In 2002 we showed that the family of all local maximum stable sets of a forest forms a greedoid on its vertex set. The cases where G is bipartite, triangle-free, well-covered, while the family of all local maximum stable sets is a greedoid, were analyzed in 2004, 2007, and 2008, respectively.
In this paper we demonstrate that if the family of all local maximum stable sets of the graph satisfies the accessibility property, then it is an interval greedoid. We also characterize those graphs whose families of local maximum stable sets are either antimatroids or matroids.
Combinatorial Formulas for Macdonald and Hall-Littlewood Polynomials of Types A and C. Extended Abstract
Published
• View Publication
• BIB
A breakthrough in the theory of (type A) Macdonald polynomials is due to Haglund, Haiman and Loehr, who exhibited a combinatorial formula for these polynomials in terms of fillings of Young diagrams. Recently, Ram and Yip gave a formula for the Macdonald polynomials of arbitrary type in terms of the corresponding affine Weyl group. In this paper, we show that a Haglund-Haiman-Loehr type formula follows naturally from the more general Ram-Yip formula, via compression. Then we extend this approach to the Hall-Littlewood polynomials of type C, which are specializations of the corresponding Macdonald polynomials at q=0. We note that no analog of the Haglund-Haiman-Loehr formula exists beyond type A, so our work is a first step towards finding such a formula.
Some weak indivisibility results in ultrahomogeneous metric spaces
Published in European J. Combin., 31 (5), 1464-1483, 2010
• Search Publication
We study the validity of a partition property known as weak indivisibility for the integer and the rational Urysohn metric spaces. We also compare weak indivisiblity to another partition property, called age-indivisibility, and provide an example of a countable ultrahomogeneous metric space which may be age-indivisible but not weakly indivisible.
The Occurrence-in-subtuple problem
As we go along with a bioinformatic analysis we stumbled over a new combinatorial question. Although the problem is a very special one, there are maybe more applications than only this one we have. This text is mainly about the general combinatorial problem, the exact solution and its derivation. An outline of a real problem of this type is in the discussion.
Commutative Moufang loops and alternative algebras
Published
• View Publication
• BIB
We compute the orders of free commutative Moufand loops of exponent 3 with $n\leq 7$ free generators and find embeddings of such loops into a loop of invertible elements of the free commutative alternative algebra with identity $x^3=0$.
Composition of transpositions and equality of ribbon Schur Q-functions
Published in Electron. J. Combin. 16:R110 (2009)
• View Publication
• BIB
We introduce a new operation on skew diagrams called composition of transpositions, and use it and a Jacobi-Trudi style formula to derive equalities on skew Schur Q-functions whose indexing shifted skew diagram is an ordinary skew diagram. When this skew diagram is a ribbon, we conjecture necessary and sufficient conditions for equality of ribbon Schur Q-functions. Moreover, we determine all relations between ribbon Schur Q-functions; show they supply a Z-basis for skew Schur Q-functions; assert their irreducibility; and show that the non-commutative analogue of ribbon Schur Q-functions is the flag h-vector of Eulerian posets.
Two-Dimensional Patterns with Distinct Differences -- Constructions, Bounds, and Maximal Anticodes
Published
• View Publication
• BIB
A two-dimensional grid with dots is called a \emph{configuration with distinct differences} if any two lines which connect two dots are distinct either in their length or in their slope. These configurations are known to have many applications such as radar, sonar, physical alignment, and time-position synchronization. Rather than restricting dots to lie in a square or rectangle, as previously studied, we restrict the maximum distance between dots of the configuration; the motivation for this is a new application of such configurations to key distribution in wireless sensor networks. We consider configurations in the hexagonal grid as well as in the traditional square grid, with distances measured both in the Euclidean metric, and in the Manhattan or hexagonal metrics.
We note that these configurations are confined inside maximal anticodes in the corresponding grid. We classify maximal anticodes for each diameter in each grid. We present upper bounds on the number of dots in a pattern with distinct differences contained in these maximal anticodes. Our bounds settle (in the negative) a question of Golomb and Taylor on the existence of honeycomb arrays of arbitrarily large size. We present constructions and lower bounds on the number of dots in configurations with distinct differences contained in various two-dimensional shapes (such as anticodes) by considering periodic configurations with distinct differences in the square grid.
Distinct Difference Configurations: Multihop Paths and Key Predistribution in Sensor Networks
Published
• View Publication
• BIB
A distinct difference configuration is a set of points in $\mathbb{Z}^2$ with the property that the vectors (\emph{difference vectors}) connecting any two of the points are all distinct. Many specific examples of these configurations have been previously studied: the class of distinct difference configurations includes both Costas arrays and sonar sequences, for example.
Motivated by an application of these structures in key predistribution for wireless sensor networks, we define the $k$-hop coverage of a distinct difference configuration to be the number of distinct vectors that can be expressed as the sum of $k$ or fewer difference vectors. This is an important parameter when distinct difference configurations are used in the wireless sensor application, as this parameter describes the density of nodes that can be reached by a short secure path in the network. We provide upper and lower bounds for the $k$-hop coverage of a distinct difference configuration with $m$ points, and exploit a connection with $B_{h}$ sequences to construct configurations with maximal $k$-hop coverage. We also construct distinct difference configurations that enable all small vectors to be expressed as the sum of two of the difference vectors of the configuration, an important task for local secure connectivity in the application.
Phase transitions in infinitely generated groups, and related problems in additive number theory
Published in Integers 11A (2011), Article 17, 1--14
• View Publication
• BIB
Let A be an infinite set of generators for a group G, and let L_A(r) denote the number of elements of G whose word length with respect to A is exactly r. The purpose of this note is to determine all growth functions L_A(r) associated to infinite generating sets for groups, and to describe a phase transition phenomenon associated with infinite generating sets. A list of open problems is also.included.
Polynomiality of some hook-length statistics
Published
• View Publication
• BIB
We prove a conjecture of Okada giving an exact formula for a certain statistic for hook-lengths of partitions:
\frac{1}{n!} \sum_{λ\vdash n} f_λ^2 \sum_{u \in λ} \prod_{i=1}^{r}(h_u^2 - i^2) = \frac{1}{2(r+1)^2} \binom{2r}{r}\binom{2r+2}{r+1} \prod_{j=0}^{r} (n-j),
where $f_λ$ is the number of standard Young tableaux of shape $λ$ and $h_u$ is the hook length of the square $u$ of the Young diagram of $λ$. We also obtain other similar formulas.
The complexity of certain Specht modules for the symmetric group
Published
• View Publication
• BIB
During the 2004-2005 academic year the VIGRE algebra research group at the University of Georgia computed the complexities of certain Specht modules S^λfor the symmetric group, using the computer algebra program Magma. The complexity of an indecomposable module does not exceed the p-rank of the defect group of its block. The Georgia group conjectured that, generically, the complexity of a Specht module attains this maximal value; that it is smaller precisely when the Young diagram of $λ$ is built out of $p \times p$ blocks. We prove one direction of this conjecture by showing these Specht modules do indeed have less than maximal complexity. It turns out that this class of partitions, which has not previously appeared in the literature, arises naturally as the solution to a question about the $p$-weight of partitions and branching.
Pivots, Determinants, and Perfect Matchings of Graphs
Published in Theoretical Computer Science 454 (2012) 64-71
• View Publication
• BIB
We give a characterization of the effect of sequences of pivot operations on a graph by relating it to determinants of adjacency matrices. This allows us to deduce that two sequences of pivot operations are equivalent iff they contain the same set S of vertices (modulo two). Moreover, given a set of vertices S, we characterize whether or not such a sequence using precisely the vertices of S exists. We also relate pivots to perfect matchings to obtain a graph-theoretical characterization. Finally, we consider graphs with self-loops to carry over the results to sequences containing both pivots and local complementation operations.
Complete homogeneous symmetric polynomials in Jucys-Murphy elements and the Weingarten function
A connection is made between complete homogeneous symmetric polynomials in Jucys-Murphy elements and the unitary Weingarten function from random matrix theory. In particular we show that $h_r(J_1,...,J_n),$ the complete homogeneous symmetric polynomial of degree $r$ in the JM elements, coincides with the $r$th term in the asymptotic expansion of the Weingarten function. We use this connection to determine precisely which conjugacy classes occur in the class basis resolution of $h_r(J_1,...,J_n),$ and to explicitly determine the coefficients of the classes of minimal height when $r < n.$ These coefficients, which turn out to be products of Catalan numbers, are governed by the Moebius function of the non-crossing partition lattice $NC(n).$
Polynomial Coefficient Enumeration
Let $f(x_1,...,x_k)$ be a polynomial over a field $K$. This paper considers such questions as the enumeration of the number of nonzero coefficients of $f$ or of the number of coefficients equal to $α\in K^*$. For instance, if $K=\ff_q$ then a matrix formula is obtained for the number of coefficients of $f^n$ that are equal to $α\in \ff_q^*$, as a function of $n$. Many additional results are obtained related to such areas as lattice path enumeration and the enumeration of integer points in convex polytopes.
Voting in agreeable societies
Published in Amer. Math. Monthly 117 (2010), pp 27-39
• View Publication
• BIB
When can a majority of voters find common ground, that is, a position they all agree upon? How does the shape of the political spectrum influence the outcome? When mathematical objects have a social interpretation, the associated theorems have social applications. In this article we give examples of situations where sets model preferences and develop extensions of classical theorems about convex sets, such as Helly's theorem, that can be used in the analysis of voting in "agreeable" societies.
On the computation of classical, boolean and free cumulants
Published
• View Publication
• BIB
This paper introduces a simple and computationally efficient algorithm for conversion formulae between moments and cumulants. The algorithm provides just one formula for classical, boolean and free cumulants. This is realized by using a suitable polynomial representation of Abel polynomials. The algorithm relies on the classical umbral calculus, a symbolic language introduced by Rota and Taylor in 1994, that is particularly suited to be implemented by using software for symbolic computations. Here we give a MAPLE procedure. Comparisons with existing procedures, especially for conversions between moments and free cumulants, as well as examples of applications to some well-known distributions (classical and free) end the paper.
Sets of integers that do not contain long arithmetic progressions
In 1946, Behrend gave a construction of dense finite sets of integers that do not contain 3-term arithmetic progressions. In 1961, Rankin generalized Behrend's construction to sets avoiding k-term arithmetic progressions, and in 2008 Elkin refined Behrend's 3-term construction. In this work, we combine Elkin's refinement and Rankin's generalization. Arithmetic progressions are handled as a special case of polynomial progressions.
In 1946, Behrend gave a construction of dense finite sets of integers that do not contain a 3-term arithmetic progression (AP). In 1961, Rankin generalized Behrend's construction to sets avoiding k-term APs. In 2008, Elkin refined Behrend's 3-term construction, and later in 2008, Green & Wolf found a distinct approach (albeit morally similar) that is technically more straightforward. This work combines Elkin's refinement and Rankin's generalization in the Green & Wolf framework. A curious aspect of the construction is that we induct through sets that do not contain a long polynomial progression in order to construct a set without a long AP. The bounds for r_k(N), the largest size of a subset of {1,2,...,N} that does not contain a k element AP, are (where \log=\log_2, for sufficiently large N, with n=\ceiling{\log k}): r_3(N) > N (\sqrt{360}/(e π^{3/2})-ε) \sqrt[4]{2\log N} * 4^{-\sqrt{2 \log N}}, r_k(N) > CN 2^{-n 2^{(n-1)/2} \sqrt[n]{\log N}+\frac{1}{2n}\log\log N}. The improvement over earlier work is in the simplification of the construction, the explicitness of the bound for r_3, and in the \log\log term for general k.