graph
35411 papers tagged with this keyword
Note on random Latin squares and the triangle removal process
This is a companion note to the paper "Almost all Steiner triple systems have perfect matchings (arXiv:1611.02246). That paper contains several general lemmas about random Steiner triple systems; in this note we record analogues of these lemmas for random Latin squares, which in particular are necessary ingredients for our recent paper "Large deviations in random Latin squares" (arXiv:2106.11932). Most important is a relationship between uniformly random order-$n$ Latin squares and the triangle removal process on the complete tripartite graph $K_{n,n,n}$.
Colouring locally sparse graphs with the first moment method
We give a short proof of a bound on the list chromatic number of graphs $G$ of maximum degree $Δ$ where each neighbourhood has density at most $d$, namely $χ_\ell(G) \le (1+o(1)) \fracΔ{\ln \fracΔ{d+1}}$ as $\fracΔ{d+1} \to \infty$. This bound is tight up to an asymptotic factor $2$, which is the best possible barring a breakthrough in Ramsey theory, and strengthens results due to Vu, and more recently Davies, P., Kang, and Sereni. Our proof relies on the first moment method, and adapts a clever counting argument developed by Rosenfeld in the context of non-repetitive colourings. As a final touch, we show that our method provides an asymptotically tight lower bound on the number of colourings of locally sparse graphs.
Cogrowth Series for Free Products of Finite Groups
Published in International Journal of Algebra and Computation 33.02 (2023): 237-260
• View Publication
• BIB
Given a finitely generated group with generating set $S$, we study the cogrowth sequence, which is the number of words of length $n$ over the alphabet $S$ that are equal to one. This is related to the probability of return for walks the corresponding Cayley graph. Muller and Schupp proved the generating function of the sequence is algebraic when $G$ has a finite-index free subgroup (using a result of Dunwoody). In this work we make this result effective for free products of finite groups: we determine bounds for the degree and height of the minimal polynomial of the generating function, and determine the minimal polynomial explicitly for some families of free products. Using these results we are able to prove that a gap theorem holds: if $S$ is a finite symmetric generating set for a group $G$ and if $a_n$ denotes the number of words of length $n$ over the alphabet $S$ that are equal to $1$ then $\limsup_n a_n^{1/n}$ exists and is either $1$, $2$, or at least $2\sqrt{2}$.
Submodular functions and perfect graphs
Published
• View Publication
• BIB
We give a combinatorial polynomial-time algorithm to find a maximum weight independent set in perfect graphs of bounded degree that do not contain a prism or a hole of length four as an induced subgraph. An even pair in a graph is a pair of vertices all induced paths between which are even. An even set is a set of vertices every two of which are an even pair. We show that every perfect graph that does not contain a prism or a hole of length four as an induced subgraph has a balanced separator which is the union of a bounded number of even sets, where the bound depends only on the maximum degree of the graph. This allows us to solve the maximum weight independent set problem using the well-known submodular function minimization algorithm.
Connected domination in grid graphs
Given an undirected simple graph, a subset of the vertices of the graph is a {\em dominating set} if every vertex not in the subset is adjacent to at least one vertex in the subset. A subset of the vertices of the graph is a {\em connected dominating set} if the subset is a dominating set and the subgraph induced by the subset is connected. In this paper, we determine the minimum cardinality of a connected dominating set, called the {\em connected domination number}, of an $m \times n$ grid graph for any $m$ and $n$.
(Machine) Learning to Improve the Empirical Performance of Discrete Algorithms
This paper discusses a data-driven, empirically-based framework to make algorithmic decisions or recommendations without expert knowledge. We improve the performance of two algorithmic case studies: the selection of a pivot rule for the Simplex method and the selection of an all-pair shortest paths algorithm. We train machine learning methods to select the optimal algorithm for given data without human expert opinion. We use two types of techniques, neural networks and boosted decision trees. We concluded, based on our experiments, that:
1) Our selection framework recommends various pivot rules that improve overall total performance over just using a fixed default pivot rule.
Over many years experts identified steepest-edge pivot rule as a favorite pivot rule. Our data analysis corroborates that the number of iterations by steepest-edge is no more than 4 percent more than the optimal selection which corroborates human expert knowledge, but this time the knowledge was obtained using machine learning. Here our recommendation system is best when using gradient boosted trees.
2) For the all-pairs shortest path problem, the models trained made a large improvement and our selection is on average .07 percent away from the optimal choice. The conclusions do not seem to be affected by the machine learning method we used.
We tried to make a parallel analysis of both algorithmic problems, but it is clear that there are intrinsic differences. For example, in the all-pairs shortest path problem the graph density is a reasonable predictor, but there is no analogous single parameter for decisions in the Simplex method.
An infinite class of Neumaier graphs and non-existence results
Published
• View Publication
• BIB
A Neumaier graph is a non-complete edge-regular graph containing a regular clique. A Neumaier graph that is not strongly regular is called a strictly Neumaier graph. In this work we present a new construction of strictly Neumaier graphs, and using Jacobi sums, we show that our construction produces infinitely many instances. Moreover, we prove some necessary conditions for the existence of (strictly) Neumaier graphs that allow us to show that several parameter sets are not admissible.
A note on internal partitions: the $5$-regular case and beyond
An internal or friendly partition of a graph is a partition of the vertex set into two nonempty sets so that every vertex has at least as many neighbours in its own class as in the other one. It has been shown that apart from finitely many counterexamples, every 3, 4 or 6-regular graph has an internal partition. In this note we focus on the $5$-regular case and show that among the subgraphs of minimum degree at least $3$, there are some which have small intersection. We also discuss the existence of internal partitions in some families of Cayley graphs, notably we determine all $5$-regular Abelian Cayley graphs which do not have an internal partition.
$2$-distance list $(Δ+2)$-coloring of planar graphs with girth at least 10
Published
• View Publication
• BIB
Given a graph $G$ and a list assignment $L(v)$ for each vertex of $v$ of $G$. A proper $L$-list-coloring of $G$ is a function that maps every vertex to a color in $L(v)$ such that no pair of adjacent vertices have the same color. We say that a graph is list $k$-colorable when every vertex $v$ has a list of colors of size at least $k$. A $2$-distance coloring is a coloring where vertices at distance at most 2 cannot share the same color. We prove the existence of a $2$-distance list ($Δ+2$)-coloring for planar graphs with girth at least $10$ and maximum degree $Δ\geq 4$.
On Near Optimal Spectral Expander Graphs of Fixed Size
We present a pair of heuristic algorithms. The first is to generate a random regular graph of fixed size. The second is the introduction of the Metropolis Coupled Simulated Annealer (MCSA) for optimizing spectral gaps in fixed size regular graphs.
Pursuit-evasion games on latin square graphs
Published
• View Publication
• BIB
We investigate various pursuit-evasion parameters on latin square graphs, including the cop number, metric dimension, and localization number. The cop number of latin square graphs is studied, and for $k$-MOLS$(n),$ bounds for the cop number are given. If $n>(k+1)^2,$ then the cop number is shown to be $k+2.$ Lower and upper bounds are provided for the metric dimension and localization number of latin square graphs. The metric dimension of back-circulant latin squares shows that the lower bound is close to tight. Recent results on covers and partial transversals of latin squares provide the upper bound of $n+O\left(\frac{\log{n}}{\log{\log{n}}}\right)$ on the localization number of a latin square graph of order $n.$
Hat guessing number and guaranteed subgraphs
The hat guessing number of a graph is a parameter related to the hat guessing game for graphs introduced by Winkler. In this paper, we show that graphs of sufficiently large hat guessing number must contain arbitrary trees and arbitrarily long cycles as subgraphs. More precisely, for each tree $T$, there exists a value $N = N(T)$ such that every graph that does not contain $T$ as a subgraph has hat guessing number at most $N$, and for each integer $c$, there exists a value $N' = N'(c)$ such that every graph with no cycle of length greater than $c$ has hat guessing number at most $N'$.
Chickens and Dukes
Following on the King Chicken Theorems originally proved by Maurer, we examine the idea of multiple flocks of chickens by bringing the chickens from tournaments to multipartite tournaments. As Kings have already been studied in multipartite settings, notably by Koh-Tan and Petrovic-Thomassen, we examine a new type of chicken more suited than Kings for these multipartite graphs: Dukes. We define an M-Duke to be a vertex from which any vertex in a different partite set is accessible by a directed path of length at most M. In analogy with Maurer's paper, we prove various structural results regarding Dukes. In particular, we prove the existence of 3-Dukes in all multipartite tournaments, and we conclude by proving that in any multipartite tournament, either there is a 1-Duke, three 2-Dukes, or four 3-Dukes.
Smaller embeddings of partial $k$-star decompositions
Published
• View Publication
• BIB
A $k$-star is a complete bipartite graph $K_{1,k}$. For a graph $G$, a $k$-star decomposition of $G$ is a set of $k$-stars in $G$ whose edge sets partition the edge set of $G$. If we weaken this condition to only demand that each edge of $G$ is in at most one $k$-star, then the resulting object is a partial $k$-star decomposition of $G$. An embedding of a partial $k$-star decomposition $\mathcal{A}$ of a graph $G$ is a partial $k$-star decomposition $\mathcal{B}$ of another graph $H$ such that $\mathcal{A} \subseteq \mathcal{B}$ and $G$ is a subgraph of $H$. This paper considers the problem of when a partial $k$-star decomposition of $K_n$ can be embedded in a $k$-star decomposition of $K_{n+s}$ for a given integer $s$. We improve a result of Noble and Richardson, itself an improvement of a result of Hoffman and Roberts, by showing that any partial $k$-star decomposition of $K_n$ can be embedded in a $k$-star decomposition of $K_{n+s}$ for some $s$ such that $s < \frac{9}{4}k$ when $k$ is odd and $s < (6-2\sqrt{2})k$ when $k$ is even. For general $k$, these constants cannot be improved. We also obtain stronger results subject to placing a lower bound on $n$.
On the Graovac-Ghorbani and atom-bond connectivity indices of graphs from primary subgraphs
Let $G=(V,E)$ be a finite simple graph. The Graovac-Ghorbani index of a graph G is defined as $ABC_{GG}(G)=\sum_{uv\in E(G)}\sqrt{\frac{n_u(uv,G)+n_v(uv,G)-2}{n_u(uv,G)n_v(uv,G)}},$ where $n_u(uv,G)$ is the number of vertices closer to vertex $u$ than vertex $v$ of the edge $uv\in E(G)$. $n_v(uv,G)$ is defined analogously. The atom-bond connectivity index of a graph G is defined as $ABC(G)=\sum_{uv\in E(G)}\sqrt{\frac{d_u+d_v-2}{d_ud_v}},$ where $d_u$ is the degree of vertex $u$ in $G$. Let $G$ be a connected graph constructed from pairwise disjoint connected graphs $G_1,\ldots ,G_k$ by selecting a vertex of $G_1$, a vertex of $G_2$, and identifying these two vertices. Then continue in this manner inductively. We say that $G$ is obtained by point-attaching from $G_1, \ldots ,G_k$ and that $G_i$'s are the primary subgraphs of $G$. In this paper, we give some lower and upper bounds on Graovac-Ghorbani and atom-bond connectivity indices for these graphs. Additionally, we consider some particular cases of these graphs that are of importance in chemistry and study their Graovac-Ghorbani and atom-bond connectivity indices.
Path decompositions of random directed graphs
We consider the problem of decomposing the edges of a directed graph into as few paths as possible. There is a natural lower bound for the number of paths needed in an edge decomposition of a directed graph $D$ in terms of its degree sequence: this is given by the excess of $D$, which is the sum of $|d^+(v) - d^-(v)|/2$ over all vertices $v$ of $D$ (here $d^+(v)$ and $d^-(v)$ are, respectively, the out- and indegree of $v$).
A conjecture due to Alspach, Mason and Pullman from 1976 states that this bound is correct for tournaments of even order. The conjecture was recently resolved for large tournaments. Here we investigate to what extent the conjecture holds for directed graphs in general. In particular, we prove that the conjecture holds with high probability for the random directed graph $D_{n,p}$ for a large range of $p$ (thus proving that it holds for most directed graphs). To be more precise, we define a deterministic class of directed graphs for which we can show the conjecture holds, and later show that the random digraph belongs to this class with high probability. Our techniques involve absorption and flows.
Generalising the achromatic number to Zaslavsky's colourings of signed graphs
Published in Theoretical Computer Science, Elsevier, In press
• View Publication
• BIB
The chromatic number, which refers to the minimum number of colours required to colour the vertices of graphs properly, is one of the most central notions of the graph chromatic theory. Several of its aspects of interest have been investigated in the literature, including variants for modifications of proper colourings. These variants include, notably, the achromatic number of graphs, which is the maximum number of colours required to colour the vertices of graphs properly so that each possible combination of distinct colours is assigned along some edge. The behaviours of this parameter have led to many investigations of interest, bringing to light both similarities and discrepancies with the chromatic number. This work takes place in a recent trend aiming at extending the chromatic theory of graphs to the realm of signed graphs, and, in particular, at investigating how classic results adapt to the signed context. Most of the works done in that line to date are with respect to two main generalisations of proper colourings of signed graphs, attributed to Zaslavsky and Guenin. Generalising the achromatic number to signed graphs was initiated recently by Lajou, his investigations being related to Guenin's colourings. We here pursue this line of research, but with taking Zaslavsky's colourings as our notion of proper colourings. We study the general behaviour of our resulting variant of the achromatic number, mainly by investigating how known results on the classic achromatic number generalise to our context. Our results cover, notably, bounds, standard operations on graphs, and complexity aspects.
On bipartite distance-regular Cayley graphs with small diameter
Published
• View Publication
• BIB
We study bipartite distance-regular Cayley graphs with diameter three or four. We give sufficient conditions under which a bipartite Cayley graph can be constructed on the semidirect product of a group -- the part of this bipartite Cayley graph which contains the identity element -- and $\mathbb{Z}_{2}$. We apply this to the case of bipartite distance-regular Cayley graphs with diameter three, and consider cases where the sufficient conditions are not satisfied for some specific groups such as the dihedral group. We also extend a result by Miklavič and Potočnik that relates difference sets to bipartite distance-regular Cayley graphs with diameter three to the case of diameter four. This new case involves certain partial geometric difference sets and -- in the antipodal case -- relative difference sets.
Finite transitive groups having many suborbits of cardinality at most two and an application to the enumeration of Cayley graphs
Published
• View Publication
• BIB
Let $G$ be a finite transitive group on a set $Ω$, let $α\in Ω$ and let $G_α$ be the stabilizer of the point $α$ in $G$. In this paper, we are interested in the proportion $$\frac{|\{ω\in Ω\mid ω\textrm{ lies in a }G_α\textrm{-orbit of cardinality at most two}\}|}{|Ω|},$$ that is, the proportion of elements of $Ω$ lying in a suborbit of cardinality at most two. We show that, if this proportion is greater than $5/6$, then each element of $Ω$ lies in a suborbit of cardinality at most two and hence $G$ is classified by a result of Bergman and Lenstra. We also classify the permutation groups attaining the bound $5/6$.
We use these results to answer a question concerning the enumeration of Cayley graphs. Given a transitive group $G$ containing a regular subgroup $R$, we determine an upper bound on the number of Cayley graphs on $R$ containing $G$ in their automorphism groups.
A general construction of strictly Neumaier graphs and a related switching
Published
• View Publication
• BIB
We present a construction of Neumaier graphs with nexus 1, which generalises two known constructions of Neumaier graphs. We also use W. Wang, L. Qiu, and Y. Hu switching to show that we construct cospectral Neumaier graphs. Finally, we show that several small strictly Neumaier graphs can be obtained from our construction, and give a geometric or algebraic description for each of these graphs.