Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Combinatorial pseudo-Triangulations
Published in Discrete Mathematics 307:3-5, (2007), 554-566
• View Publication
• BIB
We prove that a planar graph is generically rigid in the plane if and only if it can be embedded as a pseudo-triangulation. This generalizes the main result of math.CO/0307347 which treats the minimally generically rigid case.
The proof uses the concept of combinatorial pseudo-triangulation, CPT, in the plane and has two main steps: showing that a certain ``generalized Laman property'' is a necessary and sufficient condition for a CPT to be ``stretchable'', and showing that all generically rigid plane graphs admit a CPT assignment with that property.
Additionally, we propose the study of combinatorial pseudo-triangulations on closed surfaces.
A proof of a conjecture of Buck, Chan and Robbins on the random assignment problem
We prove the main conjecture of the paper ``On the expected value of the minimum assignment'' by Marshall W. Buck, Clara S. Chan, and David P. Robbins (Random Structures & Algorithms 21 (2002), no. 1, 33--58). This is a vast generalization of a formula conjectured by Giorgio Parisi for the $n$ by $n$ random assignment problem.
We combine the urn model from the article by Buck, Chan and Robbins, with our proof of Parisi's conjecture in our article posted on the Arxiv in March this year. Our new theorem generalize simultaneously our main theorem from that article and the conjecture by Buck, Chan and Robbins. Using the urn model we avoid several technical difficulties from our previous proof of Parisi's conjecture and get a shorter proof in a conceptually more appealling setting.
A note on avoidable words in squarefree ternary words
We completely characterize the words that can be avoided in infinite squarefree ternary words.
A note on non-repetitive colourings of planar graphs
Alon et al. introduced the concept of non-repetitive colourings of graphs. Here we address some questions regarding non-repetitive colourings of planar graphs. Specifically, we show that the faces of any outerplanar map can be non-repetitively coloured using at most five colours. We also give some lower bounds for the number of colours required to non-repetitively colour the vertices of both outerplanar and planar graphs.
Graph powers and k-ordered Hamiltonicity
Published
• View Publication
• BIB
It is known that if G is a connected simple graph, then G^3 is Hamiltonian (in fact, Hamilton-connected). A simple graph is k-ordered Hamiltonian if for any sequence v_1, v_2, ..., v_k of k vertices there is a Hamiltonian cycle containing these vertices in the given order. In this paper, we prove that G^(3k/2 + 1) is k-ordered Hamiltonian for a connected graph G on at least k vertices. We further show that if G is connected, then G^4 is 4-ordered Hamiltonian and that if G is Hamiltonian, then G^3 is 5-ordered Hamiltonian. We also give bounds on the smallest power p_k such that G^p_k is k-ordered Hamiltonian for G=P_n and G=C_n.
Short Rational Functions for Toric Algebra and Applications
Published
• View Publication
• BIB
We encode the binomials belonging to the toric ideal $I_A$ associated with an integral $d \times n$ matrix $A$ using a short sum of rational functions as introduced by Barvinok \cite{bar,newbar}. Under the assumption that $d,n$ are fixed, this representation allows us to compute the Graver basis and the reduced Gröbner basis of the ideal $I_A$, with respect to any term order, in time polynomial in the size of the input. We also derive a polynomial time algorithm for normal form computation which replaces in this new encoding the usual reductions typical of the division algorithm. We describe other applications, such as the computation of Hilbert series of normal semigroup rings, and we indicate further connections to integer programming and statistics.
Spectral measure of large random Hankel, Markov and Toeplitz matrices
Published in Annals of Probability 2006, Vol. 34, No. 1, 1-38
• View Publication
• BIB
We study the limiting spectral measure of large symmetric random matrices of linear algebraic structure. For Hankel and Toeplitz matrices generated by i.i.d. random variables $\{X_k\}$ of unit variance, and for symmetric Markov matrices generated by i.i.d. random variables $\{X_{ij}\}_{j>i}$ of zero mean and unit variance, scaling the eigenvalues by $\sqrt{n}$ we prove the almost sure, weak convergence of the spectral measures to universal, nonrandom, symmetric distributions $γ_H$, $γ_M$ and $γ_T$ of unbounded support. The moments of $γ_H$ and $γ_T$ are the sum of volumes of solids related to Eulerian numbers, whereas $γ_M$ has a bounded smooth density given by the free convolution of the semicircle and normal densities. For symmetric Markov matrices generated by i.i.d. random variables $\{X_{ij}\}_{j>i}$ of mean $m$ and finite variance, scaling the eigenvalues by ${n}$ we prove the almost sure, weak convergence of the spectral measures to the atomic measure at $-m$. If $m=0$, and the fourth moment is finite, we prove that the spectral norm of $\mathbf {M}_n$ scaled by $\sqrt{2n\log n}$ converges almost surely to 1.
Planar Minimally Rigid Graphs and Pseudo-Triangulations
Published in Computational Geometry: theory and Applications 31:1-2 (May 2005), 63-100.
• View Publication
• BIB
Pointed pseudo-triangulations are planar minimally rigid graphs embedded in the plane with pointed vertices (adjacent to an angle larger than 180 degrees. In this paper we prove that the opposite statement is also true, namely that planar minimally rigid graphs always admit pointed embeddings, even under certain natural topological and combinatorial constraints. We provide two proofs, which both yield efficient embedding algorithms. One based on Henneberg inductive constructions from combinatorial rigidity theory, the other on a generalization of Tutte's barycentric embeddings to directed graphs.
A weighted version of quantization commutes with reduction for a toric manifold
Published
• View Publication
• BIB
We compute explicitly the equivariant Hirzebruch $χ_y$-characteristic of an equivariant complex line bundle over a toric manifold and state a weighted version of the quantization commutes with reduction principle in symplectic geometry. Then, we give a weighted decomposition formula for any simple polytope in $\R^n$. This formula generalizes a polytope decomposition due to Lawrence [10] and Varchenko [14] and extends a previous weighted version obtained by Karshon, Sternberg and Weitsman [9].
A group-theoretic approach to fast matrix multiplication
Published in Proceedings of the 44th Annual Symposium on Foundations of Computer Science, 11-14 October 2003, Cambridge, MA, IEEE Computer Society, pp. 438-449
• View Publication
• BIB
We develop a new, group-theoretic approach to bounding the exponent of matrix multiplication. There are two components to this approach: (1) identifying groups G that admit a certain type of embedding of matrix multiplication into the group algebra C[G], and (2) controlling the dimensions of the irreducible representations of such groups. We present machinery and examples to support (1), including a proof that certain families of groups of order n^(2 + o(1)) support n-by-n matrix multiplication, a necessary condition for the approach to yield exponent 2. Although we cannot yet completely achieve both (1) and (2), we hope that it may be possible, and we suggest potential routes to that result using the constructions in this paper.
Statistics of planar graphs viewed from a vertex: A study via labeled trees
Published in Nucl.Phys. B675 (2003) 631-660
• View Publication
• BIB
We study the statistics of edges and vertices in the vicinity of a reference vertex (origin) within random planar quadrangulations and Eulerian triangulations. Exact generating functions are obtained for theses graphs with fixed numbers of edges and vertices at given geodesic distances from the origin. Our analysis relies on bijections with labeled trees, in which the labels encode the information on the geodesic distance from the origin. In the case of infinitely large graphs, we give in particular explicit formulas for the probabilities that the origin have given numbers of neighboring edges and/or vertices, as well as explicit values for the corresponding moments.
An analytic formula for Macdonald polynomials
Published in C. R. Math. Acad. Sci. Paris 337 (9) (2003), 569-574
• View Publication
• BIB
We give the explicit analytic development of any Jack or Macdonald polynomial in terms of elementary (resp. modified complete) symmetric functions. These two developments are obtained by inverting the Pieri formula.
A family of bijections between G-parking functions and spanning trees
Published
• View Publication
• BIB
For a directed graph G on vertices {0,1,...,n}, a G-parking function is an n-tuple (b_1,...,b_n) of non-negative integers such that, for every non-empty subset U of {1,...,n}, there exists a vertex j in U for which there are more than b_j edges going from j to G-U. We construct a family of bijective maps between the set P_G of G-parking functions and the set T_G of spanning trees of G rooted at 0, thus providing a combinatorial proof of |P_G| = |T_G|.
Regenerative Composition Structures
Published
• View Publication
• BIB
A new class of random composition structures (the ordered analog of Kingman's partition structures) is defined by a regenerative description of component sizes. Each regenerative composition structure is represented by a process of random sampling of points from an exponential distribution on the positive halfline, and separating the points into clusters by an independent regenerative random set. Examples are composition structures derived from residual allocation models, including one associated with the Ewens sampling formula, and composition structures derived from the zero set of a Brownian motion or Bessel process. We provide characterisation results and formulas relating the distribution of the regenerative composition to the L{é}vy parameters of a subordinator whose range is the corresponding regenerative set. In particular, the only reversible regenerative composition structures are those associated with the interval partition of $[0,1]$ generated by excursions of a standard Bessel bridge of dimension $2 - 2 α$ for some $α\in [0,1]$.
Defining equations of subspace arrangements embedded in reflection arrangements
Published in Int. Math. Res. Not. 2004, no. 15, 713-727
• View Publication
• BIB
We give explicit generators for ideals of two classes of subspace arrangements embedded in certain reflection arrangements, generalizing results of Li-Li and Kleitman-Lovasz. We also give minimal generators for the ideals of arrangements that arise in a natural way from the p-skeleton of an n-dimensional cube and discuss conditions under which the generators that we give form a Groebner basis.
Enumeration of totally positive Grassmann cells
Published
• View Publication
• BIB
Alex Postnikov has given a combinatorially explicit cell decomposition of the totally nonnegative part of a Grassmannian, denoted Gr_{kn}+, and showed that this set of cells is isomorphic as a graded poset to many other interesting graded posets. The main result of this paper is an explicit generating function which enumerates the cells in Gr_{kn}+ according to their dimension. As a corollary, we give a new proof that the Euler characteristic of Gr_{kn}+ is 1. Additionally, we use our result to produce a new q-analog of the Eulerian numbers, which interpolates between the Eulerian numbers, the Narayana numbers, and the binomial coefficients.
Distance-regular graphs, pseudo primitive idempotents, and the Terwilliger algebra
Published
• View Publication
• BIB
Let $Γ$ denote a distance-regular graph with diameter $D\geq 3$ and Bose-Mesner algebra $M$. For $θ\in C\cup \infty$ we define a 1 dimensional subspace of $M$ which we call $M(θ)$. If $θ\in C$ then $M(θ)$ consists of those $Y$ in $M$ such that $(A-θI)Y\in C A_D$, where $A$ (resp. $A_D$) is the adjacency matrix (resp. $D$th distance matrix) of $Γ.$ If $θ= \infty$ then $M(θ)= C A_D$. By a {\it pseudo primitive idempotent} for $θ$ we mean a nonzero element of $M(θ)$. We use pseudo primitive idempotents to describe the irreducible modules for the Terwilliger algebra, that are thin with endpoint one.
Distributive Lattices, Bipartite Graphs and Alexander Duality
Published
• View Publication
• BIB
A certain squarefree monomial ideal $H_P$ arising from a finite partially ordered set $P$ will be studied from viewpoints of both commutative algebra and combinatorics. First, it is proved that the defining ideal of the Rees algebra of $H_P$ possesses a quadratic Gröbner basis. Thus in particular all powers of $H_P$ have linear resolutions. Second, the minimal free graded resolution of $H_P$ will be constructed explicitly and a combinatorial formula to compute the Betti numbers of $H_P$ will be presented. Third, by using the fact that the Alexander dual of the simplicial complex $Δ$ whose Stanley--Reisner ideal coincides with $H_P$ is Cohen--Macaulay, all the Cohen--Macaulay bipartite graphs will be classified.
Discrete Polymatroids
Published
• View Publication
• BIB
The discrete polymatroid is a multiset analogue of the matroid. Based on the polyhedral theory on integral polymatroids developed in late 1960's and in early 1970's, in the present paper the combinatorics and algebra on discrete polymatroids will be studied.
Path counting and random matrix theory
Published
• View Publication
• BIB
We establish three identities involving Dyck paths and alternating Motzkin paths, whose proofs are based on variants of the same bijection. We interpret these identities in terms of closed random walks on the halfline. We explain how these identities arise from combinatorial interpretations of certain properties of the $β$-Hermite and $β$-Laguerre ensembles of random matrix theory. We conclude by presenting two other identities obtained in the same way, for which finding combinatorial proofs is an open problem.