Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Discrete Polynomials and Discrete Holomorphic Approximation
We use discrete holomorphic polynomials to prove that, given a refining sequence of critical maps of a Riemann surface, any holomorphic function can be approximated by a converging sequence of discrete holomorphic functions.
Rectangular Schur functions and the basic representation of affine Lie algebras
Published
• View Publication
• BIB
An expression is given for the plethysm $p_{2}\circ S_{\square}$, where $p_{2}$ is the power sum of degree two and $S_{\square}$ is the Schur function indexed by a rectangular partition. The formula can be well understood from the viewpoint of the basic representation of the affine Lie algebra of type $A_{2}^{(2)}$.
Bases of the contact-order filtration of derivations of Coxeter arrangements
Published in Proc. AMS 133 (2005), 2029-2034; 136 (2008), 2639-2639
• View Publication
• BIB
In [5] (=Terao, H.: Multiderivations of Coxeter arrangements. Inventiones math., 148 (2002) 659--674), we constructed a basis for the contact-order filtration of the module of derivations on the orbit space of a finite real reflection group acting on an $\ell$-dimensional Euclidean space. Recently M. Yoshinaga constructed another basis for the contact-order filtration in [7] (=Yoshinaga, M.: The primitive derivation and freeness of multi-Coxeter arrangements. preprint 2002). In this note we give an explicit formula relating Yoshinaga's basis to the basis given in [5]. The two bases turn out to be equal (up to a constant matrix).
The primitive derivation and freeness of multi-Coxeter arrangements
Published in Proc. Japan Acad. Ser. 78(2002), no. 7, 116-119
• View Publication
• BIB
We will prove the freeness of multi-Coxeter arrangements by constructing a basis of the module of vector fields which contact to each reflecting hyperplanes with some multiplicities using K. Saito's theory of primitive derivation.
Dualistic computational algebraic analyses of primal and dual minimum cost flow problems on acyclic tournament graphs
To integer programming problems, computational algebraic approaches using Grobner bases or standard pairs via the discreteness of toric ideals have been studied in recent years. Although these approaches have not given improved time complexity bound compared with existing methods for solving integer programming problems, these give algebraic analysis of their structures. In this paper, we focus on the case that the coefficient matrix is unimodular, especially on the primal and dual minimum cost flow problems, whose structure is rather well-known, but new structures can be revealed by our approach. We study the Grobner bases and standard pairs for unimodular programming, and give the maximum number of dual feasible bases in terms of the volume of polytopes. And for the minimum cost flow problems, we characterize reduced Grobner bases in terms of graphs, and give bounds for the number of dual (resp. primal) feasible bases of the primal (resp. dual) problems: for the primal problems the minimum and the maximum are shown to be 1 and the Catalan number $\frac{1}{d}\tbinom{2(d-1)}{d-1}$, while for the dual problems the lower bound is shown to be $Ω(2^{\lfloor d/6\rfloor})$. To analyze arithmetic degrees, we use two approaches: one is the relation between reduced Gr{ö}bner bases and standard pairs, where the corresponding relation on the minimum cost flow -- between a subset of circuits and dual feasible bases -- has not been so clear, the other is the results in combinatorics related with toric ideals.
A new notion of transitivity for groups and sets of permutations
Published
• View Publication
• BIB
Let $Ω=\{1,2,...,n\}$ where $n \ge 2$. The {\em shape} of an ordered set partition $P=(P_1,..., P_k)$ of $Ω$ is the integer partition $λ=(λ_1,...,λ_k)$ defined by $λ_i = |P_i|$. Let G be a group of permutations acting on $Ω$. For a fixed partition $λ$ of n, we say that G is {\em $λ$-transitive} if G has only one orbit when acting on partitions P of shape $\la$. A corresponding definition can also be given when G is just a set. For example, if $λ=(n-t,1,...,1)$, then a $λ$-transitive group is the same as a t-transitive permutation group and if $λ=(n-t,t)$, then we recover the t-homogeneous permutation groups.
In this paper, we use the character theory of the symmetric group $S_n$ to establish some structural results regarding $λ$-transitive groups and sets. In particular, we are able to generalize a theorem of Livingstone and Wagner about t-homogeneous groups. We survey the relevant examples coming from groups. While it is known that a finite group of permutations can be at most 5-transitive unless it contains the alternating group, we show that it is possible to construct a non-trivial t-transitive set of permutations for each positive integer t. We also show how these ideas lead to a split basis for the association scheme of the symmetric group.
Two formulae for inverse Kazhdan-Lusztig polynomials in S_n
Published
• View Publication
• BIB
Let w_0 denote the permutation [n,n-1,...,2,1]. We give two new explicit formulae for the Kazhdan-Lusztig polynomials P_{w_0w,w_0x} in S_n when x is a maximal element in the singular locus of the Schubert variety X_w. To do this, we utilize a standard identity that relates P_{x,w} and P_{w_0w,w_0x}.
Non-crossing cumulants of type B
Published
• View Publication
• BIB
We establish connections between the lattices of non-crossing partitions of type B introduced by V. Reiner, and the framework of the free probability theory of D. Voiculescu.
Lattices of non-crossing partitions (of type A, up to now) have played an important role in the combinatorics of free probability, primarily via the non-crossing cumulants of R. Speicher. Here we introduce the concept of {\em non-crossing cumulant of type B;} the inspiration for its definition is found by looking at an operation of ``restricted convolution of multiplicative functions'', studied in parallel for functions on symmetric groups (in type A) and on hyperoctahedral groups (in type B).
The non-crossing cumulants of type B live in an appropriate framework of ``non-commutative probability space of type B'', and are closely related to a type B analogue for the R-transform of Voiculescu (which is the free probabilistic counterpart of the Fourier transform). By starting from a condition of ``vanishing of mixed cumulants of type B'', we obtain an analogue of type B for the concept of free independence for random variables in a non-commutative probability space.
Some statistics on restricted 132 involutions
Published
• View Publication
• BIB
In [GM] Guibert and Mansour studied involutions on n letters avoiding (or containing exactly once) 132 and avoiding (or containing exactly once) an arbitrary pattern on k letters. They also established a bijection between 132-avoiding involutions and Dyck word prefixes of same length. Extending this bijection to bilateral words allows to determine more parameters; in particular, we consider the number of inversions and rises of the involutions onto the words. This is the starting point for considering two different directions: even/odd involutions and statistics of some generalized patterns. Thus we first study generating functions for the number of even or odd involutions on n letters avoiding (or containing exactly once) 132 and avoiding (or containing exactly once) an arbitrary pattern $τ$ on k letters. In several interesting cases the generating function depends only on k and is expressed via Chebyshev polynomials of the second kind. Next, we consider other statistics on 132-avoiding involutions by counting an occurrences of some generalized patterns, related to the enumeration according to the number of rises.
Real k-flats tangent to quadrics in R^n
Published in Proc. Amer. Math. Soc., 133 (2005), 2835--2844.
• View Publication
• BIB
Let d_{k,n} and #_{k,n} denote the dimension and the degree of the Grassmannian G_{k,n} of k-planes in projective n-space, respectively. For each k between 1 and n-2 there are 2^{d_{k,n}} \cdot #_{k,n} (a priori complex) k-planes in P^n tangent to d_{k,n} general quadratic hypersurfaces in P^n. We show that this class of enumerative problem is fully real, i.e., for each k between 1 and n-2 there exists a configuration of d_{k,n} real quadrics in (affine) real space R^n so that all the mutually tangent k-flats are real.
How is a graph like a manifold?
In this article, we discuss some classical problems in combinatorics which can be solved by exploiting analogues between graph theory and the theory of manifolds. One well-known example is the McMullen conjecture, which was settled twenty years ago by Richard Stanley by interpreting certain combinatorial invariants of convex polytopes as the Betti numbers of a complex projective variety. Another example is the classical parallel redrawing problem, which turns out to be closely related to the problem of computing the second Betti number of a complex compact $(\C^*)^n$-manifold.
Quiver varieties, affine Lie algebras, algebras of BPS states, and semicanonical basis
Published
• View Publication
• BIB
We suggest a (conjectural) construction of a basis in the plus part of the affine Lie algebra of type ADE indexed by irreducible components of certain quiver varieties. This construction is closely related to a string-theoretic construction of a Lie algebra of BPS states. We then study the new combinatorial questions about the (classical) root systems naturally arising from our constructions and Lusztig's semicanonical basis.
Quantum Bruhat graph and Schubert polynomials
Published
• View Publication
• BIB
The quantum Bruhat graph, which is an extension of the graph formed by covering relations in the Bruhat order, is naturally related to the quantum cohomology ring of G/B. We enhance a result of Fulton and Woodward by showing that the minimal monomial in the quantum parameters that occurs in the quantum product of two Schubert classes has a simple interpretation in terms of directed paths in this graph.
We define path Schubert polynomials, which are quantum cohomology analogues of skew Schubert polynomials recently introduced by Lenart and Sottile. They are given by sums over paths in the quantum Bruhat graph of type A. The 3-point Gromov-Witten invariants for the flag manifold are expressed in terms of these polynomials. This construction gives a combinatorial description for the set of all monomials in the quantum parameters that occur in the quantum product of two Schubert classes.
Symmetric iterated Betti numbers
Published
• View Publication
• BIB
We define a set of invariants of a homogeneous ideal $I$ in a polynomial ring called the symmetric iterated Betti numbers of $I$. For $I_Γ$, the Stanley-Reisner ideal of a simplicial complex $Γ$, these numbers are the symmetric counterparts of the exterior iterated Betti numbers of $Γ$ introduced by Duval and Rose. We show that the symmetric iterated Betti numbers of an ideal $I$ coincide with those of a particular reverse lexicographic generic initial ideal $\Gin(I)$ of $I$, and interpret these invariants in terms of the associated primes and standard pairs of $\Gin(I)$. We verify that for an ideal $I=I_Γ$ the extremal Betti numbers of $I_Γ$ are precisely the extremal (symmetric or exterior) iterated Betti numbers of $Γ$. We close with some results and conjectures about the relationship between symmetric and exterior iterated Betti numbers of a simplicial complex.
Pattern containment and combinatorial inequalities
We use a probabilistic method to produce some combinatorial inequalities by considering pattern containment in permutations and words.
The smallest degree sum that yields potentially $C_k$-graphical sequence
Published in Journal of Combinatorial Mathematics and Combinatorial Computing 49 (2004), 57-64
• Search Publication
In this paper we consider a variation of the classical Turán-type extremal problems. Let $S$ be an $n$-term graphical sequence, and $σ(S)$ be the sum of the terms in $S$. Let $H$ be a graph. The problem is to determine the smallest even $l$ such that any $n$-term graphical sequence $S$ having $σ(S)\ge l$ has a realization containing $H$ as a subgraph. Denote this value $l$ by $σ(H, n)$. We show $σ(C_{2m+1}, n)=m(2n-m-1)+2$, for $m\ge 3$, $n\ge 3m$; $σ(C_{2m+2}, n)=m(2n-m-1)+4$, for $m\ge 3, n\ge 5m-2$.
A Lower Bound for the Number of Edges in a Graph Containing No Two Cycles of the Same Length
Published in The Electronic Journal of Combinatorics 8(2001), #N9
• View Publication
• BIB
In 1975, P. Erdös proposed the problem of determining the maximum number $f(n)$ of edges in a graph of $n$ vertices in which any two cycles are of different lengths. In this paper, it is proved that $$f(n)\geq n+32t-1$$ for $t=27720r+169 (r\geq 1)$ and $n\geq{6911/16}t^{2}+{514441/8}t-{3309665/16}$. Consequently, $\liminf\sb {n \to \infty} {f(n)-n \over \sqrt n} \geq \sqrt {2 + {2562 \over 6911}}.$
Inversion of bilateral basic hypergeometric series
Published in Electron. J. Combin. 10 (2003), #R10, 27 pp.
• Search Publication
We present a new matrix inverse with applications in the theory of bilateral basic hypergeometric series. Our matrix inversion result is directly extracted from an instance of Bailey's very-well-poised 6-psi-6 summation theorem, and involves two infinite matrices which are not lower-triangular. We combine our bilateral matrix inverse with known basic hypergeometric summation theorems to derive, via inverse relations, several new identities for bilateral basic hypergeometric series.
Generalization of Schensted insertion algorithm to the cases of hooks and semi-shuffles
Published
• View Publication
• BIB
Given an rc-graph $R$ of permutation $w$ and an rc-graph $Y$ of permutation $v$, we provide an insertion algorithm, which defines an rc-graph $R\leftarrow Y$ in the case when $v$ is a shuffle with the descent at $r$ and $w$ has no descents greater than $r$ or in the case when $v$ is a shuffle, whose shape is a hook. This algorithm gives a combinatorial rule for computing the generalized Littlewood-Richardson coefficients $c^{u}_{wv}$ in the two cases mentioned above.
Expansive Motions and the Polytope of Pointed Pseudo-Triangulations
Published in In "Discrete and Computational Geometry -- The Goodman-Pollack Festschrift" (B. Aronov, S. Basu, J. Pach, M. Sharir, eds), Algorithms and Combinatorics 25, Springer Verlag, Berlin, June 2003, pp. 699-736
• View Publication
• BIB
We introduce the polytope of pointed pseudo-triangulations of a point set in the plane, defined as the polytope of infinitesimal expansive motions of the points subject to certain constraints on the increase of their distances. Its 1-skeleton is the graph whose vertices are the pointed pseudo-triangulations of the point set and whose edges are flips of interior pseudo-triangulation edges.
For points in convex position we obtain a new realization of the associahedron, i.e., a geometric representation of the set of triangulations of an n-gon, or of the set of binary trees on n vertices, or of many other combinatorial objects that are counted by the Catalan numbers. By considering the 1-dimensional version of the polytope of constrained expansive motions we obtain a second distinct realization of the associahedron as a perturbation of the positive cell in a Coxeter arrangement.
Our methods produce as a by-product a new proof that every simple polygon or polygonal arc in the plane has expansive motions, a key step in the proofs of the Carpenter's Rule Theorem by Connelly, Demaine and Rote (2000) and by Streinu (2000).