graph
35396 papers tagged with this keyword
Two-geodesic transitive graphs of order $p^n$ with $n\leq3$
Published
• View Publication
• BIB
A vertex triple $(u,v,w)$ of a graph is called a $2$-geodesic if $v$ is adjacent to both $u$ and $w$ and $u$ is not adjacent to $w$. A graph is said to be $2$-geodesic transitive if its automorphism group is transitive on the set of $2$-geodesics. In this paper, a complete classification of $2$-geodesic transitive graphs of order $p^n$ is given for each prime $p$ and $n\leq 3$. It turns out that all such graphs consist of three small graphs: the complete bipartite graph $K_{4,4}$ of order $8$, the Schläfli graph of order $27$ and its complement, and fourteen infinite families: the cycles $C_p, C_{p^2}$ and $C_{p^3}$, the complete graphs $K_p, K_{p^2}$ and $K_{p^3}$, the complete multipartite graphs $K_{p[p]}$, $K_{p[p^2]}$ and $K_{p^2[p]}$, the Hamming graph $H(2,p)$ and its complement, the Hamming graph $H(3,p)$, and two infinite families of normal Cayley graphs on extraspecial group of order $p^3$ and exponent $p$.
Paired and semipaired domination in triangulations
A dominating set of a graph $G$ is a subset $D$ of vertices such that every vertex not in $D$ is adjacent to at least one vertex in $D$. A dominating set $D$ is paired if the subgraph induced by its vertices has a perfect matching, and semipaired if every vertex in $D$ is paired with exactly one other vertex in $D$ that is within distance 2 from it. The paired domination number, denoted by $γ_{pr}(G)$, is the minimum cardinality of a paired dominating set of $G$, and the semipaired domination number, denoted by $γ_{pr2}(G)$, is the minimum cardinality of a semipaired dominating set of $G$. A near-triangulation is a biconnected planar graph that admits a plane embedding such that all of its faces are triangles except possibly the outer face. We show in this paper that $γ_{pr}(G) \le 2 \lfloor \frac{n}{4} \rfloor$ for any near-triangulation $G$ of order $n\ge 4$, and that with some exceptions, $γ_{pr2}(G) \le \lfloor \frac{2n}{5} \rfloor$ for any near-triangulation $G$ of order $n\ge 5$.
A construction for a counterexample to the pseudo 2-factor isomorphic graph conjecture
Published
• View Publication
• BIB
A graph $G$ admiting a $2$-factor is \textit{pseudo $2$-factor isomorphic} if the parity of the number of cycles in all its $2$-factors is the same. In [M. Abreu, A.A. Diwan, B. Jackson, D. Labbate and J. Sheehan. Pseudo $2$-factor isomorphic regular bipartite graphs. Journal of Combinatorial Theory, Series B, 98(2) (2008), 432-444.] some of the authors of this note gave a partial characterisation of pseudo $2$-factor isomorphic bipartite cubic graphs and conjectured that $K_{3,3}$, the Heawood graph and the Pappus graph are the only essentially $4$-edge-connected ones. In [J. Goedgebeur. A counterexample to the pseudo $2$-factor isomorphic graph conjecture. Discr. Applied Math., 193 (2015), 57-60.] Jan Goedgebeur computationally found a graph $\mathscr{G}$ on $30$ vertices which is pseudo $2$-factor isomorphic cubic and bipartite, essentially $4$-edge-connected and cyclically $6$-edge-connected, thus refuting the above conjecture. In this note, we describe how such a graph can be constructed from the Heawood graph and the generalised Petersen graph $GP(8,3)$, which are the Levi graphs of the Fano $7_3$ configuration and the Möbius-Kantor $8_3$ configuration, respectively. Such a description of $\mathscr{G}$ allows us to understand its automorphism group, which has order $144$, using both a geometrical and a graph theoretical approach simultaneously. Moreover we illustrate the uniqueness of this graph.
Godsil-McKay switchings for gain graphs
Published
• View Publication
• BIB
We introduce a switching operation, inspired by the Godsil-McKay switching, in order to obtain pairs of $G$-cospectral gain graphs, that are gain graphs cospectral with respect to every representation of the gain group $G$. For instance, for two signed graphs, this notion of cospectrality is equivalent to the cospectrality of their signed adjacency matrices together with the cospectrality of their underlying graphs. Moreover, we introduce another more flexible switching in order to obtain pairs of gain graphs cospectral with respect to some fixed unitary representation. Many existing notions of spectrum for graphs and gain graphs are indeed special cases of these spectra associated with particular representations, therefore our construction recovers the classical Godsil-McKay switching and the Godsil-McKay switching for signed and complex unit gain graphs. As in the classical case, not all gain graphs are suitable for these switchings: we analyze the relationships between the properties that make the graph suitable for the one or the other switching. Finally we apply our construction in order to define a Godsil-McKay switching for the right spectrum of quaternion unit gain graphs.
Mutual Information, Information-Theoretic Thresholds and the Condensation Phenomenon at Positive Temperature
There is a vast body of recent literature on the reliability of communication through noisy channels, the recovery of community structures in the stochastic block model, the limiting behavior of the free entropy in spin glasses and the solution space structure of constraint satisfaction problems. At first glance, these topics ranging across several disciplines might seem unrelated. However, taking a closer look, structural similarities can be easily identified.
Factor graphs exploit these similarities to model the aforementioned objects and concepts in a unified manner. In this contribution we discuss the asymptotic average case behavior of several quantities, where the average is taken over sparse Erdős-Rényi type (hyper-) graphs with positive weights, under certain assumptions. For one, we establish the limit of the mutual information, which is used in coding theory to measure the reliability of communication. We also determine the limit of the relative entropy, which can be used to decide if weak recovery is possible in the stochastic block model. Further, we prove the conjectured limit of the quenched free entropy over the planted ensemble, which we use to obtain the preceding limits. Finally, we describe the asymptotic behavior of the quenched free entropy (over the null model) in terms of the limiting relative entropy.
An Infinite 2-Dimensional Array Associated With Electric Circuits
Published
• View Publication
• BIB
Except for Koshy who devotes seven pages to applications of Fibonacci Numbers to electric circuits, most books and the Fibonacci Quarterly have been relatively silent on applications of graphs and electric circuits to Fibonacci numbers. This paper continues a recent trend of papers studying the interplay of graphs, circuits, and Fibonacci numbers by presenting and studying the Circuit Array, an infinite 2-dimensional array whose entries are electric resistances labelling edge values of circuits associated with a family of graphs. The Circuit Array has several features distinguishing it from other more familiar arrays such as the Binomial Array and Wythoff Array. For example, it can be proven modulo a strongly supported conjecture that the numerators of its left-most diagonal do not satisfy any linear, homogeneous, recursion, with constant coefficients (LHRCC). However, we conjecture with supporting numerical evidence an asymptotic formula involving $π$ satisfied by the left-most diagonal of the Circuit Array.
Resistance values under transformations in regular triangular grids
Published in Discrate Applied Mathematics, Volume 355, 15 October 2024, Pages 129-141
• View Publication
• BIB
In [Evans, Francis 2022; Hendel] the authors investigated resistance distance in triangular grid graphs and observed several types of asymptotic behavior. This paper extends their work by studying the initial, non-asymptotic, behavior found when equivalent circuit transformations are performed, reducing the rows in the triangular grid graph one row at a time. The main conjecture characterizes, after reducing an arbitrary number of times an initial triangular grid all of whose edge resistances are identically one, when edge resistance values are less than, equal to, or greater than one. A special case of the conjecture is proven. The main theorem identifies patterns of repeating edge resistances arising in diagonals of a triangular grid reduced $s$ times provided the original grid has at least $4s$ rows of triangles. This paper also improves upon the notation, concepts, and proof techniques introduced by the authors previously.
The Two-Stripe Symmetric Circulant TSP is in P
Published
• View Publication
• BIB
The symmetric circulant TSP is a special case of the traveling salesman problem in which edge costs are symmetric and obey circulant symmetry. Despite the substantial symmetry of the input, remarkably little is known about the symmetric circulant TSP, and the complexity of the problem has been an often-cited open question. Considerable effort has been made to understand the case in which only edges of two lengths are allowed to have finite cost: the two-stripe symmetric circulant TSP. In this paper, we resolve the complexity of the two-stripe symmetric circulant TSP. To do so, we reduce two-stripe symmetric circulant TSP to the problem of finding certain minimum-cost Hamiltonian paths on cylindrical graphs. We then solve this Hamiltonian path problem. Our results show that the two-stripe symmetric circulant TSP is in P. Note that a two-stripe symmetric circulant TSP instance consists of a constant number of inputs (including $n$, the number of cities), so that a polynomial-time algorithm for the decision problem must run in time polylogarithmic in $n$, and a polynomial-time algorithm for the optimization problem cannot output the tour. We address this latter difficulty by showing that the optimal tour must fall into one of two parameterized classes of tours, and that we can output the class and the parameters in polynomial time. Thus we make a substantial contribution to the set of polynomial-time solvable special cases of the TSP, and take an important step towards resolving the complexity of the general symmetric circulant TSP.
The tight bound for the strong chromatic indices of claw-free subcubic graphs
Published
• View Publication
• BIB
Let $G$ be a graph and $k$ a positive integer. A strong $k$-edge-coloring of $G$ is a mapping $φ: E(G)\to \{1,2,\dots,k\}$ such that for any two edges $e$ and $e'$ that are either adjacent to each other or adjacent to a common edge, $φ(e)\neq φ(e')$. The strong chromatic index of $G$, denoted as $χ'_{s}(G)$, is the minimum integer $k$ such that $G$ has a strong $k$-edge-coloring. Lv, Li and Zhang [Graphs and Combinatorics 38 (3) (2022) 63] proved that if $G$ is a claw-free subcubic graph other than the triangular prism then $χ_s'(G)\le 8$. In addition, they asked if the upper bound $8$ can be improved to $7$. In this paper, we answer this question in the affirmative. Our proof implies a linear-time algorithm for finding strong $7$-edge-colorings of such graphs. We also construct infinitely many claw-free subcubic graphs with their strong chromatic indices attaining the bound $7$.
Independence complexes of $(n \times 6)$-grid graphs
Published
• View Publication
• BIB
We determine the homotopy types of the independence complexes of the $(n \times 6)$-square grid graphs. In fact, we show that these complexes are homotopy equivalent to wedges of spheres.
Noncommutative extensions of parameters in the asymptotic spectrum of graphs
The zero-error capacity of a classical channel is a parameter of its confusability graph, and is equal to the minimum of the values of graph parameters that are additive under the disjoint union, multiplicative under the strong product, monotone under homomorphisms between the complements, and normalized. We show that any such function either has uncountably many extensions to noncommutative graphs with similar properties, or no such extensions at all. More precisely, we find that every extension has an exponent that characterizes its values on the confusability graphs of identity quantum channels, and the set of admissible exponents is either an unbounded subinterval of $[1,\infty)$ or empty. In particular, the set of admissible exponents for the Lovász number, the projective rank, and the fractional Haemers bound over the complex numbers are maximal, while the fractional clique cover number does not have any extensions.
The shape of $x^2\bmod n$
We examine the graphs generated by the map $x\mapsto x^2\bmod n$ for various $n$, present some results on the structure of these graphs, and compute some very cool examples.
Haemers' conjecture: an algorithmic perspective
Published in Experimental Mathematics ,2024
• View Publication
• BIB
Characterizing graphs by their spectra is a fundamental and challenging problem in spectral graph theory, which has received considerable attention in recent years. A major unsolved conjecture in this area is Haemers' conjecture which states that almost all graphs are determined by their spectra. Despite many efforts, little is known about this conjecture so far. In this paper, we shall consider Haemers' conjecture from an algorithmic perspective. Based on some recent developments in the generalized spectral characterizations of graphs, we propose an algorithm to find all possible generalized cospectral mates for a given $n$-vertex graph $G$, assuming that $G$ is controllable or almost controllable. The experimental results indicate that the proposed algorithm runs surprisingly fast for most graphs with several dozen vertices. Moreover, we observe in the experiment that most graphs are determined by their generalized spectra, e.g., at least 9945 graphs are determined by their generalized spectra among all randomly generated 10,000 graphs on 50 vertices in one experiment. These experimental results give strong evidence for Haemers' conjecture.
Ramsey-Turán Problems with small independence numbers
Published
• View Publication
• BIB
Given a graph $H$ and a function $f(n)$, the Ramsey-Turán number $RT(n,H,f(n))$ is the maximum number of edges in an $n$-vertex $H$-free graph with independence number at most $f(n)$. For $H$ being a small clique, many results about $RT(n,H,f(n))$ are known and we focus our attention on $H=K_s$ for $s\leq 13$. By applying Szemerédi's Regularity Lemma, the dependent random choice method and some weighted Turán-type results, we prove that these cliques have the so-called phase transitions when $f(n)$ is around the inverse function of the off-diagonal Ramsey number of $K_r$ versus a large clique $K_n$ for some $r\leq s$.
Distant 2-Colored Components on Embeddings Part I: Connecting Faces
This is the first in a sequence of three papers in which we prove the following generalization of Thomassen's 5-choosability theorem: Let $G$ be a finite graph embedded on a surface of genus $g$. Then $G$ can be $L$-colored, where $L$ is a list-assignment for $G$ in which every vertex has a 5-list except for a collection of pairwise far-apart components, each precolored with an ordinary 2-coloring, as long as the face-width of $G$ is $2^{Ω(g)}$ and the precolored components are of distance $2^{Ω(g)}$ apart. This provides an affirmative answer to a generalized version of a conjecture of Thomassen and also generalizes a result from 2017 of Dvořák, Lidický, Mohar, and Postle about distant precolored vertices.
Tree decompositions and many-sided separations
A separation of a graph $G$ is a partition $(A_1, A_2, C)$ of $V(G)$ such that $A_1$ is anticomplete to $A_2$. A classic result from Robertson and Seymour's Graph Minors Project states that there is a correspondence between tree decompositions and laminar collections of separations. A many-sided separation of a graph $G$ is a partition $(A_1, \ldots, A_k, C)$ of $V(G)$ such that $A_i$ is anticomplete to $A_j$ for all $1 \leq i < j \leq k$. In this note, we show a correspondence between tree decompositions with a certain parity property, called deciduous tree decompositions, and laminar collections of many-sided separations.
Permutations and the divisor graph of $[1,n]$
Published
• View Publication
• BIB
Let $S_{\rm div}(n)$ denote the set of permutations $π$ of $n$ such that for each $1\leq j \leq n$ either $j \mid π(j)$ or $π(j) \mid j$. These permutations can also be viewed as vertex-disjoint directed cycle covers of the divisor graph $\mathcal{D}_{[1,n]}$ on vertices $v_1, \ldots, v_n$ with an edge between $v_i$ and $v_j$ if $i\mid j$ or $j \mid i$. We improve on recent results of Pomerance by showing $c_d = \lim_{n \to \infty }\left(\# S_{\rm div}(n)\right)^{1/n}$ exists and that $2.069<c_d<2.694$. We also obtain similar results for the set $S_{\rm lcm}(n)$ of permutations where ${\rm lcm}(j,π(j))\leq n$ for all $j$. The results rely on a graph theoretic result bounding the number of vertex-disjoint directed cycle covers, which may be of independent interest.
Decomposition of triangle-free planar graphs
Published
• View Publication
• BIB
A decomposition of a graph $G$ is a family of subgraphs of $G$ whose edge sets form a partition of $E(G)$. In this paper, we prove that every triangle-free planar graph $G$ can be decomposed into a $2$-degenerate graph and a matching. Consequently, every triangle-free planar graph $G$ has a matching $M$ such that $G-M$ is online 3-DP-colorable. This strengthens an earlier result in [R. Škrekovski, {\em A Grötzsch-Type Theorem for List Colourings with Impropriety One}, Combin. Prob. Comput. 8 (1999), 493-507] that every triangle-free planar graph is $1$-defective $3$-choosable.
Extremal problems on planar graphs without k edge-disjoint cycles
Published
• View Publication
• BIB
In the 1960s, Erdős and his cooperators initiated the research of the maximum numbers of edges in a graph or a planar graph on $n$ vertices without $k$ edge-disjoint cycles. This problem had been solved for $k\leq4$. As pointed out by Bollobás, it is very difficult for general $k$. Recently, Tait and Tobin [J. Combin. Theory Ser. B, 2017] confirmed a famous conjecture on maximum spectral radius of $n$-vertex planar graphs. Motivated by the above results, we consider two extremal problems on planar graphs without $k$ edge-disjoint cycles. We first determine the maximum number of edges in a planar graph of order $n$ and maximum degree $n-1$ without $k$ edge-disjoint cycles. Based on this, we then determine the maximum spectral radius as well as its unique extremal graph over all planar graphs on $n$ vertices without $k$ edge-disjoint cycles. Finally, we also discuss several extremal problems for general graphs.
Mrs. Correct and Majority Colorings
Published
• View Publication
• BIB
A majority coloring of a directed graph is a vertex coloring in which each vertex has the same color as at most half of its out-neighbors. In this note we simplify some proof techniques and generalize previously known results on various generalizations of majority coloring. In particular, our unified and simplified approach works for paintability - an on-line analog of the list coloring.