complete graph
2194 papers tagged with this keyword
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
• View Publication
• BIB
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.
Some results on double triangle descendants of $K_5$
Double triangle expansion is an operation on $4$-regular graphs with at least one triangle which replaces a triangle with two triangles in a particular way. We study the class of graphs which can be obtained by repeated double triangle expansion beginning with the complete graph $K_5$. These are called double triangle descendants of $K_5$. We enumerate, with explicit rational generating functions, those double triangle descendants of $K_5$ with at most four more vertices than triangles. We also prove that the minimum number of triangles in any $K_5$ descendant is four. Double triangle descendants are an important class of graphs because of conjectured properties of their Feynman periods when they are viewed as scalar Feynman diagrams, and also because of conjectured properties of their $c_2$ invariants, an arithmetic graph invariant with quantum field theoretical applications.
Complete graph decompositions and p-groupoids
We study P-groupoids that arise from certain decompositions of complete graphs. We show that left distributive P-groupoids are distributive, quasigroups. We characterize P-groupoids when the corresponding decomposition is a Hamiltonian decomposition for complete graphs of odd, prime order. We also study a specific example of a P-quasigroup constructed from cyclic groups of odd order. We show such P-quasigroups have characteristic left and right multiplication groups, as well as the right multiplication group is isomorphic to the dihedral group.
Strict log-concavity of the Kirchhoff polynomial and its applications to the strong Lefschetz property
Anari, Gharan, and Vinzant proved (complete) log-concavity of the basis generating functions for all matroids. From the viewpoint of combinatorial Hodge theory, it is natural to ask whether these functions are "strictly" log-concave for simple matroids. In this paper, we show this strictness for simple graphic matroids, that is, we show that Kirchhoff polynomials of simple graphs are strictly log-concave. Our key observation is that the Kirchhoff polynomial {of a complete graph} can be seen as the (irreducible) relative invariant of a certain prehomogeneous vector space, which may be independently interesting in its own right. Furthermore, we prove that for any $a_i\in\mathbb{R}_{>0}$, $a_1x_1+\cdots+a_nx_n\in R^1_{M}$ satisfies the strong Lefschetz property (moreover, Hodge--Riemann bilinear relation) at degree one of the Artinian Gorenstein algebra $R^*_M$ associated to a graphic matroid $M$, which is defined by Maeno and Numata for all matroids.
Finite 2-arc-transitive strongly regular graphs and 3-geodesic-transitive graphs
We classify all the $2$-arc-transitive strongly regular graphs, and use this classification to study the family of finite $(G,3)$-geodesic-transitive graphs of girth $4$ or $5$ for some group $G$ of automorphisms. For this application we first give a reduction result on the latter family of graphs: let $N$ be a normal subgroup of $G$ which has at least $3$ orbits on vertices. We show that $Γ$ is a cover of its quotient $Γ_N$ modulo the $N$-orbits, and that either $Γ_N$ is $(G/N,3)$-geodesic-transitive of the same girth as $Γ$, or $Γ_N$ is a $(G/N,2)$-arc-transitive strongly regular graph, or $Γ_N$ is a complete graph with $G/N$ acting 3-transitively on vertices. The classification of $2$-arc-transitive strongly regular graphs allows us to characterise the $(G,3)$-geodesic-transitive covers $Γ$ when $Γ_N$ is complete or strongly regular.
Merging Combinatorial Design and Optimization: the Oberwolfach Problem
The Oberwolfach Problem $OP(F)$ -- posed by Gerhard Ringel in 1967 -- is a paradigmatic Combinatorial Design problem asking whether the complete graph $K_v$ decomposes into edge-disjoint copies of a $2$-regular graph $F$ of order $v$. In this paper, we provide all the necessary equipment to generate solutions to $OP(F)$ for relatively small orders by using the so-called difference methods. From the theoretical standpoint, we present new insights on the combinatorial structures involved in the solution of the problem. Computationally, we provide a full recipe whose base ingredients are advanced optimization models and tailored algorithms. This algorithmic arsenal can solve the $OP(F)$ for all possible orders up to $60$ with the modest computing resources of a personal computer. The new $20$ orders, from $41$ to $60$, encompass $241200$ instances of the Oberwolfach Problem, which is 22 times greater than those solved in previous contributions.
On Star critical Ramsey numbers related to large cycles versus complete graphs
Let $K_n$ denote the complete graph on $n$ vertices and $G, H$ be finite graphs. Consider a two-coloring of edges of $K_n$. When a copy of $G$ in the first color, red, or a copy of $H$ in the second color, blue is in $K_n$, we write $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 $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 find $r_*(C_n, K_m)$ for $m \geq 7$ and $n \geq (m-3)(m-1)$.
Anti-Ramsey numbers of graphs with some decomposition family sequences
For a given graph $H$, the anti-Ramsey number of $H$ is the maximum number of colors in an edge-coloring of a complete graph which does not contain a rainbow copy of $H$. In this paper, we extend the decomposition family of graphs to the decomposition family sequence of graphs and show that $K_5$ is determined by its decomposition family sequence. Based on this new graph notation, we determine the anti-Ramsey numbers for new families of graphs, including the Petersen graph, vertex-disjoint union of cliques, etc., and characterize the extremal colorings.
On locally $n \times n$ grid graphs
We investigate locally $n \times n$ grid graphs, that is, graphs in which the neighbourhood of any vertex is the Cartesian product of two complete graphs on $n$ vertices. We consider the subclass of these graphs for which each pair of vertices at distance two is joined by sufficiently many paths of length $2$. The number of such paths is known to be at most $2n$ by previous work of Blokhuis and Brouwer. We show that if each distance two pair is joined by at least $n-1$ paths of length $2$ then the diameter is bounded by $O(\log(n))$, while if each pair is joined by at least $2(n-1)$ such paths then the diameter is at most $3$ and we give a tight upper bound on the order of the graphs. We show that graphs meeting this upper bound are distance-regular antipodal covers of complete graphs. We exhibit an infinite family of such graphs which are locally $n \times n$ grid for odd prime powers $n$, and apply these results to locally $5 \times 5$ grid graphs to obtain a classification for the case where either all $μ$-graphs have order at least $8$ or all $μ$-graphs have order $c$ for some constant $c$.