Showing 20 papers (Total: 81378 papers, 47165 authors in database)
The minimum number of 4-cliques in graphs with triangle-free complement
Write f(n) for the minimum number of 4-cliques in graphs of order n with triangle-free complement. Finding f(n) is a particular case of a problem raised by Erdos in 1962. We give an upper bound of f(n) and a matching lower bound when the graph is close to regular.
Equivariant quantum cohomology of homogeneous spaces
Published
• View Publication
• BIB
We prove a Chevalley formula for the equivariant quantum multiplication of two Schubert classes in the homogeneous variety X=G/P. As in the case when X is a Grassmannian, studied by the author in a previous paper, this formula implies an effective algorithm to compute the structure constants of the equivariant quantum cohomology algebra of X.
Random Geometric Graph Diameter in the Unit Ball
Published in Algorithmica 47, no. 4 (2007), 421-438
• View Publication
• BIB
The unit ball random geometric graph $G=G^d_p(λ,n)$ has as its vertices $n$ points distributed independently and uniformly in the $d$-dimensional unit ball, with two vertices adjacent if and only if their $l_p$-distance is at most $λ$. Like its cousin the Erdos-Renyi random graph, $G$ has a connectivity threshold: an asymptotic value for $λ$ in terms of $n$, above which $G$ is connected and below which $G$ is disconnected (and in fact has isolated vertices in most cases). In the connected zone, we determine upper and lower bounds for the graph diameter of $G$. Specifically, almost always, $\diam_p(\mathbf{B})(1-o(1))/λ\leq \diam(G) \leq \diam_p(\mathbf{B})(1+O((\ln \ln n/\ln n)^{1/d}))/λ$, where $\diam_p(\mathbf{B})$ is the $\ell_p$-diameter of the unit ball $\mathbf{B}$. We employ a combination of methods from probabilistic combinatorics and stochastic geometry.
Applications of Waring's formula to some identities of Chebyshev polynomials
Published
• View Publication
• BIB
Some identities of Chebyshev polynomials are deduced from Waring's formula on symmetric functions. In particular, these formulae generalize some recent results of Grabner and Prodinger.
A q-analog of the Seidel generation of Genocchi numbers
Published
• View Publication
• BIB
A new $q$-analog of Genocchi numbers is introduced through a q-analog of Seidel's triangle associated to Genocchi numbers. It is then shown that these $q$-Genocchi numbers have interesting combinatorial interpretations in the classical models for Genocchi numbers such as alternating pistols, alternating permutations, non intersecting lattice paths and skew Young tableaux.
Nonintersecting Paths, Noncolliding Diffusion Processes and Representation Theory
Published in RIMS Kokyuroku 1438 (2005) 83-102
• Search Publication
The system of one-dimensional symmetric simple random walks, in which none of walkers have met others in a given time period, is called the vicious walker model. It was introduced by Michael Fisher and applications of the model to various wetting and melting phenomena were described in his Boltzmann medal lecture. In the present report, we explain interesting connections among representation theory, probability theory, and random matrix theory using this simple diffusion particle system. Each vicious walk of $N$ walkers is represented by an $N$-tuple of nonintersecting lattice paths on the spatio-temporal plane. There is established a simple bijection between nonintersecting lattice paths and semistandard Young tableaux. Based on this bijection and some knowledge of symmetric polynomials called the Schur functions, we can give a determinantal expression to the partition function of vicious walks, which is regarded as a special case of the Karlin-McGregor formula in the probability theory (or the Lindström-Gessel-Viennot formula in the enumerative combinatorics). Due to a basic property of Schur function, we can take the diffusion scaling limit of the vicious walks and define a noncolliding system of Brownian particles. This diffusion process solves the stochastic differential equations with the drift terms acting as the repulsive two-body forces proportional to the inverse of distances between particles, and thus it is identified with Dyson's Brownian motion model. In other words, the obtained noncolliding system of Brownian particles is equivalent in distribution with the eigenvalue process of a Hermitian matrix-valued process.
Fluctuation of maximal particle energy of quantum ideal gas and random partitions
Published
• View Publication
• BIB
We investigate the limiting distribution of the fluctuations of the maximal summand in a random partition of a large integer with respect to a multiplicative statistics. We show that for a big family of Gibbs measures on partitions (so called generalized Bose--Einstein statistics) this distribution is the well-known Gumbel distribution which usually appears in the context of indepedent random variables. In particular, it means that the (properly rescaled) maximal energy of an individual particle in the grand canonical ensemble of the $d$-dimensional quantum ideal gas has the Gumbel distribution in the limit. We also apply our result to find the fluctuations of the height of a random 3D Young diagram (plane partition) and investigate the order statistics of random partitions under generalized Bose--Einstein statistics.
The Betti numbers of forests
This paper produces a recursive formula of the Betti numbers of certain Stanley-Reisner ideals (graph ideals associated to forests). This gives a purely combinatorial definition of the projective dimension of these ideals, which turns out to be a new numerical invariant of forests. Finally, we propose a possible extension of this invariant to general graphs.
Crossings and Nestings of Matchings and Partitions
Published
• View Publication
• BIB
We present results on the enumeration of crossings and nestings for matchings and set partitions. Using a bijection between partitions and vacillating tableaux, we show that if we fix the sets of minimal block elements and maximal block elements, the crossing number and the nesting number of partitions have a symmetric joint distribution. It follows that the crossing numbers and the nesting numbers are distributed symmetrically over all partitions of $[n]$, as well as over all matchings on $[2n]$. As a corollary, the number of $k$-noncrossing partitions is equal to the number of $k$-nonnesting partitions. The same is also true for matchings. An application is given to the enumeration of matchings with no $k$-crossing (or with no $k$-nesting).
Combinatorial Stacks and the Four-Colour Theorem
We interpret the number of good four-colourings of the faces of a trivalent, spherical polyhedron as the 2-holonomy of the 2-connection of a fibered category, phi, modeled on Rep(sl(2)) and defined over the dual triangulation, T. We also build an sl(2)-bundle with connection over T, that is a global, equivariant section of phi, and we prove that the four-colour theorem is equivalent to the fact that the connection of this sl(2)-bundle vanishes nowhere. This interpretation may be a first step toward a cohomological proof of the four-colour theorem.
The computation of Kostka Numbers and Littlewood-Richardson Coefficients is #P-complete
Published
• View Publication
• BIB
Kostka numbers and Littlewood-Richardson coefficients play an essential role in the representation theory of the symmetric groups and the special linear groups. There has been a significant amount of interest in their computation. The issue of their computational complexity has been a question of folklore, but was asked explicitly by E. Rassart. We prove that the computation of either quantity is #P-complete. The reduction to computing Kostka numbers, is from the #P-complete problem of counting the number of 2 x k contingency tables having given row and column sums. The main ingredient in this reduction is a correspondence discovered by D. E. Knuth. The reduction to the problem of computing Littlewood-Richardson coefficients is from that of computing Kostka numbers.
Resolution of the residue class field via algebraic discrete Morse theory
Forman's Discrete Morse theory is studied from an algebraic viewpoint. Analogous to independent work of Emil Skoeldberg we show that this theory can be extended to chain complexes of free modules over a ring. We provide three applications of this theory: We construct new resolutions of the residue class field $k$ over $A$, where $A$ is the quotient of a (i) commutative polynomial ring or (ii) non-commutaitve polynomial ring by a (twosided) ideal and (iii) we construct a new resolution of $A$ as an $A \otimes A^{op}$-module in the situation (ii). In either case we prove minimality of the resolution for certain classes of algebras $A$.
A q-Analog of Dual Sequences with Applications
Published
• View Publication
• BIB
In the present paper combinatorial identities involving q-dual sequences or polynomials with coefficients q-dual sequences are derived. Further, combinatorial identities for q-binomial coefficients(Gaussian coefficients), q-Stirling numbers and q-Bernoulli numbers and polynomials are deduced.
(k,m)-Catalan Numbers and Hook Length Polynomials for Plane Trees
Published
• View Publication
• BIB
Motivated by a formula of A. Postnikov relating binary trees, we define the hook length polynomials for m-ary trees and plane forests, and show that these polynomials have a simple binomial expression. An integer value of this expression is C_{k,m}(n)=\frac{1}{mn+1}{(mn+1)k \choose n}, which we call the (k,m)-Catalan number. For proving the hook length formulas, we also introduce a combinatorial family, (k,m)-ary trees, which are counted by the (k,m)-Catalan numbers.
Factorization of polynomials in one variable over the tropical semiring
We show factorization of polynomials in one variable over the tropical semiring is in general NP-complete, either if all coefficients are finite, or if all are either 0 or infinity (Boolean case). We give algorithms for the factorization problem which are not polynomial time in the degree, but are polynomial time for polynomials of fixed degree. For two-variable polynomials we derive an irreducibility criterion which is almost always satisfied, even for fixed degree, and is polynomial time in the degree. We prove there are unique least common multiples of tropical polynomials, but not unique greatest common divisors. We show that if two polynomials in one variable have a common tropical factor, then their eliminant matrix is singular in the tropical sense. We prove the problem of determining tropical rank is NP-hard.
Isotemporal classes of n-gons
Here I present the present the first major result of a novel form of network analysis - a temporal interpretation. Treating numerical edges labels as the time at which an interaction occurs between the two vertices comprising that edge generates a number of intriguing questions. For example, given the structure of a graph, how many ``fundamentally'' different temporally non-isomorphic forms are there, across all possible edge labelings. Specifically, two networks, N and M, are considered to be in the same isotemporal class if there exists a function alpha(N)->M that is a graph isomorphism and preserves all paths in N with strictly increasing edge labels. I present a closed formula for the number of isotemporal classes N(n) of n-gons. This result is strongly tied to number theoretic identities; in the case of $n$ odd, N(n)= 1/n sum_{d|n} (2^{n/d -1}-1)Phi(d), where Phi is the Euler totient function.
A determinant-like formula for the Kostka numbers
Published
• View Publication
• BIB
Young tableaux are ubiquitous in various branches of mathematics. There are two counting formulas for standard Young tableaux. The first involves a determinant and goes back to Frobenius and Young, and the second is the hook formula by Frame, Robinson and Thrall. We present a generalization of the determinant formula for semistandard Young tableaux of given shape and of given content. Our counting formula -- though not a determinant -- is a generalization of the determinant formula by Frobenius and Young.
Towards a Theory of Scale-Free Graphs: Definition, Properties, and Implications (Extended Version)
Published
• View Publication
• BIB
Although the ``scale-free'' literature is large and growing, it gives neither a precise definition of scale-free graphs nor rigorous proofs of many of their claimed properties. In fact, it is easily shown that the existing theory has many inherent contradictions and verifiably false claims. In this paper, we propose a new, mathematically precise, and structural definition of the extent to which a graph is scale-free, and prove a series of results that recover many of the claimed properties while suggesting the potential for a rich and interesting theory. With this definition, scale-free (or its opposite, scale-rich) is closely related to other structural graph properties such as various notions of self-similarity (or respectively, self-dissimilarity). Scale-free graphs are also shown to be the likely outcome of random construction processes, consistent with the heuristic definitions implicit in existing random graph approaches. Our approach clarifies much of the confusion surrounding the sensational qualitative claims in the scale-free literature, and offers rigorous and quantitative alternatives.
Gaussian fluctuations of characters of symmetric groups and of Young diagrams
Published in Probab. Theory Related Fields 136 (2006), no. 2, 263-297
• View Publication
• BIB
We study asymptotics of reducible representations of the symmetric groups S_q for large q. We decompose such a representation as a sum of irreducible components (or, alternatively, Young diagrams) and we ask what is the character of a randomly chosen component (or, what is the shape of a randomly chosen Young diagram). Our main result is that for a large class of representations the fluctuations of characters (and fluctuations of the shape of the Young diagrams) are asymptotically Gaussian; in this way we generalize Kerov's central limit theorem. The considered class consists of representations for which the characters almost factorize and this class includes, for example, left-regular representation (Plancherel measure), tensor representations. This class is also closed under induction, restriction, outer product and tensor product of representations. Our main tool in the proof is the method of genus expansion, well known from the random matrix theory.