Showing 20 papers (Total: 82851 papers, 47869 authors in database)
The multivariate Tutte polynomial (alias Potts model) for graphs and matroids
Published in Published in "Surveys in Combinatorics, 2005", edited by Bridget S. Webb (Cambridge University Press, 2005), pp. 173-226
• View Publication
• BIB
The multivariate Tutte polynomial (known to physicists as the Potts-model partition function) can be defined on an arbitrary finite graph G, or more generally on an arbitrary matroid M, and encodes much important combinatorial information about the graph (indeed, in the matroid case it encodes the full structure of the matroid). It contains as a special case the familiar two-variable Tutte polynomial -- and therefore also its one-variable specializations such as the chromatic polynomial, the flow polynomial and the reliability polynomial -- but is considerably more flexible. I begin by giving an introduction to all these problems, stressing the advantages of working with the multivariate version. I then discuss some questions concerning the complex zeros of the multivariate Tutte polynomial, along with their physical interpretations in statistical mechanics (in connection with the Yang--Lee approach to phase transitions) and electrical circuit theory. Along the way I mention numerous open problems. This survey is intended to be understandable to mathematicians with no prior knowledge of physics.
Advanced Determinant Calculus: A Complement
Published in Linear Algebra Appl. 411 (2005), 68-166.
• View Publication
• BIB
This is a complement to my previous article "Advanced Determinant Calculus" (Séminaire Lotharingien Combin. 42 (1999), Article B42q, 67 pp.). In the present article, I share with the reader my experience of applying the methods described in the previous article in order to solve a particular problem from number theory (G. Almkvist, J. Petersson and the author, Experiment. Math. 12 (2003), 441-456). Moreover, I add a list of determinant evaluations which I consider as interesting, which have been found since the appearance of the previous article, or which I failed to mention there, including several conjectures and open problems.
The Complexity of Pebbling and Cover Pebbling
This paper discusses the complexity of graph pebbling, dealing with both traditional pebbling and the recently introduced game of cover pebbling. Determining whether a configuration is solvable according to either the traditional definition or the cover pebbling definition is shown to be NP-complete. The problem of determining the cover pebbling number for an arbitrary demand configuration is shown to be NP-hard.
Graph Treewidth and Geometric Thickness Parameters
Published in Discrete & Computational Geometry 37(4):641-670, 2007
• View Publication
• BIB
Consider a drawing of a graph $G$ in the plane such that crossing edges are coloured differently. The minimum number of colours, taken over all drawings of $G$, is the classical graph parameter "thickness". By restricting the edges to be straight, we obtain the "geometric thickness". By further restricting the vertices to be in convex position, we obtain the "book thickness". This paper studies the relationship between these parameters and treewidth.
Our first main result states that for graphs of treewidth $k$, the maximum thickness and the maximum geometric thickness both equal $\lceil{k/2}\rceil$. This says that the lower bound for thickness can be matched by an upper bound, even in the more restrictive geometric setting. Our second main result states that for graphs of treewidth $k$, the maximum book thickness equals $k$ if $k \leq 2$ and equals $k+1$ if $k \geq 3$. This refutes a conjecture of Ganley and Heath [Discrete Appl. Math. 109(3):215-221, 2001]. Analogous results are proved for outerthickness, arboricity, and star-arboricity.
Central limit theorems for random polytopes in a smooth convex set
Published
• View Publication
• BIB
Let $K$ be a smooth convex set with volume one in $\BBR^d$. Choose $n$ random points in $K$ independently according to the uniform distribution. The convex hull of these points, denoted by $K_n$, is called a {\it random polytope}. We prove that several key functionals of $K_n$ satisfy the central limit theorem as $n$ tends to infinity.
Pseudocyclic association schemes arising from the actions of PGL(2,2^m) and PΓL(2,2^m)
Published
• View Publication
• BIB
The action of $PGL(2,2^m)$ on the set of exterior lines to a nonsingular conic in $PG(2,2^m)$ affords an association scheme, which was shown to be pseudocyclic in Hollmann's thesis in 1982. It was further conjectured in Hollmann's thesis that the orbital scheme of $PΓL(2,2^m)$ on the set of exterior lines to a nonsingular conic in $PG(2,2^m)$ is also pseudocyclic if $m$ is an odd prime. We confirm this conjecture in this paper. As a by-product, we obtain a class of Latin square type strongly regular graphs on nonprime-power number of points.
A variant of the hypergraph removal lemma
Published
• View Publication
• BIB
Recent work of Gowers and Nagle, Rödl, Schacht, and Skokan has established a hypergraph removal lemma, which in turn implies some results of Szemerédi and Furstenberg-Katznelson concerning one-dimensional and multi-dimensional arithmetic progressions respectively. In this paper we shall give a self-contained proof of this hypergraph removal lemma. In fact we prove a slight strengthening of the result, which we will use in a subsequent paper to establish infinitely many constellations of a prescribed shape in the Gaussian primes.
Association schemes from the action of $PGL(2,q)$ fixing a nonsingular conic in PG(2,q)
Published
• View Publication
• BIB
The group $PGL(2,q)$ has an embedding into $PGL(3,q)$ such that it acts as the group fixing a nonsingular conic in $PG(2,q)$. This action affords a coherent configuration $R(q)$ on the set $L(q)$ of non-tangent lines of the conic. We show that the relations can be described by using the cross-ratio. Our results imply that the restrictions $R_{+}(q)$ and $R_{-}(q)$ to the sets $L_{+}(q)$ of secant lines and to the set $L_{-}(q)$ of exterior lines, respectively, are both association schemes; moreover, we show that the elliptic scheme $R_{-}(q)$ is pseudocyclic.
We further show that the coherent configuration $R(q^2)$ with $q$ even allow certain fusions. These provide a 4-class fusion of the hyperbolic scheme $R_{+}(q^2)$, and 3-class fusions and 2-class fusions (strongly regular graphs) of both schemes $R_{+}(q^2)$ and $R_{-}(q^2). The fusion results for the hyperbolic case are known, but our approach here as well as our results in the elliptic case are new.
Resolutions for Equivariant Sheaves over Toric Varieties
In this work we construct global resolutions for general coherent equivariant sheaves over toric varieties. For this, we use the framework of sheaves over posets. We develop a notion of gluing of posets and of sheaves over posets, which we apply to construct global resolutions for equivariant sheaves. Our constructions give a natural correspondence between resolutions for reflexive equivariant sheaves and free resolutions of vector space arrangements.
Noise stability of functions with low influences: invariance and optimality
Published
• View Publication
• BIB
In this paper we study functions with low influences on product probability spaces. The analysis of boolean functions with low influences has become a central problem in discrete Fourier analysis. It is motivated by fundamental questions arising from the construction of probabilistically checkable proofs in theoretical computer science and from problems in the theory of social choice in economics.
We prove an invariance principle for multilinear polynomials with low influences and bounded degree; it shows that under mild conditions the distribution of such polynomials is essentially invariant for all product spaces. Ours is one of the very few known non-linear invariance principles. It has the advantage that its proof is simple and that the error bounds are explicit. We also show that the assumption of bounded degree can be eliminated if the polynomials are slightly ``smoothed''; this extension is essential for our applications to ``noise stability''-type problems.
In particular, as applications of the invariance principle we prove two conjectures: the ``Majority Is Stablest'' conjecture from theoretical computer science, which was the original motivation for this work, and the ``It Ain't Over Till It's Over'' conjecture from social choice theory.
Random skew plane partitions and the Pearcey process
Published
• View Publication
• BIB
We study random skew 3D partitions weighted by $q^{\textup{vol}}$ and, specifically, the $q\to 1$ asymptotics of local correlations near various points of the limit shape. We obtain sine-kernel asymptotics for correlations in the bulk of the disordered region, Airy kernel asymptotics near a general point of the frozen boundary, and a Pearcey kernel asymptotics near a cusp of the frozen boundary.
On distinct distances in homogeneous sets in the Euclidean space
Published in Discrete and Computational Geometry 35 (4) (2006), 537-549
• View Publication
• BIB
A homogeneous set of $n$ points in the $d$-dimensional Euclidean space determines at least $Ω(n^{2d/(d^2+1)} / \log^{c(d)} n)$ distinct distances for a constant $c(d)>0$. In three-space, we slightly improve our general bound and show that a homogeneous set of $n$ points determines at least $Ω(n^{.6091})$ distinct distances.
Distribution of the Size of a Largest Planar Matching and Largest Planar Subgraph in Random Bipartite Graphs
Published
• View Publication
• BIB
We address the following question: When a randomly chosen regular bipartite multi--graph is drawn in the plane in the ``standard way'', what is the distribution of its maximum size planar matching (set of non--crossing disjoint edges) and maximum size planar subgraph (set of non--crossing edges which may share endpoints)? The problem is a generalization of the Longest Increasing Sequence (LIS) problem (also called Ulam's problem). We present combinatorial identities which relate the number of $r$-regular bipartite multi--graphs with maximum planar matching (maximum planar subgraph)of at most $d$ edges to a signed sum of restricted lattice walks in $\ZZ^d$, and to the number of pairs of standard Young tableaux of the same shape and with a ``descend--type'' property. Our results are obtained via generalizations of two combinatorial proofs through which Gessel's identity can be obtained (an identity that is crucial in the derivation of a bivariate generating function associated to the distribution of LISs, and key to the analytic attack on Ulam's problem).
Collapsing along monotone poset maps
Published in International Journal of Mathematics and Mathematical Sciences, Volume 2006, (2006).
• View Publication
• BIB
We introduce the notion of nonevasive reduction, and show that for any monotone poset map $φ:P\to P$, the simplicial complex $Δ(P)$ {\tt NE}-reduces to $Δ(Q)$, for any $Q\supseteq{\text{\rm Fix}}φ$.
As a corollary, we prove that for any order-preserving map $φ:P\to P$ satisfying $φ(x)\geq x$, for any $x\in P$, the simplicial complex $Δ(P)$ collapses to $Δ(φ(P))$. We also obtain a generalization of Crapo's closure theorem.
Maximizing several cuts simultaneously
Consider two graphs G_1 and G_2 on the same vertex set V and suppose that G_i has m_i edges. Then there is a bipartition of V into two classes A and B so that for both i=1,2 the number of edges between A and B in G_i is (1+o(1))m_i/2. This answers a question of Bollobas and Scott. We also prove results about partitions into more than two vertex classes.
On the arithmetic product of combinatorial species
Published
• View Publication
• BIB
We introduce two new binary operations with combinatorial species; the arithmetic product and the modified arithmetic product. The arithmetic product gives combinatorial meaning to the product of Dirichlet series and to the Lambert series in the context of species. It allows us to introduce the notion of multiplicative species, a lifting to the combinatorial level of the classical notion of multiplicative arithmetic function. Interesting combinatorial constructions are introduced; cloned assemblies of structures, hyper-cloned trees, enriched rectangles, etc. Recent research of Cameron, Gewurz and Merola, about the product action in the context of oligomorphic groups, motivated the introduction of the modified arithmetic product. By using the modified arithmetic product we obtain new enumerative results. We also generalize and simplify some recent results of Canfield, and Pittel, related to the enumerations of tuples of partitions with restricted meet.
The Lie algebra of cyclic coinvariants of a symplectic space
We exhibit a natural Lie algebra structure on the graded space of cyclic coinvariants of a symplectic vector space.
Regular and chiral polytopes in low dimensions
There are two main thrusts in the theory of regular and chiral polytopes: the abstract, purely combinatorial aspect, and the geometric one of realizations. This brief survey concentrates on the latter. The dimension of a faithful realization of a finite abstract regular polytope in some euclidean space is no smaller than its rank, while that of a chiral polytope must strictly exceed the rank. There are similar restrictions on the dimensions of realizations of regular and chiral apeirotopes. From the viewpoint of realizations in a fixed dimension, the problems are now completely solved in up to three dimensions, while considerable progress has been made on the classification in four dimensions, the finite regular case again having been solved. This article reports on what has been done already, and what might be expected in the near future.
Tension continuous maps--their structure and applications
We consider mappings between edge sets of graphs that lift tensions to tensions. Such mappings are called tension-continuous mappings (shortly TT mappings). Existence of a TT mapping induces a (quasi)order on the class of graphs, which seems to be an essential extension of the homomorphism order (studied extensively, see [Hell-Nesetril]). In this paper we study the relationship of the homomorphism and TT orders. We stress the similarities and the differences in both deterministic and random setting. Particularly, we prove that TT order is dense and universal and we solve a problem of M. DeVos et al.
Sets of k-recurrence but not (k+1)-recurrence
Published
• View Publication
• BIB
For every $k\in \mathbb{N}$, we produce a set of integers which is $k$-recurrent but not $(k+1)$-recurrent. This extends a result of Furstenberg who produced a 1-recurrent set which is not 2-recurrent. We discuss a similar result for convergence of multiple ergodic averages. Finally, we also point out a combinatorial consequence related to Szemer\' edi's theorem.