Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Criteria for Balance in Abelian Gain Graphs, with Applications to Piecewise-Linear Geometry
Published in Discrete and Computational Geometry, 34 (2005), no. 2, 251-268.
• View Publication
• BIB
A gain graph is a triple (G,h,H), where G is a connected graph with an arbitrary, but fixed, orientation of edges, H is a group, and h is a homomorphism from the free group on the edges of G to H. A gain graph is called balanced if the h-image of each closed walk on G is the identity.
Consider a gain graph with abelian gain group having no odd torsion. If there is a basis of the graph's binary cycle space each of whose members can be lifted to a closed walk whose gain is the identity, then the gain graph is balanced, provided that the graph is finite or the group has no nontrivial infinitely 2-divisible elements. We apply this theorem to deduce a result on the projective geometry of piecewise-linear realizations of cell-decompositions of manifolds.
Partially Ordered generalized patterns and k-ary words
Published
• View Publication
• BIB
Recently, Kitaev [Ki2] introduced partially ordered generalized patterns (POGPs) in the symmetric group, which further generalize the generalized permutation patterns introduced by Babson and Steingrímsson [BS]. A POGP p is a GP some of whose letters are incomparable. In this paper, we study the generating functions (g.f.) for the number of k-ary words avoiding some POGPs. We give analogues, extend and generalize several known results, as well as get some new results. In particular, we give the g.f. for the entire distribution of the maximum number of non-overlapping occurrences of a pattern p with no hyphens (that allowed to have repetition of letters), provided we know the g.f. for the number of k-ary words that avoid p.
A generalization of Le Potier's vanishing theorem
Published
• View Publication
• BIB
We prove a new vanishing theorem generalizing that of Le Potier for Schur functors of a vector bundle.
Pattern avoidance in circular permutations
Circular permutations on {1,2,...,n} that avoid a given pattern correspond to ordinary (linear) permutations that end with n and avoid all cyclic rotations of the pattern. Three letter patterns are all but unavoidable in circular permutations and here we give explicit formulas for the number of circular permutations that avoid one four letter pattern. In the three essentially distinct cases, the counts are as follows: the Fibonacci number F_{2n-3} for the pattern 1324, 2^{n-1}-(n-1) for 1342, and 2^{n}+1-2n-{n}choose{3} for 1234.
Restricted 132-Dumont permutations
Published in Australasian Journal of Combinatorics, 2003
• Search Publication
A permutation $π$ is said to be {\em Dumont permutations of the first kind} if each even integer in $π$ must be followed by a smaller integer, and each odd integer is either followed by a larger integer or is the last element of $π$ (see, for example, \cite{Z}). In \cite{D} Dumont showed that certain classes of permutations on $n$ letters are counted by the Genocchi numbers. In particular, Dumont showed that the $(n+1)$st Genocchi number is the number of Dummont permutations of the first kind on $2n$ letters.
In this paper we study the number of Dumont permutations of the first kind on $n$ letters avoiding the pattern 132 and avoiding (or containing exactly once) an arbitrary pattern on $k$ letters. In several interesting cases the generating function depends only on $k$.
A Topological Representation Theorem for Oriented Matroids
We present a new direct proof of a topological representation theorem for oriented matroids in the general rank case. Our proof is based on an earlier rank 3 version. It uses hyperline sequences and the generalized Sch{ö}nflies theorem. As an application, we show that one can read off oriented matroids from arrangements of embedded spheres of codimension one, even if wild spheres are involved.
The peak algebra of the symmetric group revisited
Published in Adv. in Math. 192 (2005), No. 2, 259-309
• View Publication
• BIB
The linear span P_n of the sums of all permutations in the symmetric group S_n with a given set of peaks is a sub-algebra of the symmetric group algebra, due to Nyman. This peak algebra is a left ideal of the descent algebra D_n; and the direct sum P of all P_n is a Hopf sub-algebra of the direct sum D of all D_n, dual to the Stembridge algebra of peak functions. In our self-contained approach, peak counterparts of several results on the descent algebra are established, including a simple combinatorial characterization of the algebra P_n; an algebraic characterization of P_n based on the action on the Poincar'e-Birkhoff-Witt basis of the free associative algebra; the display of peak variants of the classical Lie idempotents; an Eulerian-type sub-algebra of P_n; a description of the Jacobson radical of P_n and its nil-potency index, of the principal indecomposable and irreducible P_n-modules, and of the Cartan matrix of P_n. Furthermore, it is shown that the primitive Lie algebra of P is free, and that P is its enveloping algebra.
On multi-avoidance of generalized patterns
In [Kit1] Kitaev discussed simultaneous avoidance of two 3-patterns with no internal dashes, that is, where the patterns correspond to contiguous subwords in a permutation. In three essentially different cases, the numbers of such $n$-permutations are $2^{n-1}$, the number of involutions in $\mathcal{S}_n$, and $2E_n$, where $E_n$ is the $n$-th Euler number. In this paper we give recurrence relations for the remaining three essentially different cases.
To complete the descriptions in [Kit3] and [KitMans], we consider avoidance of a pattern of the form $x-y-z$ (a classical 3-pattern) and beginning or ending with an increasing or decreasing pattern. Moreover, we generalize this problem: we demand that a permutation must avoid a 3-pattern, begin with a certain pattern and end with a certain pattern simultaneously. We find the number of such permutations in case of avoiding an arbitrary generalized 3-pattern and beginning and ending with increasing or decreasing patterns.
The Catalan matroid
Published
• View Publication
• BIB
We show how the set of Dyck paths of length 2n naturally gives rise to a matroid, which we call the "Catalan matroid" C_n. We describe this matroid in detail; among several other results, we show that C_n is self-dual, it is representable over the rationals but not over finite fields F_q with q < n-1, and it has a nice Tutte polynomial.
We then generalize our construction to obtain a family of matroids, which we call "shifted matroids". They arose independently and almost simultaneously in the work of Klivans, who showed that they are precisely the matroids whose independence complex is a shifted complex.
Jordan and Smith forms of Pascal-related matrices
We present matrix identities which yield respectively the Jordan canonical form of the Pascal matrix P_n = (i -1 choose j -1)_{1 <= i,j <= n} modulo a prime, the eigenvectors of (i choose j)_{1 <= i,j <= n}, and the Smith normal form of powers of P_n - I_n.
Cycle and Circle Tests of Balance in Gain Graphs: Forbidden Minors and Their Groups
Published in J. Graph Theory, 51 (2006), no. 1, 1--21.
• View Publication
• BIB
We examine two criteria for balance of a gain graph, one based on binary cycles and one on circles. The graphs for which each criterion is valid depend on the set of allowed gain groups. The binary cycle test is invalid, except for forests, if any possible gain group has an element of odd order. Assuming all groups are allowed, or all abelian groups, or merely the cyclic group of order 3, we characterize, both constructively and by forbidden minors, the graphs for which the circle test is valid. It turns out that these three classes of groups have the same set of forbidden minors. The exact reason for the importance of the ternary cyclic group is not clear.
Higher Lawrence configurations
Published in J. Combin. Theory, Ser. A. 103:1 (2003), 151-164.
• View Publication
• BIB
Any configuration of lattice vectors gives rise to a hierarchy of higher-dimensional configurations which generalize the Lawrence construction in geometric combinatorics. We prove finiteness results for the Markov bases, Graver bases and face posets of these configurations, and we discuss applications to the statistical theory of log-linear models.
Lie Elements and Knuth Relations
Published in Canadian J. Math. 56 (2004), No. 4, 871-882
• View Publication
• BIB
A coplactic class in the symmetric group S_n consists of all permutations in S_n with a given Schensted Q-symbol, and may be described in terms of local relations introduced by Knuth. Any Lie element in the group algebra of S_n which is constant on coplactic classes is already constant on descent classes. As a consequence, the intersection of the Lie convolution algebra introduced by Patras and Reutenauer and the coplactic algebra introduced by Poirier and Reutenauer is the Solomon descent algebra.
Generalizations of two-stack-sortable permutations
In this thesis, we apply the stack sorting operator to $r$-permutations and construct the functional equation for the generating function of two-stack-sortable $k$-tuple $r$-permutations counted by descents by using a factorization similar to Zeilberger's. We solve the functional equation and give explicit formulas for the number of two-stack-sortable $r$-permutations.
On the roots of the cubic defining the Tribonacci sequences
We consider a sequence of sums of powers of the the roots of the cubic equation characterizing the Tribonacci sequences and derive its relationship with a particular Tribonacci sequence. Then we make a conjecture on the possible generalization.
D-log and formal flow for analytic isomorphisms of n-space
Published in Trans. Amer. Math. Soc. 355 (2003), No. 8, 3117-3141.
• View Publication
• BIB
Given a formal map $F=(F_1...,F_n)$ of the form $z+\text{higher}$ order terms, we give tree expansion formulas and associated algorithms for the D-Log of F and the formal flow F_t. The coefficients which appear in these formulas can be viewed as certain generalizations of the Bernoulli numbers and the Bernoulli polynomials. Moreover the coefficient polynomials in the formal flow formula coincide with the strict order polynomials in combinatorics for the partially ordered sets induced by trees. Applications of these formulas to the Jacobian Conjecture are discussed.
Two injective proofs of a conjecture of Simion
Simion conjectured the unimodality of a sequence counting lattice paths in a grid with a Ferrers diagram removed from the northwest corner. Recently, Hildebrand and then Wang proved the stronger result that this sequence is actually log concave. Both proofs were mainly algebraic in nature. We give two combinatorial proofs of this theorem.
A particular matrix and its relationships with Fibonacci numbers
Determinants and symmetric functions of the eigenvalues of matrices characterizing stochastic processes with indepedent increments. Relationships with Fibonacci numbers are derived.
Counting curves via lattice paths in polygons
Published
• View Publication
• BIB
This note presents a formula for the enumerative invariants of arbitrary genus in toric surfaces. The formula computes the number of curves of a given genus through a collection of generic points in the surface. The answer is given in terms of certain lattice paths in the relevant Newton polygon.
If the toric surface is the projective plane or the product of two projective lines then the invariants under consideration coincide with the Gromov-Witten invariants. The formula gives a new count even in these cases, where other computational technique is available.
231-Avoiding Involutions and Fibonacci Numbers
We use combinatorial and generating function techniques to enumerate various sets of involutions which avoid 231 or contain 231 exactly once. Interestingly, many of these enumerations can be given in terms of $k$-generalized Fibonacci numbers.