graph
35367 papers tagged with this keyword
Planar #CSP Equality Corresponds to Quantum Isomorphism -- A Holant Viewpoint
Published
• View Publication
• BIB
Recently, Mančinska and Roberson proved that two graphs $G$ and $G'$ are quantum isomorphic if and only if they admit the same number of homomorphisms from all planar graphs. We extend this result to planar #CSP with any pair of sets $\mathcal{F}$ and $\mathcal{F}'$ of real-valued, arbitrary-arity constraint functions. Graph homomorphism is the special case where each of $\mathcal{F}$ and $\mathcal{F}'$ contains a single symmetric 0-1-valued binary constraint function. Our treatment uses the framework of planar Holant problems. To prove that quantum isomorphic constraint function sets give the same value on any planar #CSP instance, we apply a novel form of holographic transformation of Valiant, using the quantum permutation matrix $\mathcal{U}$ defining the quantum isomorphism. Due to the noncommutativity of $\mathcal{U}$'s entries, it turns out that this form of holographic transformation is only applicable to planar Holant. To prove the converse, we introduce the quantum automorphism group Qut$(\mathcal{F})$ of a set of constraint functions $\mathcal{F}$, and characterize the intertwiners of Qut$(\mathcal{F})$ as the signature matrices of planar Holant$(\mathcal{F}\,|\,\mathcal{EQ})$ quantum gadgets. Then we define a new notion of (projective) connectivity for constraint functions and reduce arity while preserving the quantum automorphism group. Finally, to address the challenges posed by generalizing from 0-1 valued to real-valued constraint functions, we adapt a technique of Lovász in the classical setting for isomorphisms of real-weighted graphs to the setting of quantum isomorphisms.
Analysis of the Lifting Graph
The `lifting` or `splitting-off` operation on graphs is performed by deleting two edges sv and sw having a common end s and adding a new edge between v and w. Such a lift is considered good if it preserves a certain local edge-connectivity between the pairs of vertices different from the vertex s at which lifting takes place. The operation is important for inductive proofs concerning edge-connectivity, and can be seen widely applied in the literature on connectivity augmentation, network design, orientation (of finite and infinite graphs), and edge-disjoint linkage. It was studied by Lovasz, who used the term splitting-off, and Mader, who used the term lifting. They proved the first two significant results on it, in 1976 and 1978 respectively, showing the existence of a good lift under certain conditions. Then it was used and studied by other researchers, through the 1980s, both for undirected and directed graphs. In particular, it was investigated further by Frank who proved in 1992 that there are floor of deg(s)/2 disjoint good lifts. Motivated by the applications, a new method for studying the operation was introduced by Jordan in the late 1990s. He defined and studied the structure of the `non-admissibility` graph, which is the complement of the lifting graph; the subject of this paper. He proved a number of significant structural results on it, which he applied to connectivity augmentation. Independently, in 2016, Thomassen defined the `lifting graph`, and called its complement the `bad graph`, to apply it in finding orientations of infinite graphs. Later in the same year, Thomassen with Ok and Richter extended the study, and applied their results to linkages in infinite graphs.
Here we give a more comprehensive analysis of the structure of the lifting graph.
Exact Phase Transitions for Stochastic Block Models and Reconstruction on Trees
Published
• View Publication
• BIB
In this paper we continue to rigorously establish the predictions in ground breaking work in statistical physics by Decelle, Krzakala, Moore, Zdeborová (2011) regarding the block model, in particular in the case of $q=3$ and $q=4$ communities.
We prove that for $q=3$ and $q=4$ there is no computational-statistical gap if the average degree is above some constant by showing it is information theoretically impossible to detect below the Kesten-Stigum bound. The proof is based on showing that for the broadcast process on Galton-Watson trees, reconstruction is impossible for $q=3$ and $q=4$ if the average degree is sufficiently large. This improves on the result of Sly (2009), who proved similar results for regular trees for $q=3$. Our analysis of the critical case $q=4$ provides a detailed picture showing that the tightness of the Kesten-Stigum bound in the antiferromagnetic case depends on the average degree of the tree. We also prove that for $q\geq 5$, the Kestin-Stigum bound is not sharp.
Our results prove conjectures of Decelle, Krzakala, Moore, Zdeborová (2011), Moore (2017), Abbe and Sandon (2018) and Ricci-Tersenghi, Semerjian, and Zdeborová (2019). Our proofs are based on a new general coupling of the tree and graph processes and on a refined analysis of the broadcast process on the tree.
Fractal dimensions for Iterated Graph Systems
Building upon [1], this study aims to introduce fractal geometry into graph theory, and to establish a potential theoretical foundation for complex networks. Specifically, we employ the method of substitution to create and explore fractal-like graphs, termed deterministic or random iterated graph systems. While the concept of substitution is commonplace in fractal geometry and dynamical systems, its analysis in the context of graph theory remains a nascent field.
By delving into the properties of these systems, including diameter and distal, we derive two primary outcomes. Firstly, within the deterministic iterated graph systems, we establish that the Minkowski dimension and Hausdorff dimension align analytically through explicit formulae. Secondly, in the case of random iterated graph systems, we demonstrate that almost every graph limit exhibits identical Minkowski and Hausdorff dimensions numerically by their Lyapunov exponents.
The exploration of iterated graph systems holds the potential to unveil novel directions. These findings not only, mathematically, contribute to our understanding of the interplay between fractals and graphs, but also, physically, suggest promising avenues for applications for complex networks.
The maximum number of cliques in graphs with bounded odd circumference
Published
• View Publication
• BIB
In this work, we give the sharp upper bound for the number of cliques in graphs with bounded odd circumferences. This generalized Turán-type result is an extension of the celebrated Erdős and Gallai theorem and a strengthening of Luo's recent result. The same bound for graphs with bounded even circumferences is a trivial application of the theorem of Li and Ning.
A note on the random triadic process
Published
• View Publication
• BIB
For a fixed integer $r\geqslant 3$, let $\mathbb{H}_r(n,p)$ be a random $r$-uniform hypergraph on the vertex set $[n]$, where each $r$-set is an edge randomly and independently with probability $p$. The random $r$-generalized triadic process starts with a complete bipartite graph $K_{r-2,n-r+2}$ on the same vertex set, chooses two distinct vertices $x$ and $y$ uniformly at random and iteratively adds $\{x,y\}$ as an edge if there is a subset $Z$ with size $r-2$, denoted as $Z=\{z_1,\cdots,z_{r-2}\}$, such that $\{x,z_i\}$ and $\{y,z_i\}$ for $1\leqslant i\leqslant r-2$ are already edges in the graph and $\{x,y, z_1,\cdots,z_{r-2}\}$ is an edge in $\mathbb{H}_r(n,p)$. The random triadic process is an abbreviation for the random $3$-generalized triadic process. Korándi et al. proved a sharp threshold probability for the propagation of the random triadic process, that is, if $p= cn^{ - \frac 12}$ for some positive constant $c$, with high probability, the triadic process reaches the complete graph when $c> \frac 12$ and stops at $O(n^{\frac 32})$ edges when $c< \frac 12$. In this note, we consider the final size of the random $r$-generalized triadic process when $p=o( n^{- \frac 12}\log^{ α(3-r)} n)$ with a constant $α> \frac 12$. We show that the generated graph of the process essentially behaves like $\mathbb{G}(n,p)$. The final number of added edges in the process, with high probability, equals $ \frac {1}{2}n^{2}p(1\pm o(1))$ provided that $p=ω(n^{-2})$. The results partially complement the ones on the case of $r=3$.
On the Paley graph of a quadratic character
Paley graphs form a nice link between the distribution of quadratic residues and graph theory. These graphs possess remarkable properties which make them useful in several branches of mathematics. Classically, for each prime number $p$ we can construct the corresponding Paley graph using quadratic and non-quadratic residues modulo $p$. Therefore, Paley graphs are naturally associated with the Legendre symbol at $p$ which is a quadratic Dirichlet character of conductor $p$. In this article, we introduce the generalized Paley graphs. These are graphs that are associated with a general quadratic Dirichlet character. We will then provide some of their basic properties. In particular, we describe their spectrum explicitly. We then use those generalized Paley graphs to construct some new families of Ramanujan graphs. Finally, using special values of $L$-functions, we provide an effective upper bound for their Cheeger number.
Restriction on minimum degree in the contractible sets problem
Published in Zap. Nauchn. Sem. POMI, 518, 114-123, 2022
• View Publication
• BIB
Let $G$ be a $3$-connected graph. A set $W \subset V(G)$ is contractible if $G(W)$ is connected and $G - W$ is a $2$-connected graph. In 1994, McCuaig and Ota formulated the conjecture that, for any $k \in \mathbb{N}$, there exists $m \in \mathbb{N}$ such that any 3-connected graph $G$ with $v(G) \geqslant m$ has a $k$-vertex contractible set. In this paper we prove that, for any $k \geqslant 5$, the assertion of the conjecture holds if $δ(G) \geqslant \left[ \frac{2k + 1}{3} \right] + 2$.
A Study of Hypergraph Using Null Spaces of the Incidence Matrix and its Transpose
In this study, we explore the substructures of a hypergraph that lead us to linearly dependent rows (or columns) in the incidence matrix of the hypergraph.
These substructures are closely related to the spectra of various hypergraph matrices, including the signless Laplacian, adjacency, Laplacian, and adjacency matrices of the hypergraph's incidence graph. Specific eigenvectors of these hypergraph matrices serve to characterize these substructures. We show that vectors belonging to the nullspace of the adjacency matrix of the hypergraph's incidence graph provide a distinctive description of these substructures. Additionally, we illustrate that these substructures exhibit inherent similarities and redundancies, which manifest in analogous behaviours during random walks and similar values of hypergraph centralities.
The Uncountable Hadwiger Conjecture and Characterizations of Trees Using Graphs
Published
• View Publication
• BIB
We prove that the existence of a non-special tree of size $λ$ is equivalent to the existence of an uncountably chromatic graph with no $K_{ω_1}$ minor of size $λ$, establishing a connection between the special tree number and the uncountable Hadwiger conjecture. Also characterizations of Aronszajn, Kurepa and Suslin trees using graphs are deduced. A new generalized notion of connectedness for graphs is introduced using which we are able to characterize weakly compact cardinals.
Relative Timing Information and Orthology in Evolutionary Scenarios
Published
• View Publication
• BIB
Evolutionary scenarios describing the evolution of a family of genes within a collection of species comprise the mapping of the vertices of a gene tree $T$ to vertices and edges of a species tree $S$. The relative timing of the last common ancestors of two extant genes (leaves of $T$) and the last common ancestors of the two species (leaves of $S$) in which they reside is indicative of horizontal gene transfers (HGT) and ancient duplications. Orthologous gene pairs, on the other hand, require that their last common ancestors coincides with a corresponding speciation event. The relative timing information of gene and species divergences is captured by three colored graphs that have the extant genes as vertices and the species in which the genes are found as vertex colors: the equal-divergence-time (EDT) graph, the later-divergence-time (LDT) graph and the prior-divergence-time (PDT) graph, which together form an edge partition of the complete graph.
Here we give a complete characterization in terms of informative and forbidden triples that can be read off the three graphs and provide a polynomial time algorithm for constructing an evolutionary scenario that explains the graphs, provided such a scenario exists. We show that every EDT graph is perfect. While the information about LDT and PDT graphs is necessary to recognize EDT graphs in polynomial-time for general scenarios, this extra information can be dropped in the HGT-free case. However, recognition of EDT graphs without knowledge of putative LDT and PDT graphs is NP-complete for general scenarios. In contrast, PDT graphs can be recognized in polynomial-time. We finally connect the EDT graph to the alternative definitions of orthology that have been proposed for scenarios with horizontal gene transfer. With one exception, the corresponding graphs are shown to be colored cographs.
Extremal trees with respect to spectral radius of restrictedly weighted adjacency matrices
Published
• View Publication
• BIB
For a graph $G=(V,E)$ and $v_{i}\in V$, denote by $d_{i}$ the degree of vertex $v_{i}$. Let $f(x, y)>0$ be a real symmetric function in $x$ and $y$. The weighted adjacency matrix $A_{f}(G)$ of a graph $G$ is a square matrix, where the $(i,j)$-entry is equal to $\displaystyle f(d_{i}, d_{j})$ if the vertices $v_{i}$ and $v_{j}$ are adjacent and 0 otherwise. Li and Wang \cite{U9} tried to unify methods to study spectral radius of weighted adjacency matrices of graphs weighted by various topological indices. If $\displaystyle f'_{x}(x, y)\geq0$ and $\displaystyle f''_{x}(x, y)\geq0$, then $\displaystyle f(x, y)$ is said to be increasing and convex in variable $x$, respectively. They obtained the tree with the largest spectral radius of $A_{f}(G)$ is a star or a double star when $f(x, y)$ is increasing and convex in variable $x$. In this paper, we add the following restriction: $f(x_{1},y_{1})\geq f(x_{2},y_{2})$ if $x_{1}+y_{1}=x_{2}+y_{2}$ and $\mid x_{1}-y_{1}\mid>\mid x_{2}-y_{2}\mid$
and call $A_f(G)$ the restrictedly weighted adjacency matrix of $G$. The restrictedly weighted adjacency matrix contains weighted adjacency matrices weighted by first Zagreb index, first hyper-Zagreb index, general sum-connectivity index, forgotten index, Somber index, $p$-Sombor index and so on. We obtain the extremal trees with the smallest and the largest spectral radius of $A_{f}(G)$. Our results push ahead Li and Wang's research on unified approaches.
(P6, triangle)-free digraphs have bounded dichromatic number
Published
• View Publication
• BIB
The dichromatic number of an oriented graph is the minimum size of a partition of its vertices into acyclic induced subdigraphs. We prove that oriented graphs with no induced directed path on six vertices and no triangle have bounded dichromatic number. This is one (small) step towards the general conjecture asserting that for every oriented tree T and every integer k, any oriented graph that does not contain an induced copy of T nor a clique of size k has dichromatic number at most some function of k and T.
Bounded-Degree Planar Graphs Do Not Have Bounded-Degree Product Structure
Published in Electronic Journal of Combinatorics, 31/2:P2.51, 2024
• View Publication
• BIB
Product structure theorems are a collection of recent results that have been used to resolve a number of longstanding open problems on planar graphs and related graph classes. One particularly useful version states that every planar graph $G$ is contained in the strong product of a $3$-tree $H$, a path $P$, and a $3$-cycle $K_3$; written as $G\subseteq H\boxtimes P\boxtimes K_3$. A number of researchers have asked if this theorem can be strengthened so that the maximum degree in $H$ can be bounded by a function of the maximum degree in $G$. We show that no such strengthening is possible. Specifically, we describe an infinite family $\mathcal{G}$ of planar graphs of maximum degree $5$ such that, if an $n$-vertex member $G$ of $\mathcal{G}$ is isomorphic to a subgraph of $H\boxtimes P\boxtimes K_c$ where $P$ is a path and $H$ is a graph of maximum degree $Δ$ and treewidth $t$, then $tΔc \ge 2^{Ω(\sqrt{\log\log n})}$.
Ramsey numbers for multiple copies of sparse graphs
Published
• View Publication
• BIB
For a graph $H$ and an integer $n$, we let $nH$ denote the disjoint union of
$n$ copies of $H$. In 1975, Burr, Erdős, and Spencer initiated the study
of Ramsey numbers for $nH$, one of few instances for which Ramsey numbers are
now known precisely. They showed that there is a constant $c = c(H)$ such that
$r(nH) = (2|H| - α(H))n + c$, provided $n$ is sufficiently large.
Subsequently, Burr gave an implicit way of computing $c$ and noted that this
long term behaviour occurs when $n$ is triply exponential in $|H|$. Very
recently, Bucić and Sudakov revived the problem and established an
essentially tight bound on $n$ by showing $r(nH)$ follows this behaviour
already when the number of copies is just a single exponential. We provide
significantly stronger bounds on $n$ in case $H$ is a sparse graph, most
notably of bounded maximum degree. These are relatable to the current state of
the art bounds on $r(H)$ and (in a way) tight. Our methods rely on a beautiful
classic proof of Graham, Rödl, and Ruciński, with the emphasis on
developing an efficient absorbing method for bounded degree graphs.
The critical Karp--Sipser core of random graphs
Published
• View Publication
• BIB
We study the Karp--Sipser core of a random graph made of a configuration model with vertices of degree $1,2$ and $3$. This core is obtained by recursively removing the leaves as well as their unique neighbors in the graph. We settle a conjecture of Bauer & Golinelli and prove that at criticality, the Karp--Sipser core has size $ \approx \mathrm{Cst} \cdot \vartheta^{-2} \cdot n^{3/5}$ where $\vartheta$ is the hitting time of the curve $t \mapsto \frac{1}{t^{2}}$ by a linear Brownian motion started at $0$. Our proof relies on a detailed multi-scale analysis of the Markov chain associated to Karp-Sipser leaf-removal algorithm close to its extinction time.
On the degree distribution of Haros graphs
Published
• View Publication
• BIB
Haros graphs is a graph-theoretical representation of real numbers in the unit interval. The degree distribution of the Haros graphs provides information regarding the topological structure and the associated real number. This article provides a comprehensive demonstration of a conjecture concerning the analytical formulation of the degree distribution. Specifically, a theorem outlines the relationship between Haros graphs, the corresponding continued fraction of its associated real number, and the subsequent symbolic paths in the Farey binary Tree. Moreover, an expression continuous and piece-wise linear in subintervals defined by Farey fractions can be derived from an additional conclusion for the degree distribution of Haros graphs.
On finding hamiltonian cycles in Barnette graphs
Published in Fundamenta Informaticae, Volume 188, Issue 1 (December 15, 2022) fi:10437
• View Publication
• BIB
In this paper, we deal with hamiltonicity in planar cubic graphs G having a facial 2-factor Q via (quasi) spanning trees of faces in G/Q and study the algorithmic complexity of finding such (quasi) spanning trees of faces. Moreover, we show that if Barnette's Conjecture is false, then hamiltonicity in 3-connected planar cubic bipartite graphs is an NP-complete problem.
A note on regular sets in Cayley graphs
Published
• View Publication
• BIB
A subset $R$ of the vertex set of a graph $Γ$ is said to be $(κ,τ)$-regular if $R$ induces a $κ$-regular subgraph and every vertex outside $R$ is adjacent to exactly $τ$ vertices in $R$. In particular, if $R$ is a $(κ,τ)$-regular set of some Cayley graph on a finite group $G$, then $R$ is called a $(κ,τ)$-regular set of $G$. Let $H$ be a non-trivial normal subgroup of $G$, and $κ$ and $τ$ a pair of integers satisfying $0\leqκ\leq|H|-1$, $1\leqτ\leq|H|$ and $\gcd(2,|H|-1)\midκ$. It is proved that (i) if $τ$ is even, then $H$ is a $(κ,τ)$-regular set of $G$; (ii) if $τ$ is odd, then $H$ is a $(κ,τ)$-regular set of $G$ if and only if it is a $(0,1)$-regular set of $G$.
Strong domination number of a modified graph
Let $G=(V,E)$ be a simple graph. A set $D\subseteq V$ is a strong dominating set of $G$, if for every vertex $x\in V\setminus D$ there is a vertex $y\in D$ with $xy\in E(G)$ and $deg(x)\leq deg(y)$. The strong domination number $γ_{st}(G)$ is defined as the minimum cardinality of a strong dominating set. In this paper, we study the effects on $γ_{st}(G)$ when $G$ is modified by operations on vertex and edge of $G$.