Showing 20 papers (Total: 81378 papers, 47165 authors in database)
On the probabilistic rationale of I-divergence and J-divergence minimization
A probabilistic rationale for I-divergence minimization (relative entropy maximization), non-parametric likelihood maximization and J-divergence minimization (Jeffres' entropy maximization) criteria is provided.
Rectangle diagrams for the Lusztig cones of quantized enveloping algebras of type A
Published
• View Publication
• BIB
Let U be the quantum group associated to a Lie algebra of type A_n. The negative part U^- of U has a canonical basis B defined by Lusztig and Kashiwara, with favourable properties. We show how the spanning vectors of the cones defined by Lusztig when regarded as monomials in Kashiwara's root operators, can be described using a remarkable rectangle combinatorics. We use this to calculate the Lusztig parameters of the corresponding canonical basis elements, conjecturing that translates of these vectors span the simplicial regions of linearity of Lusztig's piecewise-linear function.
Keywords: quantum group, canonical basis, Lusztig cone, longest word, piecewise-linear combinatorics.
Lattice Points inside Lattice Polytopes
Published
• View Publication
• BIB
We show that, if the interior of a lattice d-polytope P contains at least one lattice point, then it contains a lattice point whose coefficient of asymmetry with respect to P is at most b for some number b depending on d only.
As an application, we obtain new upper bounds on the volume of a lattice polytope given the number of lattice points in its interior.
Alternating sign matrices and tournaments
Published in Adv. Appl. Math. 27 (2001), 318--335
• View Publication
• BIB
We settle a question of Bressoud concerning the existence of an explicit bijection from a class of oriented square-ice graphs to a class of tournaments. We give an algorithm constructing such a bijection.
A special case of sl(n)-fusion coefficients
We give a combinatorial description of sl(n)-fusion coefficients in the case where one partition has at most two columns and establih other properties for this case.
The Lusztig cones of a quantized enveloping algebra of type A
Published
• View Publication
• BIB
We show that for each reduced expression for the longest word in the Weyl group of type A_n, the corresponding cone arising in Lusztig's description of the canonical basis in terms of tight monomials is simplicial, and construct explicit spanning vectors.
Structure of some sand pile model
Published
• View Publication
• BIB
SPM (Sand Pile Model) is a simple discrete dynamical system used in physics to represent granular objects. It is deeply related to integer partitions, and many other combinatorics problems, such as tilings or rewriting systems. The evolution of the system started with n stacked grains generates a lattice, denoted by SPM(n). We study here the structure of this lattice. We first explain how it can be constructed, by showing its strong self-similarity property. Then, we define SPM(infini), a natural extension of SPM when one starts with an infinite number of grains. Again, we give an efficient construction algorithm and a coding of this lattice using a self-similar tree. The two approaches give different recursive formulae for the cardinal of SPM(n), where no closed formula have ever been found.
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.