graph
34516 papers tagged with this keyword
Chip-firing and critical groups of signed graphs
We study chip-firing on a signed graph $G_φ$, employing a general theory of chip-firing on invertible matrices introduced by Guzmán and Klivans. Here a negative edge designates an adversarial relationship, so that firing a vertex incident to such an edge leads to a loss of chips at both endpoints. The chip-firing rule for $G_φ$ is described by its reduced Laplacian matrix $L_{G_φ}$, which also defines the critical group ${\mathcal K}(G_φ)$. The valid chip configurations are given by the lattice points of a rational cone determined by $G_φ$ and the underlying graph $G$. This gives rise to notions of critical as well as $z$-superstable configurations, both of which are counted by the determinant of $L_{G_φ}$. We establish general results regarding these configurations, focusing on efficient methods of verifying the underlying properties. We then study the critical groups of signed graphs in the context of vertex switching and Smith normal forms. We use this to compute the critical groups of various classes of signed graphs including signed cycles, wheels, complete graphs, and fans, in the process generalizing results of Biggs and others.
Minimizing an Uncrossed Collection of Drawings
Published
• View Publication
• BIB
In this paper, we introduce the following new concept in graph drawing. Our task is to find a small collection of drawings such that they all together satisfy some property that is useful for graph visualization. We propose investigating a property where each edge is not crossed in at least one drawing in the collection. We call such collection uncrossed. This property is motivated by a quintessential problem of the crossing number, where one asks for a drawing where the number of edge crossings is minimum. Indeed, if we are allowed to visualize only one drawing, then the one which minimizes the number of crossings is probably the neatest for the first orientation. However, a collection of drawings where each highlights a different aspect of a graph without any crossings could shed even more light on the graph's structure.
We propose two definitions. First, the uncrossed number, minimizes the number of graph drawings in a collection, satisfying the uncrossed property. Second, the uncrossed crossing number, minimizes the total number of crossings in the collection that satisfy the uncrossed property. For both definitions, we establish initial results. We prove that the uncrossed crossing number is NP-hard, but there is an FPT algorithm parameterized by the solution size.
Maximal Algebraic Connectivity for Paths with Fixed Effective Resistance
We consider the problem on finding the edge weights that maximize the algebraic connectivity of a graph (smallest positive eigenvalue of the Laplacian), subject to the condition that the total effective resistance is kept constant. We propose the conjecture that for every graph the maximum is attained for weights that are invariant under automorphisms. The solution to the problem is given explicitly for the paths $P_3$ y $P_4$, where the conjecture holds.
Partitioning graphs with linear minimum degree
We prove that there exists an absolute constant $C>0$ such that, for any positive integer $k$, every graph $G$ with minimum degree at least $Ck$ admits a vertex-partition $V(G)=S\cup T$, where both $G[S]$ and $G[T]$ have minimum degree at least $k$, and every vertex in $S$ has at least $k$ neighbors in $T$. This confirms a question posted by Kühn and Osthus and is tight up to a constant factor. Our proof combines probabilistic methods with structural arguments based on Ore's Theorem on $f$-factors of bipartite graphs.
On the idempotent graph of a ring
Let $R$ be a ring with unity. The \emph{idempotent graph} $G_{\text{Id}}(R)$ of a ring $R$ is an undirected simple graph whose vertices are the set of all the elements of ring $R$ and two vertices $x$ and $y$ are adjacent if and only if $x+y$ is an idempotent element of $R$. In this paper, we obtain a necessary and sufficient condition on the ring $R$ such that $G_{\text{Id}}(R)$ is planar. We prove that $G_{\text{Id}}(R)$ cannot be an outerplanar graph. Moreover, we classify all the finite non-local commutative rings $R$ such that $G_{\text{Id}}(R)$ is a cograph, split graph and threshold graph, respectively. We conclude that latter two graph classes of $G_{\text{Id}}(R)$ are equivalent if and only if $R \cong \mathbb{Z}_2 \times \mathbb{Z}_2 \times \cdots \times \mathbb{Z}_2$.
Strongly regular graphs decomposable into a divisible design graph and a Hoffman coclique
In 2022, the second author found a prolific construction of strongly regular graphs, which is based on joining a coclique and a divisible design graph with certain parameters. The construction produces strongly regular graphs with the same parameters as the complement of the symplectic graph $\mathsf{Sp}(2d,q)$.
In this paper, we determine the parameters of strongly regular graphs which admit a decomposition into a divisible design graph and a coclique attaining the Hoffman bound. In particular, it is shown that when the least eigenvalue of such a strongly regular graph is a prime power, its parameters coincide with those of the complement of $\mathsf{Sp}(2d,q)$. Furthermore, a generalization of the construction is discussed.
Ramsey numbers of connected 4-clique matchings
In this paper, we determine the exact value of the $2$-edge-coloring Ramsey number of a connected $4$-clique matching $c(nK_4)$, which is a set of connected graphs containing an $nK_4$ is $13n-3$ for any positive integer $n \geq 3$. This is an extension of the result by Roberts (2017), which is proved only for $n\geq 18$. We also show that the result still holds when $n=2$ provided that $R_2(2K_4) \leq 23$.
Chordal matroids arising from generalized parallel connections
Published
• View Publication
• BIB
A graph is chordal if every cycle of length at least four has a chord. In 1961, Dirac characterized chordal graphs as those graphs that can be built from complete graphs by repeated clique-sums. Generalizing this, we consider the class of simple $GF(q)$-representable matroids that can be built from projective geometries over $GF(q)$ by repeated generalized parallel connections across projective geometries. We show that this class of matroids is closed under induced minors. We characterize the class by its forbidden induced minors; the case when $q=2$ is distinctive.
Distance Magic Labeling of Generalised Mycielskian Graphs
In this paper, we have studied the distance magic labelling of Generalised Mycielskian of a few families of graphs.
Outerplane bipartite graphs with isomorphic resonance graphs
Published in Discrete Appl. Math. 343 (2024) 340-349
• View Publication
• BIB
We present novel results related to isomorphic resonance graphs of 2-connected outerplane bipartite graphs. As the main result, we provide a structure characterization for 2-connected outerplane bipartite graphs with isomorphic resonance graphs. Moreover, two additional characterizations are expressed in terms of resonance digraphs and via local structures of inner duals of 2-connected outerplane bipartite graphs, respectively.
A sufficient condition for the existence of fractional $(g,f,n)$-critical covered graphs
In data transmission networks, the availability of data transmission is equivalent to the existence of the fractional factor of the corresponding graph which is generated by the network. Research on the existence of fractional factors under specific network structures can help scientists design and construct networks with high data transmission rates. A graph $G$ is called a fractional $(g,f)$-covered graph if for any $e\in E(G)$, $G$ admits a fractional $(g,f)$-factor covering $e$. A graph $G$ is called a fractional $(g,f,n)$-critical covered graph if after removing any $n$ vertices of $G$, the resulting graph of $G$ is a fractional $(g,f)$-covered graph. In this paper, we verify that if a graph $G$ of order $p$ satisfies $p\geq\frac{(a+b-1)(a+b-2)+(a+d)n+1}{a+d}$, $δ(G)\geq\frac{(b-d-1)p+(a+d)n+a+b+1}{a+b-1}$ and $δ(G)>\frac{(b-d-2)p+2α(G)+(a+d)n+1}{a+b-2}$, then $G$ is a fractional $(g,f,n)$-critical covered graph, where $g,f:V(G)\rightarrow Z^{+}$ be two functions such that $a\leq g(x)\leq f(x)-d\leq b-d$ for all $x\in V(G)$, which is a generalization of Zhou's previous result [S. Zhou, Some new sufficient conditions for graphs to have fractional $k$-factors, International Journal of Computer Mathematics 88(3)(2011)484--490].
On the $α$-index of minimally $k$-(edge-)connected graphs for small $k$
Let $G$ be a graph with adjacency matrix $A(G)$ and let $D(G)$ be the diagonal matrix of vertex degrees of $G$. For any real $α\in [0,1]$, Nikiforov defined the $A_α$-matrix of a graph $G$ as $A_α(G)=αD(G)+(1-α)A(G)$. The largest eigenvalue of $A_α(G)$ is called the $α$-index or the $A_α$-spectral radius of $G$. A graph is minimally $k$-(edge)-connected if it is $k$-(edge)-connected and deleting any arbitrary chosen edge always leaves a graph which is not $k$-(edge)-connected. In this paper, we characterize the minimally 2-edge-connected graphs and minimally 3-connected graph with given order having the maximum $α$-index for $α\in [\frac{1}{2},1)$, respectively.
Logic and computation as combinatorics
The syntactic nature of logic and computation separates them from other fields of mathematics. Nevertheless, syntax has been the only way to adequately capture the dynamics of proofs and programs such as cut-elimination, and the finiteness and the atomicity of syntax are preferable for foundational aims as seen in Hilbert's program. Another issue is that a uniform basis for logic and computation has been missing, and this problem hampers a coherent view on them. For instance, formal proofs in proof theory are far from (ordinary) proofs of the validity of a formula in model theory. Our goal is to solve these fundamental problems by rebuilding central concepts in logic and computation such as formal systems, validity (in such a way that it coincides with the existence of proofs), cut-elimination and computability uniformly in terms of finite graphs based on game semantics. Unlike game semantics, however, we do not rely on anything infinite or extrinsic to the graphs. A key idea that enables our finitary, autonomous approach is the shift from graphs in game semantics to dynamic ones. The resulting combinatorics establishes a single, syntax-free, finitary framework that recasts formal systems admitting proofs with cuts, validity, the finest computational steps of cut-elimination and higher-order computability. This subsumes fully complete semantics of intuitionistic linear logic, which solves a problem open for thirty years, and even extends the full completeness to proofs with cuts. As a byproduct, our dynamic graphs give rise to Hopf algebras, which opens up new applications of algebras to logic and computation.
New Optimal Results on Codes for Location in Graphs
In this paper, we broaden the understanding of the recently introduced concepts of solid-locating-dominating and self-locating-dominating codes in various graphs. In particular, we present the optimal, i.e., smallest possible, codes in the infinite triangular and king grids. Furthermore, we give optimal locating-dominating, self-locating-dominating and solid-locating-dominating codes in the direct product $K_n\times K_m$ of complete graphs. We also present optimal solid-locating-dominating codes for the Hamming graphs $K_q\square K_q\square K_q$ with $q\geq2$.
On the edge-density of the Brownian co-graphon and common ancestors of pairs in the CRT
Bassino et al. (arXiv:1907.08517) have shown that uniform random co-graphs (graphs without induced $P_4$) of size $n$ converge to a certain non-deterministic graphon. The edge-density of this graphon is a random variable $Λ\in [0,1]$ whose first moments have been computed by these authors. The first purpose of this note is to observe that, in fact, these moments can be computed by a simple recurrence relation.
The problem leads us to the following question of independent interest: given $k$ i.i.d. uniform pairs of points $(X_1,Y_1),$ $\dots$, $(X_k,Y_k)$ in the Brownian CRT, what is the size $S_k$ of the set $\{X_i\wedge Y_i, i=1\dots k\}$ formed by their pairwise last common ancestors? We show that ${S_k}\sim c{\sqrt{k}\log k}$ in probability, with $c=(\sqrt{2π})^{-1}$.
The method to establish the recurrence relation is reminiscent of Janson's computation of moments of the Wiener index of (large) random trees. The logarithm factor in the convergence result comes from the estimation of Riemann sums in which summands are weighted by the integer divisor function -- such sums naturally occur in the problem. We have not been able to analyse the asymptotics of moments of $Λ$ directly from the recurrence relation, and in fact our study of $S_k$ is independent from it. Several things remain to be done, in particular we only scratch the question of large deviations of $S_k$, and the precise asymptotics of moments of $Λ$ is left open.
Adaptive Monte Carlo Search for Conjecture Refutation in Graph Theory
Graph theory is an interdisciplinary field of study that has various applications in mathematical modeling and computer science. Research in graph theory depends on the creation of not only theorems but also conjectures. Conjecture-refuting algorithms attempt to refute conjectures by searching for counterexamples to those conjectures, often by maximizing certain score functions on graphs. This study proposes a novel conjecture-refuting algorithm, referred to as the adaptive Monte Carlo search (AMCS) algorithm, obtained by modifying the Monte Carlo tree search algorithm. Evaluated based on its success in finding counterexamples to several graph theory conjectures, AMCS outperforms existing conjecture-refuting algorithms. The algorithm is further utilized to refute six open conjectures, two of which were chemical graph theory conjectures formulated by Liu et al. in 2021 and four of which were formulated by the AutoGraphiX computer system in 2006. Finally, four of the open conjectures are strongly refuted by generalizing the counterexamples obtained by AMCS to produce a family of counterexamples. It is expected that the algorithm can help researchers test graph-theoretic conjectures more effectively.
On coloring parameters of triangle-free planar $(n,m)$-graphs
An $(n,m)$-graph is a graph with $n$ types of arcs and $m$ types of edges. A homomorphism of an $(n,m)$-graph $G$ to another $(n,m)$-graph $H$ is a vertex mapping that preserves the adjacencies along with their types and directions. The order of a smallest (with respect to the number of vertices) such $H$ is the $(n,m)$-chromatic number of $G$.Moreover, an $(n,m)$-relative clique $R$ of an $(n,m)$-graph $G$ is a vertex subset of $G$ for which no two distinct vertices of $R$ get identified under any homomorphism of $G$. The $(n,m)$-relative clique number of $G$, denoted by $ω_{r(n,m)}(G)$, is the maximum $|R|$ such that $R$ is an $(n,m)$-relative clique of $G$. In practice, $(n,m)$-relative cliques are often used for establishing lower bounds of $(n,m)$-chromatic number of graph families.
Generalizing an open problem posed by Sopena [Discrete Mathematics 2016] in his latest survey on oriented coloring, Chakroborty, Das, Nandi, Roy and Sen [Discrete Applied Mathematics 2022] conjectured that $ω_{r(n,m)}(G) \leq 2 (2n+m)^2 + 2$ for any triangle-free planar $(n,m)$-graph $G$ and that this bound is tight for all $(n,m) \neq (0,1)$.In this article, we positively settle this conjecture by improving the previous upper bound of $ω_{r(n,m)}(G) \leq 14 (2n+m)^2 + 2$ to $ω_{r(n,m)}(G) \leq 2 (2n+m)^2 + 2$, and by finding examples of triangle-free planar graphs that achieve this bound. As a consequence of the tightness proof, we also establish a new lower bound of $2 (2n+m)^2 + 2$ for the $(n,m)$-chromatic number for the family of triangle-free planar graphs.
On $(n,m)$-chromatic numbers of graphs having bounded sparsity parameters
An $(n,m)$-graph is characterised by having $n$ types of arcs and $m$ types of edges. A homomorphism of an $(n,m)$-graph $G$ to an $(n,m)$-graph $H$, is a vertex mapping that preserves adjacency, direction, and type. The $(n,m)$-chromatic number of $G$, denoted by $χ_{n,m}(G)$, is the minimum value of $|V(H)|$ such that there exists a homomorphism of $G$ to $H$. The theory of homomorphisms of $(n,m)$-graphs have connections with graph theoretic concepts like harmonious coloring, nowhere-zero flows; with other mathematical topics like binary predicate logic, Coxeter groups; and has application to the Query Evaluation Problem (QEP) in graph database.
In this article, we show that the arboricity of $G$ is bounded by a function of $χ_{n,m}(G)$ but not the other way around. Additionally, we show that the acyclic chromatic number of $G$ is bounded by a function of $χ_{n,m}(G)$, a result already known in the reverse direction. Furthermore, we prove that the $(n,m)$-chromatic number for the family of graphs with a maximum average degree less than $2+ \frac{2}{4(2n+m)-1}$, including the subfamily of planar graphs with girth at least $8(2n+m)$, equals $2(2n+m)+1$. This improves upon previous findings, which proved the $(n,m)$-chromatic number for planar graphs with girth at least $10(2n+m)-4$ is $2(2n+m)+1$.
It is established that the $(n,m)$-chromatic number for the family $\mathcal{T}_2$ of partial $2$-trees is both bounded below and above by quadratic functions of $(2n+m)$, with the lower bound being tight when $(2n+m)=2$. We prove $14 \leq χ_{(0,3)}(\mathcal{T}_2) \leq 15$ and $14 \leq χ_{(1,1)}(\mathcal{T}_2) \leq 21$ which improves both known lower bounds and the former upper bound. Moreover, for the latter upper bound, to the best of our knowledge we provide the first theoretical proof.
Connectivity threshold for superpositions of Bernoulli random graphs
Let $G_1,\dots, G_m$ be independent Bernoulli random subgraphs of the complete graph ${\cal K}_n$ having variable sizes $x_1,\dots, x_m\in [n]$ and densities $q_1,\dots, q_m\in [0,1]$. Letting $n,m\to+\infty$, we study the connectivity threshold for the union $\cup_{i=1}^mG_i$ defined on the vertex set of ${\cal K}_n$. Assuming that the empirical distribution $P_{n,m}$ of the pairs $(x_1,q_1),\dots, (x_m,q_m)$ converges to a probability distribution $P$ we show that the threshold is defined by the mixed moments $κ_n=\iint x(1-(1-q)^{|x-1|})P_{n,m}(dx,dq)$. For $\ln n-\frac{m}{n}κ_n\to-\infty$ we have
$P\{\cup_{i=1}^mG_i$ is connected$\}\to 1$ and for $\ln n-\frac{m}{n}κ_n\to+\infty$ we have
$P\{\cup_{i=1}^mG_i$ is connected$\}\to 0$. Interestingly, this dichotomy only holds if the mixed moment $\iint x(1-(1-q)^{|x-1|})\ln(1+x)P(dx,dq)<\infty$.
Extreme and statistical properties of eigenvalue indices of simple connected graphs
We analyze graphs attaining the extreme values of various spectral indices in the class of all simple connected graphs, as well as in the class of graphs which are not complete multipartite graphs. We also present results on density of spectral gap indices and its nonpersistency with respect to small perturbations of the underlying graph. We show that a small change in the set set of edges may result in a significant change of the spectral index like, e.g., the spectral gap or spectral index. We also present a statistical and numerical analysis of spectral indices of graphs of the order $m\le 10$. We analyze the extreme values for spectral indices for graphs and their small perturbations. Finally, we present the statistical and extreme properties of graphs on $m\le 10$ vertices.