graph
35252 papers tagged with this keyword
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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].
On list extensions of the majority edge colourings
We investigate possible list extensions of generalised majority edge colourings of graphs and provide several results concerning these. Given a graph $G=(V,E)$, a list assignment $L:E\to 2^C$ and some level of majority tolerance $α\in(0,1)$, an $α$-majority $L$-colouring of $G$ is a colouring $ω:E\to C$ from the given lists such that for every $v\in V$ and each $c\in C$, the number of edges coloured $c$ which are incident with $v$ does not exceed $α\cdot d(v)$. We present a simple argument implying that for every integer $k\geq 2$, each graph with minimum degree $δ\geq 2k^2-2k$ admits a $1/k$-majority $L$-colouring from any assignment of lists of size $k+1$. This almost matches the best result in a non-list setting and solves a conjecture posed for the basic majority edge colourings, i.e. for $k=2$, from lists. We further discuss restrictions which permit obtaining corresponding results in a more general setting, i.e. for diversified $α=α(c)$ majority tolerances for distinct colours $c\in C$. Consider a list assignment $L:E\to 2^C$ with $\sum_{c\in L(e)}α(c)\geq 1+\varepsilon$ for each edge $e$, and suppose that $α(c)\geq a$ for every $c$ or $|L(e)|\leq\ell$ for all edges $e$, where $a\in(0,1)$, $\varepsilon>0$, $\ell\in\mathbb{N}$ are any given constants. Then we in particular show that there exists an $α$-majority $L$-colouring of $G$ from any such list assignment, provided that $δ(G)=Ω(a^{-1}\varepsilon^{-2}\ln(a\varepsilon)^{-1})$ or $δ=Ω(\ell^2\varepsilon^{-2})$, respectively. We also strengthen these bounds within a setting where each edge is associated to a list of colours with a fixed vector of majority tolerances, applicable also in a general non-list case.
Determining the vertex stabilizers of 4-valent half-arc-transitive graphs
Published
• View Publication
• BIB
We say that a group is a $4$-HAT-stabilizer if it is the vertex stabilizer of some connected $4$-valent half-arc-transitive graph. In 2001, Marušič and Nedela proved that every $4$-HAT-stabilizer must be a concentric group. However, over the past two decades, only a very small proportion of concentric groups have been shown to be $4$-HAT-stabilizers. This paper develops a theory that provides a general framework for determining whether a concentric group is a $4$-HAT-stabilizer. With this approach, we significantly extend the known list of $4$-HAT-stabilizers. As a corollary, we confirm that $\mathcal{H}_7\times C_2^{m-7}$ are $4$-HAT-stabilizers for $m\geq 7$, achieving the goal of a conjecture posed by Spiga and Xia.
Improved bounds for the coefficient of flow polynomials
Let $G$ be a connected bridgeless $(n,m)$-graph which may have loops and multiedges, and let $F(G,t)$ denote the flow polynomial of $G$. Dong and Koh \cite{Dong1} established an upper bound for the absolute value of coefficient $c_{i}$ of $t^{i}$ in the expansion of $F(G,t)$, where $0\leqslant i \leqslant m-n+1$. In this paper, we refine the aforementioned bound. Specifically, we demonstrate that when $n \leqslant m \leqslant n+3$, $|c_{i}|\leqslant d_{i}$, where $d_{i}$ is the coefficient of $t^{i}$ in the expansion $\prod\limits_{j=1}^{m-n+1}(t+j)$; and when $m\geqslant n+4$, $|c_{i}|\leqslant d_{i}$, with $d_{i}$ being the coefficient of $t^{i}$ in the expansion $(t+1)(t+2)(t+3)^{2}(t+4)^{m-n-3}$. Furthermore, we prove that if $G$ is a connected bridgeless cubic graph having only real flow roots, then $b_{i}\leqslant |c_{i}|$, where $b_{i}$ is the coefficient of $t^{i}$ in the expansion $(t+1)(t+2)^{\frac{n}{2}}$. Notably, if $G$ is simple connected bridgeless cubic graph with only real flow roots, then $b_{i}$ is the coefficient of $t^{i}$ in the expansion $(t+1)(t+2)^{\frac{n}{2}-2}(t+3)^{2}$.
On the edge reconstruction of the second immanantal polynomials of undirected graph and digraph
Let $M=(m_{ij})$ be an $n\times n$ matrix. The second immanant of matrix $M$ is defined by \begin{eqnarray*} d_{2}(M)=\sum_{σ\in S_{n}}χ_{2}(σ)\prod_{s=1}^{n}m_{sσ(s)}, \end{eqnarray*} where $χ_{2}$ is the irreducible character of $S_{n}$ corresponding to the partition $(2^{1},1^{n-2})$. The polynomial $d_{2}(xI-M)$ is called the second immanantal polynomial of matrix $M$. Denote by $D(G)$ (resp. $D(\overrightarrow{G})$) and $A(G)$ (resp. $A(\overrightarrow{G})$) the diagonal matrix of vertex degrees and the adjacency matrix of undirected graph $G$ (resp. digraph $\overrightarrow{G}$), respectively. In this article, we prove that $d_{2}(xI-A(G))$ (resp. $d_{2}(xI-A(\overrightarrow{G}))$) can be reconstructed from the second immanantal polynomials of the adjacency matrix of all subgraphs in $\{G-uv,G-u-v|uv\in E(G)\}$ (resp. $\{\overrightarrow{G}-e|e\in E(\overrightarrow{G})\}$). Furthermore, the polynomial $d_{2}(xI-D(\overrightarrow{G})\pm A(\overrightarrow{G}))$ can also be reconstructed by the second immanantal polynomials of the (signless) Laplacian matrixs of all subgraphs in $\{\overrightarrow{G}-e|e\in E(\overrightarrow{G})\}$, respectively.
Generalized De Bruijn Words, Invertible Necklaces, and the Burrows-Wheeler Transform
We define generalized de Bruijn words as those words having a Burrows-Wheeler transform that is a concatenation of permutations of the alphabet. We show that generalized de Bruijn words are in 1-to-1 correspondence with Hamiltonian cycles in the generalized de Bruijn graphs introduced in the early '80s in the context of network design. When the size of the alphabet is a prime $p$, we define invertible necklaces as those whose BWT-matrix is non-singular. We show that invertible necklaces of length $n$ correspond to normal bases of the finite field $F_{p^n}$, and that they form an Abelian group isomorphic to the Reutenauer group $RG_p^n$. Using known results in abstract algebra, we can make a bridge between generalized de Bruijn words and invertible necklaces. In particular, we highlight a correspondence between binary de Bruijn words of order $d+1$, binary necklaces of length $2^{d}$ having an odd number of $1$'s, invertible BWT matrices of size $2^{d}\times 2^{d}$, and normal bases of the finite field $F_{2^{2^{d}}}$.
Oriented diameter of the complete tripartite graph (III)
Published
• View Publication
• BIB
Given a bridgeless graph $G$, let $\mathbb{D}(G)$ be the set of all strong orientations of $G$, and define the oriented diameter $f(G)$ of $G$ to be the minimum of diameters $diam(D)$ among all the strong orientations $D\in \mathbb{D}(G)$, i.e., $f(G)=\min\{diam(D)\mid D\in \mathbb{D}(G)\}$. In this paper, we determine the oriented diameter of complete tripartite graph $K(3,p,q)$ for $p\geqslant 5$. Combining with the previous results, the oriented diameter of complete tripartite graph $K(3,p,q)$ are known.
The Normal Play of the Domination Game
In 2010, Brešar, Klavžar and Rall introduced the optimization variant of the graph domination game and the game domination number, which was proved PSPACE-hard by Brešar et al. in 2016. In 2024, Leo Versteegen obtained the celebrated proof of the Conjecture $\frac{3}{5}$ on this variant of the domination game, proposed by Kinnersley, West and Zamani in 2013. In this paper, we investigate for the first time the normal play of the domination game, which we call Normal Domination Game, that is an impartial game where the last to play wins. We first prove that this game is PSPACE-complete even in graphs with diameter two. We also use the Sprague-Grundy theory to prove that Alice (the first player) wins in the path $P_n$ if and only if $n$ is not a multiple of $4$, and wins in the cycle $C_n$ if and only if $n=4k+3$ for some integer $k$. Moreover, we obtain a polynomial time algorithm to decide the winner for any disjoint union of paths and cycles in the Normal Domination Game and its natural partizan variant. Finally, we also prove that the Misère Domination Game (the last to play loses) is PSPACE-complete, as are the natural partizan variants of the normal game and the misère game.
Volumes of odd strata of quadratic differentials
We express the Masur--Veech volumes of "completed" strata of quadratic differentials with only odd singularities as a sum over stable graphs. This formula generalizes the formula of Delecroix-Goujard-Zograf-Zorich for principal strata. The coefficients of the formula are in our case intersection numbers of psi classes with the Witten-Kontsevich combinatorial classes; they naturally appear in the count of metric ribbon graphs with prescribed odd valencies. The "completed" strata that we consider are unions of odd strata and some adjacent strata, that contribute to the Masur--Veech volume with explicit weights. We present several conjectures on the large genus asymptotics of these Masur--Veech volumes that could be tackled with this formula.
Median eigenvalues of subcubic graphs
We show that the median eigenvalues of every connected graph of maximum degree at most three, except for the Heawood graph, are at most $1$ in absolute value, resolving open problems posed by Fowler and Pisanski, and by Mohar.
Optimal covering of rectangular grid graphs with tours of constrained length
Given a rectangular grid graph with a special vertex at a corner called base station, we study the problem of covering the vertices of the entire graph with tours that start and end at the base station and whose lengths do not exceed a given threshold, while minimizing a quality measure. We consider two objective functions: minimizing the number of tours and minimizing the sum of their lengths. We present an algorithm that computes the optimal solution for both objectives in linear time with respect to the grid size.
Excluded conformal minors of Birkhoff-von Neumann graphs with equal global forcing number and maximum anti-forcing number
Published
• View Publication
• BIB
Global forcing number and maximum anti-forcing number of matchable graphs (graphs with a perfect matching) were proposed in completely different situations with applications in theoretical chemistry. Surprisingly for bipartite graphs and some nonbipartite graphs as solid bricks (or Birkhoff-von Neumann graphs) G, the global forcing number gf(G) is at least the maximum anti-forcing number Af(G). It is natural to consider when gf(G) = Af(G) holds. For convenience, we call a matchable graph G strongly uniform if each conformal matchable subgraph G' always satisfies gf(G') = Af(G'). In this article, by applying the ear decomposition theorem and discussing the existence of a Hamilton cycle with positions of chords, we give "excluded conformal minors" and "structural" characterizations of matchable bipartite graphs and Birkhoff-von Neumann graphs that are strongly uniform respectively.