arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 81914 papers, 47441 authors in database)
2010-05-10 v2
Component structure of the vacant set induced by a random walk on a random graph
Published • View PublicationBIB
We consider random walks on several classes of graphs and explore the likely structure of the vacant set, i.e. the set of unvisited vertices. Let Γ(t) be the subgraph induced by the vacant set of the walk at step t. We show that for random graphs G_{n,p} (above the connectivity threshold) and for random regular graphs G_r, r \geq 3, the graph Γ(t) undergoes a phase transition in the sense of the well-known Erdos-Renyi phase transition. Thus for t \leq (1-ε)t^*, there is a unique giant component, plus components of size O(log n), and for t \geq (1+ε)t^* all components are of size O(log n). For G_{n,p} and G_r we give the value of t^*, and the size of Γ(t). For G_r, we also give the degree sequence of Γ(t), the size of the giant component (if any) of Γ(t) and the number of tree components of Γ(t) of a given size k=O(log n). We also show that for random digraphs D_{n,p} above the strong connectivity threshold, there is a similar directed phase transition. Thus for t\leq (1-ε)t^*, there is a unique strongly connected giant component, plus strongly connected components of size O(log n), and for t\geq (1+ε)t^* all strongly connected components are of size O(log n).
2010-05-10
On the non-existence of sharply transitive sets of permutations in certain finite permutation groups
Published • View PublicationBIB
In this short note we present a simple combinatorial trick which can be effectively applied to show the non--existence of sharply transitive sets of permutations in certain finite permutation groups.
2010-05-10 v2
Upper and lower bound theorems for graph-associahedra
Published • View PublicationBIB
From the paper of the first author it follows that upper and lower bounds for $γ$-vector of a simple polytope imply the bounds for its $g$-,$h$- and $f$-vectors. In the paper of the second author it was obtained unimprovable upper and lower bounds for $γ$-vectors of flag nestohedra, particularly Gal's conjecture was proved for this case. In the present paper we obtain unimprovable upper and lower bounds for $γ$-vectors (consequently, for $g$-,$h$- and $f$-vectors) of graph-associahedra and some its important subclasses. We use the constructions that for an $(n-1)$-dimensional graph-associahedron $P_{Γ_n}$ give the $n$-dimensional graph-associahedron $P_{Γ_{n+1}}$ that is obtained from the cylinder $P_{Γ_n}\times I$ by sequential shaving some facets of its bases. We show that the well-known series of polytopes (associahedra, cyclohedra, permutohedra and stellohedra) can be derived by these constructions. As a corollary we obtain inductive formulas for $γ$- and $h$- vectors of the mentioned series. These formulas communicate the method of differential equations developed by the first author with the method of shavings developed by the second author.
Harmonic Labeling of Graphs
Published • View PublicationBIB
Which graphs admit an integer value harmonic function which is injective and surjective onto $\Z$? Such a function, which we call harmonic labeling, is constructed when the graph is the $\Z^2$ square grid. It is shown that for any finite graph $G$ containing at least one edge, there is no harmonic labeling of $ G \times \Z$.
Overlap properties of geometric expanders
Published • View PublicationBIB
The {\em overlap number} of a finite $(d+1)$-uniform hypergraph $H$ is defined as the largest constant $c(H)\in (0,1]$ such that no matter how we map the vertices of $H$ into $\R^d$, there is a point covered by at least a $c(H)$-fraction of the simplices induced by the images of its hyperedges. In~\cite{Gro2}, motivated by the search for an analogue of the notion of graph expansion for higher dimensional simplicial complexes, it was asked whether or not there exists a sequence $\{H_n\}_{n=1}^\infty$ of arbitrarily large $(d+1)$-uniform hypergraphs with bounded degree, for which $\inf_{n\ge 1} c(H_n)>0$. Using both random methods and explicit constructions, we answer this question positively by constructing infinite families of $(d+1)$-uniform hypergraphs with bounded degree such that their overlap numbers are bounded from below by a positive constant $c=c(d)$. We also show that, for every $d$, the best value of the constant $c=c(d)$ that can be achieved by such a construction is asymptotically equal to the limit of the overlap numbers of the complete $(d+1)$-uniform hypergraphs with $n$ vertices, as $n\rightarrow\infty$. For the proof of the latter statement, we establish the following geometric partitioning result of independent interest. For any $d$ and any $ε>0$, there exists $K=K(ε,d)\ge d+1$ satisfying the following condition. For any $k\ge K$, for any point $q \in \mathbb{R}^d$ and for any finite Borel measure $μ$ on $\mathbb{R}^d$ with respect to which every hyperplane has measure $0$, there is a partition $\mathbb{R}^d=A_1 \cup \ldots \cup A_{k}$ into $k$ measurable parts of equal measure such that all but at most an $ε$-fraction of the $(d+1)$-tuples $A_{i_1},\ldots,A_{i_{d+1}}$ have the property that either all simplices with one vertex in each $A_{i_j}$ contain $q$ or none of these simplices contain $q$.
2010-05-08
Bipartite Induced Subgraphs and Well-Quasi-Ordering
Published • View PublicationBIB
We study bipartite graphs partially ordered by the induced subgraph relation. Our goal is to distinguish classes of bipartite graphs which are or are not well-quasi-ordered (wqo) by this relation. Answering an open question from \cite{Ding92}, we prove that $P_7$-free bipartite graphs are not wqo. On the other hand, we show that $P_6$-free bipartite graphs are wqo. We also obtain some partial results on subclasses of bipartite graphs defined by forbidding more than one induced subgraph.
2010-05-07 v2
Faces of weight polytopes and a generalization of a theorem of Vinberg
Published in Algebras and Representation Theory 15 (2012), no. 3, 593-611 • View PublicationBIB
The paper is motivated by the study of graded representations of Takiff algebras, cominuscule parabolics, and their generalizations. We study certain special subsets of the set of weights (and of their convex hull) of the generalized Verma modules (or GVM's) of a semisimple Lie algebra $\lie g$. In particular, we extend a result of Vinberg and classify the faces of the convex hull of the weights of a GVM. When the GVM is finite-dimensional, we ask a natural question that arises out of Vinberg's result: when are two faces the same? We also extend the notion of interiors and faces to an arbitrary subfield $\F$ of the real numbers, and introduce the idea of a weak $\F$-face of any subset of Euclidean space. We classify the weak $\F$-faces of all lattice polytopes, as well as of the set of lattice points in them. We show that a weak $\F$-face of the weights of a finite-dimensional $\lie g$-module is precisely the set of weights lying on a face of the convex hull.
2010-05-07 v5
Combinatorics for graded Cartan matrices of the Iwahori-Hecke algebra of type A
Published • View PublicationBIB
A $q$-analogue of combinatorics concerning the Cartan matrix for the Iwahori-Hecke algebra of type $A$ is investigated. We give several descriptions for the determinant of the graded Cartan matrix, which imply some combinatorial identities. A conjectural expression for the elementary divisors is also presented.
2010-05-07
The asymptotic number of occurrences of a subtree in trees with bounded maximum degree and an application to the Estrada index
Let $\mathcal {T}^Δ_n$ denote the set of trees of order $n$, in which the degree of each vertex is bounded by some integer $Δ$. Suppose that every tree in $\mathcal {T}^Δ_n$ is equally likely. For any given subtree $H$, we show that the number of occurrences of $H$ in trees of $\mathcal {T}^Δ_n$ is with mean $(μ_H+o(1))n$ and variance $(σ_H+o(1))n$, where $μ_H$, $σ_H$ are some constants. As an application, we estimate the value of the Estrada index $EE$ for almost all trees in $\mathcal {T}^Δ_n$, and give an explanation in theory to the approximate linear correlation between $EE$ and the first Zagreb index obtained by quantitative analysis.
2010-05-07 v5
Random graphs with a given degree sequence
Published in Annals of Applied Probability 2011, Vol. 21, No. 4, 1400-1435 • View PublicationBIB
Large graphs are sometimes studied through their degree sequences (power law or regular graphs). We study graphs that are uniformly chosen with a given degree sequence. Under mild conditions, it is shown that sequences of such graphs have graph limits in the sense of Lovász and Szegedy with identifiable limits. This allows simple determination of other features such as the number of triangles. The argument proceeds by studying a natural exponential model having the degree sequence as a sufficient statistic. The maximum likelihood estimate (MLE) of the parameters is shown to be unique and consistent with high probability. Thus $n$ parameters can be consistently estimated based on a sample of size one. A fast, provably convergent, algorithm for the MLE is derived. These ingredients combine to prove the graph limit theorem. Along the way, a continuous version of the Erdős--Gallai characterization of degree sequences is derived.
2010-05-07
A measure of non-convexity in the plane and the Minkowski sum
Published in Discrete and Computational Geometry, 44:3, 2010, 608-621 • View PublicationBIB
In this paper a measure of non-convexity for a simple polygonal region in the plane is introduced. It is proved that for "not far from convex" regions this measure does not decrease under the Minkowski sum operation, and guarantees that the Minkowski sum has no "holes".
2010-05-07
Fibonacci numbers and positive braids
The paper contains enumerative combinatorics for positive braids, square free braids, and simple braids, emphasizing connections with classical Fibonacci sequence. The simple subgraph of the Cayley graph of the braid group is analyzed in the final part.
2010-05-07 v4
Partitions of nonzero elements of a finite field into pairs
Published • View PublicationBIB
In this paper we prove that the nonzero elements of a finite field with odd characteristic can be partitioned into pairs with prescribed difference (maybe, with some alternatives) in each pair. The algebraic and topological approaches to such problems are considered. We also give some generalizations of these results to packing translates in a finite or infinite field, and give a short proof of a particular case of the Eliahou--Kervaire--Plaigne theorem about sum-sets.
2010-05-07 v2
A Note on Element Centralizers in Finite Coxeter Groups
Published • View PublicationBIB
The normalizer $N_W(W_J)$ of a standard parabolic subgroup $W_J$ of a finite Coxeter group $W$ splits over the parabolic subgroup with complement $N_J$ consisting of certain minimal length coset representatives of $W_J$ in $W$. In this note we show that (with the exception of a small number of cases arising from a situation in Coxeter groups of type $D_n$) the centralizer $C_W(w)$ of an element $w \in W$ is in a similar way a semidirect product of the centralizer of $w$ in a suitable small parabolic subgroup $W_J$ with complement isomorphic to the normalizer complement $N_J$.
2010-05-07
On the Hilbert series of vertex cover algebras of unmixed bipartite graphs
We compute the reduced Gröbner basis of the toric ideal with respect to a suitable monomial order and we study the Hilbert series of the vertex cover algebra $A(G)$, where $G$ is an unmixed bipartite graph without isolated vertices.
2010-05-07 v3
Asymptotic enumeration of strongly connected digraphs by vertices and edges
We derive an asymptotic formula for the number of strongly connected digraphs with $n$ vertices and $m$ arcs (directed edges), valid for $m-n\to\infty$ as $n\to \infty$ provided $m=O(n\log n)$. This fills the gap between Wright's results which apply to $m=n+O(1)$, and the long-known threshold for $m$, above which a random digraph with $n$ vertices and $m$ arcs is likely to be strongly connected.
2010-05-07
Stein's method, heat kernel, and traces of powers of elements of compact Lie groups
Published • View PublicationBIB
Combining Stein's method with heat kernel techniques, we show that the trace of the jth power of an element of U(n,C), USp(n,C) or SO(n,R) has a normal limit with error term of order j/n. In contrast to previous works, here j may be growing with n. The technique should prove useful in the study of the value distribution of approximate eigenfunctions of Laplacians.
Small Minors in Dense Graphs
Published in European Journal of Combinatorics, 33/6:1226--1245, 2012 • View PublicationBIB
A fundamental result in structural graph theory states that every graph with large average degree contains a large complete graph as a minor. We prove this result with the extra property that the minor is small with respect to the order of the whole graph. More precisely, we describe functions $f$ and $h$ such that every graph with $n$ vertices and average degree at least $f(t)$ contains a $K_t$-model with at most $h(t)\cdot\log n$ vertices. The logarithmic dependence on $n$ is best possible (for fixed $t$). In general, we prove that $f(t)\leq 2^{t-1}+\eps$. For $t\leq 4$, we determine the least value of $f(t)$; in particular $f(3)=2+\eps$ and $f(4)=4+\eps$. For $t\leq4$, we establish similar results for graphs embedded on surfaces, where the size of the $K_t$-model is bounded (for fixed $t$).
2010-05-06 v3
Reverse Line Graph Construction: The Matrix Relabeling Algorithm MARINLINGA Versus Roussopoulos's Algorithm
We propose a new algorithm MARINLINGA for reverse line graph computation, i.e., constructing the original graph from a given line graph. Based on the completely new and simpler principle of link relabeling and endnode recognition, MARINLINGA does not rely on Whitney's theorem while all previous algorithms do. MARINLINGA has a worst case complexity of O(N^2), where N denotes the number of nodes of the line graph. We demonstrate that MARINLINGA is more time-efficient compared to Roussopoulos's algorithm, which is well-known for its efficiency.
2010-05-06
Bounds on the 2-rainbow domination number of graphs
Published • View PublicationBIB
A {\it 2-rainbow domination function} of a graph $G$ is a function $f$ that assigns to each vertex a set of colors chosen from the set $\{1,2\}$, such that for any $v\in V(G)$, $f(v)=\emptyset$ implies $\bigcup_{u\in N(v)}f(u)=\{1,2\}$. The {\it 2-rainbow domination number $γ_{r2}(G)$} of a graph $G$ is the minimum $w(f)=Σ_{v\in V}|f(v)|$ over all such functions $f$. Let $G$ be a connected graph of order $|V(G)|=n\geq 3$. We prove that $γ_{r2}(G)\leq 3n/4$ and we characterize the graphs achieving equality. We also prove a lower bound for 2-rainbow domination number of a tree using its domination number. Some other lower and upper bounds of $γ_{r2}(G)$ in terms of diameter are also given.