Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Heterochromatic tree partition number of a complete multipartite graph
This paper has been withdrawn by the author(s), due an error in the proof.
The chromatic polynomial of fatgraphs and its categorification
Published in Adv. Math., 217 (2008) 1558-1587
• View Publication
• BIB
Motivated by Khovanov homology and relations between the Jones polynomial and graph polynomials, we construct a homology theory for embedded graphs from which the chromatic polynomial can be recovered as the Euler characteristic. For plane graphs, we show that our chromatic homology can be recovered from the Khovanov homology of an associated link. We apply this connection with Khovanov homology to show that the torsion-free part of our chromatic homology is independent of the choice of planar embedding of a graph.
We extend our construction and categorify the Bollobas-Riordan polynomial (a generalisation of the Tutte polynomial to embedded graphs). We prove that both our chromatic homology and the Khovanov homology of an associated link can be recovered from this categorification.
Cobordism of words
We introduce an equivalence relation, called cobordism, for words and study cobordism invariants of words inspired by methods of low-dimensional topology.
Giant Components in Biased Graph Processes
Published
• View Publication
• BIB
A random graph process, $\Gorg[1](n)$, is a sequence of graphs on $n$ vertices which begins with the edgeless graph, and where at each step a single edge is added according to a uniform distribution on the missing edges. It is well known that in such a process a giant component (of linear size) typically emerges after $(1+o(1))\frac{n}{2}$ edges (a phenomenon known as ``the double jump''), i.e., at time $t=1$ when using a timescale of $n/2$ edges in each step.
We consider a generalization of this process, $\Gorg[K](n)$, which gives a weight of size 1 to missing edges between pairs of isolated vertices, and a weight of size $K \in [0,\infty)$ otherwise. This corresponds to a case where links are added between $n$ initially isolated settlements, where the probability of a new link in each step is biased according to whether or not its two endpoint settlements are still isolated.
Combining methods of \cite{SpencerWormald} with analytical techniques, we describe the typical emerging time of a giant component in this process, $t_c(K)$, as the singularity point of a solution to a set of differential equations. We proceed to analyze these differential equations and obtain properties of $\Gorg$, and in particular, we show that $t_c(K)$ strictly decreases from 3/2 to 0 as $K$ increases from 0 to $\infty$, and that $t_c(K) = \frac{4}{\sqrt{3K}}(1 + o(1))$. Numerical approximations of the differential equations agree both with computer simulations of the process $\Gorg(n)$ and with the analytical results.
On the Limiting Distribution for the Longest Alternating Sequence in a Random Permutation
Published
• View Publication
• BIB
Recently Richard Stanley initiated a study of the distribution of the length as(w) of the longest alternating subsequence in a random permutation w from the symmetric group $S_n$. Among other things he found an explicit formula for the generating function (on n and k) for the probability that as(w) is at most k and conjectured that the distribution, suitably centered and normalized, tended to a Gaussian with variance 8/45. In this note we present a proof of the conjecture based on the generating function.
The absence of efficient dual pairs of spanning trees in planar graphs
Published in Electronic Journal of Computation, 13, N13, 2006
• View Publication
• BIB
A spanning tree T in a finite planar connected graph G determines a dual spanning tree T* in the dual graph G such that T and T* do not intersect. We show that it is not always possible to find T in G, such that the diameters of T and T* are both within a uniform multiplicative constant (independent of G) of the diameters of their ambient graphs.
The distance of a permutation from a subgroup of S_n
We show that the problem of computing the distance of a given permutation from a subgroup $H$ of $S_n$ is in general NP-complete, even under the restriction that $H$ is elementary Abelian of exponent 2. The problem is shown to be polynomial-time equivalent to a problem related to finding a maximal partition of the edges of an Eulerian directed graph into cycles and this problem is in turn equivalent to the standard NP-complete problem of Boolean satisfiability.
Remarks on the combinatorial intersection cohomology of fans
Published
• View Publication
• BIB
We review the theory of combinatorial intersection cohomology of fans developed by Barthel-Brasselet-Fieseler-Kaup, Bressler-Lunts, and Karu. This theory gives a substitute for the intersection cohomology of toric varieties which has all the expected formal properties but makes sense even for non-rational fans, which do not define a toric variety. As a result, a number of interesting results on the toric $g$ and $h$ polynomials have been extended from rational polytopes to general polytopes. We present explicit complexes computing the combinatorial IH in degrees one and two; the degree two complex gives the rigidity complex previously used by Kalai to study $g_2$. We present several new results which follow from these methods, as well as previously unpublished proofs of Kalai that $g_k(P) = 0$ implies $g_k(P^*) = 0$ and $g_{k+1}(P) = 0$.
Group-theoretic algorithms for matrix multiplication
Published in Proceedings of the 46th Annual Symposium on Foundations of Computer Science, 23-25 October 2005, Pittsburgh, PA, IEEE Computer Society, pp. 379-388
• View Publication
• BIB
We further develop the group-theoretic approach to fast matrix multiplication introduced by Cohn and Umans, and for the first time use it to derive algorithms asymptotically faster than the standard algorithm. We describe several families of wreath product groups that achieve matrix multiplication exponent less than 3, the asymptotically fastest of which achieves exponent 2.41. We present two conjectures regarding specific improvements, one combinatorial and the other algebraic. Either one would imply that the exponent of matrix multiplication is 2.
Counting d-polytopes with d+3 vertices
Published
• View Publication
• BIB
We completely solve the problem of enumerating combinatorially inequivalent $d$-dimensional polytopes with $d+3$ vertices. A first solution of this problem, by Lloyd, was published in 1970. But the obtained counting formula was not correct, as pointed out in the new edition of Grünbaum's book. We both correct the mistake of Lloyd and propose a more detailed and self-contained solution, relying on similar preliminaries but using then a different enumeration method involving automata. In addition, we introduce and solve the problem of counting oriented and achiral (i.e. stable under reflection) $d$-polytopes with $d+3$ vertices. The complexity of computing tables of coefficients of a given size is then analyzed. Finally, we derive precise asymptotic formulas for the numbers of $d$-polytopes, oriented $d$-polytopes and achiral $d$-polytopes with $d+3$ vertices. This refines a first asymptotic estimate given by Perles.
Reconstruction and Higher Dimensional Geometry
Published
• View Publication
• BIB
In this paper, we give a new proof on a Theorem of Tutte which says that the determinants of the adjacency matrices of two hypomorphic graphs are the same. We also study the lowest eigenvectors.
The variance of the Stirling cycle numbers
We show that the probability that two permutations of $n$ letters have the same number of cycles is \[\sim \frac{1}{2\sqrt{π\log{n}}}.\]
Combinatorics and distributions of partial injections
Published in Australas. J. Combin. 34 (2006), 161-186
• Search Publication
We obtain several combinatorial results about chains, cycles and orbits of the elements of the symmetric inverse semigroup $\IS_n$ and the set $T_n$ of nilpotent elements in $\IS_n$. We also get some estimates for the growth of $|\IS_n|$ and $|T_n|$, and study random products of elements from $\IS_n$.
Modular forms for the even unimodular lattice of signature (2,10)
Published
• View Publication
• BIB
Some years ago, Borcherds described in [Bo1] two methods for constructing modular forms on modular varieties related to the orthogonal group $Ø(2,n)$. They are the so called Borcherds' additive and multiplicative lifting. The multiplicative lifting has been used by Borcherds himself and other authors to construct modular forms with known vanishing locus and interesting properties. The additive lifting has been used to construct explicit maps from some modular varieties $Ø(2,n)$. In this paper we try a more systematic treatment in certain level 2 cases giving connections with Kondo's works
Longest alternating subsequences of permutations
Published
• View Publication
• BIB
The length is(w) of the longest increasing subsequence of a permutation w in the symmetric group S_n has been the object of much investigation. We develop comparable results for the length as(w) of the longest alternating subsequence of w, where a sequence a,b,c,d,... is alternating if a>b<c>d<.... For instance, the expected value (mean) of as(w) for w in S_n is exactly (4n+1)/6 if n>1.
The pre-WDVV ring of physics and its topology
Published in Ramanujan J 10 (2005), 269-281
• View Publication
• BIB
We show how a simplicial complex arising from the WDVV (Witten-Dijkgraaf-Verlinde-Verlinde) equations of string theory is the Whitehouse complex. Using discrete Morse theory, we give an elementary proof that the Whitehouse complex $Δ_n$ is homotopy equivalent to a wedge of $(n-2)!$ spheres of dimension $n-4$. We also verify the Cohen-Macaulay property. Additionally, recurrences are given for the face enumeration of the complex and the Hilbert series of the associated pre-WDVV ring.
Enumeration of Unlabeled Outerplanar Graphs
Published
• View Publication
• BIB
We determine the exact and asymptotic number of unlabeled outerplanar graphs. The exact number g_n of unlabeled outerplanar graphs on n vertices can be computed in polynomial time, and g_n is asymptotically $g n^{-5/2}ρ^{-n}$, where $g\approx0.00909941$ and $ρ^{-1}\approx7.50360$ can be approximated. Using our enumerative results we investigate several statistical properties of random unlabeled outerplanar graphs on n vertices, for instance concerning connectedness, chromatic number, and the number of edges. To obtain the results we combine classical cycle index enumeration with recent results from analytic combinatorics.
Binary words containing infinitely many overlaps
Published
• View Publication
• BIB
We characterize the squares occurring in infinite overlap-free binary words and construct various alpha power-free binary words containing infinitely many overlaps.
BGP-reflection functors and cluster combinatorics
Published
• View Publication
• BIB
We define Bernstein-Gelfand-Ponomarev reflection functors in the cluster categories of hereditary algebras. They are triangle equivalences which provide a natural quiver realization of the "truncated simple reflections" on the set of almost positive roots $Φ_{\ge -1}$ associated to a finite dimensional semisimple Lie algebra. Combining with the tilting theory in cluster categories developed in [4], we give a unified interpretation via quiver representations for the generalized associahedra associated to the root systems of all Dynkin types (a simply-laced or non-simply-laced). This confirms the conjecture 9.1 in [4] in all Dynkin types.
Asymptotics of counts of small components in random structures and models of coagulation-fragmentation
Published
• View Publication
• BIB
We establish necessary and sufficient conditions for convergence (in the sense of finite dimensional distributions) of multiplicative measures on the set of partitions. We show that this convergence is equivalent to asymptotic independence of finite sizes of components. The multiplicative measures depict component spectra of random structures, the equilibrium of classic models of statistical mechanics and stochastic processes of coagulation-fragmentation. We then apply Schur's tauberian lemma and some results from additive number theory and enumerative combinatorics, in order to verify the conditions derived in important special cases. Our results demostrate that the common belief that interacting groups in mean field models become independent as the number of particles goes to infinity, is not true in general.