graph
34995 papers tagged with this keyword
Amenability, locally finite spaces, and bi-lipschitz embeddings
Published
• View Publication
• BIB
We define the isoperimetric constant for any locally finite metric space and we study the property of having isoperimetric constant equal to zero. This property, called Small Neighborhood property, clearly extends amenability to any locally finite space. Therefore, we start making a comparison between this property and other notions of amenability for locally finite metric spaces that have been proposed by Gromov, Lafontaine and Pansu, by Ceccherini-Silberstein, Grigorchuk and de la Harpe and by Block and Weinberger. We discuss possible applications of the property SN in the study of embedding a metric space into another one. In particular, we propose three results: we prove that a certain class of metric graphs that are isometrically embeddable into Hilbert spaces must have the property SN. We also show, by a simple example, that this result is not true replacing property SN with amenability. As a second result, we prove that \emph{many} spaces with \emph{uniform bounded geometry} having a bi-lipschitz embedding into Euclidean spaces must have the property SN. Finally, we prove a Bourgain-like theorem for metric trees: a metric tree with uniform bounded geometry and without property SN does not have bi-lipschitz embeddings into finite-dimensional Hilbert spaces.
Automorphisms of circulants that respect partitions
Published
• View Publication
• BIB
In this paper, we begin by partitioning the edges (or arcs) of a circulant (di)graph according to which generator in the connection set leads to each edge. We then further refine the partition by subdividing any part that corresponds to an element of order less than $n$, according to which of the cycles generated by that element the edge is in. It is known that if the (di)graph is connected and has no multiple edges, then any automorphism that respects the first partition and fixes the vertex corresponding to the group identity must be an automorphism of the group (this is in fact true in the more general context of Cayley graphs). We show that automorphisms that respect the second partition and fix 0 must also respect the first partition, so are again precisely the group automorphisms of $\mathbb Z_n$.
Revolutionaries and spies on random graphs
Published
• View Publication
• BIB
Pursuit-evasion games, such as the game of Revolutionaries and Spies, are a simplified model for network security. In the game we consider in this paper, a team of $r$ revolutionaries tries to hold an unguarded meeting consisting of $m$ revolutionaries. A team of $s$ spies wants to prevent this forever. For given $r$ and $m$, the minimum number of spies required to win on a graph $G$ is the spy number $σ(G,r,m)$. We present asymptotic results for the game played on random graphs $G(n,p)$ for a large range of $p = p(n), r=r(n)$, and $m=m(n)$. The behaviour of the spy number is analyzed completely for dense graphs (that is, graphs with average degree at least $n^{1/2+\eps}$ for some $\eps > 0$). For sparser graphs, some bounds are provided.
On incompactness for chromatic number of graphs
Published
• View Publication
• BIB
We deal with incompactness. Assume the existence of non-reflecting stationary set of cofinality kappa . We prove that one can define a graph G whose chromatic number is > kappa, while the chromatic number of every subgraph G' subseteq G,|G'| < |G| is <= kappa . The main case is kappa = aleph_0.
Odd-order Cayley graphs with commutator subgroup of order pq are hamiltonian
Published
• View Publication
• BIB
We show that if G is a nontrivial, finite group of odd order, whose commutator subgroup [G,G] is cyclic of order p^m q^n, where p and q are prime, then every connected Cayley graph on G has a hamiltonian cycle.
The p-Domination Number of Complete Multipartite Graphs
Published
• View Publication
• BIB
Let $G=(V,E)$ be a graph and $p$ a positive integer. A subset $S\subseteq V$ is called a $p$-dominating set of $G$ if every vertex not in $S$ has at least $p$ neighbors in $S$. The $p$-domination number is the minimum cardinality of a $p$-dominating set in $G$. In this paper, we establish an exact formula of the $p$-domination number of all complete multipartite graphs for arbitrary positive integer $p$.
On the parameter $μ_{21}$ of a complete bipartite graph
A proper edge $t$-coloring of a graph $G$ is a coloring of edges of $G$ with colors $1,2,...,t$ such that all colors are used, and no two adjacent edges receive the same color. The set of colors of edges incident with a vertex $x$ is called a spectrum of $x$. An arbitrary nonempty subset of consecutive integers is called an interval.
Suppose that all edges of a graph $G$ are colored in the game of Alice and Bob with asymmetric distribution of roles. Alice determines the number $t$ of colors in the future proper edge coloring of $G$ and aspires to minimize the number of vertices with an interval spectrum in it. Bob colors edges of $G$ with $t$ colors and aspires to maximize that number. $μ_{21}(G)$ is equal to the number of vertices of $G$ with an interval spectrum at the finish of the game on the supposition that both players choose their best strategies.
In this paper, for arbitrary positive integers $m$ and $n$, the exact value of the parameter $μ_{21}(K_{m,n})$ is found.
It was not known about simple cycles
Published
• View Publication
• BIB
A proper edge $t$-coloring of a graph is a coloring of its edges with colors $1,2,...,t$ such that all colors are used, and no two adjacent edges receive the same color. For any integer $n\geq 3$, all possible values of $t$ are found, for which there exists such a proper edge $t$-coloring of the simple cycle C(n), which uses for each pair of adjacent edges either consecutive colors or the first and the last ones.
On one-sided interval edge colorings of biregular bipartite graphs
A proper edge $t$-coloring of a graph $G$ is a coloring of edges of $G$ with colors $1,2,...,t$ such that all colors are used, and no two adjacent edges receive the same color. The set of colors of edges incident with a vertex $x$ is called a spectrum of $x$. An arbitrary nonempty subset of consecutive integers is called an interval. We say that a proper edge $t$-coloring of a graph $G$ is interval in the vertex $x$ if the spectrum of $x$ is an interval. We say that a proper edge $t$-coloring $\varphi$ of a graph $G$ is interval on a subset $R_0$ of vertices of $G$, if for an arbitrary $x\in R_0$, $\varphi$ is interval in $x$. We say that a subset $R$ of vertices of $G$ has an $i$-property if there is a proper edge $t$-coloring of $G$ which is interval on $R$. If $G$ is a graph, and a subset $R$ of its vertices has an $i$-property, then the minimum value of $t$ for which there is a proper edge $t$-coloring of $G$ interval on $R$ is denoted by $w_R(G)$.
In this paper, for some bipartite graphs, we estimate the value of this parameter in that cases when $R$ coincides with the set of all vertices of one part of the graph.
Estimates for the number of vertices with an interval spectrum in proper edge colorings of some graphs
A proper edge $t$-coloring of a graph $G$ is a coloring of edges of $G$ with colors $1,2,...,t$ such that each of $t$ colors is used, and adjacent edges are colored differently. The set of colors of edges incident with a vertex $x$ of $G$ is called a spectrum of $x$. A proper edge $t$-coloring of a graph $G$ is interval for its vertex $x$ if the spectrum of $x$ is an interval of integers. A proper edge $t$-coloring of a graph $G$ is persistent-interval for its vertex $x$ if the spectrum of $x$ is an interval of integers beginning from the color 1.
For graphs $G$ from some classes of graphs, we obtain estimates for the possible number of vertices for which a proper edge $t$-coloring of $G$ can be interval or persistent-interval.
A short proof of the odd-girth theorem
Published in Electron J. Combin. 19 (3) (2012) P12
• View Publication
• BIB
Recently, it has been shown that a connected graph $Γ$ with $d+1$ distinct eigenvalues and odd-girth $2d+1$ is distance-regular. The proof of this result was based on the spectral excess theorem. In this note we present an alternative and more direct proof which does not rely on the spectral excess theorem, but on a known characterization of distance-regular graphs in terms of the predistance polynomial of degree $d$.
On cyclically-interval edge colorings of trees
For an undirected, simple, finite, connected graph $G$, we denote by $V(G)$ and $E(G)$ the sets of its vertices and edges, respectively. A function $\varphi:E(G)\rightarrow\{1,2,\ldots,t\}$ is called a proper edge $t$-coloring of a graph $G$ if adjacent edges are colored differently and each of $t$ colors is used. An arbitrary nonempty subset of consecutive integers is called an interval. If $\varphi$ is a proper edge $t$-coloring of a graph $G$ and $x\in V(G)$, then $S_G(x,\varphi)$ denotes the set of colors of edges of $G$ which are incident with $x$. A proper edge $t$-coloring $\varphi$ of a graph $G$ is called a cyclically-interval $t$-coloring if for any $x\in V(G)$ at least one of the following two conditions holds: a) $S_G(x,\varphi)$ is an interval, b) $\{1,2,\ldots,t\}\setminus S_G(x,\varphi)$ is an interval. For any $t\in \mathbb{N}$, let $\mathfrak{M}_t$ be the set of graphs for which there exists a cyclically-interval $t$-coloring, and let $$\mathfrak{M}\equiv\bigcup_{t\geq1}\mathfrak{M}_t.$$ For an arbitrary tree $G$, it is proved that $G\in\mathfrak{M}$ and all possible values of $t$ are found for which $G\in\mathfrak{M}_t.$
Voronoi tilings hidden in crystals - The case of maximal abelian coverings
Published
• View Publication
• BIB
Consider a finite connected graph possibly with multiple edges and loops. In discrete geometric analysis, Kotani and Sunada constructed the crystal associated to the graph as a standard realization of the maximal abelian covering of the graph. As an application of what the author showed in an earlier paper with Seshadri as a by-product of Geometric Invariant Theory, he shows that the Voronoi tiling (also known as the Wigner-Seitz tiling) is hidden in the crystal, that is, the crystal does not intrude the interiors of the top-dimensional Voronoi cells. The result turns out to be closely related to the tropical Abel-Jacobi map of the associated compact tropical curve.
Hypergraph containers
Published
• View Publication
• BIB
We develop a notion of containment for independent sets in hypergraphs. For every $r$-uniform hypergraph $G$, we find a relatively small collection $C$ of vertex subsets, such that every independent set of $G$ is contained within a member of $C$, and no member of $C$ is large; the collection, which is in various respects optimal, reveals an underlying structure to the independent sets. The containers offer a straightforward and unified approach to many combinatorial questions concerned (usually implicitly) with independence.
With regard to colouring, it follows that simple $r$-uniform hypergraphs of average degree $d$ have list chromatic number at least $(1/(r-1)^2 + o(1)) \log_r d$. For $r = 2$ this improves a bound due to Alon and is tight. For $r \ge 3$, previous bounds were weak but the present inequality is close to optimal.
In the context of extremal graph theory, it follows that, for each $\ell$-uniform hypergraph $H$ of order $k$, there is a collection $C$ of $\ell$-uniform hypergraphs of order $n$ each with $o(n^k)$ copies of $H$, such that every $H$-free $\ell$-uniform hypergraph of order $n$ is a subgraph of a hypergraph in $C$, and $\log |C| \le c n^{\ell-1/m(H)} \log n$ where $m(H)$ is a standard parameter (there is a similar statement for induced subgraphs). This yields simple proofs, for example, for the number of $H$-free hypergraphs, and for the sparsity theorems of Conlon-Gowers and Schacht. A slight variant yields a counting version of the KŁR conjecture.
Likewise, for systems of linear equations the containers supply, for example, bounds on the number of solution-free sets, and the existence of solutions in sparse random subsets.
Balogh, Morris and Samotij have independently obtained related results.
Extremal results in sparse pseudorandom graphs
Published in Adv. Math. 256 (2014), 206-290
• View Publication
• BIB
Szemerédi's regularity lemma is a fundamental tool in extremal combinatorics. However, the original version is only helpful in studying dense graphs. In the 1990s, Kohayakawa and Rödl proved an analogue of Szemerédi's regularity lemma for sparse graphs as part of a general program toward extending extremal results to sparse graphs. Many of the key applications of Szemerédi's regularity lemma use an associated counting lemma. In order to prove extensions of these results which also apply to sparse graphs, it remained a well-known open problem to prove a counting lemma in sparse graphs.
The main advance of this paper lies in a new counting lemma, proved following the functional approach of Gowers, which complements the sparse regularity lemma of Kohayakawa and Rödl, allowing us to count small graphs in regular subgraphs of a sufficiently pseudorandom graph. We use this to prove sparse extensions of several well-known combinatorial theorems, including the removal lemmas for graphs and groups, the Erdős-Stone-Simonovits theorem and Ramsey's theorem. These results extend and improve upon a substantial body of previous work.
On the Cartesian product of non well-covered graphs
Published
• View Publication
• BIB
A graph is well-covered if every maximal independent set has the same cardinality, namely the vertex independence number. We answer a question of Topp and Volkmann and prove that if the Cartesian product of two graphs is well-covered, then at least one of them must be well-covered.
Online version of the theorem of Thue
Published
• View Publication
• BIB
A sequence S is nonrepetitive if no two adjacent blocks of S are the same. In 1906 Thue proved that there exist arbitrarily long nonrepetitive sequences over 3 symbols. We consider the online variant of this result in which a nonrepetitive sequence is constructed during a play between two players: Bob is choosing a position in a sequence and Alice is inserting a symbol on that position taken from a fixed set A. The goal of Bob is to force Alice to create a repetition, and if he succeeds, then the game stops. The goal of Alice is naturally to avoid that and thereby to construct a nonrepetitive sequence of any given length. We prove that Alice has a strategy to play arbitrarily long provided the size of the set A is at least 12. This is the online version of the Theorem of Thue. The proof is based on nonrepetitive colorings of outerplanar graphs. On the other hand, one can prove that even over 4 symbols Alice has no chance to play for too long. The minimum size of the set of symbols needed for the online version of Thue's theorem remains unknown.
Hamiltonicity in connected regular graphs
Published in Information Processing Letters Vol. 113, 2013, pp. 858-860
• View Publication
• BIB
In 1980, Jackson proved that every 2-connected $k$-regular graph with at most $3k$ vertices is Hamiltonian. This result has been extended in several papers. In this note, we determine the minimum number of vertices in a connected $k$-regular graph that is not Hamiltonian, and we also solve the analogous problem for Hamiltonian paths. Further, we characterize the smallest connected $k$-regular graphs without a Hamiltonian cycle.
A Sharp Bound for the Circumference in $t$-tough graphs with $t>1$
It is proved that if $G$ is a $t$-tough graph of order $n$ and minimum degree $δ$ with $t>1$ then either $G$ has a cycle of length at least $\min\{n,2δ+5\}$ or $G$ is the Petersen graph.
Independent sets in hypergraphs
Published
• View Publication
• BIB
Many important theorems in combinatorics, such as Szemerédi's theorem on arithmetic progressions and the Erdős-Stone Theorem in extremal graph theory, can be phrased as statements about independent sets in uniform hypergraphs. In recent years, an important trend in the area has been to extend such classical results to the so-called sparse random setting. This line of research culminated recently in the breakthroughs of Conlon and Gowers and of Schacht, who developed general tools for solving problems of this type.
In this paper, we provide a third, completely different approach to proving extremal and structural results in sparse random sets. We give a structural characterization of the independent sets in a large class of uniform hypergraphs by showing that every independent set is almost contained in one of a small number of relatively sparse sets. We then derive many interesting results as fairly straightforward consequences of this abstract theorem. In particular, we prove the well-known conjecture of Kohayakawa, Łuczak and Rödl, a probabilistic embedding lemma for sparse graphs. We also give alternative proofs of many of the results of Conlon and Gowers and Schacht, and obtain their natural counting versions, which in some cases are considerably stronger. We moreover prove a sparse version of the Erdős-Frankl-Rödl Theorem on the number of H-free graphs and extend a result of Rödl and Ruciński on Ramsey properties in sparse random graphs to the general, non-symmetric setting.
We remark that similar results have been discovered independently by Saxton and Thomason, and that, in parallel to this work, Conlon, Gowers, Samotij and Schacht have proved a sparse analogue of the counting lemma for subgraphs of the random graph G(n,p), which may be viewed as a version of the KŁR conjecture that is stronger in some ways and weaker in others.