graph
34604 papers tagged with this keyword
A Generalization of the Graph Packing Theorems of Sauer-Spencer and Brandt
Published
• View Publication
• BIB
We prove a common generalization of the celebrated Sauer-Spencer packing theorem and a theorem of Brandt concerning finding a copy of a tree inside a graph. This proof leads to the characterization of the extremal graphs in the case of Brandt's theorem: If $G$ is a graph and $F$ is a forest, both on $n$ vertices, and $3Δ(G)+\ell^*(F)\leq n$, then $G$ and $F$ pack unless $n$ is even, $G=\frac{n}{2}K_2$ and $F=K_{1,n-1}$; where $\ell^*(F)$ is the difference between the number of leaves and twice the number of nontrivial components of $F$.
On the bigenus of the complete graphs
We describe an infinite family of edge-decompositions of complete graphs into two graphs, each of which triangulate the same orientable surface. Previously, such decompositions had only been known for only a few complete graphs. These so-called biembeddings solve a generalization of the Earth-Moon problem for an infinite number of orientable surfaces.
Largest component of subcritical random graphs with given degree sequence
Published
• View Publication
• BIB
We study the size of the largest component of two models of random graphs with prescribed degree sequence, the configuration model (CM) and the uniform model (UM), in the (barely) subcritical regime. For the CM, we give upper bounds that are asymptotically tight for certain degree sequences. These bounds hold under mild conditions on the sequence and improve previous results of Hatami and Molloy on the barely subcritical regime. For the UM, we give weaker upper bounds that are tight up to logarithmic terms but require no assumptions on the degree sequence. In particular, the latter result applies to degree sequences with infinite variance in the subcritical regime.
More on co-even domination number
Let $G=(V,E)$ be a simple graph. A dominating set of $G$ is a subset $D\subseteq V$ such that every vertex not in $D$ is adjacent to at least one vertex in $D$. The cardinality of a smallest dominating set of $G$, denoted by $γ(G)$, is the domination number of $G$. A dominating set $D$ is called co-even dominating set if the degree of vertex $v$ is even number for all $v\in V-D$. The cardinality of a smallest co-even dominating set of $G$, denoted by $γ_{coe}(G)$, is the co-even domination number of $G$. In this paper, we find more results on co-even domination number of graphs and count the number of co-even dominating sets of some specific graphs.
On the spread of outerplanar graphs
Published
• View Publication
• BIB
The spread of a graph is the difference between the largest and most negative eigenvalue of its adjacency matrix. We show that for sufficiently large $n$, the $n$-vertex outerplanar graph with maximum spread is a vertex joined to a linear forest with $Ω(n)$ edges. We conjecture that the extremal graph is a vertex joined to a path on $n-1$ vertices.
List chromatic numbers and singular compactness
We prove that the list chromatic number of graphs satisfies singular compactness at strong limit singular cardinals.
Colouring Generalized Claw-Free Graphs and Graphs of Large Girth: Bounding the Diameter
Published
• View Publication
• BIB
For a fixed integer, the $k$-Colouring problem is to decide if the vertices of a graph can be coloured with at most $k$ colours for an integer $k$, such that no two adjacent vertices are coloured alike. A graph $G$ is $H$-free if $G$ does not contain $H$ as an induced subgraph. It is known that for all $k\geq 3$, the $k$-Colouring problem is NP-complete for $H$-free graphs if $H$ contains an induced claw or cycle. The case where $H$ contains a cycle follows from the known result that the problem is NP-complete even for graphs of arbitrarily large fixed girth. We examine to what extent the situation may change if in addition the input graph has bounded diameter.
Unicellular maps vs hyperbolic surfaces in large genus: simple closed curves
Published
• View Publication
• BIB
We study uniformly random maps with a single face, genus $g$, and size $n$, as $n,g\rightarrow \infty$ with $g = o(n)$, in continuation of several previous works on the geometric properties of "high genus maps". We calculate the number of short simple cycles, and we show convergence of their lengths (after a well-chosen rescaling of the graph distance) to a Poisson process, which happens to be exactly the same as the limit law obtained by Mirzakhani and Petri (2019) when they studied simple closed geodesics on random hyperbolic surfaces under the Weil-Petersson measure as $g\rightarrow \infty$. This leads us to conjecture that these two models are somehow "the same" in the limit, which would allow to translate problems on hyperbolic surfaces in terms of random trees, thanks to a powerful bijection of Chapuy, Féray and Fusy (2013).
Degree-preserving graph dynamics -- a versatile process to construct random networks
Published in Journal of Complex Networks, Volume 11, Issue 6, December 2023
• View Publication
• BIB
Real-world networks evolve over time via additions or removals of vertices and edges. In current network evolution models, vertex degree varies or grows arbitrarily. A recently introduced degree-preserving network growth (DPG) family of models preserves vertex degree, resulting in structures significantly different from and more diverse than previous models ([Nature Physics 2021, DOI: 10.1038/s41567-021-01417-7]). Despite its degree preserving property, the DPG model is able to replicate the output of several well-known real-world network growth models. Simulations showed that many well-studied real-world networks can be constructed from small seed graphs.
Here we start the development of a rigorous mathematical theory underlying the DPG family of network growth models. We prove that the degree sequence of the output of some of the well-known, real-world network growth models can be reconstructed via the DPG process, using proper parametrization. We also show that the general problem of deciding whether a simple graph can be obtained via the DPG process from a small seed (DPG feasibility) is, as expected, NP-complete. It is an important open problem to uncover whether there is a structural reason behind the DPG-constructibility of real-world networks.
A note on Matching-Cut in $P_t$-free Graphs
Published
• View Publication
• BIB
A matching-cut of a graph is an edge cut that is a matching. The problem Matching-Cut is that of recognizing graphs with a matching-cut and is NP-complete, even if the graph belongs to one of a number of classes. We initiate the study of Matching-Cut for graphs without a fixed path as an induced subgraph. We show that Matching-Cut is in P for $P_5$-free graphs, but that there exists an integer $t > 0$ for which it is NP-complete for $P_{t}$-free graphs.
Maximum first Zagreb index of orientations of unicyclic graphs with given matching number
Published
• View Publication
• BIB
Let $D=(V,A)$ be a digraphs without isolated vertices. The first Zagreb index of a digraph $D$ defined as a summation over all arcs, $M_1(D)=\frac{1}{2}\sum\limits_{uv\in A}(d^{+}_{u}+d^{-}_v)$, where $d^{+}_u$(resp. $d^{-}_u$) denotes the out-degree (resp. in-degree) of the vertex $u$. In this paper, we give the maximal values and maximal digraphs of first Zagreb index over the set of all orientations of unicyclic graphs with $n$ vertices and matching number $m$ $(2\leq m\leq \lfloor \frac{n}{2}\rfloor)$.
A quotient of Fomin-Kirillov Algebra and q-Lucas polynomial
Published
• View Publication
• BIB
We introduce a quotient of Fomin-Kirillov algebra $FK(n)$ denoted $\overline{FK}_{C_n}(n)$, over the ideal generated by the edges of a complete graph on n vertexes that are missing in the $n$-cycle graph $C_n$. For this quotient algebra $\overline{FK}_{C_n}(n)$, we show that the basis is in one-to-one correspondence with the set of matchings in an $n$-cycle graph. We also prove that the dimension of $\overline{FK}_{C_n}(n)$ equals the Lucas Number $L_n$ and its Hilbert series is $q$-Lucas polynomial. We find the character map of this quotient algebra over Dihedral group $D_n$.
Further Results on Topological Indices of Two Corona Variants of Graph Products
Graph operations are crucial for building complicated network architectures from simple graphs. In [7], authors defined two new variants of Corona product and investigated some topological indices. In this paper, we extended the work and found the formulas of forgotten, first hyper Zagreb, and reduced second Zagreb indices for Corona join product and sub-division vertex join products of graphs.
Novel ways of enumerating restrained dominating sets of cycles
Published
• View Publication
• BIB
Let $G = (V, E)$ be a graph. A set $S \subseteq V$ is a restrained dominating set (RDS) if every vertex not in $S$ is adjacent to a vertex in $S$ and to a vertex in $V - S$. The restrained domination number of $G$, denoted by $γ_r(G)$, is the smallest cardinality of a restrained dominating set of $G$. Finding the restrained domination number is NP-hard for bipartite and chordal graphs. Let $G_n^i$ be the family of restrained dominating sets of a graph $G$ of order $n$ with cardinality $i$, and let $d_r(G_n, i)=|G_n^i|$. The restrained domination polynomial (RDP) of $G_n$, $D_r(G_n, x)$ is defined as $D_r(G_n, x) = \sum_{i=γ_r(G_n)}^{n} d_r(G_n,i)x^i$. In this paper, we focus on the RDP of cycles and have, thus, introduced several novel ways to compute $d_r(C_n, i)$, where $C_n$ is a cycle of order $n$. In the first approach, we use a recursive formula for $d_r(C_n,i)$; while in the other approach, we construct a generating function to compute $d_r(C_n,i)$.
The Turán number of Berge book hypergraphs
Published
• View Publication
• BIB
Given a graph $G$, a Berge copy of $G$ is a hypergraph obtained by enlarging the edges arbitrarily. Gy\H ori in 2006 showed that for $r=3$ or $r=4$, an $r$-uniform $n$-vertex Berge triangle-free hypergraph has at most $\lfloor n^2/8(r-2)\rfloor$ hyperedges if $n$ is large enough, and this bound is sharp.
The book graph $B_t$ consists of $t$ triangles sharing an edge. Very recently, Ghosh, Győri, Nagy-György, Paulos, Xiao and Zamora showed that a 3-uniform $n$-vertex Berge $B_t$-free hypergraph has at most $n^2/8+o(n^2)$ hyperedges if $n$ is large enough. They conjectured that this bound can be improved to $\lfloor n^2/8\rfloor$.
We prove this conjecture for $t=2$ and disprove it for $t>2$ by proving the sharp bound $\lfloor n^2/8\rfloor+(t-1)^2$. We also consider larger uniformity and determine the largest number of Berge $B_t$-free $r$-uniform hypergraphs besides an additive term $o(n^2)$. We obtain a similar bound if the Berge $t$-fan ($t$ triangles sharing a vertex) is forbidden.
Homomorphism Tensors and Linear Equations
Published in Advances in Combinatorics 2025:4, 50pp
• View Publication
• BIB
Lovász (1967) showed that two graphs $G$ and $H$ are isomorphic if and only if they are homomorphism indistinguishable over the class of all graphs, i.e. for every graph $F$, the number of homomorphisms from $F$ to $G$ equals the number of homomorphisms from $F$ to $H$. Recently, homomorphism indistinguishability over restricted classes of graphs such as bounded treewidth, bounded treedepth and planar graphs, has emerged as a surprisingly powerful framework for capturing diverse equivalence relations on graphs arising from logical equivalence and algebraic equation systems.
In this paper, we provide a unified algebraic framework for such results by examining the linear-algebraic and representation-theoretic structure of tensors counting homomorphisms from labelled graphs. The existence of certain linear transformations between such homomorphism tensor subspaces can be interpreted both as homomorphism indistinguishability over a graph class and as feasibility of an equational system. Following this framework, we obtain characterisations of homomorphism indistinguishability over several natural graph classes, namely trees of bounded degree and graphs of bounded pathwidth, answering a question of Dell et al. (2018), and graphs of bounded treedepth.
Testing thresholds for high-dimensional sparse random geometric graphs
Published
• View Publication
• BIB
In the random geometric graph model $\mathsf{Geo}_d(n,p)$, we identify each of our $n$ vertices with an independently and uniformly sampled vector from the $d$-dimensional unit sphere, and we connect pairs of vertices whose vectors are ``sufficiently close'', such that the marginal probability of an edge is $p$.
We investigate the problem of testing for this latent geometry, or in other words, distinguishing an Erdős-Rényi graph $\mathsf{G}(n, p)$ from a random geometric graph $\mathsf{Geo}_d(n, p)$. It is not too difficult to show that if $d\to \infty$ while $n$ is held fixed, the two distributions become indistinguishable; we wish to understand how fast $d$ must grow as a function of $n$ for indistinguishability to occur.
When $p = \fracα{n}$ for constant $α$, we prove that if $d \ge \mathrm{polylog} n$, the total variation distance between the two distributions is close to $0$; this improves upon the best previous bound of Brennan, Bresler, and Nagaraj (2020), which required $d \gg n^{3/2}$, and further our result is nearly tight, resolving a conjecture of Bubeck, Ding, Eldan, \& Rácz (2016) up to logarithmic factors. We also obtain improved upper bounds on the statistical indistinguishability thresholds in $d$ for the full range of $p$ satisfying $\frac{1}{n}\le p\le \frac{1}{2}$, improving upon the previous bounds by polynomial factors.
Our analysis uses the Belief Propagation algorithm to characterize the distributions of (subsets of) the random vectors {\em conditioned on producing a particular graph}. In this sense, our analysis is connected to the ``cavity method'' from statistical physics. To analyze this process, we rely on novel sharp estimates for the area of the intersection of a random sphere cap with an arbitrary subset of the sphere, which we prove using optimal transport maps and entropy-transport inequalities on the unit sphere.
The $n$-queens completion problem
Published
• View Publication
• BIB
An $n$-queens configuration is a placement of $n$ mutually non-attacking queens on an $n\times n$ chessboard. The $n$-queens completion problem, introduced by Nauck in 1850, is to decide whether a given partial configuration can be completed to an $n$-queens configuration. In this paper, we study an extremal aspect of this question, namely: how small must a partial configuration be so that a completion is always possible? We show that any placement of at most $n/60$ mutually non-attacking queens can be completed. We also provide partial configurations of roughly $n/4$ queens that cannot be completed, and formulate a number of interesting problems. Our proofs connect the queens problem to rainbow matchings in bipartite graphs and use probabilistic arguments together with linear programming duality.
Polynomial method for perfect 2-colourings of circulant graphs
In this paper we prove that if an infinite circulant graph with $k$ distances has a perfect $2$-colouring with parameters $(b, c)$, then $b + c \leq 2k + \frac{b+c}{q^t}$ for all positive integers $t$ and primes $q$ satisfying $\frac{b+c}{gcd(b,c)}\vdots q^t$. In addition, we show that if $b + c = q^t$, then this necessary condition becomes sufficient for the existence of perfect $2$-colourings in circulant graphs.
New versions of the Wallis-Fon-Der-Flaass construction to create divisible design graphs
Published
• View Publication
• BIB
A k-regular graph on v vertices is a divisible design graph with parameters (v, k, lambda_1 ,lambda_2, m, n) if its vertex set can be partitioned into m classes of size n, such that any two different vertices from the same class have lambda_1 common neighbours, and any two vertices from different classes have lambda_2 common neighbours whenever it is not complete or edgeless. If m=1, then a divisible design graph is strongly regular with parameters (v, k, lambda_1, lambda_1). In this paper the Wallis-Fon-Der-Flaass construction of strongly regular graphs is modified to create new constructions of divisible design graphs. In some cases, these constructions lead to strongly regular graphs.