Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Torus actions, equivariant moment-angle complexes, and coordinate subspace arrangements
Published in J. Math. Sci. (N. Y.) 113 (2003), no. 4, 558-568
• View Publication
• BIB
We show that the cohomology algebra of the complement of a coordinate subspace arrangement in m-dimensional complex space is isomorphic to the cohomology algebra of Stanley-Reisner face ring of a certain simplicial complex on m vertices. (The face ring is regarded as a module over the polynomial ring on m generators.) Then we calculate the latter cohomology algebra by means of the standard Koszul resolution of polynomial ring. To prove these facts we construct an equivariant with respect to the torus action homotopy equivalence between the complement of a coordinate subspace arrangement and the moment-angle complex defined by the simplicial complex. The moment-angle complex is a certain subset of a unit poly-disk in m-dimensional complex space invariant with respect to the action of an m-dimensional torus. This complex is a smooth manifold provided that the simplicial complex is a simplicial sphere, but otherwise has more complicated structure. Then we investigate the equivariant topology of the moment-angle complex and apply the Eilenberg-Moore spectral sequence. We also relate our results with well known facts in the theory of toric varieties and symplectic geometry.
Multiple vertex coverings by specified induced subgraphs
Given graphs H_1,...,H_k, we study the minimum order of a graph G such that for each i, the induced copies of H_i in G cover V(G). We prove a general upper bound of twice the sum of the numbers m_i, where m_i is one less than the order of H_i. When k=2 and one graph is an independent set of size n, we determine the optimum within a constant. When k=2 and the graphs are a star and an independent set, we determine the answer exactly.
On Alexander-Conway Polynomials for Virtual Knots and Links
A polynomial invariant of virtual links, arising from an invariant of links in thickened surfaces introduced by Jaeger, Kauffman, and Saleur, is defined and its properties are investigated. Examples are given that the invariant can detect chirality and even non-invertibility of virtual knots and links. Furthermore, it is shown that the polynomial satisfies a Conway-type skein relation - in contrast to the Alexander polynomial derived from the virtual link group.
Multivariate Regression Depth
Published in Discrete Comput. Geom. 28(1):1-17, July 2002
• View Publication
• BIB
The regression depth of a hyperplane with respect to a set of n points in R^d is the minimum number of points the hyperplane must pass through in a rotation to vertical. We generalize hyperplane regression depth to k-flats for any k between 0 and d-1. The k=0 case gives the classical notion of center points. We prove that for any k and d, deep k-flats exist, that is, for any set of n points there always exists a k-flat with depth at least a constant fraction of n. As a consequence, we derive a linear-time (1+epsilon)-approximation algorithm for the deepest flat.
Integrals over classical Groups, Random permutations, Toda and Toeplitz lattices
Published
• View Publication
• BIB
Matrix Fourier-like integrals over the classical groups O_+(n), O_-(n), Sp(n) and U(n) are connected with the distribution of the length of the longest increasing sequence in random permutations and random involutions and the spectrum of random matrices. One of the purposes of this paper is to show that all those integrals satisfy the Painlevé V equation with specific initial conditions. In this work, we present both, new results and known ones, in a unified way.
Our method consists of inserting one set of time variables t=(t_1,t_2,...) in the integrals for the real compact groups and two sets of times (t,s) for the unitary group. The point is that these new time-dependent integrals satisfy integrable hierarchies:
(i) O(n) and Sp(n) correspond to the standard Toda lattice. (ii) U(n) corresponds to the Toeplitz lattice, a very special reduction of the discrete sinh-Gordon equation.
Both systems, the standard Toda lattice and the Toeplitz lattice are also reductions of the 2-Toda lattice, thus leading to a natural vertex operator, and so, a natural Virasoro algebra, a subalgebra of which annihilates the tau-functions. Combining these equations leads to the Painlevé V equation for the integrals.
New Examples of Potential Theory on Bratelli Diagrams
We consider potential theory on Bratteli diagrams arising from Macdonald polynomials. The case of Hall-Littlewood polynomials is particularly interesting; the elements of the diagram are partitions, the branching multiplicities are integers, the combinatorial dimensions are Green's polynomials, and the Jordan form of a randomly chosen unipotent upper triangular matrix over a finite field gives rise to a harmonic function. The case of Schur functions yields natural deformations of the Young lattice and Plancharel measure. Many harmonic functions are constructed and algorithms for sampling from the underlying probability measures are given.
A tree version of Konig's theorem
Published
• View Publication
• BIB
Konig's theorem states that the covering number and the matching number of a bipartite graph are equal. We prove a generalisation of this result, in which each point in one side of the graph is replaced by a subtree of a given tree. The proof uses a recent extension of Hall's theorem to families of hypergraphs, by the first author and P. Haxell.
Shape Avoiding Permutations
Published
• View Publication
• BIB
Permutations avoiding all patterns of a given shape (in the sense of Robinson-Schensted-Knuth) are considered. We show that the shapes of all such permutations are contained in a suitable thick hook, and deduce an exponential growth rate for their number.
Matrices and $α$-Stable Bipartite Graphs
A square (0,1)-matrix X of order n > 0 is called fully indecomposable if there exists no integer k with 0 < k < n, such that X has a k by n-k zero submatrix. A stable set of a graph G is a subset of pairwise nonadjacent vertices. The stability number of G, denoted by $α(G)$, is the cardinality of a maximum stable set in G. A graph is called $α$-stable if its stability number remains the same upon both the deletion and the addition of any edge. We show that a connected bipartite graph has exactly two maximum stable sets that partition its vertex set if and only if its reduced adjacency matrix is fully indecomposable. We also describe a decomposition structure of $α$-stable bipartite graphs in terms of their reduced adjacency matrices. On the base of these findings we obtain both new proofs for a number of well-known theorems on the structure of matrices due to Brualdi, Marcus and Minc, Dulmage and Mendelsohn, and some generalizations of these statements. Several new results on $α$-stable bipartite graphs and their corresponding reduced adjacency matrices are presented, as well. Two kinds of matrix product are also considered (namely, Boolean product and Kronecker product), and their corresponding graph operations. As a consequence, we obtain a strengthening of one Lewin's theorem claiming that the product of two fully indecomposable matrices is a fully indecomposable matrix.
Harmonic functions on multiplicative graphs and interpolation polynomials
Published in Electronic Journal of Combinatorics 7 (2000), paper R28
• View Publication
• BIB
We construct examples of nonnegative harmonic functions on certain graded graphs: the Young lattice and its generalizations. Such functions first emerged in harmonic analysis on the infinite symmetric group. Our method relies on multivariate interpolation polynomials associated with Schur's S and P functions and with Jack symmetric functions. As a by-product, we compute certain Selberg-type integrals.
Stratified spaces formed by totally positive varieties
Published
• View Publication
• BIB
By a theorem of A.Björner, for every interval $[u,v]$ in the Bruhat order of a Coxeter group $W$, there exists a stratified space whose strata are labeled by the elements of $[u,v]$, adjacency is described by the Bruhat order, and each closed stratum (resp., the boundary of each stratum) has the homology of a ball (resp., of a sphere). Answering a question posed by Björner, we suggest a natural geometric realization of these stratified spaces for a Weyl group $W$ of a semisimple Lie group $G$, and prove its validity in the case of the symmetric group. Our stratified spaces arise as links in the Bruhat decomposition of the totally nonnegative part of the unipotent radical of $G$.
Finite posets and Ferrers shapes
Published
• View Publication
• BIB
A survey on the Greene-Kleitman correspondence, with complete proofs, many of which are new.
Total positivity: tests and parametrizations
Published
• View Publication
• BIB
An introduction to total positivity (TP), with the emphasis on efficient TP criteria and parametrizations of TP matrices. Intended for general mathematical audience.
Lecture notes on quantum cohomology of the flag manifold
This is an exposition of some recent developments related to the object in the title, particularly the combinatorial computation of the (genus 0) Gromov-Witten invariants of the flag manifold and the quadratic algebra approach. The notes are largely based on my joint papers with S.Gelfand, A.N.Kirillov, and A.Postnikov. This is by no means an exhaustive survey of the subject, but rather a casual introduction to its combinatorial aspects.
Universal Distributions for Growth Processes in 1+1 Dimensions and Random Matrices
Published in Phys. Rev. Lett. 84, 4882 (2000)
• View Publication
• BIB
We develop a scaling theory for KPZ growth in one dimension by a detailed study of the polynuclear growth (PNG) model. In particular, we identify three universal distributions for shape fluctuations and their dependence on the macroscopic shape. These distribution functions are computed using the partition function of Gaussian random matrices in a cosine potential.
Bijections for hook pair identities
Published in Electron. J. Combin. 7 (2000), paper #R27, 13 pp.
• View Publication
• BIB
Short, bijective proofs of identities for multisets of `hook pairs' (arm-leg pairs) of the cells of certain diagrams are given. These hook pair identities were originally found by Regev.
Ubiquity of Kostka polynomials
Published
• View Publication
• BIB
We report about results revolving around Kostka-Foulkes and parabolic Kostka polynomials and their connections with Representation Theory and Combinatorics. It appears that the set of all parabolic Kostka polynomials forms a semigroup, which we call {\it Liskova semigroup}. We show that polynomials frequently appearing in Representation Theory and Combinatorics belong to the Liskova semigroup. Among such polynomials we study rectangular $q$-Catalan numbers; generalized exponents polynomials; principal specializations of the internal product of Schur functions; generalized $q$-Gaussian polynomials; parabolic Kostant partition function and its $q$-analog; certain generating functions on the set of transportation matrices. In each case we apply rigged configurations technique to obtain some interesting and new information about Kostka-Foulkes and parabolic Kostka polynomials, Kostant partition function, MacMahon, Gelfand-Tsetlin and Chan-Robbins polytopes. We describe certain connections between generalized saturation and Fulton's conjectures and parabolic Kostka polynomials; domino tableaux and rigged configurations. We study also some properties of $l$-restricted generalized exponents and the stable behaviour of certain Kostka-Foulkes polynomials.
Riemann-Hilbert problem and the discrete Bessel kernel
We use discrete analogs of Riemann-Hilbert problem's methods to derive the discrete Bessel kernel which describes the poissonized Plancherel measures for symmetric groups. To do this we define discrete analogs of a Riemann-Hilbert problem and of an integrable integral operator and show that computing the resolvent of a discrete integrable operator can be reduced to solving a corresponding discrete Riemann-Hilbert problem.
We also give an example, explicitly solvable in terms of classical special functions, when a discrete Riemann-Hilbert problem converges in a certain scaling limit to a conventional one; the example originates from the representation theory of the infinite symmetric group.
Enumeration of lozenge tilings of hexagons with a central triangular hole
Published in J. Combin. Theory Ser. A 95 (2001), 251-334
• View Publication
• BIB
We deal with unweighted and weighted enumerations of lozenge tilings of a hexagon with side lengths $a,b+m,c,a+m,b,c+m$, where an equilateral triangle of side length $m$ has been removed from the center. We give closed formulas for the plain enumeration and for a certain $(-1)$-enumeration of these lozenge tilings. In the case that $a=b=c$, we also provide closed formulas for certain weighted enumerations of those lozenge tilings that are cyclically symmetric. For $m=0$, the latter formulas specialize to statements about weighted enumerations of cyclically symmetric plane partitions. One such specialization gives a proof of a conjecture of Stembridge on a certain weighted count of cyclically symmetric plane partitions. The tools employed in our proofs are nonstandard applications of the theory of nonintersecting lattice paths and determinant evaluations. In particular, we evaluate the determinants $\det_{0\le i,j\le n-1}\big(\om δ_{ij}+\binom {m+i+j}j\big)$, where $\om$ is any 6th root of unity. These determinant evaluations are variations of a famous result due to Andrews (Invent. Math. 53 (1979), 193--225), which corresponds to $\om=1$.
Combinatorial Properties of the Family of Maximum Stable Sets of a Graph
Published
• View Publication
• BIB
The stability number alpha(G) of a graph G is the cardinality of a maximum stable set in G, xi(G) denotes the size of core(G), where core(G) is the intersection of all maximum stable sets of G. In this paper we prove that for a graph G without isolated vertices, the following assertions are true: (i) if xi(G)< 2, then G is quasi-regularizable; (ii) if G is of order n and alpha(G) > (n+k-1)/2, for some k > 0, then xi(G) > k, and xi(G) > k+1, whenever n+k-1 is even. The last finding is a strengthening of a result of Hammer, Hansen, and Simeone, which states that alpha(G) > n/2 implies xi(G) > 0. G is a Koenig-Egervary graph if n equals the sum of its stability number and the cardinality of a maximum matching. For Koenig-Egervary graphs, we prove that alpha(G) > n/2 holds if and only if xi(G) is greater than the size of the neighborhood of core(G). Moreover, for bipartite graphs without isolated vertices, alpha(G) > n/2 is equivalent to xi(G) > 1. We also show that Hall's marriage Theorem is valid for Koenig-Egervary graphs, and it is sufficient to check Hall's condition only for one specific stable set, namely, for core(G).