graph
35436 papers tagged with this keyword
Embedding Grid Graphs on Surfaces
Published in Graphs and Combinatorics, vol. 38, Article number 87 (2022)
• View Publication
• BIB
In this paper, we analyze embeddings of grid graphs on orientable surfaces. We determine the genus of a large class of k-dimensional grid graphs and effective two-sided bounds for the genus of any 3-dimensional grid graph, both in terms of a grid graph's combinatorics. As an application, we provide a complete classification of planar and toroidal grid graphs. Our work requires a variety of combinatorial arguments to determine effective lower bounds on the genus of a grid graph, along with explicitly constructing embeddings of grid graphs on surfaces to determine effective upper bounds on their genera.
The number of perfect matchings, and the nesting properties, of random regular graphs
Published
• View Publication
• BIB
We prove that the number of perfect matchings in ${\mathcal G}(n,d)$ is asymptotically normal when $n$ is even, $d\to\infty$ as $n\to\infty$, and $d=O(n^{1/7}/\log^2 n)$. This is the first distributional result of spanning subgraphs of ${\mathcal G}(n,d)$ when $d\to\infty$.
Moreover, we prove that ${\mathcal G}(n,d-1)$ and ${\mathcal G}(n,d)$ can be coupled so that ${\mathcal G}(n,d-1)$ is a subgraph of ${\mathcal G}(n,d)$ with high probability when $d\to\infty$ and $d=o(n^{1/3})$. Further, if $d=Ω(\log^7 n)$, $d=O(n^{1/7}/\log^2n)$, and $d\le d'\le n-1$ then ${\mathcal G}(n,d)$ and ${\mathcal G}(n,d')$ can be coupled so that asymptotically almost surely ${\mathcal G}(n,d)$ is a subgraph of ${\mathcal G}(n,d')$.
On the generalized $\vartheta$-number and related problems for highly symmetric graphs
Published
• View Publication
• BIB
This paper is an in-depth analysis of the generalized $\vartheta$-number of a graph. The generalized $\vartheta$-number, $\vartheta_k(G)$, serves as a bound for both the $k$-multichromatic number of a graph and the maximum $k$-colorable subgraph problem. We present various properties of $\vartheta_k(G)$, such as that the sequence $(\vartheta_k(G))_k$ is increasing and bounded from above by the order of the graph $G$. We study $\vartheta_k(G)$ when $G$ is the strong, disjunction or Cartesian product of two graphs. We provide closed form expressions for the generalized $\vartheta$-number on several classes of graphs including the Kneser graphs, cycle graphs, strongly regular graphs and orthogonality graphs. Our paper provides bounds on the product and sum of the $k$-multichromatic number of a graph and its complement graph, as well as lower bounds for the $k$-multichromatic number on several graph classes including the Hamming and Johnson graphs.
Robust Connectivity of Graphs on Surfaces
Published in SIAM Journal on Discrete Mathematics 36(2), 1416-1435, 2022
• View Publication
• BIB
Let $Λ(T)$ denote the set of leaves in a tree $T$. One natural problem is to look for a spanning tree $T$ of a given graph $G$ such that $Λ(T)$ is as large as possible. This problem is called maximum leaf number, and it is a well-known NP-hard problem. Throughout recent decades, this problem has received considerable attention, ranging from pure graph theoretic questions to practical problems related to the construction of wireless networks.
Recently, a similar but stronger notion was defined by Bradshaw, Masařík, and Stacho [Flexible List Colorings in Graphs with Special Degeneracy Conditions, ISAAC 2020]. They introduced a new invariant for a graph $G$, called the robust connectivity and written $κ_ρ(G)$, defined as the minimum value $\frac{|R \cap Λ(T)|}{|R|}$ taken over all nonempty subsets $R\subseteq V(G)$, where $T = T(R)$ is a spanning tree on $G$ chosen to maximize $|R \cap Λ(T)|$. Large robust connectivity was originally used to show flexible choosability in non-regular graphs.
In this paper, we investigate some interesting properties of robust connectivity for graphs embedded in surfaces. We prove a tight asymptotic bound of $Ω(γ^{-\frac{1}{r}})$ for the robust connectivity of $r$-connected graphs of Euler genus $γ$. Moreover, we give a surprising connection between the robust connectivity of graphs with an edge-maximal embedding in a surface and the surface connectivity of that surface, which describes to what extent large induced subgraphs of embedded graphs can be cut out from the surface without splitting the surface into multiple parts. For planar graphs, this connection provides an equivalent formulation of a long-standing conjecture of Albertson and Berman [A conjecture on planar graphs, 1979], which states that every planar graph on $n$ vertices contains an induced forest of size at least $n/2$.
$Γ$-graphic delta-matroids and their applications
Published in Combinatorica, 43(5):963-983, October 2023
• View Publication
• BIB
For an abelian group $Γ$, a $Γ$-labelled graph is a graph whose vertices are labelled by elements of $Γ$. We prove that a certain collection of edge sets of a $Γ$-labelled graph forms a delta-matroid, which we call a $Γ$-graphic delta-matroid, and provide a polynomial-time algorithm to solve the separation problem, which allows us to apply the symmetric greedy algorithm of Bouchet to find a maximum weight feasible set in such a delta-matroid. We present two algorithmic applications on graphs; Maximum Weight Packing of Trees of Order Not Divisible by $k$ and Maximum Weight $S$-Tree Packing. We also discuss various properties of $Γ$-graphic delta-matroids.
Removal lemmas and approximate homomorphisms
Published
• View Publication
• BIB
We study quantitative relationships between the triangle removal lemma and several of its variants. One such variant, which we call the triangle-free lemma, states that for each $ε>0$ there exists $M$ such that every triangle-free graph $G$ has an $ε$-approximate homomorphism to a triangle-free graph $F$ on at most $M$ vertices (here an $ε$-approximate homomorphism is a map $V(G) \to V(F)$ where all but at most $ε|V(G)|^2$ edges of $G$ are mapped to edges of $F$). One consequence of our results is that the least possible $M$ in the triangle-free lemma grows faster than exponential in any polynomial in $ε^{-1}$. We also prove more general results for arbitrary graphs, as well as arithmetic analogues over finite fields, where the bounds are close to optimal.
The crossing number of the generalized Petersen graph $P(3k,k)$ in the projective plane
Published
• View Publication
• BIB
The crossing number of a graph $G$ in a surface $Σ$, denoted by $cr_Σ(G)$, is the minimum number of pairwise intersections of edges in a drawing of $G$ in $Σ$. Let $k$ be an integer satisfying $k\geq 3$, the generalized Petersen graph $P(3k,k)$ is the graph with vertex set $V(P(3k,k))=\{u_i, v_i| i=1,2,\cdots,3k\}$ and edge set $E(P(3k,k))=\{u_iu_{i+1}, u_iv_i, v_iv_{k+i}| i=1,2,\cdots,3k\},$ the subscripts are read modulo $3k.$ This paper investigates the crossing number of $P(3k,k)$ in the projective plane. We determine the exact value of $cr_{N_1}(P(3k,k))$ is $k-2$ when $3\le k\le 7,$ moreover, for $k\ge 8,$ we get that $k-2\le cr_{N_1}(P(3k,k))\le k-1.$
The generalized 3-connectivity of the folded hypercube $FQ_n$
Published
• View Publication
• BIB
The generalized $k$-connectivity of a graph $G$, denoted by $κ_k(G)$, is a generalization of the traditional connectivity. It is well known that the generalized $k$-connectivity is an important indicator for measuring the fault tolerance and reliability of interconnection networks. The $n$-dimensional folded hypercube $FQ_n$ is obtained from the $n$-dimensional hypercube $Q_n$ by adding an edge between any pair of vertices with complementary addresses. In this paper, we show that $κ_3(FQ_n)=n$ for $n\ge 2$, that is, for any three vertices in $FQ_n$, there exist $n$ internally disjoint trees connecting them.
On the period collapse of a family of Ehrhart quasi-polynomials
A graph whose nodes have degree 1 or 3 is called a $\{1,3\}$-graph. Liu and Osserman associated a polytope to each $\{1,3\}$-graph and studied the Ehrhart quasi-polynomials of these polytopes. They showed that the vertices of these polytopes have coordinates in the set $\{0,\frac14,\frac12,1\}$, which implies that the period of their Ehrhart quasi-polynomials is either 1, 2, or 4. We show that the period of the Ehrhart quasi-polynomial of these polytopes is at most 2 if the graph is a tree or a cubic graph, and it is equal to 4 otherwise.
In the process of proving this theorem, several interesting combinatorial and geometric properties of these polytopes were uncovered, arising from the structure of their associated graphs. The tools developed here may find other applications in the study of Ehrhart quasi-polynomials and enumeration problems for other polytopes that arise from graphs. Additionally, we have identified some interesting connections with triangulations of 3-manifolds.
The chromatic number of signed graphs with bounded maximum average degree
Published
• View Publication
• BIB
A signed graph is a simple graph with two types of edges: positive and negative edges. Switching a vertex $v$ of a signed graph corresponds to changing the type of each edge incident to $v$.
A homomorphism from a signed graph $G$ to another signed graph $H$ is a mapping $\varphi: V(G) \rightarrow V(H)$ such that, after switching some of the vertices of $G$, $\varphi$ maps every edge of $G$ to an edge of $H$ of the same type. The chromatic number $χ_s(G)$ of a signed graph $G$ is the order of a smallest signed graph $H$ such that there is a homomorphism from $G$ to $H$.
The maximum average degree $mad(G)$ of a graph $G$ is the maximum of the average degrees of all the subgraphs of $G$. We denote $\mathcal{M}_k$ the class of signed graphs with maximum average degree less than $k$ and $\mathcal{P}_g$ the class of planar signed graphs of girth at least $g$.
We prove:
$χ_s(\mathcal{P}_{7}) \le 5$,
$χ_s(\mathcal{M}_{\frac{17}{5}}) \le 10$ which implies $χ_s(\mathcal{P}_{5}) \le 10$,
$χ_s(\mathcal{M}_{4-\frac{8}{q+3}}) \le q+1$ with $q$ a prime power congruent to 1 modulo 4.
A Graph Decomposition motivated by the Geometry of Randomized Rounding
We introduce a graph decomposition which exists for all simple, connected graphs $G=(V,E)$. The decomposition $V = A \cup B \cup C$ is such that each vertex in $A$ has more neighbors in $B$ than in $A$ and vice versa. $C$ is `balanced': each $v \in C$ has the same number of neighbours in $A$ and $B$. These decompositions arise naturally from the behavior of an associated dynamical system (`Randomized Rounding') on $(\mathbb{S}^1)^{|V|}$. Connections to judicious partitions and the \textsc{MaxCut} problem (in particular the Burer-Monteiro-Zhang heuristic) are being discussed.
On the fixed-parameter tractability of the partial vertex cover problem with a matching constraint in edge-weighted bipartite graphs
Published
• View Publication
• BIB
In the classical partial vertex cover problem, we are given a graph $G$ and two positive integers $R$ and $L$. The goal is to check whether there is a subset $V'$ of $V$ of size at most $R$, such that $V'$ covers at least $L$ edges of $G$. The problem is NP-hard as it includes the Vertex Cover problem. Previous research has addressed the extension of this problem where one has weight-functions defined on sets of vertices and edges of $G$. In this paper, we consider the following version of the problem where on the input we are given an edge-weighted bipartite graph $G$, and three positive integers $R$, $S$ and $T$. The goal is to check whether $G$ has a subset $V'$ of vertices of $G$ of size at most $R$, such that the edges of $G$ covered by $V'$ have weight at least $S$ and they include a matching of weight at least $T$. In the paper, we address this problem from the perspective of fixed-parameter tractability. One of our hardness results is obtained via a reduction from the bi-objective knapsack problem, which we show to be W[1]-hard with respect to one of parameters. We believe that this problem might be useful in obtaining similar results in other situations.
Walk/Zeta Correspondence
Published in Journal of Statistical Physics, volume 190, Article number: 36 (2023)
• View Publication
• BIB
Our previous work presented explicit formulas for the generalized zeta function and the generalized Ihara zeta function corresponding to the Grover walk and the positive-support version of the Grover walk on the regular graph via the Konno-Sato theorem, respectively. This paper extends these walks to a class of walks including random walks, correlated random walks, quantum walks, and open quantum random walks on the torus by the Fourier analysis.
Acyclic, Star, and Injective Colouring: Bounding the Diameter
Published
• View Publication
• BIB
We examine the effect of bounding the diameter for well-studied variants of the Colouring problem. A colouring is acyclic, star, or injective if any two colour classes induce a forest, star forest or disjoint union of vertices and edges, respectively. The corresponding decision problems are Acyclic Colouring, Star Colouring and Injective Colouring. The last problem is also known as $L(1,1)$-Labelling and we also consider the framework of $L(a,b)$-Labelling. We prove a number of (almost-)complete complexity classifications. In particular, we show that for graphs of diameter at most $d$, Acyclic $3$-Colouring is polynomial-time solvable if $d\leq 2$ but NP-complete if $d\geq 4$, and Star $3$-Colouring is polynomial-time solvable if $d\leq 3$ but NP-complete for $d\geq 8$. As far as we are aware, Star $3$-Colouring is the first problem that exhibits a complexity jump for some $d\geq 3$. Our third main result is that $L(1,2)$-Labelling is NP-complete for graphs of diameter $2$; we relate the latter problem to a special case of Hamiltonian Path.
On the rank of Z_2-matrices with free entries on the diagonal
For an $n \times n$ matrix $M$ with entries in $\mathbb{Z}_2$ denote by $R(M)$ the minimal rank of all the matrices obtained by changing some numbers on the main diagonal of $M$. We prove that for each non-negative integer $k$ there is a polynomial in $n$ algorithm deciding whether $R(M) \leq k$ (whose complexity may depend on $k$). We also give a polynomial in $n$ algorithm computing a number $m$ such that $m/2 \leq R(M) \leq m$. These results have applications to graph drawings on non-orientable surfaces.
A strengthening of Halin's grid theorem
Published
• View Publication
• BIB
We show that for every infinite collection $\mathcal{R}$ of disjoint equivalent rays in a graph $G$ there is a subdivision of the hexagonal half-grid in $G$ such that all its vertical rays belong to $\mathcal{R}$. This result strengthens Halin's grid theorem by giving control over which specific set of rays is used, while its proof is significantly shorter.
On circulant nut graphs
A nut graph is a simple graph whose adjacency matrix has the eigenvalue~0 with multiplicity~1 such that its corresponding eigenvector has no zero entries. Motivated by a question of Fowler et al.~[\emph{Disc. Math. Graph Theory} 40 (2020), 533--557] to determine the pairs $(n,d)$ for which a vertex-transitive nut graph of order $n$ and degree $d$ exists, Ba\v sić et al.\ [\arxiv{2102.04418}, 2021] initiated the study of circulant nut graphs. Here we first show that the generator set of a circulant nut graph necessarily contains equally many even and odd integers. Then we characterize circulant nut graphs with the generator set $\{x,x+1,\dots,x+2t-1\}$ for $x,t\in\N$, which generalizes the result of Ba\v sić et al.\ for the generator set $\{1,\dots,2t\}$. We further study circulant nut graphs with the generator set $\{1,\dots,2t+1\}\setminus\{t\}$, which yields nut graphs of every even order $n\geq 4t+4$ whenever $t$~is odd such that $t\not\equiv_{10}1$ and $t\not\equiv_{18}15$. This fully resolves Conjecture~9 from Ba\v sić et al.~[ibid.]. We also study the existence of $4t$-regular circulant nut graphs for small values of~$t$, which partially resolves Conjecture~10 of Ba\v sić et al.~[ibid.].
Several consequences of adding or removing an edge from an electric network
In certain instances an electric network transforms in natural ways by the addition or removal of an edge. This can have interesting consequences for random walks, in light of the known relationships between electric resistance and random walks. We exhibit several instances in which this can be used to prove facts or simplify calculations. In particular, a new proof is given for the formula for the expected return time of a random walk on a graph. We also show how hitting times can be calculated in certain instances when a network differs from a highly symmetric one by one edge.
Recursive constructions of amoebas
Published
• View Publication
• BIB
Global amoebas are a wide and rich family of graphs that emerged from the study of certain Ramsey-Turán problems in $2$-colorings of the edges of the complete graph $K_n$ that deal with the appearance of unavoidable patterns once a certain amount of edges in each color is guaranteed. Indeed, it turns out that, as soon as such coloring constraints are satisfied and if $n$ is sufficiently large, then every global amoeba can be found embedded in $K_n$ such that it has half its edges in each color. Even more surprising, every bipartite global amoeba $G$ is unavoidable in every tonal-variation, meaning that, for any pair of integers $r, b$ such that $r + b $ is the number of edges of $G$, there is a subgraph of $K_n$ isomorphic to $G$ with $r$ edges in the first color and $b$ edges in the second. The feature that makes global amoebas work are one-by-one edge replacements that leave the structure of the graph invariant. By means of a group theoretical approach, the dynamics of this feature can be modeled. As a counterpart to the global amoebas that "live" inside a possibly large complete graph $K_n$, we also consider local amoebas which are spanning subgraphs of $K_n$ with the same feature.
In an effort to highlight their richness and versatility, we present here three different recursive constructions of amoebas, two of them yielding interesting families per se and one of them offering a wide range of possibilities.
Brouwer degree for Kazdan-Warner equations on a connected finite graph
Published
• View Publication
• BIB
We study Kazdan-Warner equations on a connected finite graph via the method of the degree theory. Firstly, we prove that all solutions to the Kazdan-Warner equation with nonzero prescribed function are uniformly bounded and the Brouwer degree is well defined. Secondly, we compute the Brouwer degree case by case. As consequences, we give new proofs of some known existence results for the Kazdan-Warner equation on a connected finite graph.