Showing 20 papers (Total: 82851 papers, 47869 authors in database)
The Lattice of integer partitions and its infinite extension
Published in Discrete Mathematics Vol. 309, No. 6, 2009
• View Publication
• BIB
In this paper, we use a simple discrete dynamical model to study integer partitions and their lattice. The set of reachable configurations of the model, with the order induced by the transition rule defined on it, is the lattice of all partitions of an integer, equipped with a dominance ordering. We first explain how this lattice can be constructed by an algorithm in linear time with respect to its size by showing that it has a self-similar structure. Then, we define a natural extension of the model to infinity, which we compare with the Young lattice. Using a self-similar tree, we obtain an encoding of the obtained lattice which makes it possible to enumerate easily and efficiently all the partitions of a given integer. This approach also gives a recursive formula for the number of partitions of an integer, and some informations on special sets of partitions, such as length bounded partitions.
Generalized Integer Partitions, Tilings of Zonotopes and Lattices
Published in Proceedings of the 12th International Conference SFCA/FPSAC'00, Springer (publisher), D.Krob, A.A.Mikhalev and A.V.Mikhalev (Eds)
• View Publication
• BIB
In this paper, we study two kinds of combinatorial objects, generalized integer partitions and tilings of two dimensional zonotopes, using dynamical systems and order theory. We show that the sets of partitions ordered with a simple dynamics, have the distributive lattice structure. Likewise, we show that the set of tilings of zonotopes, ordered with a simple and classical dynamics, is the disjoint union of distributive lattices which we describe. We also discuss the special case of linear integer partitions, for which other dynamical systems exist. These results give a better understanding of the behaviour of tilings of zonotopes with flips and dynamical systems involving partitions.
Orthogonal divided differences and Schubert polynomials, P-functions, and vertex operators
Published
• View Publication
• BIB
We give several new formulas which are useful for Schubert Calculus associated with the orthogonal groups and related orthogonal degeneracy loci.
The Intersection of All Maximum Stable Sets of a Tree and its Pendant Vertices
Published
• View Publication
• BIB
A stable set in a graph G is a set of mutually non-adjacent vertices, alpha(G) is the size of a maximum stable set of G, and core(G) is the intersection of all its maximum stable sets. In this paper we demonstrate that in a tree T, of order n greater than 1, any stable set of size greater or equal to n/2 contains at least one pendant vertex. Hence, we deduce that any maximum stable set in a tree contains at least one pendant vertex. Our main finding is the theorem claiming that if T does not own a perfect matching, then at least two pendant vertices an even distance apart belong to core(T). While it is proved by Levit and Mandrescu that if G is a connected bipartite graph of order at least 2, then the size of core(G) is different from 1, our new statement reveals an additional structure of the intersection of all maximum stable sets of a tree. The above assertions give refining of one result of Hammer, Hansen and Simeone, stating that if a graph G is of order less than 2*alpha(G), then core(G) is non-empty, and also of a result of Jamison, Gunter, Hartnel and Rall, and Zito, saying that for a tree T of order at least two, the size of core(G) is different from 1.
Permutations avoiding a pattern from $S_k$ and at least two patterns from $S_3$
In this paper, we find explicit formulas or generating functions for the cardinalities of the sets $S_n(T,τ)$ of all permutations in $S_n$ that avoid a pattern $τ\in S_k$ and a set $T$, $|T|\geq 2$, of patterns from $S_3$. The main body of the paper is divided into three sections corresponding to the cases $|T|=2,3$ and $|T|\geq 4$. As an example, in the fifth section, we obtain the complete classification of all cardinalities of the sets $S_n(T,τ)$ for $k=4$.
Transitive and Co-Transitive Caps
Published
• View Publication
• BIB
A cap in PG(r,q) is a set of points, no three of which are collinear. A cap is said to be transitive if its automorphism group in PGammaL(r+1,q) acts transtively on the cap, and co-transitive if the automorphism group acts transtively on the cap's complement in PG(r,q). Transitive, co-transitive caps are characterized as being one of: an elliptic quadric in PG(3,q); a Suzuki-Tits ovoid in PG(3,q); a hyperoval in PG(2,4); a cap of size 11 in PG(4,3); the complement of a hyperplane in PG(r,2); or a union of Singer orbits in PG(r,q) whose automorphism group comes from a subgroup of GammaL(1,q^{r+1}).
Morse theory on graphs
Let $Γ$ be a finite d-valent graph and G an n-dimensional torus. An ``action'' of G on $Γ$ is defined by a map, $α$, which assigns to each oriented edge e of $Γ$ a one-dimensional representation of G (or, alternatively, a weight, $α_e$, in the weight lattice of G). For the assignment, $e \to α_e$, to be a schematic description of a ``G-action'', these weights have to satisfy certain compatibility conditions: the GKM axioms. We attach to $(Γ, α)$ an equivariant cohomology ring, $H_G(Γ)=H(Γ,α)$. By definition this ring contains the equivariant cohomology ring of a point, $\SS(\fg^*) = H_G(pt)$, as a subring, and in this paper we will use graphical versions of standard Morse theoretical techniques to analyze the structure of $H_G(Γ)$ as an $\SS(\fg^*)$-module.
Combinatorial formulas for products of Thom classes
Published
• View Publication
• BIB
Let G be a torus of dimension n > 1 and M a compact Hamiltonian G-manifold with $M^G$ finite. A circle, $S^1$, in G is generic if $M^G = M^{S^1}$. For such a circle the moment map associated with its action on M is a perfect Morse function. Let $\{ W_p^+ ; p \in M^G\}$ be the Morse-Whitney stratification of M associated with this function, and let $τ_p^+$ be the equivariant Thom class dual to $W_p^+$. These classes form a basis of $H_G^*(M)$ as a module over $\SS(\fg^*)$ and, in particular, $$τ_p^+ τ_q^+ = \sum c_{pq}^r τ_r^+$$ with $c_{pq}^r \in \SS(\fg^*)$. For manifolds of GKM type we obtain a combinatorial description of these $τ_p^+$'s and, from this description, a combinatorial formula for $c_{pq}^r$.
Foata's Bijection for Tree-Like Structures
We present bijections enumerating (k,m)-trees, k-gon trees, edge labelled (2,1)-trees, and other tree-like structures. Our constructions are based on Foata's (1971) bijection for cycle-free functions, which is simplified here.
New Permanent Estimators via Non-Commutative Determinants
We introduce a new notion of the determinant, called symmetrized determinant, for a square matrix with the entries in an associative algebra $Å$. The monomial expansion of the symmetrized determinant is obtained from the standard expansion of the commutative determinant by averaging the products of entries of the matrix in all possible orders. We show that for any fixed finite-dimensional associative algebra $Å$, the symmetrized determinant of an $n\times n$ matrix with the entries in $Å$ can be computed in polynomial in $n$ time (the degree of the polynomial is linear in the dimension of $Å$). Then, for every associative algebra $Å$ endowed with a scalar product and unbiased probability measure, we construct a randomized polynomial time algorithm to estimate the permanent of non-negative matrices. We conjecture that if $Å=\Mat(d, {\Bbb R})$ is the algebra of $d\times d$ real matrices endowed with the standard scalar product and Gaussian measure, the algorithm approximates the permanent of a non-negative $n \times n$ matrix within $O(γ_d^n)$ factor, where $\lim_{d \longrightarrow +\infty} γ_d=1$. Finally, we provide some informal arguments why the conjecture might be true.
Edge Effects on Local Statistics in Lattice Dimers: A Study of the Aztec Diamond (Finite Case)
We compute the probability of any local pattern at an arbitrary position in a random dimer configuration in a square grid with an Aztec-diamond boundary.
Ising model on nonorientable surfaces: Exact solution for the Moebius strip and the Klein bottle
Published in Phys.Rev. E63 (2001) 026107
• View Publication
• BIB
Closed-form expressions are obtained for the partition function of the Ising model on an M x N simple-quartic lattice embedded on a Moebius strip and a Klein bottle for finite M and N. The finite-size effects at criticality are analyzed and compared with those under cylindrical and toroidal boundary conditions. Our analysis confirms that the central charge is c=1/2.
Conference matrices and unimodular lattices
Published
• View Publication
• BIB
Conference matrices are used to define complex structures on real vector spaces. Certain lattices in these spaces become modules for rings of quadratic integers. Multiplication of these lattices by non-principal ideals yields simple constructions of further lattices including the Leech lattice.
Three alternating sign matrix identities in search of bijective proofs
Published
• View Publication
• BIB
This paper highlights three known identities, each of which involves sums over alternating sign matrices. While proofs of all three are known, the only known derivations are as corollaries of difficult results. The simplicity and natural combinatorial interpretation of these identities, however, suggest that there should be direct, bijective proofs.
Convergence of zeta functions of graphs
Published
• View Publication
• BIB
The $L^2$-zeta function of an infinite graph Y (defined previously in a ball around zero) has an analytic extension. For a tower of finite graphs covered by Y, the normalized zeta functions of the finite graphs converge to the $L^2$-zeta function of Y.
A simple proof of Bailey's very-well-poised 6-psi-6 summation
Published in Proc. Amer. Math. Soc. 130 (2002), 1113-1123
• View Publication
• BIB
We give elementary derivations of some classical summation formulae for bilateral (basic) hypergeometric series. In particular, we apply Gauss' 2-F-1 summation and elementary series manipulations to give a simple proof of Dougall's 2-H-2 summation. Similarly, we apply Rogers' nonterminating 6-phi-5 summation and elementary series manipulations to give a simple proof of Bailey's very-well-poised 6-psi-6 summation. Our method of proof extends M. Jackson's first elementary proof of Ramanujan's 1-psi-1 summation.
Symmetric Hilbert spaces arising from species of structures
Published in Mathematische Zeitschrift 239, 477-513, (2002)
• View Publication
• BIB
Symmetric Hilbert spaces such as the bosonic and the fermionic Fock spaces over some `one particle space' $\K$ are formed by certain symmetrization procedures performed on the full Fock space. We investigate alternative ways of symmetrization by building on Joyal's notion of a combinatorial species. Any such species $F$ gives rise to an endofunctor $\G_F$ of the category of Hilbert spaces with contractions mapping a Hilbert space $\K$ to a symmetric Hilbert space $\G_F(\K)$ with the same symmetry as the species $F$. A general framework for annihilation and creation operators on these spaces is developed, and compared to the generalised Brownian motions of R. Speicher and M. Bożejko. As a corollary we find that the commutation relation $a_ia_j^*-a_j^*a_i=f(N)δ_{ij}$ with $Na_i^*-a_i^*N=a_i^*$ admits a realization on a symmetric Hilbert space whenever $f$ has a power series with infinite radius of convergence and positive coefficients.
On Descents in Standard Young Tableaux
Published in Electronic J. Combinatorics 7(2000), R59
• Search Publication
In this paper, explicit formulae for the expectation and the variance of descent functions on random standard Young tableaux are presented. Using these, it is shown that the normalized variance, $V/E^2$, is bounded if and only if a certain inequality relating tableau shape to the descent function holds.
A double bounded key identity for Goellnitz's (big) partition theorem
Published
• View Publication
• BIB
Given integers i,j,k,L,M, we establish a new double bounded q-series identity from which the three parameter (i,j,k) key identity of Alladi-Andrews-Gordon for Goellnitz's (big) theorem follows if L, M tend to infinity. When L = M, the identity yields a strong refinement of Goellnitz's theorem with a bound on the parts given by L. This is the first time a bounded version of Goellnitz's (big) theorem has been proved. This leads to new bounded versions of Jacobi's triple product identity for theta functions and other fundamental identities.
A Large Dihedral Symmetry of the Set of Alternating Sign Matrices
Published
• View Publication
• BIB
We prove a conjecture of Cohn and Propp, which refines a conjecture of Bosley and Fidkowski about the symmetry of the set of alternating sign matrices (ASMs). We examine data arising from the representation of an ASM as a collection of paths connecting 2n vertices and show it to be invariant under the dihedral group D_{2n} rearranging those vertices, which is much bigger than the group of symmetries of the square. We also generalize conjectures of Propp and Wilson relating some of this data for different values of n.