scholarly journals Density of Monochromatic Infinite Paths

10.37236/7758 ◽  
2018 ◽  
Vol 25 (4) ◽  
Author(s):  
Allan Lo ◽  
Nicolás Sanhueza-Matamala ◽  
Guanghui Wang

For any subset $A \subseteq \mathbb{N}$, we define its upper density to be $\limsup_{ n \rightarrow \infty } |A \cap \{ 1, \dotsc, n \}| / n$. We prove that every $2$-edge-colouring of the complete graph on $\mathbb{N}$ contains a monochromatic infinite path, whose vertex set has upper density at least $(9 + \sqrt{17})/16 \approx 0.82019$. This improves on results of Erdős and Galvin, and of DeBiasio and McKenney.


2019 ◽  
Author(s):  
Jan Corsten ◽  
Louis DeBiasio ◽  
Ander Lamaison ◽  
Richard Lang

Ramsey Theory investigates the existence of large monochromatic substructures. Unlike the most classical case of monochromatic complete subgraphs, the maximum guaranteed length of a monochromatic path in a two-edge-colored complete graph is well-understood. Gerencsér and Gyárfás in 1967 showed that any two-edge-coloring of a complete graph Kn contains a monochromatic path with ⌊2n/3⌋+1 vertices. The following two-edge-coloring shows that this is the best possible: partition the vertices of Kn into two sets A and B such that |A|=⌊n/3⌋ and |B|=⌈2n/3⌉, and color the edges between A and B red and edges inside each of the sets blue. The longest red path has 2|A|+1 vertices and the longest blue path has |B| vertices. The main result of this paper concerns the corresponding problem for countably infinite graphs. To measure the size of a monochromatic subgraph, we associate the vertices with positive integers and consider the lower and the upper density of the vertex set of a monochromatic subgraph. The upper density of a subset A of positive integers is the limit superior of |A∩{1,...,}|/n, and the lower density is the limit inferior. The following example shows that there need not exist a monochromatic path with positive upper density such that its vertices form an increasing sequence: an edge joining vertices i and j is colored red if ⌊log2i⌋≠⌊log2j⌋, and blue otherwise. In particular, the coloring yields blue cliques with 1, 2, 4, 8, etc., vertices mutually joined by red edges. Likewise, there are constructions of two-edge-colorings such that the lower density of every monochromatic path is zero. A result of Rado from the 1970's asserts that the vertices of any k-edge-colored countably infinite complete graph can be covered by k monochromatic paths. For a two-edge-colored complete graph on the positive integers, this implies the existence of a monochromatic path with upper density at least 1/2. In 1993, Erdős and Galvin raised the problem of determining the largest c such that every two-edge-coloring of the complete graph on the positive integers contains a monochromatic path with upper density at least c. The authors solve this 25-year-old problem by showing that c=(12+8–√)/17≈0.87226.



2009 ◽  
Vol 18 (1-2) ◽  
pp. 247-258 ◽  
Author(s):  
PO-SHEN LOH ◽  
BENNY SUDAKOV

For two graphs S and T, the constrained Ramsey number f(S, T) is the minimum n such that every edge colouring of the complete graph on n vertices (with any number of colours) has a monochromatic subgraph isomorphic to S or a rainbow subgraph isomorphic to T. Here, a subgraph is said to be rainbow if all of its edges have different colours. It is an immediate consequence of the Erdős–Rado Canonical Ramsey Theorem that f(S, T) exists if and only if S is a star or T is acyclic. Much work has been done to determine the rate of growth of f(S, T) for various types of parameters. When S and T are both trees having s and t edges respectively, Jamison, Jiang and Ling showed that f(S, T) ≤ O(st2) and conjectured that it is always at most O(st). They also mentioned that one of the most interesting open special cases is when T is a path. In this paper, we study this case and show that f(S, Pt) = O(st log t), which differs only by a logarithmic factor from the conjecture. This substantially improves the previous bounds for most values of s and t.



2019 ◽  
Vol 12 (01) ◽  
pp. 1950006 ◽  
Author(s):  
Ramuel P. Ching ◽  
I. J. L. Garces

Let [Formula: see text] be a finite simple graph. The [Formula: see text]-distance graph [Formula: see text] of [Formula: see text] is the graph with the same vertex set as [Formula: see text] and two vertices are adjacent if and only if their distance in [Formula: see text] is exactly [Formula: see text]. A graph [Formula: see text] is a [Formula: see text]-distance graph if there exists a graph [Formula: see text] such that [Formula: see text]. In this paper, we give three characterizations of [Formula: see text]-distance graphs, and find all graphs [Formula: see text] such that [Formula: see text] or [Formula: see text], where [Formula: see text] is an integer, [Formula: see text] is the path of order [Formula: see text], and [Formula: see text] is the complete graph of order [Formula: see text].



1994 ◽  
Vol 31 (1) ◽  
pp. 193-204
Author(s):  
Martin J. B. Appel

Let ℱ be a countable plane triangulation embedded in ℝ2in such a way that no bounded region contains more than finitely many vertices, and letPpbe Bernoulli (p) product measure on the vertex set of ℱ. LetEbe the event that a fixed vertex belongs to an infinite path whose vertices alternate states sequentially. It is shown that theAB percolation probability function θΑΒ(p) =Pp(E) is non-decreasing inpfor 0 ≦p≦ ½. By symmetry,θAΒ(p) is therefore unimodal on [0, 1]. This result partially verifies a conjecture due to Halley and stands in contrast to the examples of Łuczak and Wierman.



10.37236/9039 ◽  
2021 ◽  
Vol 28 (1) ◽  
Author(s):  
Hannah Guggiari ◽  
Alex Scott

For every $n\in\mathbb{N}$ and $k\geqslant2$, it is known that every $k$-edge-colouring of the complete graph on $n$ vertices contains a monochromatic connected component of order at least $\frac{n}{k-1}$. For $k\geqslant3$, it is known that the complete graph can be replaced by a graph $G$ with $\delta(G)\geqslant(1-\varepsilon_k)n$ for some constant $\varepsilon_k$. In this paper, we show that the maximum possible value of $\varepsilon_3$ is $\frac16$. This disproves a conjecture of Gyárfas and Sárközy.



10.37236/257 ◽  
2009 ◽  
Vol 16 (1) ◽  
Author(s):  
Veselin Jungić ◽  
Tomáš Kaiser ◽  
Daniel Král'

We study the mixed Ramsey number $maxR(n,{K_m},{K_r})$, defined as the maximum number of colours in an edge-colouring of the complete graph $K_n$, such that $K_n$ has no monochromatic complete subgraph on $m$ vertices and no rainbow complete subgraph on $r$ vertices. Improving an upper bound of Axenovich and Iverson, we show that $maxR(n,{K_m},{K_4}) \leq n^{3/2}\sqrt{2m}$ for all $m\geq 3$. Further, we discuss a possible way to improve their lower bound on $maxR(n,{K_4},{K_4})$ based on incidence graphs of finite projective planes.



10.37236/773 ◽  
2008 ◽  
Vol 15 (1) ◽  
Author(s):  
Jeremy F. Alm ◽  
Roger D. Maddux ◽  
Jacob Manske

Let $K_{N}$ denote the complete graph on $N$ vertices with vertex set $V = V(K_{N})$ and edge set $E = E(K_{N})$. For $x,y \in V$, let $xy$ denote the edge between the two vertices $x$ and $y$. Let $L$ be any finite set and ${\cal M} \subseteq L^{3}$. Let $c : E \rightarrow L$. Let $[n]$ denote the integer set $\{1, 2, \ldots, n\}$. For $x,y,z \in V$, let $c(xyz)$ denote the ordered triple $\big(c(xy)$, $c(yz), c(xz)\big)$. We say that $c$ is good with respect to ${\cal M}$ if the following conditions obtain: 1. $\forall x,y \in V$ and $\forall (c(xy),j,k) \in {\cal M}$, $\exists z \in V$ such that $c(xyz) = (c(xy),j,k)$; 2. $\forall x,y,z \in V$, $c(xyz) \in {\cal M}$; and 3. $\forall x \in V \ \forall \ell\in L \ \exists \, y\in V$ such that $ c(xy)=\ell $. We investigate particular subsets ${\cal M}\subseteq L^{3}$ and those edge colorings of $K_{N}$ which are good with respect to these subsets ${\cal M}$. We also remark on the connections of these subsets and colorings to projective planes, Ramsey theory, and representations of relation algebras. In particular, we prove a special case of the flexible atom conjecture.



Author(s):  
József Balogh ◽  
Alexandr Kostochka ◽  
Mikhail Lavrov ◽  
Xujun Liu

Abstract A graph G arrows a graph H if in every 2-edge-colouring of G there exists a monochromatic copy of H. Schelp had the idea that if the complete graph $K_n$ arrows a small graph H, then every ‘dense’ subgraph of $K_n$ also arrows H, and he outlined some problems in this direction. Our main result is in this spirit. We prove that for every sufficiently large n, if $n = 3t+r$ where $r \in \{0,1,2\}$ and G is an n-vertex graph with $\delta(G) \ge (3n-1)/4$ , then for every 2-edge-colouring of G, either there are cycles of every length $\{3, 4, 5, \dots, 2t+r\}$ of the same colour, or there are cycles of every even length $\{4, 6, 8, \dots, 2t+2\}$ of the samecolour. Our result is tight in the sense that no longer cycles (of length $>2t+r$ ) can be guaranteed and the minimum degree condition cannot be reduced. It also implies the conjecture of Schelp that for every sufficiently large n, every $(3t-1)$ -vertex graph G with minimum degree larger than $3|V(G)|/4$ arrows the path $P_{2n}$ with 2n vertices. Moreover, it implies for sufficiently large n the conjecture by Benevides, Łuczak, Scott, Skokan and White that for $n=3t+r$ where $r \in \{0,1,2\}$ and every n-vertex graph G with $\delta(G) \ge 3n/4$ , in each 2-edge-colouring of G there exists a monochromatic cycle of length at least $2t+r$ .



1991 ◽  
Vol 01 (02) ◽  
pp. 99-107 ◽  
Author(s):  
JEFFERY S. SALOWE

Given a connected graph G=(V,E) with positive edge weights, define the distance dG(u,v) between vertices u and v to be the length of a shortest path from u to v in G. A spanning subgraph G' of G is said to be a t-spanner for G if, for every pair of vertices u and v, dG'(u,v)≤t·dG(u,v). Consider a complete graph G whose vertex set is a set of n points in [Formula: see text] and whose edge weights are given by the Lp distance between respective points. Given input parameter ∊, 0<∊≤1, we show how to construct a (1+∊)-spanner for G containing [Formula: see text] edges in [Formula: see text] time. We apply this spanner to the construction of approximate minimum spanning trees.



2017 ◽  
Vol 16 (12) ◽  
pp. 1750226 ◽  
Author(s):  
Dengyin Wang ◽  
Li Chen ◽  
Fenglei Tian

Let [Formula: see text] be a finite field with [Formula: see text] elements, [Formula: see text] be the ring of all [Formula: see text] matrices over [Formula: see text], [Formula: see text] be the set of all nontrivial left ideals of [Formula: see text]. The co-maximal ideal graph of [Formula: see text], denoted by [Formula: see text], is a graph with [Formula: see text] as vertex set and two nontrivial left ideals [Formula: see text] of [Formula: see text] are adjacent if and only if [Formula: see text]. If [Formula: see text], it is easy to see that [Formula: see text] is a complete graph, thus any permutation of vertices of [Formula: see text] is an automorphism of [Formula: see text]. A natural problem is: How about the automorphisms of [Formula: see text] when [Formula: see text]. In this paper, we aim to solve this problem. When [Formula: see text], a mapping [Formula: see text] on [Formula: see text] is proved to be an automorphism of [Formula: see text] if and only if there is an invertible matrix [Formula: see text] and a field automorphism [Formula: see text] of [Formula: see text] such that [Formula: see text] for any [Formula: see text], where [Formula: see text] and [Formula: see text] for [Formula: see text].



Sign in / Sign up

Export Citation Format

Share Document