graph
35299 papers tagged with this keyword
Characterizing the forbidden pairs for graphs to be super-edge-connected
Published
• View Publication
• BIB
Let $\mathcal{H}$ be a set of given connected graphs. A graph $G$ is said to be $\mathcal{H}$-free if $G$ contains no $H$ as an induced subgraph for any $H\in \mathcal{H}$. The graph $G$ is super-edge-connected if each minimum edge-cut isolates a vertex in $G$. In this paper, except for some special graphs, we characterize all forbidden subgraph sets $\mathcal{H}$ such that every $\mathcal{H}$-free is super-edge-connected for $|\mathcal{H}|=1$ and $2$.
Characterising 4-tangles through a connectivity property
Published
• View Publication
• BIB
Every large $k$-connected graph-minor induces a $k$-tangle in its ambient graph. The converse holds for $k\le 3$, but fails for $k\ge 4$. This raises the question whether `$k$-connected' can be relaxed to obtain a characterisation of $k$-tangles through highly cohesive graph-minors. We show that this can be achieved for $k=4$ by proving that internally 4-connected graphs have unique 4-tangles, and that every graph with a 4-tangle $τ$ has an internally 4-connected minor whose unique 4-tangle lifts to $τ$.
Resolving vertices of graphs with differences
The classical (vertex) metric dimension of a graph G is defined as the cardinality of a smallest set S in V (G) such that any two vertices x and y from G have different distances to least one vertex from S: The k-metric dimension is a generalization of that notion where it is required that any pair of vertices has different distances to at least k vertices from S: In this paper, we introduce the weak k-metric dimension of a graph G; which is defined as the cardinality of a smallest set of vertices S such that the sum of the distance differences from any pair of vertices to all vertices of S is at least k: This dimension is "stronger" than the classical metric dimension, yet "weaker" than k-metric dimension, and it can be formulated as an ILP problem. The maximum k for which the weak k-metric dimension is defined is denoted by kappa(G). We first prove several properties of the weak k-metric dimension regarding the presence of true or false twin vertices in a graph. Using those properties, the kappa(G) is found for some basic graph classes, such as paths, stars, cycles, and complete (bipartite) graphs. We also find kappa(G) for trees and grid graphs using the observation that the distance difference increases by the increase of the cardinality of a set S. For all these graph classes we further establish the exact value of the weak k-metric dimension for all k <= kappa(G).
Equitable list coloring of planar graphs with given maximum degree
Published
• View Publication
• BIB
If $L$ is a list assignment of $r$ colors to each vertex of an $n$-vertex graph $G$, then an equitable $L$-coloring of $G$ is a proper coloring of vertices of $G$ from their lists such that no color is used more than $\lceil n/r\rceil$ times. A graph is equitably $r$-choosable if it has an equitable $L$-coloring for every $r$-list assignment $L$. In 2003, Kostochka, Pelsmajer and West (KPW) conjectured that an analog of the famous Hajnal-Szemerédi Theorem on equitable coloring holds for equitable list coloring, namely, that for each positive integer $r$ every graph $G$ with maximum degree at most $r-1$ is equitably $r$-choosable.
The main result of this paper is that for each $r\geq 9$ and each planar graph $G$, a stronger statement holds: if the maximum degree of $G$ is at most $r$, then $G$ is equitably $r$-choosable. In fact, we prove the result for a broader class of graphs -- the class ${\mathcal{B}}$ of the graphs in which each bipartite subgraph $B$ with $|V(B)|\ge3$ has at most $2|V(B)|-4$ edges. Together with some known results, this implies that the KPW Conjecture holds for all graphs in ${\mathcal{B}}$, in particular, for all planar graphs.
Pseudofiniteness and measurability of the everywhere infinite forest
Published
• View Publication
• BIB
In this paper we study the theories of the infinite-branching tree and the $r$-regular tree, and show that both of them are pseudofinite. Moreover, we show that they can be realized by infinite ultraproducts of polynomial exact classes of graphs, and so they are also generalised measurable.
Cops and Robbers on 1-Planar Graphs
Published
• View Publication
• BIB
Cops and Robbers is a well-studied pursuit-evasion game in which a set of cops seeks to catch a robber in a graph G, where cops and robber move along edges of G. The cop number of G is the minimum number of cops that is sufficient to catch the robber. Every planar graph has cop number at most three, and there are planar graphs for which three cops are necessary [Aigner and Fromme, DAM 1984]. We study the problem for beyond-planar graphs, that is, graphs that can be drawn in the plane with few crossings. In particular, we focus on 1-planar graphs, that is, graphs that can be drawn in the plane with at most one crossing per edge. In contrast to planar graphs, we show that some 1-planar graphs have unbounded cop number. Meanwhile, for maximal 1-planar graphs, we prove that three cops are always sufficient and sometimes necessary. In addition, we characterize outer 1-planar graphs with respect to their cop number.
Generalized Ramsey numbers at the linear and quadratic thresholds
Published
• View Publication
• BIB
The generalized Ramsey number $f(n, p, q)$ is the smallest number of colors needed to color the edges of the complete graph $K_n$ so that every $p$-clique spans at least $q$ colors. Erdős and Gyárfás showed that $f(n, p, q)$ grows linearly in $n$ when $p$ is fixed and $q=q_{\text{lin}}(p):=\binom p2-p+3$. Similarly they showed that $f(n, p, q)$ is quadratic in $n$ when $p$ is fixed and $q=q_{\text{quad}}(p):=\binom p2-\frac p2+2$. In this note we improve on the known estimates for $f(n, p, q_{\text{lin}})$ and $f(n, p, q_{\text{quad}})$. Our proofs involve establishing a significant strengthening of a previously known connection between $f(n, p, q)$ and another extremal problem first studied by Brown, Erdős and Sós, as well as building on some recent progress on this extremal problem by Delcourt and Postle and by Shangguan. Also, our upper bound on $f(n, p, q_{\text{lin}})$ follows from an application of the recent forbidden submatchings method of Delcourt and Postle.
Sprinkling with random regular graphs
Published
• View Publication
• BIB
We conjecture that the distribution of the edge-disjoint union of two random regular graphs on the same vertex set is asymptotically equivalent to a random regular graph of the combined degree, provided it grows as the number of vertices tends to infinity. We verify this conjecture for the cases when the graphs are sufficiently dense or sparse. We also prove an asymptotic formula for the expected number of spanning regular subgraphs in a random regular graph.
The Existence of Hamilton Cycle in n-Balanced k-Partite Graphs
Let $G_{k,n}$ be the $n$-balanced $k$-partite graph, whose vertex set can be partitioned into $k$ parts, each has $n$ vertices. In this paper, we prove that if $k \geq 2,n \geq 1$, for the edge set $E(G)$ of $G_{k,n}$ $$|E(G)| \geq\left\{\begin{array}{cc} 1 & \text { if } k=2, n=1 n^{2} C_{k}^{2}-(k-1) n+2 & \text { other } \end{array}\right.$$ then $G_{k,n}$ is hamiltonian. And the result may be the best.
Further study on forbidden subgraphs of power graph
The undirected power graph (or simply power graph) of a group $G$, denoted by $P(G)$, is a graph whose vertices are the elements of the group $G$, in which two vertices $u$ and $v$ are adjacent if and only if either $u=v^m$ or $v=u^n$ for some positive integers $m$, $n$. Forbidden subgraph has a significant role in graph theory. In our previous work \cite{cmm}, we consider five important classes of forbidden subgraphs of power graph which include perfect graphs, cographs, chordal graphs, split graphs and threshold graphs. In this communication, we go even further in that way. This study, inspired by the articles \cite{celmmp,dong,ck}, examines additional $4$ significant forbidden classes, including chain graphs, diamond-free graphs, $\{P_{5}, \overline{P_{5}}\}$-free graphs and $\{P_{2}\cup P_{3}, \overline{P_{2}\cup P_{3}}\}$-free graph. The finite groups whose power graphs are chain graphs, diamond-free graphs, and $\{P_{2}\cup P_{3}, \overline{P_{2}\cup P_{3}}\}$-free graphs have been successfully identified in this work. In case of $\{P_{5}, \overline{P_{5}}\}$-free graphs, we completely determine all the nilpotent groups, direct product of two groups, finite simple groups whose power graph is $\{P_{5}, \overline{P_{5}}\}$-free.
Tensor products of multimatroids and a Brylawski-type formula for the transition polynomial
Brylawski's tensor product formula expresses the Tutte polynomial of the tensor product of two graphs in terms of Tutte polynomials arising from the tensor factors. We are concerned with extensions of Brylawski's tensor product formula to the Bollobas-Riordan and transition polynomials of graphs embedded in surfaces. We give a tensor product formula for the multimatroid transition polynomial and show that Brylawski's formula and its topological analogues arise as specialisations of this more general result.
On towers of Isogeny graphs with full level structure
Published
• View Publication
• BIB
Let $p,q,l$ be three distinct prime numbers and let $N$ be a positive integer coprime to $pql$. For an integer $n\ge 0$, we define the directed graph $X_l^q(p^nN)$ whose vertices are given by isomorphism classes of elliptic curves over a finite field of characteristic $q$ equipped with a level $p^nN$ structure. The edges of $X_l^q(p^nN)$ are given by $l$-isogenies. We are interested in when the connected components of $X_l^q(p^nN)$ give rise to a tower of Galois covers as $n$ varies. We show that only in the supersingular case we do get a tower of Galois covers. We also study similar towers of isogeny graphs given by oriented supersingular curves, as introduced by Colò-Kohel, enhanced with a level structure.
Nowhere-zero 8-flows in cyclically 5-edge-connected, flow-admissible signed graphs
In 1983, Bouchet proved that every bidirected graph with a nowhere-zero integer-flow has a nowhere-zero 216-flow, and conjectured that 216 could be replaced with 6. This paper shows that for cyclically 5-edge-connected bidirected graphs that number can be replaced with 8.
Factoring complete graphs and hypergraphs into factors with few maximal cliques
Published in ANNALES UNIV. SCI. BUDAPEST., SECT. MATH. 65 (2022), 9-30
• Search Publication
For integers $r,t\geq2$ and $n\geq1$ let $f_r(t,n)$ be the minimum, over all factorizations of the complete $r$-uniform hypergraph of order $n$ into $t$ factors $H_1,\dots,H_t$, of $\sum_{i=1}^tc(H_i)$ where $c(H_i)$ is the number of maximal cliques in $H_i$. It is known that $f_2(2,n)=n+1$; in fact, if $G$ is a graph of order $n$, then $c(G)+c(\overline G)\geq n+1$ with equality iff $ω(G)+α(G)=n+1$ where $ω$ is the clique number and $α$ the independence number. In this paper we investigate $f_r(t,n)$ when $r>2$ or $t>2$. We also characterize graphs $G$ of order $n$ with $c(G)+c(\overline G)=n+2$.
A Note on Hamiltonian-Intersecting Families of Graphs
Published
• View Publication
• BIB
How many graphs on an $n$-point set can we find such that any two have connected intersection? Berger, Berkowitz, Devlin, Doppelt, Durham, Murthy and Vemuri showed that the maximum is exactly $1/2^{n-1}$ of all graphs. Our aim in this short note is to give a 'directed' version of this result; we show that a family of oriented graphs such that any two have strongly-connected intersection has size at most $1/3^n$ of all oriented graphs. We also show that a family of graphs such that any two have Hamiltonian intersection has size at most $1/2^n$ of all graphs, verifying a conjecture of the above authors.
Unexpected Averages of Mixing Matrices
Published
• View Publication
• BIB
The (standard) average mixing matrix of a continuous-time quantum walk is computed by taking the expected value of the mixing matrices of the walk under the uniform sampling distribution on the real line. In this paper we consider alternative probability distributions, either discrete or continuous, and first we show that several algebraic properties that hold for the average mixing matrix still stand for this more general setting. Then, we provide examples of graphs and choices of distributions where the average mixing matrix behaves in an unexpected way: for instance, we show that there are probability distributions for which the average mixing matrices of the paths on three or four vertices have constant entries, opening a significant line of investigation about how to use classical probability distributions to sample quantum walks and obtain desired quantum effects. We present results connecting the trace of the average mixing matrix and quantum walk properties, and we show that the Gram matrix of average states is the average mixing matrix of a certain related distribution. Throughout the text, we employ concepts of classical probability theory not usually seen in texts about quantum walks.
Optimality and Constructions of Spanning Bipartite Block Designs
Published
• View Publication
• BIB
We consider a statistical problem to estimate variables (effects) that are associated with the edges of a complete bipartite graph $K_{v_1, v_2}=(V_1, V_2 \, ; E)$. Each data is obtained as a sum of selected effects, a subset of $E$. In order to estimate efficiently, we propose a design called Spanning Bipartite Block Design (SBBD). For SBBDs such that the effects are estimable, we proved that the estimators have the same variance (variance balanced). If each block (a subgraph of $K_{v_1, v_2}$) of SBBD is a semi-regular or a regular bipartite graph, we show that the design is A-optimum. We also show a construction of SBBD using an ($r,λ$)-design and an ordered design. A BIBD with prime power blocks gives an A-optimum semi-regular or regular SBBD. At last, we mention that this SBBD is able to use for deep learning.
GDD type Spanning Bipartite Block Designs
Published
• View Publication
• BIB
There is a one-to-one correspondence between the point set of a group divisible design (GDD) with $v_1$ groups of $v_2$ points and the edge set of a complete bipartite graph $K_{v_1,v_2}$. A block of GDD corresponds to a subgraph of $K_{v_1,v_2}$. A set of subgraphs of $K_{v_1,v_2}$ is constructed from a block set of GDDs. If the GDD satisfies the $λ_1, λ_2$ concurrence condition, then the set of subgraphs also satisfies the spanning bipartite block design (SBBD) conditions. We also propose a method to construct SBBD directly from an $(r,λ)$-design and a difference matrix over a group. Suppose the $(r,λ)$-design consists of $v_2$ points and $v_1$ blocks. When $v_1 >> v_2$, we show a method to construct a SBBD with $v_1$ is close to $v_2$ by partitioning the block set.
The seating couple problem in even case
Published
• View Publication
• BIB
In this paper we consider the seating couple problem with an even number of seats, which, using graph theory terminology, can be stated as follows. Given a positive even integer $v=2n$ and a list $L$ containing $n$ positive integers not exceeding $n$, is it always possible to find a perfect matching of $K_v$ whose list of edge-lengths is $L$? Up to now a (non-constructive) solution is known only when all the edge-lengths are coprime with $v$. In this paper we firstly present some necessary conditions for the existence of a solution. Then, we give a complete constructive solution when the list consists of one or two distinct elements, and when the list consists of consecutive integers $1,2,\ldots,x$, each one appearing with the same multiplicity. Finally, we propose a conjecture and some open problems.
Distance-regular graphs with classical parameters that support a uniform structure: case $q \ge 2$
Let $Γ=(X,\mathcal{R})$ denote a finite, simple, connected, and undirected non-bipartite graph with vertex set $X$ and edge set $\mathcal{R}$. Fix a vertex $x \in X$, and define $\mathcal{R}_f = \mathcal{R} \setminus \{yz \mid \partial(x,y) = \partial(x,z)\}$, where $\partial$ denotes the path-length distance in $Γ$. Observe that the graph $Γ_f=(X,\mathcal{R}_f)$ is bipartite. We say that $Γ$ supports a uniform structure with respect to $x$ whenever $Γ_f$ has a uniform structure with respect to $x$ in the sense of Miklavič and Terwilliger \cite{MikTer}.
Assume that $Γ$ is a distance-regular graph with classical parameters $(D,q,α,β)$ and diameter $D\geq 4$. Recall that $q$ is an integer such that $q \not \in \{-1,0\}$. The purpose of this paper is to study when $Γ$ supports a uniform structure with respect to $x$. We studied the case $q \le 1$ in \cite{FMMM}, and so in this paper we assume $q \geq 2$. Let $T=T(x)$ denote the Terwilliger algebra of $Γ$ with respect to $x$. Under an additional assumption that every irreducible $T$-module with endpoint $1$ is thin, we show that if $Γ$ supports a uniform structure with respect to $x$, then either $α= 0$ or $α=q$, $β=q^2(q^D-1)/(q-1)$, and $D \equiv 0 \pmod{6}$.