graph
34516 papers tagged with this keyword
Domination Parameters of Graph Covers
A graph $G$ is a \emph{cover} of a graph $F$ if there exists an onto mapping $π: V(G) \to V(F)$, called a (\emph{covering}) \emph{projection}, such that $π$ maps the neighbours of any vertex $v$ in $G$ bijectively onto the neighbours of $π(v)$ in $F$. This paper is the first attempt to study the connection between domination parameters and graph covers. We focus on the domination number, the total domination number, and the connected domination number. We prove upper and lower bounds for the domination parameters of $G$. Moreover, we propose a conjecture on the lower bound for the domination number of $G$ and provide evidence to support the conjecture.
Orientation-Reversing Crystallographic Rigidity
This paper provides a combinatorial characterisation for generic forced symmetric rigidity of bar-joint frameworks in the Euclidean plane that are symmetric with respect to the orientation-reversing wallpaper group $\mathbb{Z}^2\rtimes\mathcal{C}_s$, also known as $pm$ in crystallography, under a fixed lattice representation. Corresponding results for the wallpaper groups $cm$ and $pg$ follow directly from this. The method used also provides an inductive construction for the corresponding gain graphs, in terms of Henneberg-type graph operations.
Signless Laplacian State Transfer on Vertex Complemented Coronae
Given a graph $G$ with vertex set $V(G)=\{v_1,v_2,\ldots,v_{n_1}\}$ and a graph $H$ of order $n_2$, the vertex complemented corona, denoted by $G\tilde{\circ}{H}$, is the graph produced by copying $H$ $n_1$ times, with the $i$-th copy of $H$ corresponding to the vertex $v_i$, and then adding edges between any vertex in $V(G)\setminus\{v_{i}\}$ and any vertex of the $i$-th copy of $H$. The present article deals with quantum state transfer of vertex complemented coronae concerning signless Laplacian matrix. Our research investigates conditions in which signless Laplacian perfect state transfer exists or not on vertex complemented coronae. Additionally, we also provide some mild conditions for the class of graphs under consideration that allow signless Laplacian pretty good state transfer.
Polycyclic Geometric Realizations of the Gray Configuration
The Gray configuration is a (27_3) configuration which typically is realized as the points and lines of the 3 x 3 x 3 integer lattice. It occurs as a member of an infinite family of configurations defined by Bouwer in 1972. Since their discovery, both the Gray configuration and its Levi graph (i.e., its point-line incidence graph) have been the subject of intensive study. Its automorphism group contains cyclic subgroups isomorphic to Z_3 and Z_9, so it is natural to ask whether the Gray configuration can be realized in the plane with any of the corresponding rotational symmetry. In this paper, we show that there are two distinct polycyclic realizations with Z_3 symmetry. In contrast, the only geometric polycyclic realization with straight lines and Z_9 symmetry is only a "weak" realization, with extra unwanted incidences (in particular, the realization is actually a (27_4) configuration).
Sharp thresholds for higher powers of Hamilton cycles in random graphs
For $k \geq 4$, we establish that $p = (e/n)^{1/k}$ is a sharp threshold for the existence of the $k$-th power $H$ of a Hamilton cycle in the binomial random graph model. Our proof builds upon an approach by Riordan based on the second moment method, which previously established a weak threshold for $H$. This method expresses the second moment bound through contributions of subgraphs of $H$, with two key quantities: the number of copies of each subgraph in $H$ and the subgraphs' densities. We control these two quantities more precisely by carefully restructuring Riordan's proof and treating sparse and dense subgraphs of $H$ separately. This allows us to determine the exact constant in the threshold.
On strong nodal domains for eigenfunctions of Hamming graphs
The Laplacian matrix of the $n$-dimensional hypercube has $n+1$ distinct eigenvalues $2i$, where $0\leq i\leq n$. In 2004, Bıyıkoğlu, Hordijk, Leydold, Pisanski and Stadler initiated the study of eigenfunctions of hypercubes with the minimum number of weak and strong nodal domains. In particular, they proved that for every $1\leq i\leq \frac{n}{2}$ there is an eigenfunction of the hypercube with eigenvalue $2i$ that have exactly two strong nodal domains. Based on computational experiments, they conjectured that the result also holds for all $1\leq i\leq n-2$. In this work, we confirm their conjecture for $i\leq \frac{2}{3}(n-\frac{1}{2})$ if $i$ is odd and for $i\leq \frac{2}{3}(n-1)$ if $i$ is even. We also consider this problem for the Hamming graph $H(n,q)$, $q\geq 3$ (for $q=2$, this graph coincides with the $n$-dimensional hypercube), and obtain even stronger results for all $q\geq 3$.
A new measure of robustness of Erdős--Ko--Rado Theorems on permutation groups
In this paper we introduce a new way of measuring the robustness of Erdős--Ko--Rado (EKR) Theorems on permutation groups. EKR-type results can be viewed as results about the independence numbers of certain corresponding graphs, namely the derangement graphs, and random subgraphs of these graphs have been used to measure the robustness of these extremal results. In the context of permutation groups, the derangement graphs are Cayley graphs on the permutation group in question. We propose studying extremal properties of subgraphs of derangement graphs, that are themselves Cayley graphs of the group, to measure robustness.
We present a variety of results about the robustness of the EKR property of various permutation groups using this new measure.
Enumerating minimal dominating sets and variants in chordal bipartite graphs
Enumerating minimal dominating sets with polynomial delay in bipartite graphs is a long-standing open problem. To date, even the subcase of chordal bipartite graphs is open, with the best known algorithm due to Golovach, Heggernes, Kanté, Kratsch, Saether, and Villanger running in incremental-polynomial time. We improve on this result by providing a polynomial delay and space algorithm enumerating minimal dominating sets in chordal bipartite graphs. Additionally, we show that the total and connected variants admit polynomial and incremental-polynomial delay algorithms, respectively, within the same class. This provides an alternative proof of a result by Golovach et al. for total dominating sets, and answers an open question for the connected variant. Finally, we give evidence that the techniques used in this paper cannot be generalized to bipartite graphs for (total) minimal dominating sets, unless P = NP, and show that enumerating minimal connected dominating sets in bipartite graphs is harder than enumerating minimal transversals in general hypergraphs.
Every Graph is Essential to Large Treewidth
We show that for every graph $H$, there is a hereditary weakly sparse graph class $\mathcal C_H$ of unbounded treewidth such that the $H$-free (i.e., excluding $H$ as an induced subgraph) graphs of $\mathcal C_H$ have bounded treewidth. This refutes several conjectures and critically thwarts the quest for the unavoidable induced subgraphs in classes of unbounded treewidth, a wished-for counterpart of the Grid Minor theorem. We actually show a stronger result: For every positive integer $t$, there is a hereditary graph class $\mathcal C_t$ of unbounded treewidth such that for any graph $H$ of treewidth at most $t$, the $H$-free graphs of $\mathcal C_t$ have bounded treewidth. Our construction is a variant of so-called layered wheels. We also introduce a framework of abstract layered wheels, based on their most salient properties. In particular, we streamline and extend key lemmas previously shown on individual layered wheels. We believe that this should greatly help develop this topic, which appears to be a very strong yet underexploited source of counterexamples.
Sharp thresholds for spanning regular subgraphs
We prove that $(1+o(1))\sqrt{e/n}$ is the sharp threshold for the appearance of the square of a Hamilton cycle in $G(n,p)$, confirming the conjecture of Kahn, Narayanan, and Park. We also find the exact asymptotics of the threshold for the emergence of a spanning subgraph isomorphic to a fixed graph $F$ for a wide family of $d$-regular graphs $F$. This family includes almost all $d$-regular graphs.
Partial and Exact Recovery of a Random Hypergraph from its Graph Projection
Consider a $d$-uniform random hypergraph on $n$ vertices in which hyperedges are included iid so that the average degree is $n^δ$. The projection of a hypergraph is a graph on the same $n$ vertices where an edge connects two vertices if and only if they belong to some hyperedge. The goal is to reconstruct the hypergraph given its projection. An earlier work of Bresler, Guo, and Polyanskiy (COLT 2024) showed that exact recovery for $d=3$ is possible if and only if $δ< 2/5$. This work completely resolves the question for all values of $d$ for both exact and partial recovery and for both cases of whether multiplicity information about each edge is available or not. In addition, we show that the reconstruction fidelity undergoes an all-or-nothing transition at a threshold. In particular, this resolves all conjectures from Bresler, Guo, and Polyanskiy (COLT 2024).
On the clique covering numbers of Johnson graphs
Published in Des. Codes Cryptogr. (2025)
• View Publication
• BIB
We initiate a study of the vertex clique covering numbers of Johnson graphs $J(N, k)$, the smallest numbers of cliques necessary to cover the vertices of those graphs.
We prove identities for the values of these numbers when $k \leq 3$, and $k \geq N - 3$, and using computational methods, we provide explicit values for a range of small graphs. By drawing on connections to coding theory and combinatorial design theory, we prove various bounds on the clique covering numbers for general Johnson graphs, and we show how constant-weight lexicodes can be utilized to create optimal covers of $J(2k, k)$ when $k$ is a small power of two.
The resistance distance of a dual number weighted graph
For a graph $G=(V,E)$, assigning each edge $e\in E$ a weight of a dual number $w(e)=1+\widehat{a}_{e}\varepsilon$, the weighted graph $G^{w}=(V,E,w)$ is called a dual number weighted graph, where $-\widehat{a}_{e}$ can be regarded as the perturbation of the unit resistor on edge $e$ of $G$. For a connected dual number weighted graph $G^{w}$, we give some expressions and block representations of generalized inverses of the Laplacian matrix of $G^{w}$. And using these results, we derive the explicit formulas of the resistance distance and Kirchhoff index of $G^{w}$. We give the perturbation bounds for the resistance distance and Kirchhoff index of $G$. In particular, when only the edge $e=\{i,j\}$ of $G$ is perturbed, we give the perturbation bounds for the Kirchhoff index and resistance distance between vertices $i$ and $j$ of $G$, respectively.
Infinitely many accumulation points of codegree Turán densities
The codegree Turán density $γ(F)$ of a $k$-graph $F$ is the smallest $γ\in[0,1)$ such that every $k$-graph $H$ with $δ_{k-1}(H)\geq(γ+o(1))\vert V(H)\vert$ contains a copy of $F$. We prove that for all $k,r\in\mathbb{N}$ with $k\geq3$, $\frac{r-1}{r}$ is an accumulation point of $Γ^{(k)}=\{γ(F):F\text{ is a }k\text{-graph}\}$. This makes progress on a problem posed by Mubayi and Zhao.
On Strongly Regular Graphs and the Friendship Theorem
This paper presents an alternative proof of the celebrated friendship theorem, originally established by Erdős, Rényi, and Sós (1966). The proof relies on a closed-form expression for the Lovász $\vartheta$-function of strongly regular graphs, recently derived by the author. Additionally, the paper considers some known extensions of the theorem, offering discussions that provide insights into the friendship theorem, one of its extensions, and the proposed proof. Leveraging the closed-form expression for the Lovász $\vartheta$-function of strongly regular graphs, the paper further establishes new necessary conditions for a strongly regular graph to be a spanning or induced subgraph of another strongly regular graph. In the case of induced subgraphs, the analysis also incorporates a property of graph energies. Some of these results are extended to regular graphs and their subgraphs.
On a theorem of François Robert
A well-known theorem by François Robert expresses the degenerated character of a synchronous Boolean finite dynamical system, in the case where the associated regulatory graph does not contain any circuit: all states of the system go towards a single fixed point. We present a large family of updating modes of Boolean models with the same particularity.
Ramsey-type problems for tilings in dense graphs
Given a graph $H$, the Ramsey number $R(H)$ is the smallest positive integer $n$ such that every $2$-edge-colouring of $K_n$ yields a monochromatic copy of $H$. We write $mH$ to denote the union of $m$ vertex-disjoint copies of $H$. The members of the family $\{mH:m\ge1\}$ are also known as $H$-tilings. A well-known result of Burr, Erdős and Spencer states that $R(mK_3)=5m$ for every $m\ge2$. On the other hand, Moon proved that every $2$-edge-colouring of $K_{3m+2}$ yields a $K_3$-tiling consisting of $m$ monochromatic copies of $K_3$, for every $m\ge2$. Crucially, in Moon's result, distinct copies of $K_3$ might receive different colours.
In this paper, we investigate the analogous questions where the complete host graph is replaced by a graph of large minimum degree. We determine the (asymptotic) minimum degree threshold for forcing a~$K_3$-tiling covering a prescribed proportion of the vertices in a $2$-edge-coloured graph such that every copy of $K_3$ in the tiling is monochromatic. We also determine the largest size of a monochromatic $K_3$-tiling one can guarantee in any $2$-edge-coloured graph of large minimum degree. These results therefore provide generalisations of the theorems of Moon and Burr-Erdős-Spencer to the setting of dense graphs.
It is also natural to consider generalisations of these problems to $r$-edge-colourings (for $r \geq 2$) and for $H$-tilings (for arbitrary graphs $H$). We prove some results in this direction and propose several open questions.
The least balanced graphs and trees
Given a connected graph, the principal eigenvector of the adjacency matrix (often called the Perron vector) can be used to assign positive weights to the vertices. A natural way to measure the homogeneousness of this vector is by considering the ratio of its $\ell^1$ and $\ell^2$ norms.
It is easy to see that the most balanced graphs in this sense (i.e., the ones with the largest ratio) are the regular graphs. What about the least balanced graphs with the smallest ratio? It was conjectured by Rücker, Rücker and Gutman that, for any given $n \geq 6$, among $n$-vertex connected graphs the smallest ratio is achieved by the complete graph $K_4$ with a single path $P_{n-4}$ attached to one of its vertices. In this paper we confirm this conjecture.
We also verify the analogous conjecture for trees: for any given $n \geq 8$, among $n$-vertex trees the smallest ratio is achieved by the star graph $S_5$ with a path $P_{n-5}$ attached to its central vertex.
Construction of divisible design graphs using affine designs
A $k$-regular graph on $v$ vertices is a {\em divisible design graph} if there exist integers $λ_1,λ_2,m,n$ such that the vertex set can be partitioned into $m$ classes of size $n$ and any two different vertices from the same class have $λ_1$ common neighbours, and any two vertices from different classes have $λ_2$ common neighbours. In this paper, a new construction that produces divisible design graphs is provided.
Asymptotics of t(3,n) and s(3,n)
A set of vertices $X\subseteq V$ in a simple graph $G(V,E)$ is irredundant if each vertex $x\in X$ is either isolated in the induced subgraph $G[X]$ or else has a private neighbor $y\in V\setminus X$ that is adjacent to $x$ and to no other vertex of $X$. The \emph{mixed Ramsey number} $t(m,n)$ is the smallest $N$ for which every red-blue coloring of the edges of $K_N$ has an $m$-element irredundant set in the blue subgraph or an $n$-element independent set in the red subgraph. The irredundant Ramsey number $s(m,n)$ is the smallest $N$ for which every red-blue coloring of the edges of $K_N$ has an $m$-element irredundant set in the blue subgraph or an $n$-element irredundant set in the blue subgraph. In this paper, we determine $t(3,n)$ and $s(3,n)$ up to a constant factor by showing that $t(3,n)=O\left(n^{5/4}/{\log{n}}\right)$, which improved the best upper bound due to Rousseau and Speed in [Comb. Probab. Comput. 12 (2003), 653-660]. As an application, we verify a conjecture for $m=4$ proposed by Chen, Hattingh, and Rousseau in [J. Graph Theory 17(2) (1993), 193-206].