Showing 20 papers (Total: 81623 papers, 47312 authors in database)
Minimal transitive factorizations of permutations into cycles
Published
• View Publication
• BIB
We introduce a new approach to an enumerative problem closely linked with the geometry of branched coverings; that is, we study the number of ways a permutation can be decomposed into a product of a given number of 2-cycles, 3-cycles, etc. with certain minimality and transitivity conditions imposed on the factors. The method is to encode such factorizations as planar maps with certain "descent structure" and apply a new combinatorial decomposition to make their enumeration more manageable. We apply our technique to count factorizations of permutations with one or two parts, extending earlier work of Goulden and Jackson. We also show how these methods are readily modified to count inequivalent factorizations, where equivalence is defined by permitting commutations of adjacent disjoint factors. Our technique permits a substantial generalization of recent work of Goulden, Jackson, and Latour, while allowing for a considerable simplification of their analysis.
Exact perimeter generating function for a model of punctured staircase polygons
Published in J. Phys. A: Math. Theor. 41 (2008) 215002
• View Publication
• BIB
We have derived the perimeter generating function of a model of punctured staircase polygons in which the internal staircase polygon is rotated by a 90degree angle with respect to the outer staircase polygon. In one approach we calculated a long series expansion for the problem and found that all the terms in the generating function can be reproduced from a linear Fuchsian differential equation of order 4. We then solved this ODE and found a closed form expression for the generating function. This is a highly unusual and most fortuitous result since ODEs of such high order very rarely permit a closed form solution. In a second approach we proved the result for the generating function exactly using combinatorial arguments. This latter solution allows many generalisations including to models with other types of punctures and to a model with any fixed number of nested rotated staircase punctures.
Gaussian binomials and the number of sublattices
Published in Acta Cryst. (2006), A62, 409-410
• View Publication
• BIB
The purpose of this short communication is to make some observations on the connections between various existing formulas of counting the number of sublattices of a fixed index in an $n$-dimensional lattice and their connection with the Gaussian binomials.
On Derived Equivalences of Categories of Sheaves Over Finite Posets
Published in Journal of Pure and Applied Algebra 212 (2008), 435-451.
• View Publication
• BIB
A finite poset X carries a natural structure of a topological space. Fix a field k, and denote by D(X) the bounded derived category of sheaves of finite dimensional k-vector spaces over X. Two posets X and Y are said to be derived equivalent if D(X) and D(Y) are equivalent as triangulated categories.
We give explicit combinatorial properties of a poset which are invariant under derived equivalence, among them are the number of points, the Z-congruency class of the incidence matrix, and the Betti numbers.
Then we construct, for any closed subset Y of X, a strongly exceptional collection in D(X) and use it to show an equivalence between D(X) and the bounded derived category of a finite dimensional algebra A (depending on Y). We give conditions on X and Y under which A becomes an incidence algebra of a poset.
We deduce that a lexicographic sum of a collection of posets along a bipartite graph is derived equivalent to the lexicographic sum of the same collection along the opposite graph. This construction produces many new derived equivalences of posets and generalizes other well known ones.
As a corollary we show that the derived equivalence class of an ordinal sum of two posets does not depend on the order of summands. We give an example that this is not true for three summands.
Rigidity and the chess board theorem for cube packings
Published
• View Publication
• BIB
Each packing of R^d by translates of the unit cube [0,1)^d admits a decomposition into at most two parts such that if a translate of the unit cube is covered by one of them, then it also belongs to such a part.
The numbers game, geometric representations of Coxeter groups, and Dynkin diagram classification results
The numbers game is a one-player game played on a finite simple graph with certain ``amplitudes'' assigned to its edges and with an initial assignment of real numbers to its nodes. The moves of the game successively transform the numbers at the nodes using the amplitudes in a certain way. This game has been studied previously by Proctor, Mozes, Bjorner, Eriksson, and Wildberger. We show that those connected such graphs for which the numbers game meets a certain finiteness requirement are precisely the Dynkin diagrams associated with the finite-dimensional complex simple Lie algebras. As a consequence of our proof we obtain the classifications of the finite-dimensional Kac-Moody algebras and of the finite Weyl groups. We use Coxeter group theory to establish a more general result that applies to Eriksson's E-games: an E-game meets the finiteness requirement if and only if a naturally associated Coxeter group is finite. To prove this and some other finiteness results we further develop Eriksson's theory of a geometric representation of Coxeter groups and observe some curious differences of this representation from the standard geometric representation.
Factorizations of permutations into star transpositions
Published in Discrete Math. 309 (2009) no. 6, 1435-1442
• View Publication
• BIB
We give a compact expression for the number of factorizations of any permutation into a minimal number of transpositions of the form $(1 i)$. Our result generalizes earlier work of Pak in which substantial restrictions were placed on the permutation being factored.
Counting Descent Pairs with Prescribed Tops and Bottoms
Published
• View Publication
• BIB
Given sets X and Y of positive integers and a permutation sigma = sigma_1, sigma_2, ..., sigma_n in S_n, an X,Y-descent of sigma is a descent pair sigma_i > sigma_{i+1} whose "top" sigma_i is in X and whose "bottom" sigma_{i+1} is in Y. We give two formulas for the number P_{n,s}^{X,Y} of sigma in S_n with s X,Y-descents. P_{n,s}^{X,Y} is also shown to be a hit number of a certain Ferrers board. This work generalizes results of Kitaev and Remmel on counting descent pairs whose top (or bottom) is equal to 0 mod k.
Cycles and patterns in permutations
We study joint distributions of cycles and patterns in permutations written in standard cycle form. We explore both classical and generalised patterns of length 2 and 3. Many extensions of classical theory are achieved; bivariate generating functions for inversions, ascents, descents, 123s, valleys, 1'-2-1s; closed forms forms for avoidance of peaks, 2-3-1s, 1-2-3s, 2'-1-2s and 1'-2-1s; bijective proofs of Wilf-equivalences.
We also derive some results about standard pattern occurrence, such as continued fractions for the generating functions for occurrences of valleys and the pattern 123.
The methods are simple and combinatorial in nature: direct enumerative analysis and bijections to lattice paths.
The bounded complex of a uniform affine oriented matroid is a ball
Published
• View Publication
• BIB
Zaslavsky conjectures that the bounded complex of a simple hyperplane arrangement is homeomorphic to a ball. We prove this conjecture for the more general uniform affine oriented matroids.
An algorithm for map enumeration
Bauer and Itzykson showed that associated to each labeled map embedded on an oriented Riemann surface there was a group generated by a pair of permutations.
From this result an algorithm may be constructed for enumerating labeled maps, and this construction is easily augmented to bin the numbers by the genus of the surface the map is embedded in. The results agree with the calculations of Harer and Zagier of 1-vertex maps; with those of Bessis, Itzykson, and Zuber of 4-valent maps; and with those of Ercolani, McLaughlin, and Pierce for $2ν$-valent maps. We then modify this algorithm to one which counts unoriented maps or Mobius graphs. The results in this case agree with the calculation of Goulden and Jackson on 1-vertex unoriented maps.
Schur-Weyl duality in positive characteristic
Published
• View Publication
• BIB
Complete proofs of Schur-Weyl duality in positive characteristic are scarce in the literature. The purpose of this survey is to write out the details of such a proof, deriving the result in positive characteristic from the classical result in characteristic zero, using only known facts from representation theory.
Regularity properties of the Stern enumeration of the rationals
The Stern sequence (s(n)) is defined by s(0) = 0, s(1) = 1, s(2n) = s(n), s(2n+1) = s(n) + s(n+1). Stern showed in 1858 that gcd(s(n),s(n+1)) = 1, and that for every pair of relatively prime positive integers (a,b), there exists a unique n so that s(n) = a and s(n+1) = b. We show that, in a strong sense, the average value of s(n)/s(n+1) is 3/2, and that for all d, (s(n),s(n+1)) is uniformly distributed among all feasible pairs of congruence classes modulo d. More precise results are presented for d = 2 and 3.
Combinatorial Classes, Hyperelliptic Loci, and Hodge Integrals
A closed formula is obtained for the integral $\int_{\mathcal{\bar{H}}_g^1}κ_{1}ψ^{2g-2}$ of tautological classes over the locus of hyperelliptic Weierstraß points in the moduli space of curves. As a corollary, a relation between Hodge integrals is obtained.
The calculation utilizes the homeomorphism between the moduli space of curves $\mathcal{M}_{g,1}$ and the combinatorial moduli space $\mathcal{M}^{comb}_{g,1}$, a PL-orbifold whose cells are enumerated by fatgraphs. This cell decomposition can be used to naturally construct combinatorial PL-cycles $W_a\subset\mathcal{M}^{comb}_{g,1}$ whose homology classes are essentially the Poincaré duals of the Mumford-Morita-Miller classes $κ_a$. In this paper we construct another PL-cycle $\mathcal{H}^{comb}_g \subset \mathcal{M}^{comb}_{g,1}$ representing the locus of hyperelliptic Weierstraß points and explicitly describe the chain level intersection of this cycle with $W_1$. Using this description of $\mathcal{H}^{comb}_g\cap W_1$, the duality between Witten cycles $W_a$ and the $κ_a$ classes, and Kontsevich's scheme of integrating $ψ$ classes, the integral $\int_{\mathcal{\bar{H}}_g^1}κ_{1}ψ^{2g-2}$ is reduced to a weighted sum over graphs and is evaluated by the enumeration of trees.
New bounds for Szemeredi's theorem, II: A new bound for $r_4(N)$
Define $r_4(N)$ to be the largest cardinality of a set $A$ in $\{1,\dots,N\}$ which does not contain four elements in arithmetic progression. In 1998 Gowers proved that $r_4(N) \ll N(\log \log N)^{-c}$ for some absolute constant $c> 0$. In this paper (part II of a series) we improve this to $r_4(N) \ll N e^{-c\sqrt{\log \log N}}$. In part III of the series we will use a more elaborate argument to improve this to $r_4(N) \ll N(\log N)^{-c}$.
Geometric positivity in the cohomology of homogeneous spaces and generalized Schubert calculus
Published
• View Publication
• BIB
We describe recent work on positive descriptions of the structure constants of the cohomology of homogeneous spaces such as the Grassmannian, by degenerations and related methods. We give various extensions of these rules, some new and conjectural, to K-theory, equivariant cohomology, equivariant K-theory, and quantum cohomology.
Upper bound on the characters of the symmetric groups for balanced Young diagrams and a generalized Frobenius formula
Published in Advances in Mathematics 218 (2008) 673-695
• View Publication
• BIB
We study asymptotics of an irreducible representation of the symmetric group S_n corresponding to a balanced Young diagram λ(a Young diagram with at most C\sqrt{n} rows and columns for some fixed constant C) in the limit as n tends to infinity. We show that there exists a constant D (which depends only on C) with a property that |χ^λ(π)| = | Tr ρ^λ(π)/Tr ρ^λ(e) | < [ D max(1,|π|^2/n) / \sqrt{n}} ]^{|π|}, where |π| denotes the length of a permutation (the minimal number of factors necessary to write πas a product of transpositions). Our main tool is an analogue of Frobenius character formula which holds true not only for cycles but for arbitrary permutations.
Finite q-identities related to well-known theorems of Euler and Gauss
We give generalizations of a finite version of Euler's pentagonal number theorem and of a q-identity of Gauss.
The category of toric stacks
Published
• View Publication
• BIB
In this paper, we prove that there exists an equivalence between 2-category of smooth Deligne-Mumford stacks with torus-embeddings and actions, and the 1-category of stacky fans. For this purpose, we obtain two main results. The first is to investigate a combinatorial aspect of the 2-category of toric algebraic stacks defined in \cite{I2}. We establish an equivalence between the 2-category of toric algebraic stacks and the 1-category of stacky fans. The second is to give a geometric characterization theorem for toric algebraic stacks.
Non-backtracking random walks mix faster
Published in Commun. Contemp. Math. 9 (2007), no. 4, 585-603
• View Publication
• BIB
We compute the mixing rate of a non-backtracking random walk on a regular expander. Using some properties of Chebyshev polynomials of the second kind, we show that this rate may be up to twice as fast as the mixing rate of the simple random walk. The closer the expander is to a Ramanujan graph, the higher the ratio between the above two mixing rates is.
As an application, we show that if $G$ is a high-girth regular expander on $n$ vertices, then a typical non-backtracking random walk of length $n$ on $G$ does not visit a vertex more than $(1+o(1))\frac{\log n}{\log\log n}$ times, and this result is tight. In this sense, the multi-set of visited vertices is analogous to the result of throwing $n$ balls to $n$ bins uniformly, in contrast to the simple random walk on $G$, which almost surely visits some vertex $Ω(\log n)$ times.