graph
35299 papers tagged with this keyword
Reconstruction of graph colourings
A $k$-deck of a (coloured) graph is a multiset of its induced $k$-vertex subgraphs. Given a graph $G$, when is it possible to reconstruct with high probability a uniformly random colouring of its vertices in $r$ colours from its $k$-deck? In this paper, we study this question for grids and random graphs. Reconstruction of random colourings of $d$-dimensional $n$-grids from the deck of their $k$-subgrids is one of the most studied colour reconstruction questions. The 1-dimensional case is motivated by the problem of reconstructing DNA sequences from their `shotgunned' stretches. It was comprehensively studied and the above reconstruction question was completely answered in the '90s. In this paper, we get a very precise answer for higher $d$. For every $d\geq 2$ and every $r\geq 2$, we present an almost linear algorithm that reconstructs with high probability a random $r$-colouring of vertices of a $d$-dimensional $n$-grid from the deck of all its $k$-subgrids for every $k\geq(d\log_r n)^{1/d}+1/d+\varepsilon$ and prove that the random $r$-colouring is not reconstructible with high probability if $k\leq (d\log_r n)^{1/d}-\varepsilon$. This answers the question of Narayanan and Yap (that was asked for $d\geq 3$) on "two-point concentration" of the minimum $k$ so that $k$-subgrids determine the entire colouring. Next, we prove that with high probability a uniformly random $r$-colouring of vertices of a uniformly random graph $G(n,1/2)$ is reconstructible from its full $k$-deck if $k\geq 2\log_2 n+8$ and is not reconstructible with high probability if $k\leq\sqrt{2\log_2 n}$. We further show that the colour reconstruction algorithm for random graphs can be modified and used for graph reconstruction: we prove that with high probability $G(n,1/2)$ is reconstructible from its full $k$-deck if $k\geq 2\log_2 n+11$ while it is not reconstructible with high probability if $k\leq 2\sqrt{\log_2 n}$.
Inequalities Connecting the Annihilation and Independence Numbers
Given a graph $G$, the number of its vertices is represented by $n(G)$, while the number of its edges is denoted as $m(G)$.
An independent set in a graph is a set of vertices where no two vertices are adjacent to each other and the size of the maximum independent set is denoted by $α(G)$. A matching in a graph refers to a set of edges where no two edges share a common vertex and the maximum matching size is denoted by $μ(G)$. If $α(G) + μ(G) = n(G)$, then the graph $G$ is called a König-Egerváry graph.
Considering a graph $G$ with a degree sequence $d_1 \leq d_2 \leq \cdots \leq d_n$, the annihilation number $a(G)$ is defined as the largest integer $k$ such that the sum of the first $k$ degrees in the sequence is less than or equal to $m(G)$ (Pepper, 2004).
It is a known fact that $α(G)$ is less than or equal to $a(G)$ for any graph $G$. Our goal is to estimate the difference between these two parameters. Specifically, we prove a series of inequalities, including
$a(G) - α(G) \leq \frac{μ(G) - 1}{2}$ for trees, $a(G) - α(G) \leq 2 + μ(G) - 2\sqrt{1 + μ(G)}$ for bipartite graphs and $a(G) - α(G) \leq μ(G) - 2$ for König-Egerváry graphs. Furthermore, we demonstrate that these inequalities serve as tight upper bounds for the difference between the annihilation and independence numbers, regardless of the assigned value for $μ(G)$.
Identifiability of Homoscedastic Linear Structural Equation Models using Algebraic Matroids
Published
• View Publication
• BIB
We consider structural equation models (SEMs), in which every variable is a function of a subset of the other variables and a stochastic error. Each such SEM is naturally associated with a directed graph describing the relationships between variables. When the errors are homoscedastic, recent work has proposed methods for inferring the graph from observational data under the assumption that the graph is acyclic (i.e., the SEM is recursive). In this work, we study the setting of homoscedastic errors but allow the graph to be cyclic (i.e., the SEM to be non-recursive). Using an algebraic approach that compares matroids derived from the parameterizations of the models, we derive sufficient conditions for when two simple directed graphs generate different distributions generically. Based on these conditions, we exhibit subclasses of graphs that allow for directed cycles, yet are generically identifiable. We also conjecture a strengthening of our graphical criterion which can be used to distinguish many more non-complete graphs.
Square Coloring of Planar Graphs with Maximum Degree at Most Five
Published
• View Publication
• BIB
The \textit{square} of a graph $G$, denoted by $G^2$, is obtained from $G$ by adding an edge to connect every pair of vertices with a common neighbor in $G$. In this paper we prove that for every planar graph $G$ with maximum degree at most $5$, $G^2$ admits a proper vertex coloring using at most $17$ colors, which improves the upper bound $18$ recently obtained by Hou, Jin, Miao, and Zhao.
Meeting, coalescence and consensus time on random directed graphs
Published
• View Publication
• BIB
We consider Markovian dynamics on a typical realization of the so-called Directed Configuration Model (DCM), that is, a random directed graph with prescribed in- and out-degrees. In this random geometry, we study the meeting time of two random walks on a typical realization of the graph starting at stationarity, the coalescence time for a system of coalescent random walks, and the consensus time of the voter model. Indeed, it is known that the latter three quantities are related to each other when the underlying sequence of graphs satisfies certain mean field conditions. Such conditions can be summarized by requiring a fast mixing time of the random walk and some anti-concentration of its stationary distribution: properties that a typical random directed graph is known to have under natural assumptions on the degree sequence. In this paper we show that, for a typical large graph from the DCM ensemble, the distribution of the meeting time is well-approximated by an exponential random variable and we provide the first-order approximation of its expectation, showing that the latter is linear in the size of the graph, and the preconstant depends on some easy statistics of the degree sequence. As a byproduct, we are able to analyze the effect of the degree sequence in changing the meeting, coalescence and consensus time. Our approach follows the classical idea of converting meeting into hitting times of a proper collapsed chain, which we control by the so-called First Visit Time Lemma.
Time-optimal geodesic mutual visibility of robots on grids within minimum area
Published
• View Publication
• BIB
The \textsc{Mutual Visibility} is a well-known problem in the context of mobile robots. For a set of $n$ robots disposed in the Euclidean plane, it asks for moving the robots without collisions so as to achieve a placement ensuring that no three robots are collinear. For robots moving on graphs, we consider the \textsc{Geodesic Mutual Visibility} ($\GMV$) problem. Robots move along the edges of the graph, without collisions, so as to occupy some vertices that guarantee they become pairwise geodesic mutually visible. This means that there is a shortest path (i.e., a "geodesic") between each pair of robots along which no other robots reside. We study this problem in the context of finite and infinite square grids, for robots operating under the standard Look-Compute-Move model. In both scenarios, we provide resolution algorithms along with formal correctness proofs, highlighting the most relevant peculiarities arising within the different contexts, while optimizing the time complexity.
Homological algebra and poset versions of the Garland method
Garland introduced a vanishing criterion for a characteristic zero cohomology group of a locally finite and locally connected simplicial complex. The criterion is based on the spectral gaps of the graph Laplacians of the links of faces and has turned out to be effective in a wide range of examples. In this note we extend the approach to include a range of non-simplicial (co)chain complexes associated to combinatorial structures we call Garland posets and elaborate further on the case of cubical complexes.
Signed double Roman domination on cubic graphs
Published in Applied Mathematics and Computation, Volume 471, 2024, page 128612
• View Publication
• BIB
The signed double Roman domination problem is a combinatorial optimization problem on a graph asking to assign a label from $\{\pm{}1,2,3\}$ to each vertex feasibly, such that the total sum of assigned labels is minimized. Here feasibility is given whenever (i) vertices labeled $\pm{}1$ have at least one neighbor with label in $\{2,3\}$; (ii) each vertex labeled $-1$ has one $3$-labeled neighbor or at least two $2$-labeled neighbors; and (iii) the sum of labels over the closed neighborhood of any vertex is positive. The cumulative weight of an optimal labeling is called signed double Roman domination number (SDRDN). In this work, we first consider the problem on general cubic graphs of order $n$ for which we present a sharp $n/2+Θ(1)$ lower bound for the SDRDN by means of the discharging method. Moreover, we derive a new best upper bound. Observing that we are often able to minimize the SDRDN over the class of cubic graphs of a fixed order, we then study in this context generalized Petersen graphs for independent interest, for which we propose a constraint programming guided proof. We then use these insights to determine the SDRDNs of subcubic $2\times m$ grid graphs, among other results.
Stability of Cayley graphs and Schur rings
Published
• View Publication
• BIB
A graph $Γ$ is said to be unstable if for the direct product $Γ\times K_2$, $Aut(Γ\times K_2)$ is not isomorphic to $Aut(Γ) \times \mathbb{Z}_2$. In this paper we show that a connected and non-bipartite Cayley graph $Cay(H,S)$ is unstable if and only if the set $S \times \{1\}$ belongs to a Schur ring over the group $H \times \mathbb{Z}_2$ having certain properties. The Schur rings with these properties are characterized if $H$ is an abelian group of odd order or a cyclic group of twice odd order. As an application, a short proof is given for the result of Witte Morris stating that every connected unstable Cayley graph on an abelian group of odd order has twins (Electron.~J.~Combin, 2021). As another application, sufficient and necessary conditions are given for a connected and non-bipartite circulant graph of order $2p^e$ to be unstable, where $p$ is an odd prime and $e \ge 1$.
Classifying character degree graphs with seven vertices
We study here the graphs with seven vertices in an effort to classify which of them appear as the prime character degree graphs of finite solvable groups. This classification is complete for the disconnected graphs. Of the 853 non-isomorphic connected graphs, we were able to demonstrate that twenty-two occur as prime character degree graphs. Two are of diameter three, while the remaining are constructed as direct products. Forty-four graphs remain unclassified.
Balanced-chromatic number and Hadwiger-like conjectures
Motivated by different characterizations of planar graphs and the 4-Color Theorem, several structural results concerning graphs of high chromatic number have been obtained. Toward strengthening some of these results, we consider the \emph{balanced chromatic number}, $χ_b(\hat{G})$, of a signed graph $\hat{G}$. This is the minimum number of parts into which the vertices of a signed graph can be partitioned so that none of the parts induces a negative cycle. This extends the notion of the chromatic number of a graph since $χ(G)=χ_b(\tilde{G})$, where $\tilde{G}$ denotes the signed graph obtained from~$G$ by replacing each edge with a pair of (parallel) positive and negative edges. We introduce a signed version of Hadwiger's conjecture as follows.
Conjecture: If a signed graph $\hat{G}$ has no negative loop and no $\tilde{K_t}$-minor, then its balanced chromatic number is at most $t-1$.
We prove that this conjecture is, in fact, equivalent to Hadwiger's conjecture and show its relation to the Odd Hadwiger Conjecture.
Motivated by these results, we also consider the relation between subdivisions and balanced chromatic number. We prove that if $(G, σ)$ has no negative loop and no $\tilde{K_t}$-subdivision, then it admits a balanced $\frac{79}{2}t^2$-coloring. This qualitatively generalizes a result of Kawarabayashi (2013) on totally odd subdivisions.
Decomposing a signed graph into rooted circuits
Published in Advances in Combinatorics 2024:7, 22pp
• View Publication
• BIB
We prove a precise min-max theorem for the following problem. Let $G$ be an Eulerian graph with a specified set of edges $S \subseteq E(G)$, and let $b$ be a vertex of $G$. Then what is the maximum integer $k$ so that the edge-set of $G$ can be partitioned into $k$ non-zero $b$-trails? That is, each trail must begin and end at $b$ and contain an odd number of edges from~$S$. This theorem is motivated by a connection to vertex-minors and yields two conjectures of Máčajová and Škoviera as corollaries.
Directed graphs without rainbow triangles
One of the most fundamental results in graph theory is Mantel's theorem which determines the maximum number of edges in a triangle-free graph of order $n$. Recently a colorful variant of this problem has been solved. In such a variant we consider $c$ graphs on a common vertex set, thinking of each graph as edges in a distinct color, and want to determine the smallest number of edges in each color which guarantees existence of a rainbow triangle. Here, we solve the analogous problem for directed graphs without rainbow triangles, either directed or transitive, for any number of colors. The constructions and proofs essentially differ for $c=3$ and $c \geq 4$ and the type of the forbidden triangle. Additionally, we also solve the analogous problem in the setting of oriented graphs.
An introduction to graph theory
This is a graduate-level introduction to graph theory, corresponding to a quarter-long course. It covers simple graphs, multigraphs as well as their directed analogues, and more restrictive classes such as tournaments, trees and arborescences. Among the features discussed are Eulerian circuits, Hamiltonian cycles, spanning trees, the matrix-tree and BEST theorems, proper colorings, Turan's theorem, bipartite matching and the Menger and Gallai--Milgram theorems. The basics of network flows are introduced in order to prove Hall's marriage theorem.
Around a hundred exercises are included (without solutions).
Fixed point results for set-contractions on dislocated metric space with a directed graph
Published
• View Publication
• BIB
Generalized (rational) graph contractions in the framework of a dislocated metric space endowed with a directed graph are investigated. Fixed point results for set-contractions are obtained. We also provide some examples to illustrate our main results. Moreover, the well-posedness of obtained fixed point results are also shown. Our obtained results extend many results in the existing literature.
Action convergence of general hypergraphs and tensors
Action convergence provides a limit theory for linear bounded operators $A_n:L^{\infty}(Ω_n)\longrightarrow L^1(Ω_n)$ where $Ω_n$ are potentially different probability spaces. This notion of convergence emerged in graph limits theory as it unifies and generalizes many notions of graph limits. We generalize the theory of action convergence to sequences of multi-linear bounded operators $A_n:L^{\infty}(Ω_n)\times \ldots \times L^{\infty}(Ω_n)\longrightarrow L^1(Ω_n)$. Similarly to the linear case, we obtain that for a uniformly bounded (under an appropriate norm) sequence of multi-linear operators, there exists an action convergent subsequence. Additionally, we explain how to associate different types of multi-linear operators to a tensor and we study the different notions of convergence that we obtain for tensors and in particular for adjacency tensors of hypergraphs. We obtain several hypergraphs convergence notions and we link these with the hierarchy of notions of quasirandomness for hypergraph sequences. This convergence also covers sparse and inhomogeneous hypergraph sequences and it preserves many properties of adjacency tensors of hypergraphs. Moreover, we explain how to obtain a meaningful convergence for sequences of non-uniform hypergraphs and, therefore, also for simplicial complexes. Additionally, we highlight many connections with the theory of dense uniform hypergraph limits (hypergraphons) and we conjecture the equivalence of this theory with a modification of multi-linear action convergence.
Lie algebras associated with labeled directed graphs
Published
• View Publication
• BIB
We present a construction of 2-step nilpotent Lie algebras using labeled directed simple graphs, which allows us to give a criterion to detect certain ideals and subalgebras by finding special subgraphs. We prove that if a label occurs only once, then reversing the orientation of that edge leads to an isomorphic Lie algebra. As a consequence, if every edge is labeled differently, the Lie algebra depends only on the underlying undirected graph. In addition, we construct the labeled directed graphs of all 2-step nilpotent Lie algebras of dimension $\leq6$ and we compute the algebra of strata preserving derivations of the Lie algebra associated with the complete bipartite graph $K_{m,n}$ with two different labelings.
Random Walk Labelings of Perfect Trees and Other Graphs
Published
• View Publication
• BIB
A Random walk labeling of a graph $G$ is any labeling of $G$ that could have been obtained by performing a random walk on $G$. Continuing two recent works, we calculate the number of random walk labelings of perfect trees, combs, and double combs, the torus $C_2\times C_n$, and the graph obtained by connecting three path graphs to form two cycles.
A short note on cospectral and integral chain graphs for Seidel matrix
In this brief communication, we investigate the cospectral as well integral chain graphs for Seidel matrix, a key component to study the structural properties of equiangular lines in space. We derive a formula that allows to generate an infinite number of inequivalent chain graphs with identical spectrum. In addition, we obtain a family of Seidel integral chain graphs. This contrapositively answers a problem posed by Greaves ["Equiangular line systems and switching classes containing regular graphs", Linear Algebra Appl., (2018)] ("Does every Seidel matrix with precisely three distinct rational eigenvalues contain a regular graph in its switching class?"). Our observation is- "no".
Some results on 2-distance coloring of planar graphs with girth five
Published in Journal of Combinatorial Optimization, 47(4), 68, 2024
• View Publication
• BIB
A vertex coloring of a graph $G$ is called a 2-distance coloring if any two vertices at a distance at most $2$ from each other receive different colors. Suppose that $G$ is a planar graph with girth $5$ and maximum degree $Δ$. We prove that $G$ admits a $2$-distance $Δ+7$ coloring, which improves the result of Dong and Lin (J. Comb. Optim. 32(2), 645-655, 2016). Moreover, we prove that $G$ admits a $2$-distance $Δ+6$ coloring when $Δ\geq 10$.