Showing 20 papers (Total: 82851 papers, 47869 authors in database)
On a set-theoretic invariant
Published in Acta Math. Univ. Comenianae 74, 2(2005), 199-203
• Search Publication
Let a_1,...,a_m be positive real numbers. Besser and Moree considered weighted numbers of -1,+1 solutions of the linear inequality |a_i-a_j| < e_ka_k < a_i+a_j, with e_k=-1 of 1 and k running over the integers 1,...,m with i and j skipped. They introduced some invariants and near invariants related to this situation (invariant meaning here: not depending on the choice of i and j).
The main result of their paper is extended here to a much more general setting, namely that of certain maps from finite sets to {-1,1}. Some applications are given.
When does the associated graded Lie algebra of an arrangement group decompose?
Published in Commentarii Mathematici Helvetici 81 (2006), no. 4, 859-875
• View Publication
• BIB
Let \A be a complex hyperplane arrangement, with fundamental group G and holonomy Lie algebra \H. Suppose \H_3 is a free abelian group of minimum possible rank, given the values the Möbius function μ: Ł_2\to \Z takes on the rank 2 flats of \A. Then the associated graded Lie algebra of G decomposes (in degrees 2 and higher) as a direct product of free Lie algebras. In particular, the ranks of the lower central series quotients of the group are given by φ_r(G)=\sum_{X\in Ł_2} φ_r(F_{μ(X)}), for r\ge 2. We illustrate this new Lower Central Series formula with several families of examples.
Vertices of Gelfand-Tsetlin Polytopes
Published
• View Publication
• BIB
This paper is a study of the polyhedral geometry of Gelfand-Tsetlin patterns arising in the representation theory $\mathfrak{gl}_n \C$ and algebraic combinatorics. We present a combinatorial characterization of the vertices and a method to calculate the dimension of the lowest-dimensional face containing a given Gelfand-Tsetlin pattern.
As an application, we disprove a conjecture of Berenstein and Kirillov about the integrality of all vertices of the Gelfand-Tsetlin polytopes. We can construct for each $n\geq5$ a counterexample, with arbitrarily increasing denominators as $n$ grows, of a non-integral vertex. This is the first infinite family of non-integral polyhedra for which the Ehrhart counting function is still a polynomial. We also derive a bound on the denominators for the non-integral vertices when $n$ is fixed.
Inside-Out Polytopes
Published in Advances in Mathematics, 205 (2006), no. 1, 134-162
• View Publication
• BIB
We present a common generalization of counting lattice points in rational polytopes and the enumeration of proper graph colorings, nowhere-zero flows on graphs, magic squares and graphs, antimagic squares and graphs, compositions of an integer whose parts are partially distinct, and generalized latin squares. Our method is to generalize Ehrhart's theory of lattice-point counting to a convex polytope dissected by a hyperplane arrangement. We particularly develop the applications to graph and signed-graph coloring, compositions of an integer, and antimagic labellings.
The Number of Nowhere-Zero Flows on Graphs and Signed Graphs
Published in J. Combinatorial Th. Ser. B 96, no. 6 (2006), 901-918
• View Publication
• BIB
A nowhere-zero $k$-flow on a graph $Γ$ is a mapping from the edges of $Γ$ to the set $\{\pm1, \pm2, ..., \pm(k-1)\} \subset \bbZ$ such that, in any fixed orientation of $Γ$, at each node the sum of the labels over the edges pointing towards the node equals the sum over the edges pointing away from the node. We show that the existence of an \emph{integral flow polynomial} that counts nowhere-zero $k$-flows on a graph, due to Kochol, is a consequence of a general theory of inside-out polytopes. The same holds for flows on signed graphs. We develop these theories, as well as the related counting theory of nowhere-zero flows on a signed graph with values in an abelian group of odd order. Our results are of two kinds: polynomiality or quasipolynomiality of the flow counting functions, and reciprocity laws that interpret the evaluations of the flow polynomials at negative integers in terms of the combinatorics of the graph.
The partial-fractions method for counting solutions to integral linear systems
Published in Discrete & Computational Geometry 32 (2004), 437-446 (special issue in honor of Louis Billera)
• View Publication
• BIB
We present a new tool to compute the number $φ_\A (\b)$ of integer solutions to the linear system $$ \x \geq 0 \qquad \A \x = \b $$ where the coefficients of $\A$ and $\b$ are integral. $φ_\A (\b)$ is often described as a \emph{vector partition function}. Our methods use partial fraction expansions of Euler's generating function for $φ_\A (\b)$. A special class of vector partition functions are Ehrhart (quasi-)polynomials counting integer points in dilated polytopes.
Finite automata and pattern avoidance in words
Published
• View Publication
• BIB
We say that a word $w$ on a totally ordered alphabet avoids the word $v$ if there are no subsequences in $w$ order-equivalent to $v$. In this paper we suggest a new approach to the enumeration of words on at most $k$ letters avoiding a given pattern. By studying an automaton which for fixed $k$ generates the words avoiding a given pattern we derive several previously known results for these kind of problems, as well as many new. In particular, we give a simple proof of the formula \cite{Reg1998} for exact asymptotics for the number of words on $k$ letters of length $n$ that avoids the pattern $12...(\ell+1)$. Moreover, we give the first combinatorial proof of the exact formula \cite{Burstein} for the number of words on $k$ letters of length $n$ avoiding a three letter permutation pattern.
Conjectures on the cohomology of the Grassmannian
We give a series of successively weaker conjectures on the cohomology ring of the Grassmannian, starting with the Hilbert series of a certain natural filtration.
An Algorithm for Optimal Partitioning of Data on an Interval
Published
• View Publication
• BIB
Many signal processing problems can be solved by maximizing the fitness of a segmented model over all possible partitions of the data interval. This letter describes a simple but powerful algorithm that searches the exponentially large space of partitions of $N$ data points in time $O(N^2)$. The algorithm is guaranteed to find the exact global optimum, automatically determines the model order (the number of segments), has a convenient real-time mode, can be extended to higher dimensional data spaces, and solves a surprising variety of problems in signal detection and characterization, density estimation, cluster analysis and classification.
Transformations of elliptic hypergometric integrals
Published
• View Publication
• BIB
We prove a pair of transformations relating elliptic hypergeometric integrals of different dimensions, corresponding to the root systems BC_n and A_n; as a special case, we recover some integral identities conjectured by van Diejen and Spiridonov. For BC_n, we also consider their "Type II" integral. Their proof of that integral, together with our transformation, gives rise to pairs of adjoint integral operators; a different proof gives rise to pairs of adjoint difference operators. These allow us to construct a family of biorthogonal abelian functions generalizing the Koornwinder polynomials, and satisfying the analogues of the Macdonald conjectures. Finally, we discuss some transformations of Type II-style integrals. In particular, we find that adding two parameters to the Type II integral gives an integral invariant under an appropriate action of the Weyl group E_7.
Subword complexes in Coxeter groups
Published
• View Publication
• BIB
Let (Π,Σ) be a Coxeter system. An ordered list of elements in Σand an element in Πdetermine a {\em subword complex}, as introduced in our paper on Gröbner geometry of Schubert polynomials (math.AG/0110058). Subword complexes are demonstrated here to be homeomorphic to balls or spheres, and their Hilbert series are shown to reflect combinatorial properties of reduced expressions in Coxeter groups. Two formulae for double Grothendieck polynomials, one of which is due to Fomin and Kirillov, are recovered in the context of simplicial topology for subword complexes. Some open questions related to subword complexes are presented.
Permutation sign under the Robinson-Schensted-Knuth correspondence
Published
• View Publication
• BIB
We show how the sign of a permutation can be deduced from the tableaux induced by the permutation under the Robinson-Schensted-Knuth correspondence. The result yields a simple proof of a conjecture on the squares of imbalances raised by Stanley.
Finitely labeled generating trees and restricted permutations
Published
• View Publication
• BIB
Generating trees are a useful technique in the enumeration of various combinatorial objects, particularly restricted permutations. Quite often the generating tree for the set of permutations avoiding a set of patterns requires infinitely many labels. Sometimes, however, this generating tree needs only finitely many labels. We characterize the finite sets of patterns for which this phenomenon occurs. We also present an algorithm - in fact, a special case of an algorithm of Zeilberger - that is guaranteed to find such a generating tree if it exists.
Extensions of the well-poised and elliptic well-poised Bailey lemma
Published in Indag. Math. (N.S.) 14 (2003), 571-588
• View Publication
• BIB
We establish a number of extensions of the well-poised Bailey lemma and elliptic well-poised Bailey lemma. As application we prove some new transformation formulae for basic and elliptic hypergeometric series, and embed some recent identities of Andrews, Berkovich and Spiridonov in a well-poised Bailey tree.
Summation formulae for elliptic hypergeometric series
Published in Proc. Amer. Math. Soc. 133 (2005), 519-527
• View Publication
• BIB
Several new identities for elliptic hypergeometric series are proved. Remarkably, some of these are elliptic analogues of identities for basic hypergeometric series that are balanced but not very-well-poised.
On the sign-imbalance of partition shapes
Published in Journal of Combinatorial Theory, Series A 111 (2005) 190-203
• Search Publication
Let the sign of a standard Young tableau be the sign of the permutation you get by reading it row by row from left to right, like a book. A conjecture by Richard Stanley says that the sum of the signs of all SYTs with n squares is 2^[n/2]. We present a stronger theorem with a purely combinatorial proof using the Robinson-Schensted correspondence and a new concept called chess tableaux.
We also prove a sharpening of another conjecture by Stanley concerning weighted sums of squares of sign-imbalances. The proof is built on a remarkably simple relation between the sign of a permutation and the signs of its RS-corresponding tableaux.
Hecke operators on rational functions
Published in Forum Math. 17 (2005), no. 4, 519-554
• View Publication
• BIB
We define Hecke operators U_m that sift out every m-th Taylor series coefficient of a rational function in one variable, defined over the reals. We prove several structure theorems concerning the eigenfunctions of these Hecke operators, including the pleasing fact that the point spectrum of the operator U_m is simply the set {+/- m^k, k in N} U {0}. It turns out that the simultaneous eigenfunctions of all of the Hecke operators involve Dirichlet characters mod L, giving rise to the result that any arithmetic function of m that is completely multiplicative and also satisfies a linear recurrence must be a Dirichlet character times a power of m. We also define the notions of level and weight for rational eigenfunctions, by analogy with modular forms, and we show the existence of some interesting finite-dimensional subspaces of rational eigenfunctions (of fixed weight and level), whose union gives all of the rational functions whose coefficients are quasi-polynomials.
The repulsive lattice gas, the independent-set polynomial, and the Lovász local lemma
Published in J. Stat. Phys. 118, 1151-1261 (2005)
• View Publication
• BIB
We elucidate the close connection between the repulsive lattice gas in equilibrium statistical mechanics and the Lovasz local lemma in probabilistic combinatorics. We show that the conclusion of the Lovasz local lemma holds for dependency graph G and probabilities {p_x} if and only if the independent-set polynomial for G is nonvanishing in the polydisc of radii {p_x}. Furthermore, we show that the usual proof of the Lovasz local lemma -- which provides a sufficient condition for this to occur -- corresponds to a simple inductive argument for the nonvanishing of the independent-set polynomial in a polydisc, which was discovered implicitly by Shearer and explicitly by Dobrushin. We also present some refinements and extensions of both arguments, including a generalization of the Lovasz local lemma that allows for "soft" dependencies. In addition, we prove some general properties of the partition function of a repulsive lattice gas, most of which are consequences of the alternating-sign property for the Mayer coefficients. We conclude with a brief discussion of the repulsive lattice gas on countably infinite graphs.
The Computational Complexity of Rules for the Character Table of S_n
Published
• View Publication
• BIB
The Murnaghan-Nakayama rule is the classical formula for computing the character table of S_n. Y. Roichman has recently discovered a rule for the Kazhdan-Lusztig characters of q-Hecke algebras of type A, which can also be used for the character table of S_n. For each of the two rules, we give an algorithm for computing entries in the character table of S_n. We then analyze the computational complexity of the two algorithms, and in the case of characters indexed by partitions in the (k,l)-hook, compare their complexities to each other. It turns out that the algorithm based on the Murnaghan-Nakayama rule requires far less operations than the other algorithm. We note the algorithms' complexities' relation to two enumeration problems of Young diagrams and Young tableaux.
Maximal triangulations of a regular prism
Published
• View Publication
• BIB
In this paper, we resolve two conjectures of De Loera, Santos, and Takeuchi in the affirmative, computing the maximal size of any regular triangulation of the $n$-prism and $n$-antiprism.