graph
35299 papers tagged with this keyword
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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.
Fitch Graph Completion
Published
• View Publication
• BIB
Horizontal gene transfer is an important contributor to evolution. According to Walter M.\ Fitch, two genes are xenologs if they are separated by at least one HGT. More formally, the directed Fitch graph has a set of genes is its vertices, and directed edges $(x,y)$ for all pairs of genes $x$ and $y$ for which $y$ has been horizontally transferred at least once since it diverged from the last common ancestor of $x$ and $y$. Subgraphs of Fitch graphs can be inferred by comparative sequence analysis. In many cases, however, only partial knowledge about the ``full'' Fitch graph can be obtained. Here, we characterize Fitch-satisfiable graphs that can be extended to a biologically feasible ``full'' Fitch graph and derive a simple polynomial-time recognition algorithm. We then proceed to showing that finding the Fitch graphs with total maximum (confidence) edge-weights is an NP-hard problem.
Temporal Reachability Dominating Sets: contagion in temporal graphs
Published
• View Publication
• BIB
Given a population with dynamic pairwise connections, we ask if the entire population could be (indirectly) infected by a small group of $k$ initially infected individuals. We formalise this problem as the Temporal Reachability Dominating Set (TaRDiS}) problem on temporal graphs. We provide positive and negative parameterized complexity results in four different parameters: the number $k$ of initially infected, the lifetime $τ$ of the graph, the number of locally earliest edges in the graph, and the treewidth of the footprint graph $\mathcal{G}_\downarrow$.
We additionally introduce and study the MaxMinTaRDiS problem, where the aim is to schedule connections between individuals so that at least $k$ individuals must be infected for the entire population to become fully infected. We classify three variants of the problem: Strict, Nonstrict, and Happy. We show these to be coNP-complete, NP-hard, and $Σ_2^P$-complete, respectively. Interestingly, we obtain hardness of the Nonstrict variant by showing that a natural restriction is exactly the well-studied Distance-3 Independent Set problem on static graphs.
Cliques in Representation Graphs of Quadratic Forms
Published
• View Publication
• BIB
We study cliques in graphs arising from quadratic forms where the vertices are the elements of the module of the quadratic form and two vertices are adjacent if their difference represents some fixed scalar. We determine structural properties and the clique number for quadratic forms over finite rings. We further extend previous results about graphs arising from such forms and forms over fields of characteristic 0 in a unified framework.
Vertex-shellings of Euclidean Oriented Matroids
A Euclidean oriented matroid program yields a partial ordering of the cocircuits of its cocircuit graph. We show that every linear extension of that ordering yields a topological sweep and induces a recursive atom-ordering (a shelling of the cocircuits) of the tope cell of the feasible region. We extend that sweep and obtain also a vertex-shelling of the whole oriented matroid and finally describe some connections to the notion of stackable zontopal tilings and to a counterexample of a conjecture of A. Mandel.
Colouring random graphs: Tame colourings
Given a graph G, a colouring is an assignment of colours to the vertices of G so that no two adjacent vertices are coloured the same. If all colour classes have size at most t, then we call the colouring t-bounded, and the t-bounded chromatic number of G, denoted by $χ_t(G)$, is the minimum number of colours in such a colouring. Every colouring of G is then $α(G)$-bounded, where $α(G)$ denotes the size of a largest independent set.
We study colourings of the random graph G(n, 1/2) and of the corresponding uniform random graph G(n,m) with $m=\left \lfloor \frac 12 {n \choose 2} \right \rfloor$. We show that $χ_t(G(n,m))$ is maximally concentrated on at most two explicit values for $t = α(G(n,m))-2$. This behaviour stands in stark contrast to that of the normal chromatic number, which was recently shown not to be concentrated on any sequence of intervals of length $n^{1/2-o(1)}$. Moreover, when $t = α(G_{n, 1/2})-1$ and if the expected number of independent sets of size $t$ is not too small, we determine an explicit interval of length $n^{0.99}$ that contains $χ_t(G_{n,1/2})$ with high probability. Both results have profound consequences: the former is at the core of the intriguing Zigzag Conjecture on the distribution of $χ(G_{n, 1/2})$ and justifies one of its main hypotheses, while the latter is an important ingredient in the proof of a non-concentration result for $χ(G_{n,1/2})$ that is conjectured to be optimal.
These two results are consequences of a more general statement. We consider a class of colourings that we call tame, and provide tight bounds for the probability of existence of such colourings via a delicate second moment argument. We then apply those bounds to the two aforementioned cases. As a further consequence of our main result, we prove two-point concentration of the equitable chromatic number of G(n,m).
Noise Sensitivity of the Minimum Spanning Tree of the Complete Graph
Published in Combinator. Probab. Comp. 33 (2024) 708-723
• View Publication
• BIB
We study the noise sensitivity of the minimum spanning tree (MST) of the $n$-vertex complete graph when edges are assigned independent random weights. It is known that when the graph distance is rescaled by $n^{1/3}$ and vertices are given a uniform measure, the MST converges in distribution in the Gromov-Hausdorff-Prokhorov (GHP) topology. We prove that if the weight of each edge is resampled independently with probability $\varepsilon\gg n^{-1/3}$, then the pair of rescaled minimum spanning trees -- before and after the noise -- converges in distribution to independent random spaces. Conversely, if $\varepsilon\ll n^{-1/3}$, the GHP distance between the rescaled trees goes to $0$ in probability. This implies the noise sensitivity and stability for every property of the MST that corresponds to a continuity set of the random limit. The noise threshold of $n^{-1/3}$ coincides with the critical window of the Erdős-Rényi random graphs. In fact, these results follow from an analog theorem we prove regarding the minimum spanning forest of critical random graphs.