Showing 20 papers (Total: 81680 papers, 47334 authors in database)
Asymptotic enumeration of 2-covers and line graphs
Published
• View Publication
• BIB
In this paper we find asymptotic enumerations for the number of line graphs on $n$-labelled vertices and for different types of related combinatorial objects called 2-covers.
We find that the number of 2-covers, $s_n$, and proper 2-covers, $t_n$, on $[n]$ both have asymptotic growth $$ s_n\sim t_n\sim B_{2n}2^{-n}\exp(-\frac12\log(2n/\log n))= B_{2n}2^{-n}\sqrt{\frac{\log n}{2n}}, $$ where $B_{2n}$ is the $2n$th Bell number, while the number of restricted 2-covers, $u_n$, restricted, proper 2-covers on $[n]$, $v_n$, and line graphs $l_n$, all have growth $$ u_n\sim v_n\sim l_n\sim B_{2n}2^{-n}n^{-1/2}\exp(-[\frac12\log(2n/\log n)]^2). $$
In our proofs we use probabilistic arguments for the unrestricted types of 2-covers and and generating function methods for the restricted types of 2-covers and line graphs.
Generic initial ideals and fibre products
Published in Osaka J. Math. 47 (2010), no. 1, 17-32
• Search Publication
We study the behavior of generic initial ideals with respect to fibre products. In our main result we determine the generic initial ideal of the fibre product with respect to the reverse lexicographic order. As an application we compute the symmetric algebraic shifted complex of two disjoint simplicial complexes as was conjectured by Kalai. This result is the symmetric analogue of a theorem of Nevo who determined the exterior algebraic shifted complex of two disjoint simplicial complexes as predicted by Kalai.
Asymptotic enumeration of sparse nonnegative integer matrices with specified row and column sums
Published in Advances in Applied Mathematics, 41 (2008) 459-481
• View Publication
• BIB
Let \svec = (s_1,...,s_m) and \tvec = (t_1,...,t_n) be vectors of nonnegative integer-valued functions of m,n with equal sum S = sum_{i=1}^m s_i = sum_{j=1}^n t_j. Let M(\svec,\tvec) be the number of m*n matrices with nonnegative integer entries such that the i-th row has row sum s_i and the j-th column has column sum t_j for all i,j. Such matrices occur in many different settings, an important example being the contingency tables (also called frequency tables) important in statistics. Define s=max_i s_i and t=max_j t_j. Previous work has established the asymptotic value of M(\svec,\tvec) as m,n\to\infty with s and t bounded (various authors independently, 1971-1974), and when \svec,\tvec are constant vectors with m/n,n/m,s/n >= c/log n for sufficiently large (Canfield and McKay, 2007). In this paper we extend the sparse range to the case st=o(S^(2/3)). The proof in part follows a previous asymptotic enumeration of 0-1 matrices under the same conditions (Greenhill, McKay and Wang, 2006). We also generalise the enumeration to matrices over any subset of the nonnegative integers that includes 0 and 1.
The game chromatic number of random graphs
Published
• View Publication
• BIB
Given a graph G and an integer k, two players take turns coloring the vertices of G one by one using k colors so that neighboring vertices get different colors. The first player wins iff at the end of the game all the vertices of G are colored. The game chromatic number χ_g(G) is the minimum k for which the first player has a winning strategy. In this paper we analyze the asymptotic behavior of this parameter for a random graph G_{n,p}. We show that with high probability the game chromatic number of G_{n,p} is at least twice its chromatic number but, up to a multiplicative constant, has the same order of magnitude. We also study the game chromatic number of random bipartite graphs.
Balanced Cayley graphs and balanced planar graphs
Published
• View Publication
• BIB
A balanced graph is a bipartite graph with no induced circuit of length 2 mod 4. These graphs arise in linear programming. We focus on graph-algebraic properties of balanced graphs to prove a complete classification of balanced Cayley graphs on abelian groups. Moreover, in Section 5 of this paper, we prove that there is no cubic balanced planar graph. Finally, some remarkable conjectures for balanced regular graphs are also presented.
Unit distances and diameters in Euclidean spaces
Published in Discrete and Computational Geometry 49 (2009), 1--27.
• View Publication
• BIB
We show that the maximum number of unit distances or of diameters in a set of n points in d-dimensional Euclidean space is attained only by specific types of Lenz constructions, for all d >= 4 and n sufficiently large, depending on d. As a corollary we determine the exact maximum number of unit distances for all even d >= 6, and the exact maximum number of diameters for all d >= 4, for all $n$ sufficiently large, depending on d.
Uniform Star-factors of Graphs with Girth Three
A {\it star-factor} of a graph $G$ is a spanning subgraph of $G$ such that each component of which is a star. Recently, Hartnell and Rall studied a family $\mathscr{U}$ of graphs satisfying the property that every star-factor of a member graph has the same number of edges. They determined the family $\mathscr{U}$ when the girth is at least five. In this paper, we investigate the family of graphs with girth three and determine all members of this family.
Star-uniform Graphs
Published
• View Publication
• BIB
A {\it star-factor} of a graph $G$ is a spanning subgraph of $G$ such that each of its component is a star. Clearly, every graph without isolated vertices has a star factor. A graph $G$ is called {\it star-uniform} if all star-factors of $G$ have the same number of components. To characterize star-uniform graphs was an open problem posed by Hartnell and Rall, which is motivated by the minimum cost spanning tree and the optimal assignment problems. We use the concepts of factor-criticality and domination number to characterize all star-uniform graphs with the minimum degree at least two. Our proof is heavily relied on Gallai-Edmonds Matching Structure Theorem.
Uniformly Weighted Star-Factors of Graphs
A {\it star-factor} of a graph $G$ is a spanning subgraph of $G$ such that each component of which is a star. An {\it edge-weighting} of $G$ is a function $w: E(G)\longrightarrow \mathbb{N}^+$, where $\mathbb{N}^+$ is the set of positive integers. Let $Ω$ be the family of all graphs $G$ such that every star-factor of $G$ has the same weights under a fixed edge-weighting $w$. In this paper, we present a simple structural characterization of the graphs in $Ω$ that have girth at least five.
Orthogonal functions generalizing Jack polynomials
Published
• View Publication
• BIB
The rational Cherednik algebra $\HH$ is a certain algebra of differential-reflection operators attached to a complex reflection group $W$. Each irreducible representation $S^λ$ of $W$ corresponds to a standard module $M(λ)$ for $\HH$. This paper deals with the infinite family $G(r,1,n)$ of complex reflection groups; our goal is to study the standard modules using a commutative subalgebra $\ttt$ of $\HH$ discovered by Dunkl and Opdam. In this case, the irreducible $W$-modules are indexed by certain sequences $λ$ of partitions. We first show that $\ttt$ acts in an upper triangular fashion on each standard module $M(λ)$, with eigenvalues determined by the combinatorics of the set of standard tableaux on $λ$. As a consequence, we construct a basis for $M(λ)$ consisting of orthogonal functions on $\CC^n$ with values in the representation $S^λ$. For $G(1,1,n)$ with $λ=(n)$ these functions are the non-symmetric Jack polynomials. We use intertwining operators to deduce a norm formula for our orthogonal functions and give an explicit combinatorial description of the lattice of submodules of $M(λ)$ in the case in which the orthogonal functions are all well-defined.
How many random edges make a dense hypergraph non-2-colorable?
Published
• View Publication
• BIB
We study a model of random uniform hypergraphs, where a random instance is obtained by adding random edges to a large hypergraph of a given density. We obtain a tight bound on the number of random edges required to ensure non-2-colorability. We prove that for any k-uniform hypergraph with Omega(n^{k-epsilon}) edges, adding omega(n^{k epsilon/2}) random edges makes the hypergraph almost surely non-2-colorable. This is essentially tight, since there is a 2-colorable hypergraph with Omega(n^{k-ε}) edges which almost surely remains 2-colorable even after adding o(n^{k ε/ 2}) random edges.
Maximum overhang
Published
• View Publication
• BIB
How far can a stack of $n$ identical blocks be made to hang over the edge of a table? The question dates back to at least the middle of the 19th century and the answer to it was widely believed to be of order $\log n$. Recently, Paterson and Zwick constructed $n$-block stacks with overhangs of order $n^{1/3}$, exponentially better than previously thought possible. We show here that order $n^{1/3}$ is indeed best possible, resolving the long-standing overhang problem up to a constant factor.
Minors in expanding graphs
Published
• View Publication
• BIB
Extending several previous results we obtained nearly tight estimates on the maximum size of a clique-minor in various classes of expanding graphs. These results can be used to show that graphs without short cycles and other H-free graphs contain large clique-minors, resolving some open questions in this area.
Additive approximation for edge-deletion problems
Published
• View Publication
• BIB
A graph property is monotone if it is closed under removal of vertices and edges. In this paper we consider the following edge-deletion problem; given a monotone property P and a graph G, compute the smallest number of edge deletions that are needed in order to turn G into a graph satisfying P. We denote this quantity by E_P(G).
Our first result states that for any monotone graph property P, any ε>0 and n-vertex input graph G one can approximate E_P(G) up to an additive error of εn^2
Our second main result shows that such approximation is essentially best possible and for most properties, it is NP-hard to approximate E_P(G) up to an additive error of n^{2-δ}, for any fixed positive δ.
The proof requires several new combinatorial ideas and involves tools from Extremal Graph Theory together with spectral techniques. Interestingly, prior to this work it was not even known that computing E_P(G) precisely for dense monotone properties is NP-hard. We thus answer (in a strong form) a question of Yannakakis raised in 1981.
Gallai Multigraphs
A complete edge-colored graph or multigraph is called Gallai if it lacks rainbow triangles. We give a construction of all finite Gallai multigraphs.
Some Two Color, Four Variable Rado Numbers
Published
• View Publication
• BIB
There exists a minimum integer $N$ such that any 2-coloring of $\{1,2,...,N\}$ admits a monochromatic solution to $x+y+kz =\ell w$ for $k,\ell \in \mathbb{Z}^+$, where $N$ depends on $k$ and $\ell$. We determine $N$ when $\ell-k \in \{0,1,2,3,4,5\}$, for all $k,\ell$ for which ${1/2}((\ell-k)^2-2)(\ell-k+1)\leq k \leq \ell-4$, as well as for arbitrary $k$ when $\ell=2$.
Bounds on Van der Waerden Numbers and Some Related Functions
Published
• View Publication
• BIB
For positive integers $s$ and $k_1, k_2, ..., k_s$, let $w(k_1,k_2,...,k_s)$ be the minimum integer $n$ such that any $s$-coloring $\{1,2,...,n\} \to \{1,2,...,s\}$ admits a $k_i$-term arithmetic progression of color $i$ for some $i$, $1 \leq i \leq s$. In the case when $k_1=k_2=...=k_s=k$ we simply write $w(k;s)$.
That such a minimum integer exists follows from van der Waerden's theorem on arithmetic progressions.
In the present paper we give a lower bound for $w(k,m)$ for each fixed $m$. We include a table with values of $w(k,3)$ which match this lower bound closely for $5 \leq k \leq 16$. We also give an upper bound for $w(k,4)$, an upper bound for $w(4;s)$, and a lower bound for $w(k;s)$ for an arbitrary fixed $k$. We discuss a number of other functions that are closely related to the van der Waerden function.
An Algorithm to Construct A Basis for the Module of Logarithmic Vector Fields
We consider logarithmic vector fields parametrized by finite collections of weighted hyperplanes. For a finite collection of weighted hyperplanes in a two-dimensional vector space, it is known that the set of such vector fields is a free module of rank two whose basis elements are homogeneous. We give an algorithm to construct a homogeneous basis for the module.
Abstract polymer models with general pair interactions
Published in Journal of Statistical Physics 129, n.1 171-188 (2007)
• View Publication
• BIB
A convergence criterion of cluster expansion is presented in the case of an abstract polymer system with general pair interactions (i.e. not necessarily hard core or repulsive). As a concrete example, the low temperature disordered phase of the BEG model with infinite range interactions, decaying polynomially as $1/r^{d+λ}$ with $λ>0$, is studied.
Lattice polytopes of degree 2
Published
• View Publication
• BIB
A theorem of Scott gives an upper bound for the normalized volume of lattice polygons with exactly $i>0$ interior lattice points. We will show that the same bound is true for the normalized volume of lattice polytopes of degree 2 even in higher dimensions. In particular, there is only a finite number of quadratic polynomials with fixed leading coefficient being the $h^*$-polynomial of a lattice polytope.