graph
34516 papers tagged with this keyword
Expanders and growth of normal subsets in finite simple groups of Lie type
We show that some classical results on expander graphs imply growth results on normal subsets in finite simple groups. As one application, it is shown that given a nontrivial normal subset $ A $ of a finite simple group $ G $ of Lie type of bounded rank, we either have $ G \setminus \{ 1 \} \subseteq A^2 $ or $ |A^2| \geq |A|^{1+ε} $, for $ ε> 0 $. This improves a result of Gill, Pyber, Short and Szabó, and partially resolves a question of Pyber from the Kourovka notebook. We also propose a variant of Gowers' trick for two subsets, and give applications to products of large subsets in groups of Lie type, improving some results of Larsen, Shalev and Tiep.
Parameterized Shortest Path Reconfiguration
An st-shortest path, or st-path for short, in a graph G is a shortest (induced) path from s to t in G. Two st-paths are said to be adjacent if they differ on exactly one vertex. A reconfiguration sequence between two st-paths P and Q is a sequence of adjacent st-paths starting from P and ending at Q. Deciding whether there exists a reconfiguration sequence between two given $st$-paths is known to be PSPACE-complete, even on restricted classes of graphs such as graphs of bounded bandwidth (hence pathwidth). On the positive side, and rather surprisingly, the problem is polynomial-time solvable on planar graphs. In this paper, we study the parameterized complexity of the Shortest Path Reconfiguration (SPR) problem. We show that SPR is W[1]-hard parameterized by k + \ell, even when restricted to graphs of bounded (constant) degeneracy; here k denotes the number of edges on an st-path, and \ell denotes the length of a reconfiguration sequence from P to Q. We complement our hardness result by establishing the fixed-parameter tractability of SPR parameterized by \ell and restricted to nowhere-dense classes of graphs. Additionally, we establish fixed-parameter tractability of SPR when parameterized by the treedepth, by the cluster-deletion number, or by the modular-width of the input graph.
Circuit-partition of infinite matroids
Komjáth, Milner, and Polat investigated when a finitary matroid admits a partition into circuits. They defined the class of ``finite matching extendable'' matroids and showed in their compactness theorem that those matroids always admit such a partition. Their proof is based on Shelah's singular compactness technique and a careful analysis of certain $\triangle$-systems.
We provide a short, simple proof of their theorem. Then we show that a finitary binary oriented matroid can be partitioned into directed circuits if and only if, in every cocircuit, the cardinality of the negative and positive edges is the same. This generalizes an earlier conjecture of Thomassen, settled affirmatively by the second author, about partitioning the edges of an infinite directed graph into directed cycles. As side results, a Laviolette theorem for finitary matroids and a Farkas lemma for finitary binary oriented matroids are proven. An example is given to show that, in contrast to finite oriented matroids, `binary' is essential in the latter result.
The isoperimetric peak of complete trees
We give exact values and bounds on the isoperimetric peak of complete trees, improving on known results. For the complete $q$-ary tree of depth $d$, if $q\ge 5$, then we find that the isoperimetric peak equals $d$, completing an open problem. In the case that $q$ is 3 or 4, we determine the value up to three values, and in the case $q=2$, up to a logarithmic additive factor. Our proofs use novel compression techniques, including left, down, and aeolian compressions. We apply our results to show that the vertex separation number and the isoperimetric peak of a graph may be arbitrarily far apart as a function of the order of the graph and give new bounds on the pathwidth and pursuit-evasion parameters on complete trees.
Randomized Greedy Online Edge Coloring Succeeds for Dense and Randomly-Ordered Graphs
Vizing's theorem states that any graph of maximum degree $Δ$ can be properly edge colored with at most $Δ+1$ colors. In the online setting, it has been a matter of interest to find an algorithm that can properly edge color any graph on $n$ vertices with maximum degree $Δ= ω(\log n)$ using at most $(1+o(1))Δ$ colors. Here we study the naïve random greedy algorithm, which simply chooses a legal color uniformly at random for each edge upon arrival. We show that this algorithm can $(1+ε)Δ$-color the graph for arbitrary $ε$ in two contexts: first, if the edges arrive in a uniformly random order, and second, if the edges arrive in an adversarial order but the graph is sufficiently dense, i.e., $n = O(Δ)$. Prior to this work, the random greedy algorithm was only known to succeed in trees.
Our second result is applicable even when the adversary is adaptive, and therefore implies the existence of a deterministic edge coloring algorithm which $(1+ε)Δ$ edge colors a dense graph. Prior to this, the best known deterministic algorithm for this problem was the simple greedy algorithm which utilized $2Δ-1$ colors.
On the Relation between Graph Ricci Curvature and Community Structure
The connection between curvature and topology is a very well-studied theme in the subject of differential geometry. By suitably defining curvature on networks, the study of this theme has been extended into the domain of network analysis as well. In particular, this has led to curvature-based community detection algorithms. In this paper, we reveal the relation between community structure of a network and the curvature of its edges. In particular, we give apriori bounds on the curvature of intercommunity edges of a graph.
Tree independence number III. Thetas, prisms and stars
We prove that for every $t\in \mathbb{N}$, there exists $τ=τ(t)\in \mathbb{N}$ such that every (theta, prism, $K_{1,t}$)-free graph has tree independence number at most $τ$ (where we allow "prisms" to have one path of length zero).
Arithmetical Structures on Coconut Trees
If G is a finite connected graph, then an arithmetical structure on $G$ is a pair of vectors $(\mathbf{d}, \mathbf{r})$ with positive integer entries such that $(\diag(\mathbf{d}) - A)\cdot \mathbf{r} = \mathbf{0}$, where $A$ is the adjacency matrix of $G$ and the entries of $\mathbf{r}$ have no common factor other than $1$. In this paper, we generalize the result of Archer, Bishop, Diaz-Lopez, García Puente, Glass, and Louwsma on enumerating arithmetical structures on bidents (also called coconut tree graphs $\CT{p}{2}$) to all coconut tree graphs $\CT{p}{s}$ which consists of a path on $p>0$ vertices to which we append $s>0$ leaves to the right most vertex on the path. We also give a characterization of smooth arithmetical structures on coconut trees when given number assignments to the leaf nodes.
Some Bounds on the Energy of Graphs with Self-Loops regarding $λ_{1}$ and $λ_{n}$
Let $G_{S}$ be a graph with $n$ vertices obtained from a simple graph $G$ by attaching one self-loop at each vertex in $S \subseteq V(G)$. The energy of $G_{S}$ is defined by Gutman et al. as $E(G_{S})=\sum_{i=1}^{n}\left| λ_{i} -\fracσ{n} \right|$, where $λ_{1},\dots,λ_{n}$ are the adjacency eigenvalues of $G_{S}$ and $σ$ is the number of self-loops of $G_{S}$. In this paper, several upper and lower bounds of $E(G_{S})$ regarding $λ_{1}$ and $λ_{n}$ are obtained. Especially, the upper bound $E(G_{S}) \leq \sqrt{n\left(2m+σ-\frac{σ^{2}}{n}\right)}$ $(\ast)$ given by Gutman et al. is improved to the following bound
\begin{align*}
E(G_{S})\leq \sqrt{n\left(2m+σ-\frac{σ^{2}}{n}\right)-\frac{n}{2}\left(\left |λ_{1}-\fracσ{n}\right |-\left |λ_{n}-\fracσ{n}\right |\right)^{2}},
\end{align*} where $\left| λ_{1}-\fracσ{n}\right| \geq \dots \geq \left| λ_{n}-\fracσ{n}\right|$. Moreover, all graphs are characterized when the equality holds in Gutmans' bound $(\ast)$ by using this new bound.
The number of quasi-trees of bouquets with exactly one non-orientable loop
Recently, Merino extended the classical relation between the $2n$-th Fibonacci number and the number of spanning trees of the $n$-fan graph to ribbon graphs, and established a relation between the $n$-associated Mersenne number and the number of quasi-trees of the $n$-wheel ribbon graph. Moreover, Merino posed a problem of finding the Lucas numbers as the number of spanning quasi-trees of a family of ribbon graphs. In this paper, we solve the problem and give the Matrix-Quasi-tree Theorem for a bouquet with exactly one non-orientable loop. Furthermore, this theorem is used to verify that the number of quasi-trees of some classes of bouquets is closely related to the Fibonacci and Lucas numbers. We also give alternative proofs of the number of quasi-trees of these bouquets by using the deletion-contraction relations of ribbon graphs.
Independent [k]-Roman Domination on Graphs
Given a function $f\colon V(G) \to \mathbb{Z}_{\geq 0}$ on a graph $G$, $AN(v)$ denotes the set of neighbors of $v \in V(G)$ that have positive labels under $f$. In 2021, Ahangar et al.~introduced the notion of $[k]$-Roman Dominating Function ([$k$]-RDF) of a graph $G$, which is a function $f\colon V(G) \to \{0,1,\ldots,k+1\}$ such that $\sum_{u \in N[v]}f(u) \geq k + |AN(v)|$ for all $v \in V(G)$ with $f(v)<k$. The weight of $f$ is $\sum_{v \in V(G)}f(v)$. The $[k]$-Roman domination number, denoted by $γ_{[kR]}(G)$, is the minimum weight of a $[k]$-RDF of $G$. The notion of [$k$]-RDF for $k=1$ has been extensively investigated in the scientific literature since 2004, when introduced by Cockayne et al. as Roman Domination. An independent [$k$]-Roman dominating function ([$k$]-IRDF) $f\colon V(G) \to \{0,1,\ldots,k+1\}$ of a graph $G$ is a [$k$]-RDF of $G$ such that the set of vertices with positive labels is an independent set. The independent [$k$]-Roman domination number of $G$ is the minimum weight of a [$k$]-IRDF of $G$ and is denoted by $i_{[kR]}(G)$. In this paper, we propose the study of independent [$k$]-Roman domination on graphs for arbitrary $k \geq 1$. We prove that, for all $k\geq 3$, the decision problems associated with $i_{[kR]}(G)$ and $γ_{[kR]}(G)$ are NP-complete for planar bipartite graphs with maximum degree 3. We also present lower and upper bounds for $i_{[kR]}(G)$. Moreover, we present lower and upper bounds for the parameter $i_{[kR]}(G)$ for two families of 3-regular graphs called generalized Blanuša snarks and Loupekine snarks.
The Lamplighter groups have infinite weak cop number
The weak-cop number of a graph, a variation of the cop number, is an invariant suitable for infinite graphs and is a quasi-isometric invariant. While for any $m\in\mathbb{Z}_+\cup\{\infty\}$ there exist locally finite infinite graphs with weak-cop number $m$, it is an open question whether there exists locally finite vertex transitive graphs whose weak-cop number is different than $1$ and $\infty$. We test this question on Cayley graphs of wreath products, these are objects known for their exotic geometries. We prove that Cayley graphs of wreath products of nontrivial groups by infinite groups have infinite weak-cop number. The result is proved by defining a new pursuit and evasion game and proving the existence of strategies for the evader. We also include a short argument that Cayley graphs of Thompson's group $F$ have infinite weak cop number.
Threshold numbers of some graphs
A graph $G=(V,E)$ is called a \emph{$k$-threshold graph} with \emph{thresholds} $θ_1<θ_2<...<θ_k$ if we can assign a real number $r(v)$ to each vertex $v\in V$, such that for any $u,v\in V$, we have $uv\in E$ if and only if $r(u)+r(v)\ge θ_i$ holds true for an odd number of elements in $\{θ_1,θ_2,...,θ_k\}$. The smallest integer $k$ such that $G$ is a $k$-threshold graph is called the \emph{threshold number} of $G$. For the complete multipartite graphs and the cluster graphs, Kittipassorn and Sumalroj determined the exact threshold numbers of $K_{n\times 3}$ and $nK_3$. In this paper, first we determine the threshold numbers of some path-related graphs, including linear forests, ladders, and tents. Then, on the basis of Kittipassorn and Sumalroj's results, we determine the exact threshold numbers of $K_{n_1\times 1, n_2\times 2, n_3\times 3}$ and $n_1 K_1\cup n_2 K_2\cup n_3 K_3$, which solve a problem proposed by Sumalroj.
The connection between the chromatic numbers of a hypergraph and its $1$-intersection graph
A well known problem from an excellent book of Lovász states that any hypergraph with the property that no pair of hyperedges intersect in exactly one vertex can be properly 2-colored. Motivated by this as well as recent works of Keszegh and of Gyárfás et al we study the $1$-intersection graph of a hypergraph. The $1$-intersection graph encodes those pairs of hyperedges in a hypergraph that intersect in exactly one vertex. We prove for $k\in\{2,4\}$ that all hypergraphs whose $1$-intersection graph is $k$-partite can be properly $k$-colored.
Colouring negative exact-distance graphs of signed graphs
The $k$-th exact-distance graph, of a graph $G$ has $V(G)$ as its vertex set, and $xy$ as an edge if and only if the distance between $x$ and $y$ is (exactly) $k$ in $G$. We consider two possible extensions of this notion for signed graphs. Finding the chromatic number of a negative exact-distance square of a signed graph is a weakening of the problem of finding the smallest target graph to which the signed graph has a sign-preserving homomorphism. We study the chromatic number of negative exact-distance graphs of signed graphs that are planar, and also the relation of these chromatic numbers with the generalised colouring numbers of the underlying graphs. Our results are related to a theorem of Alon and Marshall about homomorphisms of signed graphs.
Signed projective cubes, a homomorphism point of view
The (signed) projective cubes, as a special class of graphs closely related to the hypercubes, are on the crossroad of geometry, algebra, discrete mathematics and linear algebra. Defined as Cayley graphs on binary groups, they represent basic linear dependencies. Capturing the four-color theorem as a homomorphism target they show how mapping of discrete objects, namely graphs, may relate to special mappings of plane to projective spaces of higher dimensions. In this work, viewed as a signed graph, first we present a number of equivalent definitions each of which leads to a different development. In particular, the new notion of common product of signed graphs is introduced which captures both Cartesian and tensor products of graphs. We then have a look at some of their homomorphism properties. We first introduce an inverse technique for the basic no-homomorphism lemma, using which we show that every signed projective cube is of circular chromatic number 4. Then observing that the 4-color theorem is about mapping planar graphs into signed projective cube of dimension 2, we study some conjectures in extension of 4CT. Toward a better understanding of these conjectures we present the notion of extended double cover as a key operation in formulating the conjectures. With a deeper look into connection between some of these graphs and algebraic geometry, we discover that projective cube of dimension 4, widely known as the Clebsh graph, but also known as Greenwood-Gleason graph, is the intersection graph of the 16 straight lines of an algebraic surface known as Segre surface, which is a Del Pezzo surface of degree 4. We note that an algebraic surface known as the Clebsch surface is one of the most symmetric presentations of a cubic surface. Recall that each smooth cubic surface contains 27 lines. Hence, from hereafter, we believe, a proper name for this graph should be Segre graph.
Asymptotically Optimal Threshold Bias for the $(a : b)$ Maker-Breaker Minimum Degree, Connectivity and Hamiltonicity Games
We study the $(a:b)$ Maker-Breaker subgraph game played on the edges of the complete graph $K_n$ on $n$ vertices, $n,a,b \in \mathbb{N}$ where the goal of Maker is to build a copy of a specific fixed subgraph $H$. In our work this is a spanning graph with minimum degree $k=k(n)$, a connected spanning subgraph or a Hamiltonian subgraph. In the $(a:b)$ game in each round Maker chooses $a$ unclaimed edges of $K_n$ and Breaker chooses $b$ unclaimed edges. Maker wins, if he succeeds to build a copy of the subgraph under consideration, otherwise Breaker wins. For the $k$-minimum-degree, we present a winning strategy for Maker leading to a bound that generalizes a bound of Gebauer and Szab{ó} for the $(1:b)$ case. Moreover, we give an explicit strategy for Breaker for $b >(1+o(1)) \frac{an}{a+\ln(n)}$ in case of $a=o\left(\sqrt{\frac{n}{\ln(n)}}\right)$ and $k=o(\ln(n))$. Note that this bound is the same as the Maker bound presented by Hefetz et al. (2012) for the $(a:b)$ connectivity game, which implies that the asymptotic optimal bias for this game is $\frac{an}{a+\ln(n)}$. This resolves the open problem stated by these authors. We also study the $(a:b)$ Hamiltonicity game in which Maker's goal is to create a Hamiltonian subgraph. For the $(1:b)$ variant Krivelevich proved that $\left(1+o(1) \right)\frac{n}{\ln n}$ is the exact threshold bias. Controlling Breaker's vertex degree in the $(a:b)$ Maker-Breaker minimum degree game enables us to the asymptotic optimal generalized threshold bias for the $(a:b)$-game, both for $a=o\left(\sqrt{\frac{n}{\ln n}} \right)$ and $a=Ω\left(\sqrt{\frac{n}{\ln n}} \right)$.
Perturbation-Resilient Trades for Dynamic Service Balancing
A combinatorial trade is a pair of sets of blocks of elements that can be exchanged while preserving relevant subset intersection constraints. The class of balanced and swap-robust minimal trades was proposed in [1] for exchanging blocks of data chunks stored on distributed storage systems in an access- and load-balanced manner. More precisely, data chunks in the trades of interest are labeled by popularity ranks and the blocks are required to have both balanced overall popularity and stability properties with respect to swaps in chunk popularities. The original construction of such trades relied on computer search and paired balanced sets obtained through iterative combining of smaller sets that have provable stability guarantees. To reduce the substantial gap between the results of prior approaches and the known theoretical lower bound, we present new analytical upper and lower bounds on the minimal disbalance of blocks introduced by limited-magnitude popularity ranking swaps. Our constructive and near-optimal approach relies on pairs of graphs whose vertices are two balanced sets with edges/arcs that capture the balance and potential balance changes induced by limited-magnitude popularity swaps. In particular, we show that if we start with carefully selected balanced trades and limit the magnitude of rank swaps to one, the new upper and lower bound on the maximum block disbalance caused by a swap only differ by a factor of $1.07$. We also extend these results for larger popularity swap magnitudes.
Cayley graphs on $p$-solvable groups generated by $p$-singular elements
For a graph $Γ$, the multiplicity of the eigenvalue $0$, denoted by $η(Γ)$, is called the nullity of $Γ$.
Also the energy of $Γ$, denoted by $\mathcal{E}(Γ)$, is defined as the sum of the absolute values of the eigenvalues of $Γ$. The index of a subgroup $H$ in a group $G$ is denoted by $[G:H]$.
For a prime $p$, let $G$ be a finite $p$-solvable group whose order is divisible by $p$. Also let $Ω_p(G)$ be the set of all $p$-singular elements of $G$.
In this paper, we apply block theory of finite groups to show that the Cayley graph $Γ_p(G):=\mathrm{Cay}(G,Ω_p(G))$ is an integral graph with $η(Γ_p(G))=|G|-[G:O_{p^\prime}(G)]$, where $O_{p^\prime}(G)$ is the largest normal subgroup of $G$ whose order is co-prime to $p$.
We also find a lower bound for $\mathcal{E}(Γ_p(G))$.
Finally, we prove that the diameter of $Γ_p(G)$ is at most $ |G|_p$.
The universal ${\mathfrak gl}$-weight system and the chromatic polynomial
In a recent paper Zhuoke Yang, New approaches to ${\mathfrak gl}(N)$ weight system, Izvestiya Mathematics, 2023, vol. 77:6, 150--166; arXiv:2202.12225 (2022) a construction of a weight system, which unifies ${\mathfrak gl}(N)$ weight systems for $N=1,2,\dots$, has been suggested. The construction is based on an extension of the ${\mathfrak gl}(N)$ weight systems to permutations. This universal weight system takes values in the algebra of polynomials ${\mathbb C}[N;C_1,C_2,\dots]$ in infinitely many variables. We show that under the substitution $C_m=xN^{m-1}$, $m=1,2,\dots$, the leading term in $N$ of the value of the universal ${\mathfrak gl}$ weight system becomes the chromatic polynomial of the intersection graph of the chord diagram. Moreover, we show that under the substition $C_m=p_m N^{m-1}$, $m=1,2,\dots$, the leading term in $N$ of the value of the universal ${\mathfrak gl}$ weight system determines a flitered Hopf algebra homomorphism from the rotational Hopf algebra of permutations, which we construct in the present paper, to the Hopf algebra of polynomials ${\mathbb C}[p_1,p_2,\dots]$.