complete graph
2162 papers tagged with this keyword
The general position problem and strong resolving graph
The general position number ${\rm gp}(G)$ of a connected graph $G$ is the cardinality of a largest set $S$ of vertices such that no three pairwise distinct vertices from $S$ lie on a common geodesic. It is proved that ${\rm gp}(G)\ge ω(G_{\rm SR}$, where $G_{\rm SR}$ is the strong resolving graph of $G$, and $ω(G_{\rm SR})$ is its clique number. That the bound is sharp is demonstrated with numerous constructions including for instance direct products of complete graphs and different families of strong products, of generalized lexicographic products, and of rooted product graphs. For the strong product it is proved that $gp(G\boxtimes H) \ge gp(G)gp(H)$, and asked whether the equality holds for arbitrary connected graphs $G$ and $H$. It is proved that the answer is in particular positive for strong products with a complete factor, for strong products of complete bipartite graphs, and for certain strong cylinders.
A note on Gallai-Ramsey number of even wheels
A Gallai coloring of a complete graph is an edge-coloring such that no triangle has all its edges colored differently. A Gallai $k$-coloring is a Gallai coloring that uses $k$ colors. Given a graph $H$ and an integer $k\geq 1$, the Gallai-Ramsey number $GR_k(H)$ of $H$ is the least positive integer $N$ such that every Gallai $k$-coloring of the complete graph $K_N$ contains a monochromatic copy of $H$. Let $W_{2n} $ denote an even wheel on $2n+1\ge5$ vertices. In this note, we study Gallai-Ramsey number of $W_{2n}$ and completely determine the exact value of $GR_k(W_4)$ for all $k\ge2$.
Leaves for packings with block size four
We consider maximum packings of edge-disjoint $4$-cliques in the complete graph $K_n$. When $n \equiv 1$ or $4 \pmod{12}$, these are simply block designs. In other congruence classes, there are necessarily uncovered edges; we examine the possible `leave' graphs induced by those edges. We give particular emphasis to the case $n \equiv 0$ or $3 \pmod{12}$, when the leave is $2$-regular. Colbourn and Ling settled the case of Hamiltonian leaves in this case. We extend their construction and use several additional direct and recursive constructions to realize a variety of $2$-regular leaves. For various subsets $S \subseteq \{3,4,5,\dots\}$, we establish explicit lower bounds on $n$ to guarantee the existence of maximum packings with any possible leave whose cycle lengths belong to $S$.
Note on a generalization of Gallai-Ramsey numbers
A colored complete graph is said to be Gallai-colored if it contains no rainbow triangle. This property has been shown to be equivalent to the existence of a partition of the vertices (of every induced subgraph) in which at most two colors appear on edges between the parts and at most one color appears on edges in between each pair of parts. We extend this notion by defining a coloring of a complete graph to be $k$-Gallai if every induced subgraph has a nontrivial partition of the vertices such that there are at most $k$ colors present in between parts of the partition. The generalized $(k, \ell)$ Gallai-Ramsey number of a graph $H$ is then defined to be the minimum number of vertices $N$ such that every $k$-Gallai coloring of a complete graph $K_{n}$ with $n \geq N$ using at most $\ell$ colors contains a monochromatic copy of $H$. We prove bounds on these generalized $(k, \ell)$ Gallai-Ramsey numbers based on the structure of $H$, extending recent results for Gallai colorings.
Complementation, Local Complementation, and Switching in Binary Matroids
Published
• View Publication
• BIB
In 2004, Ehrenfeucht, Harju, and Rozenberg showed that any graph on a vertex set $V$ can be obtained from a complete graph on $V$ via a sequence of the operations of complementation, switching edges and non-edges at a vertex, and local complementation. The last operation involves taking the complement in the neighbourhood of a vertex. In this paper, we consider natural generalizations of these operations for binary matroids and explore their behaviour. We characterize all binary matroids obtainable from the binary projective geometry of rank $r$ under the operations of complementation and switching. Moreover, we show that not all binary matroids of rank at most $r$ can be obtained from a projective geometry of rank $r$ via a sequence of the three generalized operations. We introduce a fourth operation and show that, with this additional operation, we are able to obtain all binary matroids.
On Star-critical (K1,n,K1,m + e) Ramsey numbers
Let $G, H$ be finite graphs without loops or multiple edges and $K_n$ denote the complete graph on $n$ vertices. If for every red/blue colouring of edges of the complete graph $K_n$, there exists a red copy of $G$, or a blue copy of $H$, we will say that $K_n\rightarrow (G,H)$. The Ramsey number $r(G, H)$ is defined as the smallest positive integer $n$ such that $K_{n} \rightarrow (G, H)$. Star-critical Ramsey number $r_*(G, H)$ is defined as the largest value of $k$ such that $K_{r(G,H)-1} \sqcup K_{1,k} \rightarrow (G, H)$. In this paper, we will find $r_*(K_{1,n}, K_{1,m}+e)$ for all $n,m \geq 3$.
On characterizing the critical graphs for matching Ramsey numbers
Given simple graphs $H_{1},H_{2},\ldots,H_{c}$, the Ramsey number $r(H_{1},H_{2},\ldots,H_{c})$ is the smallest positive integer $n$ such that every edge-colored $K_{n}$ with $c$ colors contains a subgraph in color $i$ isomorphic to $H_{i}$ for some $i\in\{1,2,\ldots,c\}$. The critical graphs for $r(H_1,H_2,\ldots,H_c)$ are edge-colored complete graphs on $r(H_1,H_2,\ldots,H_c)-1$ vertices with $c$ colors which contain no subgraphs in color $i$ isomorphic to $H_{i}$ for any $i\in \{1,2,\ldots,c\}$. For $n_1\geq n_2\geq \ldots\geq n_c\geq 1$, Cockayne and Lorimer (The Ramsey number for stripes, {\it J.\ Austral.\ Math.\ Soc.} \textbf{19} (1975), 252--256.) showed that $r(n_{1}K_{2},n_{2}K_{2},\ldots,n_{c}K_{2})=n_{1}+1+ \sum\limits_{i=1}^c(n_{i}-1)$, in which $n_{i}K_{2}$ is a matching of size $n_{i}$. Using the Gallai-Edmonds Theorem, we characterized all the critical graphs for $r(n_{1}K_{2},n_{2}K_{2},\ldots,n_{c}K_{2})$, implying a new proof for this Ramsey number.
Inequalities for doubly nonnegative functions
Published in Electronic Journal of Combinatorics, 28(1)(2021), #P1.32
• View Publication
• BIB
Let $g$ be a bounded symmetric measurable nonnegative function on $[0,1]^2$, and $\left\lVert g \right\rVert = \int_{[0,1]^2} g(x,y) dx dy$. For a graph $G$ with vertices $\{v_1,v_2,\ldots,v_n\}$ and edge set $E(G)$, we define \[
t(G,g) \; = \;
\int_{[0,1]^n} \prod_{\{v_i,v_j\} \in E(G)} g(x_i,x_j)
\: dx_1 dx_2 \cdots dx_n \; . \] We conjecture that $t(G,g) \geq \left\lVert g \right\rVert^{|E(G)|}$ holds for any graph $G$ and any function $g$ with nonnegative spectrum. We prove this conjecture for various graphs $G$, including complete graphs, unicyclic and bicyclic graphs, as well as graphs with $5$ vertices or less.
Perfect 1-factorisations of $K_{16}$
Published in Bull. Aust. Math. Soc. 101 (2020), 177-185
• View Publication
• BIB
We report the results of a computer enumeration that found that there are 3155 perfect 1-factorisations (P1Fs) of the complete graph $K_{16}$. Of these, 89 have a non-trivial automorphism group (correcting an earlier claim of 88 by Meszka and Rosa).
We also (i) describe a new invariant which distinguishes between the P1Fs of $K_{16}$, (ii) observe that the new P1Fs produce no atomic Latin squares of order 15 and (iii) record P1Fs for a number of large orders that exceed prime powers by one.
Kirchhoff index, multiplicative degree-Kirchhoff index and spanning trees of the linear crossed polyomino chains
Let $G_n$ be a linear crossed polyomino chain with $n$ four-order complete graphs. In this paper, explicit formulas for the Kirchhoff index, the multiplicative degree-Kirchhoff index and the number of spanning trees of $G_n$ are determined, respectively. It is interesting to find that the Kirchhoff (resp. multiplicative degree-Kirchhoff) index of $G_n$ is approximately one quarter of its Wiener (resp. Gutman) index. More generally, let $\mathcal{G}^r_n$ be the set of subgraphs obtained by deleting $r$ vertical edges of $G_n$, where $0\leqslant r\leqslant n+1$. For any graph $G^r_n\in \mathcal{G}^r_{n}$, its Kirchhoff index and number of spanning trees are completely determined, respectively. Finally, we show that the Kirchhoff index of $G^r_n$ is approximately one quarter of its Wiener index.
Homotopy Type of Independence Complexes of Certain Families of Graphs
Published
• View Publication
• BIB
We show that the independence complexes of generalised Mycielskian of complete graphs are homotopy equivalent to a wedge sum of spheres, and determine the number of copies and the dimensions of these spheres. We also prove that the independence complexes of categorical product of complete graphs are wedge sum of circles, upto homotopy. Further, we show that if we perturb a graph $G$ in a certain way, then the independence complex of this new graph is homotopy equivalent to the suspension of the independence complex of $G$.
Phase transition in random intersection graphs with communities
The `random intersection graph with communities' models networks with communities, assuming an underlying bipartite structure of groups and individuals. Each group has its own internal structure described by a (small) graph, while groups may overlap. The group memberships are generated by a bipartite configuration model. The model generalizes the classical random intersection graph model that is included as the special case where each community is a complete graph (or clique).
The `random intersection graph with communities' is analytically tractable. We prove a phase transition in the size of the largest connected component based on the choice of model parameters. Further, we prove that percolation on our model produces a graph within the same family, and that percolation also undergoes a phase transition. Our proofs rely on the connection to the bipartite configuration model, however, with the arbitrary structure of the groups, it is not completely straightforward to translate results on the group structure into results on the graph. Our related results on the bipartite configuration model are not only instrumental to the study of the random intersection graph with communities, but are also of independent interest, and shed light on interesting differences from the unipartite case.
Further improving of upper bound on a geometric Ramsey problem
We consider following geometric Ramsey problem: find the least dimension $n$ such that for any 2-coloring of edges of complete graph on the points $\{\pm 1\}^n$ there exists 4-vertex coplanar monochromatic clique. Problem was first analyzed by Graham and Rothschild and they gave an upper bound: $n\le F(F(F(F(F(F(F(12)))))))$, where $F(m) = 2\uparrow^m3$. In 2014 Lavrov, Lee and Mackey greatly improved this result by giving upper bound $n< 2\uparrow\uparrow\uparrow 6 < F(5)$. In this paper we revisit their estimates and reduce upper bound to $n< 2\uparrow\uparrow\uparrow 5$
Partitioning infinite hypergraphs into few monochromatic Berge-paths
Extending a result of Rado to hypergraphs, we prove that for all $s, k, t \in \mathbb{N}$ with $k \geq t \geq 2$, the vertices of every $r = s(k-t+1)$-edge-coloured countably infinite complete $k$-graph can be partitioned into the cores of at most $s$ monochromatic $t$-tight Berge-paths of different colours. We further describe a construction showing that this result is best possible.
Orbits of Hamiltonian Paths and Cycles in Complete Graphs
Published in Journal of Integer Sequences, Vol.23 (2020)
• Search Publication
We enumerate certain geometric equivalence classes of subgraphs induced by Hamiltonian paths and cycles in complete graphs. Said classes are orbits under the action of certain direct products of dihedral and cyclic groups on sets of strings representing subgraphs. These orbits are enumerated using Burnside's lemma. The technique used also provides an alternative proof of the formulae found by S. W. Golomb and L. R. Welch which give the number of distinct $n$-gons on fixed, regularly spaced vertices up to rotation and optionally reflection.
Percolating sets in bootstrap percolation on the Hamming graphs
For any integer $r\geqslant0$, the $r$-neighbor bootstrap percolation on a graph is an activation process of the vertices. The process starts with some initially activated vertices and then, in each round, any inactive vertex with at least $r$ active neighbors becomes activated. A set of initially activated vertices leading to the activation of all vertices is said to be a percolating set. Denote the minimum size of a percolating set in the $r$-neighbor bootstrap percolation process on a graph $G$ by $m(G, r)$. In this paper, we present upper and lower bounds on $m(K_n^d, r)$, where $K_n^d$ is the Cartesian product of $d$ copies of the complete graph $K_n$ which is referred as the Hamming graph. Among other results, we show that $m(K_n^d, r)=\frac{1+o(1)}{(d+1)!}r^d$ when both $r$ and $d$ go to infinity with $r<n$ and $d=o(\!\sqrt{r})$.
A randomly weighted minimum spanning tree with a random cost constraint
Published in Electron. J. Combin. 28 (2021), no. 1, Paper No. 1.22,-25
• Search Publication
We study the minimum spanning tree problem on the complete graph $K_n$ where an edge $e$ has a weight $W_e$ and a cost $C_e$, each of which is an independent copy of the random variable $U^γ$ where $γ\leq 1$ and $U$ is the uniform $[0,1]$ random variable. There is also a constraint that the spanning tree $T$ must satisfy $C(T)\leq c_0$. We establish, for a range of values for $c_0,γ$, the asymptotic value of the optimum weight via the consideration of a dual problem.
Self-avoiding walk on the complete graph
There is an extensive literature concerning self-avoiding walk on infinite graphs, but the subject is relatively undeveloped on finite graphs. The purpose of this paper is to elucidate the phase transition for self-avoiding walk on the simplest finite graph: the complete graph. We make the elementary observation that the susceptibility of the self-avoiding walk on the complete graph is given exactly in terms of the incomplete gamma function. The known asymptotic behaviour of the incomplete gamma function then yields a complete description of the finite-size scaling of the self-avoiding walk on the complete graph. As a basic example, we compute the limiting distribution of the length of a self-avoiding walk on the complete graph, in subcritical, critical, and supercritical regimes. This provides a prototype for more complex unsolved problems such as the self-avoiding walk on the hypercube or on a high-dimensional torus.
Determining Finite Connected Graphs Along the Quadratic Embedding Constants of Paths
Published in Electronic Journal of Graph Theory and Applications (EJGTA) Vol. 9 No. 2 (2021), 539 - 560
• View Publication
• BIB
The QE constant of a finite connected graph $G$, denoted by $\mathrm{QEC}(G)$, is by definition the maximum of the quadratic function associated to the distance matrix on a certain sphere of codimension two. We prove that the QE constants of paths $P_n$ form a strictly increasing sequence converging to $-1/2$. Then we formulate the problem of determining all the graphs $G$ satisfying $\mathrm{QEC}(P_n)\le\mathrm{QEC}(G)<\mathrm{QEC}(P_{n+1})$. The answer is given for $n=2$ and $n=3$ by exploiting forbidden subgraphs for $\mathrm{QEC}(G)<-1/2$ and the explicit QE constants of star products of the complete graphs.
A Turán-type theorem for large-distance graphs in Euclidean spaces, and related isodiametric problems
Published in Discrete & Computational Geometry, 66(1), 281-300 (2021)
• View Publication
• BIB
Given a measurable set $A\subset \mathbb R^d$ we consider the "large-distance graph" $\mathcal{G}_A$, on the ground set $A$, in which each pair of points from $A$ whose distance is bigger than 2 forms an edge. We consider the problems of maximizing the $2d$-dimensional Lebesgue measure of the edge set as well as the $d$-dimensional Lebesgue measure of the vertex set of a large-distance graph in the $d$-dimensional Euclidean space that contains no copies of a complete graph on $k$ vertices. The former problem may be seen as a continuous analogue of Turán's classical graph theorem, and the latter as a graph-theoretic analogue of the classical isodiametric problem. Our main result yields an analogue of Mantel's theorem for large-distance graphs. Our approach employs an isodiametric inequality in an annulus, which might be of independent interest.