graph
34763 papers tagged with this keyword
On bipartite distance-regular Cayley graphs with diameter $3$
In this paper, we show that every bipartite distance-regular Cayley graph with diameter $3$ can be constructed on the semidirect product of a group and $\mathbb{Z}_{2}$, except possibly for one case.
Linear algorithms on Steiner domination of trees
A set of vertices $W$ in a connected graph $G$ is called a Steiner dominating set if $W$ is both Steiner and dominating set. The Steiner domination number $γ_{st}(G)$ is the minimum cardinality of a Steiner dominating set of $G$. A linear algorithm is proposed in this paper for finding a minimum Steiner dominating set for a tree $T$.
Arc-transitive bicirculants
In this paper, we characterise the family of finite arc-transitive bicirculants. We show that every finite arc-transitive bicirculant is a normal $r$-cover of an arc-transitive graph that lies in one of eight infinite families or is one of seven sporadic arc-transitive graphs. Moreover, each of these "basic" graphs is either an arc-transitive bicirculant or an arc-transitive circulant, and each graph in the latter case has an arc-transitive bicirculant normal $r$-cover for some integer $r$.
On the $g$-extra connectivity of graphs
Connectivity and diagnosability are two important parameters for the fault tolerant of an interconnection network $G$. In 1996, Fàbrega and Fiol proposed the $g$-extra connectivity of $G$. A subset of vertices $S$ is said to be a \emph{cutset} if $G-S$ is not connected. A cutset $S$ is called an \emph{$R_g$-cutset}, where $g$ is a non-negative integer, if every component of $G-S$ has at least $g+1$ vertices. If $G$ has at least one $R_g$-cutset, the \emph{$g$-extra connectivity} of $G$, denoted by $κ_g(G)$, is then defined as the minimum cardinality over all $R_g$-cutsets of $G$. In this paper, we first obtain the exact values of $g$-extra connectivity of some special graphs. Next, we show that $1\leq κ_g(G)\leq n-2g-2$ for $0\leq g\leq \left\lfloor \frac{n-3}{2}\right\rfloor$, and graphs with $κ_g(G)=1,2,3$ and trees with $κ_g(T_n)=n-2g-2$ are characterized, respectively. In the end, we get the three extremal results for the $g$-extra connectivity.
Minimal Separators in Graphs
The Known Menger's theorem states that in a finite graph, the size of a minimum separator set of any pair of vertices is equal to the maximum number of disjoint paths that can be found between these two vertices. In this paper, we study the minimal separators of two non-adjacent vertices in a finite graph, and we give a new elementary proof of Menger's theorem.
The Complete Lattice of Erdős-Menger Separations
F. Escalante and T. Gallai studied in the seventies the structure of different kind of separations and cuts between a vertex pair in a (possibly infinite) graph. One of their results is that if there is a finite separation, then the optimal (i.e. minimal sized) separations form a finite distributive lattice with respect to a natural partial order. Furthermore, any finite distributive lattice can be represented this way.
If there is no finite separation then cardinality is a too rough measure to capture being 'optimal'. Menger's theorem provides a structural characterization of optimality if there is a finite separation. We use this characterization to define Erdős-Menger separations even if there is no finite separation. The generalization of Menger's theorem to infinite graphs (which was not available until 2009) ensures that Erdős-Menger separations always exist. We show that they form a complete lattice with respect to the partial order given by Escalante and every complete lattice can be represented this way.
Optimal Domination Polynomials
Let $G$ be a graph on $n$ vertices and $m$ edges and $D(G,x)$ the domination polynomial of $G$. In this paper we completely characterize the values of $n$ and $m$ for which optimal graphs exist for domination polynomials. We also show that there does not always exist least optimal graphs for the domination polynomial. Applications to network reliability are highlighted.
Fractional chromatic number, maximum degree and girth
We introduce a new method for computing bounds on the independence number and fractional chromatic number of classes of graphs with local constraints, and apply this method in various scenarios. We establish a formula that generates a general upper bound for the fractional chromatic number of triangle-free graphs of maximum degree~$Δ\ge 3$. This upper bound matches that deduced from the fractional version of Reed's bound for small values of~$Δ$, and improves it when~$Δ\ge 17$, transitioning smoothly to the best possible asymptotic regime, barring a breakthrough in Ramsey theory. Focusing on smaller values of~$Δ$, we also demonstrate that every graph of girth at least~$7$ and maximum degree~$Δ$ has fractional chromatic number at most~$1+ \min_{k \in \mathbb{N}} \frac{2Δ+ 2^{k-3}}{k}$. In particular, the fractional chromatic number of a graph of girth~$7$ and maximum degree~$Δ$ is at most~$\frac{2Δ+9}{5}$ when~$Δ\in [3,8]$, at most~$\frac{Δ+7}{3}$ when~$Δ\in [8,20]$, at most~$\frac{2Δ+23}{7}$ when~$Δ\in [20,48]$, and at most~$\fracΔ{4}+5$ when~$Δ\in [48,112]$. In addition, we also obtain new lower bounds on the independence ratio of graphs of maximum degree~$Δ\in \{3,4,5\}$ and girth~$g\in \{6,\dotsc,12\}$, notably~$1/3$ when~$(Δ,g)=(4,10)$ and~$2/7$ when~$(Δ,g)=(5,8)$.
Cospectral pairs of regular graphs with different connectivity
For vertex and edge connectivity we construct infinitely many pairs of regular graphs with the same spectrum, but with different connectivity.
Community detection in the sparse hypergraph stochastic block model
Published in Random Struct Alg. 2021, 59(3), 407-463
• View Publication
• BIB
We consider the community detection problem in sparse random hypergraphs. Angelini et al. (2015) conjectured the existence of a sharp threshold on model parameters for community detection in sparse hypergraphs generated by a hypergraph stochastic block model. We solve the positive part of the conjecture for the case of two blocks: above the threshold, there is a spectral algorithm which asymptotically almost surely constructs a partition of the hypergraph correlated with the true partition. Our method is a generalization to random hypergraphs of the method developed by Massoulié (2014) for sparse random graphs.
Vertex-connectivity and $Q$-index of graphs with fixed girth
Let $q(G)$ denote the $Q$-index of a graph $G$, which is the largest signless Laplacian eigenvalue of $G$. We prove best possible upper bounds of $q(G)$ and best possible lower bounds of $q(\overline{G})$ for a connected graph $G$ to be $k$-connected and maximally connected, respectively. Similar upper bounds of $q(G)$ and lower bounds of $q(\overline{G})$ to assure $G$ to be super-connected are also obtained. Upper bounds of $q(G)$ and lower bounds of $q(\overline{G})$ to assure a connected triangle-free graph $G$ to be $k$-connected, maximally connected and super-connected are also respectively investigated.
Two Irregularity Measures Possessing High Discriminatory Ability
Published in Contrib. Math. 1 (2020) 27-34
• View Publication
• BIB
An $n$-vertex graph whose degree set consists of exactly $n-1$ elements is called antiregular graph. Such type of graphs are usually considered opposite to the regular graphs. An irregularity measure ($IM$) of a connected graph $G$ is a non-negative graph invariant satisfying the property: $IM(G) = 0$ if and only if $G$ is regular. The total irregularity of a graph $G$, denoted by $irr_t(G)$, is defined as $irr_t(G)= \sum_{\{u,v\} \subseteq V(G)} |d_u - d_v|$ where $V(G)$ is the vertex set of $G$ and $d_u$, $d_v$ denote the degrees of the vertices $u$, $v$, respectively. Antiregular graphs are the most nonregular graphs according to the irregularity measure $irr_t$; however, various non-antiregular graphs are also the most nonregular graphs with respect to this irregularity measure. In this note, two new irregularity measures having high discriminatory ability are devised. Only antiregular graphs are the most nonregular graphs according to the proposed measures.
Cycle lengths modulo $k$ in large 3-connected cubic graphs
Published in Advances in Combinatorics, 2021:3, 36pp
• Search Publication
We prove that for all natural numbers $m$ and $k$ where $k$ is odd, there exists a natural number $N(k)$ such that any 3-connected cubic graph with at least $N(k)$ vertices contains a cycle of length $m$ modulo $k$. We also construct a family of graphs showing that this is not true for 2-connected cubic graphs if $m$ and $k$ are divisible by 3 and $k\geq 12$.
Divergent permutations
Two permutations of the natural numbers diverge if the absolute value of the difference of their elements in the same position goes to infinity. We show that there exists an infinite number of pairwise divergent permutations of the naturals. We relate this result to more general questions about the permutation capacity of infinite graphs.
Planar graphs have bounded nonrepetitive chromatic number
Published in Advances in Combinatorics 2020:5
• View Publication
• BIB
A colouring of a graph is "nonrepetitive" if for every path of even order, the sequence of colours on the first half of the path is different from the sequence of colours on the second half. We show that planar graphs have nonrepetitive colourings with a bounded number of colours, thus proving a conjecture of Alon, Grytczuk, Haluszczak and Riordan (2002). We also generalise this result for graphs of bounded Euler genus, graphs excluding a fixed minor, and graphs excluding a fixed topological minor.
On the sizes of large subgraphs of the binomial random graph
We consider the binomial random graph $G(n,p)$, where $p$ is a constant, and answer the following two questions.
First, given $e(k)=p{k\choose 2}+O(k)$, what is the maximum $k$ such that a.a.s.~the binomial random graph $G(n,p)$ has an induced subgraph with $k$ vertices and $e(k)$ edges? We prove that this maximum is not concentrated in any finite set (in contrast to the case of a small $e(k)$). Moreover, for every constant $C>0$ and every $ω_n\to\infty$, a.a.s.~the size of the concentration set belongs to $(C\sqrt{n/\ln n},ω_n\sqrt{n/\ln n})$.
Second, given $k>\varepsilon n$, what is the maximum $μ$ such that a.a.s.~the set of sizes of $k$-vertex subgraphs of $G(n,p)$ contains a full interval of length $μ$? The answer is $μ=Θ\left(\sqrt{(n-k)n\ln{n\choose k}}\right)$.
Constructing Clustering Transformations
Clustering is one of the fundamental tasks in data analytics and machine learning. In many situations, different clusterings of the same data set become relevant. For example, different algorithms for the same clustering task may return dramatically different solutions. We are interested in applications in which one clustering has to be transformed into another; e.g., when a gradual transition from an old solution to a new one is required. In this paper, we devise methods for constructing such a transition based on linear programming and network theory. We use a so-called clustering-difference graph to model the desired transformation and provide methods for decomposing the graph into a sequence of elementary moves that accomplishes the transformation. These moves are equivalent to the edge directions, or circuits, of the underlying partition polytopes. Therefore, in addition to a conceptually new metric for measuring the distance between clusterings, we provide new bounds on the circuit diameter of these partition polytopes.
Testing isomorphism of circular-arc graphs -- Hsu's approach revisited
Circular-arc graphs are intersection graphs of arcs on the circle. The aim of our work is to present a polynomial time algorithm testing whether two circular-arc graphs are isomorphic. To accomplish our task we construct decomposition trees, which are the structures representing all normalized intersection models of circular-arc graphs. Normalized models reflect the neighbourhood relation in circular-arc graphs and can be seen as their canonical representations; in particular, every intersection model can be easily transformed into a normalized one.
Our work adapts and appropriately extends the previous work on the similar topic done by Hsu [\emph{SIAM J. Comput. 24(3), 411--439, (1995)}]. In his work, Hsu developed decomposition trees representing all normalized models of circular-arc graphs. However due to the counterexample given in [\emph{Discrete Math. Theor. Comput. Sci., 15(1), 157--182, 2013}], his decomposition trees can not be used by algorithms testing isomorphism of circular-arc graphs.
Collapsibility of noncover complexes of chordal graphs
Let $G$ be a graph on $V$. A vertex subset $S \subset V$ is called a cover of $G$ if its complement is an independent set, and $S$ is called a noncover if it is not a cover of $G$. A noncover complex $NC(G)$ of $G$ is the simplicial complex on $V$ whose faces are noncovers of $G$. The independence domination number $ iγ(G)$ of $G$ is the minimum integer $k$ such that every independent set of $G$ can be dominated by $k$ vertices. In this note, we prove that $NC(G)$ is $(|V|- iγ(G)-1)$-collapsible.
New bounds on even cycle creating Hamiltonian paths using expander graphs
Published in Combinatorica 40 (2020), 435-454
• View Publication
• BIB
We say that two graphs on the same vertex set are $G$-creating if their union (the union of their edges) contains $G$ as a subgraph. Let $H_n(G)$ be the maximum number of pairwise $G$-creating Hamiltonian paths of $K_n$. Cohen, Fachini and Körner proved \[n^{\frac{1}{2}n-o(n)}\leq H_n(C_4) \leq n^{\frac{3}{4}n+o(n)}.\] In this paper we close the superexponential gap between their lower and upper bounds by proving \[n^{\frac{1}{2}n-\frac{1}{2}\frac{n}{\log{n}}-O(1)}\leq H_n(C_4) \leq n^{\frac{1}{2}n+o\left(\frac{n}{\log{n}} \right)}.\] We also improve the previously established upper bounds on $H_n(C_{2k})$ for $k>3$, and we present a small improvement on the lower bound of Füredi, Kantor, Monti and Sinaimeri on the maximum number of so-called pairwise reversing permutations. One of our main tools is a theorem of Krivelevich, which roughly states that (certain kinds of) good expanders contain many Hamiltonian paths.