graph
35299 papers tagged with this keyword
Homomorphisms between graphs embedded on surfaces
Published
• View Publication
• BIB
We extend the notion of graph homomorphism to cellularly embedded graphs (maps) by designing operations on vertices and edges that respect the surface topology; we thus obtain the first definition of map homomorphism that preserves both the combinatorial structure (as a graph homomorphism) and the topological structure of the surface (in particular, orientability and genus). Notions such as the core of a graph and the homomorphism order on cores are then extended to maps. We also develop a purely combinatorial framework for various topological features of a map such as the contractibility of closed walks, which in particular allows us to characterize map cores. We then show that the poset of map cores ordered by the existence of a homomorphism is connected and, in contrast to graph homomorphisms, does not contain any dense interval (so it is not universal for countable posets). Finally, we give examples of a pair of cores with an infinite number of cores between them, an infinite chain of gaps, and arbitrarily large antichains with a common homomorphic image.
Some Ramsey-type results
The Ramsey's theorem says that a graph with sufficiently many vertices contains a clique or stable set with many vertices. Now we attach some parameter to every vertex, such as degree. Consider the case a graph with sufficiently many vertices of large degree, we can get the realted Ramsey-type result. The Ramsey's theorem of connected version says that every connected graph with sufficiently many vertices contains an induced path, clique or star with many vertices. Now we require the vertex is non-trivial, i.e. the parameter of this vertex is non-trivial, such as $\operatorname{deg}(v)\ge 2$. A connected graph with sufficiently many non-trivial vertices must contain some special induced subgraph. We also get the non-connected version of this Ramsey-type result as a corollary.
Extremal graph theoretic questions for q-ary vectors
A $q$-graph $H$ on $n$ vertices is a set of vectors of length $n$ with all entries from $\{0,1,\dots,q\}$ and every vector (that we call a $q$-edge) having exactly two non-zero entries. The support of a $q$-edge $\mathbf{x}$ is the pair $S_{\mathbf{x}}$ of indices of non-zero entries. We say that $H$ is an $s$-copy of an ordinary graph $F$ if $|H|=|E(F)|$, $F$ is isomorphic to the graph with edge set $\{S_{\mathbf{x}}:\mathbf{x}\in H\}$, and whenever $v\in e,e'\in E(F)$, the entries with index corresponding to $v$ in the $q$-edges corresponding to $e$ and $e'$ sum up to at least $s$. E.g., the $q$-edges $(1,3,0,0,0), (0,1,0,0,3)$, and $(3,0,0,0,1)$ form a 4-triangle.
The Turán number $\mathrm{ex}(n,F,q,s)$ is the maximum number of $q$-edges that a $q$-graph $H$ on $n$ vertices can have if it does not contain any $s$-copies of $F$. In the present paper, we determine the asymptotics of $\mathrm{ex}(n,F,q,q+1)$ for many graphs $F$.
The robust chromatic number of graphs
A 1-removed subgraph $G_f$ of a graph $G=(V,E)$ is obtained by
$(i)$ selecting at most one edge $f(v)$ for each vertex $v\in V$, such that $v\in f(v)\in E$ (the mapping $f:V\to E \cup \{\varnothing\}$ is allowed to be non-injective), and
$(ii)$ deleting all the selected edges $f(v)$ from the edge set $E$ of $G$.
Proper vertex colorings of 1-removed subgraphs proved to be a useful tool for earlier research on some Turán-type problems.
In this paper, we introduce a systematic investigation of the graph invariant 1-robust chromatic number, denoted as $ω_1(G)$. This invariant is defined as the minimum chromatic number $χ(G_f)$ among all 1-removed subgraphs $G_f$ of $G$. We also examine other standard graph invariants in a similar manner.
The robust chromatic number of certain graph classes
A 1-selection $f$ of a graph $G$ is a function $f: V(G)\rightarrow E(G)$ such that $f(v)$ is incident to $v$ for every vertex $v$. The 1-removed $G_f$ is the graph $(V(G),E(G)\setminus f[V(G)])$. The (1-)robust chromatic number $χ_1(G)$ is the minimum of $χ(G_f)$ over all 1-selections $f$ of $G$.
We determine the robust chromatic number of complete multipartite graphs and Kneser graphs and prove tight lower and upper bounds on the robust chromatic number of chordal graphs and some of their extensively studied subclasses, with respect to their ordinary chromatic number.
Upper Bounds on the Acyclic Chromatic Index of Degenerate Graphs
Published in Discrete Mathematics, 347(4), (2024), 113898
• View Publication
• BIB
An acyclic edge coloring of a graph is a proper edge coloring without any bichromatic cycles. The acyclic chromatic index of a graph $G$ denoted by $a'(G)$, is the minimum $k$ such that $G$ has an acyclic edge coloring with $k$ colors. Fiamčík conjectured that $a'(G) \le Δ+2$ for any graph $G$ with maximum degree $Δ$. A graph $G$ is said to be $k$-degenerate if every subgraph of $G$ has a vertex of degree at most $k$. Basavaraju and Chandran proved that the conjecture is true for $2$-degenerate graphs. We prove that for a $3$-degenerate graph $G$, $a'(G) \le Δ+5$, thereby bringing the upper bound closer to the conjectured bound. We also consider $k$-degenerate graphs with $k \ge 4$ and give an upper bound for the acyclic chromatic index of the same.
Algorithmic Theory of Qubit Routing
Published
• View Publication
• BIB
The qubit routing problem, also known as the swap minimization problem, is a (classical) combinatorial optimization problem that arises in the design of compilers of quantum programs. We study the qubit routing problem from the viewpoint of theoretical computer science, while most of the existing studies investigated the practical aspects. We concentrate on the linear nearest neighbor (LNN) architectures of quantum computers, in which the graph topology is a path. Our results are three-fold. (1) We prove that the qubit routing problem is NP-hard. (2) We give a fixed-parameter algorithm when the number of two-qubit gates is a parameter. (3) We give a polynomial-time algorithm when each qubit is involved in at most one two-qubit gate.
The Frank number and nowhere-zero flows on graphs
Published
• View Publication
• BIB
An edge $e$ of a graph $G$ is called deletable for some orientation $o$ if the restriction of $o$ to $G-e$ is a strong orientation. Inspired by a problem of Frank, in 2021 Hörsch and Szigeti proposed a new parameter for $3$-edge-connected graphs, called the Frank number, which refines $k$-edge-connectivity. The Frank number is defined as the minimum number of orientations of $G$ for which every edge of $G$ is deletable in at least one of them. They showed that every $3$-edge-connected graph has Frank number at most $7$ and that in case these graphs are also $3$-edge-colourable the parameter is at most $3$. Here we strengthen both results by showing that every $3$-edge-connected graph has Frank number at most $4$ and that every graph which is $3$-edge-connected and $3$-edge-colourable has Frank number $2$. The latter also confirms a conjecture by Barát and Blázsik. Furthermore, we prove two sufficient conditions for cubic graphs to have Frank number $2$ and use them in an algorithm to computationally show that the Petersen graph is the only cyclically $4$-edge-connected cubic graph up to $36$ vertices having Frank number greater than $2$.
On the divisibility of H-shape trees and their spectral determination
Published
• View Publication
• BIB
A graph $G$ is divisible by a graph $H$ if the characteristic polynomial of $G$ is divisible by that of $H$. In this paper, a necessary and sufficient condition for recursive graphs to be divisible by a path is used to show that the H-shape graph $P_{2,2;n-4}^{2,n-7}$, known to be (for $n$ large enough) the minimizer of the spectral radius among the graphs of order $n$ and diameter $n-5$, is determined by its adjacency spectrum if and only if $n \neq 10,13,15$.
Random Schreier graphs as expanders
Published
• View Publication
• BIB
Expander graphs, due to their mixing properties, are useful in many algorithms and combinatorial constructions. One can produce an expander graph with high probability by taking a random graph (e.g., the union of $d$ random bijections for a bipartite graph of degree $d$). This construction is much simpler than all known explicit constructions of expanders and gives graphs with good mixing properties (small second largest eigenvalue) with high probability. However, from the practical viewpoint, it uses too many random bits, so it is difficult to generate and store these bits for large graphs. The natural idea is to restrict the class of the bijections that we use. For example, if both sides are linear spaces $\mathbb{F}_q^k$ over a finite field $\mathbb{F}_q$, we may consider only \emph{linear} bijections, making the number of random bits polynomial in $k$ (and not $q^k$).
In this paper we provide some experimental data that shows that this approach conserves the mixing properties (the second eigenvalue) for several types of graphs (undirected regular and biregular bipartite graphs). We also prove some upper bounds for the second eigenvalue (though they are quite weak compared with the experimental results).
Finally, we discuss the possibility to decrease the number of random bits further by using Toeplitz matrices; our experiments show that this change makes the mixing properties only marginally worse while the number of random bits decreases significantly.
Large Cycles in Graphs Around Conjectures of Bondy and Jung -- Modifications and Sharpness
Published
• View Publication
• BIB
A number of new sufficient conditions for generalized cycles (large cycles including Hamilton and dominating cycles as special cases) in an arbitrary $k$-connected graph $(k=1,2,...)$ and new lower bounds for the circumference (the length of a longest cycle) are derived, inspiring a number of modifications of famous conjectures of Bondy (1980) and Jung (2001). All results (both old and new) are shown to be best possible in a sense based on three types of sharpness indicating the intervals in which the result is sharp and the intervals in which the result can be further improved. In addition, the presented modifications cannot be derived directly from Bondy's and Jung's conjectures as special cases.
Spectral influence in networks: An application to Input-Output analysis
Published
• View Publication
• BIB
This paper introduces the concepts of spectral influence and spectral cyclicality, both derived from the largest eigenvalue of a graph's adjacency matrix. These two novel centrality measures capture both diffusion and interdependence from a local and global perspective respectively. We propose a new clustering algorithm that identifies communities with high cyclicality and interdependence, allowing for overlaps. To illustrate our method, we apply it to input-output analysis within the context of the Moroccan economy.
Garland's method for token graphs
Published
• View Publication
• BIB
The $k$-th token graph of a graph $G=(V,E)$ is the graph $F_k(G)$ whose vertices are the $k$-subsets of $V$ and whose edges are all pairs of $k$-subsets $A,B$ such that the symmetric difference of $A$ and $B$ forms an edge in $G$. Let $L(G)$ be the Laplacian matrix of $G$, and $L_k(G)$ be the Laplacian matrix of $F_k(G)$. It was shown by Dalfó et al. that for any graph $G$ on $n$ vertices and any $0\leq \ell \leq k \leq \left\lfloor n/2\right\rfloor$, the spectrum of $L_{\ell}(G)$ is contained in that of $L_k(G)$.
Here, we continue to study the relation between the spectrum of $L_k(G)$ and that of $L_{k-1}(G)$. In particular, we show that, for $1\leq k\leq \left\lfloor n/2\right\rfloor$, any eigenvalue $λ$ of $L_k(G)$ that is not contained in the spectrum of $L_{k-1}(G)$ satisfies \[
k(λ_2(L(G))-k+1)\leq λ\leq kλ_n(L(G)), \] where $λ_2(L(G))$ is the second smallest eigenvalue of $L(G)$ (a.k.a. the algebraic connectivity of $G$), and $λ_n(L(G))$ is its largest eigenvalue. Our proof relies on an adaptation of Garland's method, originally developed for the study of high-dimensional Laplacians of simplicial complexes.
The independence ratio of 4-cycle-free planar graphs
Published
• View Publication
• BIB
We prove that every $n$-vertex planar graph $G$ with no triangle sharing an edge with a 4-cycle has independence ratio $n/α(G) \leq 4 - \varepsilon$ for $\varepsilon = 1/30$. This result implies that the same bound holds for 4-cycle-free planar graphs and planar graphs with no adjacent triangles and no triangle sharing an edge with a 5-cycle. For the latter case we strengthen the bound to $\varepsilon = 2/9$.
The minimum positive uniform Turán density in uniformly dense $k$-uniform hypergraphs
Published
• View Publication
• BIB
A $k$-graph (or $k$-uniform hypergraph) $H$ is uniformly dense if the edge distribution of $H$ is uniformly dense with respect to every large collection of $k$-vertex cliques induced by sets of $(k-2)$-tuples. Reiher, Rödl and Schacht [Int. Math. Res. Not., 2018] proposed the study of the uniform Turán density $π_{k-2}(F)$ for given $k$-graphs $F$ in uniformly dense $k$-graphs. Meanwhile, they [J. London Math. Soc., 2018] characterized $k$-graphs $F$ satisfying $π_{k-2}(F)=0$ and showed that $π_{k-2}(\cdot)$ ``jumps" from 0 to at least $k^{-k}$. In particular, they asked whether there exist $3$-graphs $F$ with $π_{1}(F)$ equal or arbitrarily close to $1/27$. Recently, Garbe, Král' and Lamaison [arXiv:2105.09883] constructed some $3$-graphs with $π_{1}(F)=1/27$.
In this paper, for any $k$-graph $F$, we give a lower bound of $π_{k-2}(F)$ based on a probabilistic framework, and provide a general theorem that reduces proving an upper bound on $π_{k-2}(F)$ to embedding $F$ in reduced $k$-graphs of the same density using the regularity method for $k$-graphs. By using this result and Ramsey theorem for multicolored hypergraphs, we extend the results of Garbe, Král' and Lamaison to $k\ge 3$. In other words, we give a sufficient condition for $k$-graphs $F$ satisfying $π_{k-2}(F)=k^{-k}$. Additionally, we also construct an infinite family of $k$-graphs with $π_{k-2}(F)=k^{-k}$.
On Bruen chains
Published
• View Publication
• BIB
It is known that a Bruen chain of the three-dimensional projective space $\mathrm{PG}(3,q)$ exists for every odd prime power $q$ at most $37$, except for $q=29$. It was shown by Cardinali et. al (2005) that Bruen chains do not exist for $41\le q\leq 49$. We develop a model, based on finite fields, which allows us to extend this result to $41\leqslant q \leqslant 97$, thereby adding more evidence to the conjecture that Bruen chains do not exist for $q>37$. Furthermore, we show that Bruen chains can be realised precisely as the $(q+1)/2$-cliques of a two related, yet distinct, undirected simple graphs.
Faithful and thin non-polytopal maniplexes
Published
• View Publication
• BIB
Maniplexes are coloured graphs that generalise maps on surfaces and abstract polytopes. Each maniplex uniquely defines a partially ordered set that encodes information about its structure. When this poset is an abstract polytope, we say that the associated maniplex is polytopal. Maniplexes that have two properties, called faithfulness and thinness, are completely determined by their associated poset, which is often an abstract polytope. We show that all faithful thin maniplexes of rank three are polytopal. So far only one example, of rank four, of a thin maniplex that is not polytopal was known. We construct the first infinite family of maniplexes that are faithful and thin but are non-polytopal for all ranks greater than three.
Edge Universality of Random Regular Graphs of Growing Degrees
We consider the statistics of extreme eigenvalues of random $d$-regular graphs, with $N^{\mathfrak c}\leq d\leq N^{1/3-{\mathfrak c}}$ for arbitrarily small ${\mathfrak c}>0$. We prove that in this regime, the fluctuations of extreme eigenvalues are given by the Tracy-Widom distribution. As a consequence, about 69% of $d$-regular graphs have all nontrivial eigenvalues bounded in absolute value by $2\sqrt{d-1}$.
On reversing arcs to improve arc-connectivity
Published
• View Publication
• BIB
We show that if the arc-connectivity of a directed graph $D$ is at most $\lfloor\frac{k+1}{2}\rfloor$ and the reorientation of an arc set $F$ in $D$ results in a $k$-arc-connected directed graph then we can reorient one arc of $F$ without decreasing the arc-connectivity of $D.$ This improves a result of Fukuda, Prodon, Sakuma and one of Ito et al. for $k\in\{2,3\}$.
Group vertex-arboricity of group-labelled graphs
Published
• View Publication
• BIB
We introduce the vertex-arboricity of group-labelled graphs. For an abelian group $Γ$, a $Γ$-labelled graph is a graph whose edges are labelled by elements of $Γ$. For an abelian group $Γ$ and $A\subseteq Γ$, the $(Γ, A)$-vertex-arboricity of a $Γ$-labelled graph is the minimum integer $k$ such that its vertex set can be partitioned into $k$ parts where each part induces a subgraph having no cycle of value in $A$.
We prove that for every positive integer $ω$, there is a function $f_ω:\mathbb{N}\times\mathbb{N}\to \mathbb{R}$ such that if $|Γ\setminus A|\le ω$, then every $Γ$-labelled graph with $(Γ, A)$-vertex-arboricity at least $f_ω(t,d)$ contains a subdivision of $K_t$ where all branching paths are of value in $A$ and of length at least $d$. This extends a well-known result that every graph of sufficiently large chromatic number contains a subdivision of $K_t$, in various directions.