graph
35299 papers tagged with this keyword
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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]$.
Strong Brandt-Thomassé Theorems
Solving a long standing conjecture of Erdős and Simonovits, Brandt and Thomassé proved that the chromatic number of each triangle-free graph $G$ such that $δ(G)>|V(G)|/3$ is at most four. In fact, they showed the much stronger result that every maximal triangle-free graph $G$ satisfying this minimum degree condition is a blow-up of either an Andrásfai or a Vega graph.
Here we establish the same structural conclusion on $G$ under the weaker assumption that for $m\in\{2, 3, 4\}$ every sequence of $3m$ vertices has a subsequence of length $m+1$ with a common neighbour. In forthcoming work this will be used to solve an old problem of Andrásfai in Ramsey-Turán theory.
Graphs of Reduced Words and Some Connections
Published
• View Publication
• BIB
The family of graphs of reduced words of a certain subcollection of permutations in the union $\cup_{n\geq 4}\frak{S}_{n}$ of symmetic groups is investigated. The subcollection is characterised by the hook cycle type $(n-2,1,1)$ with consecutive fixed points. A closed formula for counting the vertices of each member of the family is given and the vertex-degree polynomials for the graphs with their generating series is realised. Lastly, some isomorphisms of these graphs with various combinatorial objects are established.
Eigenvalues of the Hodge Laplacian on digraphs
Published in Communications in Analysis and Geometry, Vol. 33, Issue 4 (2025), pp. 981-1023
• View Publication
• BIB
This paper aims to compute and estimate the eigenvalues of the Hodge Laplacians on directed graphs. We have devised a new method for computing Hodge spectra with the following two ingredients.
(I) We have observed that the product rule does work for the so-called normalized Hodge operator, denoted by $Δ_{p}^{(a)},$ where $a$ refers to the weight that is used to redefine the inner product in the spaces $Ω_{p}$. This together with the Künneth formula for product allows us to compute inductively the spectra of all normalized Hodge operators $Δ_{p}^{(a)}$ on Cartesian powers including $n$-cubes and $n$-tori.
(II) We relate in a certain way the spectra of $Δ_{p}$ and $Δ_{p}^{(a)}$ to those of operators $\mathcal{L}_{p}=\partial ^{\ast }\partial$ also acting on $Ω_{p}$. Knowing the spectra of $Δ_{p}^{(a)}$ for all values of $p$, we compute the spectra of $\mathcal{L}_{p} $ and then the spectra of $Δ_{p}.$ This program yields the spectra of all operators $Δ_{p}$ on all $n$-cubes and $n$-tori.
On the local resilience of random geometric graphs with respect to connectivity and long cycles
Given an increasing graph property $\mathcal{P}$, a graph $G$ is $α$-resilient with respect to $\mathcal{P}$ if, for every spanning subgraph $H\subseteq G$ where each vertex keeps more than a $(1-α)$-proportion of its neighbours, $H$ has property $\mathcal{P}$. We study the above notion of local resilience with $G$ being a random geometric graph $G_d(n,r)$ obtained by embedding $n$ vertices independently and uniformly at random in $[0,1]^d$, and connecting two vertices by an edge if the distance between them is at most $r$.
First, we focus on connectivity. We show that, for every $\varepsilon>0$, for $r$ a constant factor above the sharp threshold for connectivity $r_c$ of $G_d(n,r)$, the random geometric graph is $(1/2-\varepsilon)$-resilient for the property of being $k$-connected, with $k$ of the same order as the expected degree. However, contrary to binomial random graphs, for sufficiently small $\varepsilon>0$, connectivity is not born $(1/2-\varepsilon)$-resilient in $2$-dimensional random geometric graphs.
Second, we study local resilience with respect to the property of containing long cycles. We show that, for $r$ a constant factor above $r_c$, $G_d(n,r)$ is $(1/2-\varepsilon)$-resilient with respect to containing cycles of all lengths between constant and $2n/3$. Proving $(1/2-\varepsilon)$-resilience for Hamiltonicity remains elusive with our techniques. Nevertheless, we show that $G_d(n,r)$ is $α$-resilient with respect to Hamiltonicity for a fixed constant $α= α(d)<1/2$.
$B_{n-1}$-orbits on the flag variety and the Bruhat graph of the symmetric group
Published
• View Publication
• BIB
Let $G=G_{n}=GL(n)$ be the $n\times n$ complex general linear group and embed $G_{n-1}=GL(n-1)$ in the top left hand corner of $G$. The standard Borel subgroup of upper triangular matrices $B_{n-1}$ of $G_{n-1}$ acts on the flag variety of $G$ with finitely many orbits. In this paper, we show that each $B_{n-1}$-orbit is the intersection of orbits of two Borel subgroups of $G$ acting on the flag variety of $G$. This allows us to give a new combinatorial description of the $B_{n-1}$-orbits by associating to each orbit a pair of Weyl group elements. The closure relations for the $B_{n-1}$-orbits can then be understood in terms of the Bruhat order on the Weyl group, and the Richardson-Springer monoid action on the orbits can be understood in terms of the classical monoid action of the Weyl group on itself. This approach makes the closure relation more transparent than in earlier work of Magyar and the monoid action significantly more computable than in our earlier papers, and also allows us to obtain new information about the orbits including a simple formula for the dimension of an orbit.
On Graph Odd Edge-Colorings and Odd Edge-Coverings
An odd $k$-edge-coloring of a graph $G$ is a (not necessarily proper) edge-coloring with at most $k$ colors such that each non-empty color class induces a graph in which every vertex is of odd degree; similarly, if more than one color per edge is allowed, we speak of an odd $k$-edge-covering of $G$. In this paper, we fully resolve two major conjectures on odd edge-colorings and odd edge-coverings of graphs, proposed by Petru{š}evski and {Š}krekovski ({\it European Journal of Combinatorics,} 91:103225, 2021). The first conjecture states that, apart from two particular exceptions which are respectively odd $5$- and odd-$6$-edge-colorable, for any other loopless and connected graph $G$ there exists an edge $e$ such that $G\backslash \{e\}$ is odd $3$-edge-colorable. The second conjecture states that any simple graph $G$ admits an odd $3$-edge-covering in which at most one edge receives more than one color. In addition, we strongly confirm the second conjecture by demonstrating that there exists an odd $3$-edge-covering in which at most one edge receives two colors and the rest of the edges receive unique colors.
A comprehensive generalization of the Friendship Paradox to weights and attributes
Published in Sci Rep 14, 13730 (2024)
• View Publication
• BIB
The Friendship Paradox is a simple and powerful statement about node degrees in a graph (Feld 1991). However, it only applies to undirected graphs with no edge weights, and the only node characteristic it concerns is degree. Since many social networks are more complex than that, it is useful to generalize this phenomenon, if possible, and a number of papers have proposed different generalizations. Here, we unify these generalizations in a common framework, retaining the focus on undirected graphs and allowing for weighted edges and for numeric node attributes other than degree to be considered, since this extension allows for a clean characterization and links to the original concepts most naturally. While the original Friendship Paradox and the Weighted Friendship Paradox hold for all graphs, considering non-degree attributes actually makes the extensions fail around 50% of the time, given random attribute assignment. We provide simple correlation-based rules to see whether an attribute-based version of the paradox holds. In addition to theory, our simulation and data results show how all the concepts can be applied to synthetic and real networks. Where applicable, we draw connections to prior work to make this an accessible and comprehensive paper that lets one understand the math behind the Friendship Paradox and its basic extensions.