graph
35175 papers tagged with this keyword
$s$-Shunt Intersection Graph of a Graph
Published
• View Publication
• BIB
The intersection graph of a family of sets $\{S_{1},S_{2},\ldots,S_{n}\}$ is a graph whose vertex set is $\{S_{1},S_{2},\ldots,S_{n}\}$ and two distinct vertices are adjacent if the intersection of the corresponding sets is non-empty. Different types of intersection graphs have been studied depending on the nature of sets taken as the vertex set. A study on a particular type of intersection graph called $s$-shunt intersection graph, generated from the $s$-arcs of a given graph is initiated in this paper.
Planar Turán number of disjoint union of $C_3$ and $C_5$
The planar Turán number of $H$, denoted by $ex_{\mathcal{P}}(n,H)$, is the maximum number of edges in an $n$-vertex $H$-free planar graph. The planar Turán number of $k\geq 3$ vertex-disjoint union of cycles is the trivial value $3n-6$. Let $C_{\ell}$ denote the cycle of length $\ell$ and $C_{\ell}\cup C_t$ denote the union of disjoint cycles $C_{\ell}$ and $C_t$. The planar Turán number $ex_{\mathcal{P}}(n,H)$ is known if $H=C_{\ell}\cup C_k$, where $\ell,k\in \{3,4\}$. In this paper, we determine the value $ex_{\mathcal{P}}(n,C_3\cup C_5)=\lfloor\frac{8n-13}{3}\rfloor$ and characterize the extremal graphs when $n$ is sufficiently large.
Combinatorial Laplacians and Relative Homology of Complex Pairs
As a discretization of the Hodge Laplacian, the combinatorial Laplacian of simplicial complexes has garnered significant attention. In this paper, we study combinatorial Laplacians for complex pairs $(X, A)$, where $A$ is a subcomplex of a simplicial complex $X$. We establish a relative version of the matrix-tree theorem for complex pairs, which generalizes both the matrix-tree theorem for simplicial complexes proved by Duval, Klivans, and Martin (2009) and the result for Dirichlet eigenvalues of graph pairs by Chung (1996). Furthermore, we derive several lower bounds for the spectral gaps of complex pairs and characterize the equality case for one sharp lower bound. As by-products, we obtain sufficient conditions for the vanishing of relative homology. Our results demonstrate that the combinatorial Laplacians for complex pairs are closely related to relative homology.
On the representation number of grid graphs and cylindric grid graphs
The representation number of a graph is the minimum number of copies of each vertex required to represent the graph as a word, such that the letters corresponding to vertices $x$ and $y$ alternate if and only if $xy$ is an edge in the graph. It is known that path graphs, circle graphs, and ladder graphs have representation number 2, while prism graphs have representation number 3.
In this paper, we extend these results by showing that generalizations of the aforementioned graphs -- namely, the $m \times n$ grid graphs and $m \times n$ cylindrical grid graphs -- have representation number $3$ for $m \geq 3$ and $m \geq 2$, respectively, and $n\geq 3$. Furthermore, we discuss toroidal grid graphs in the context of word-representability, which leads to an interesting conjecture.
Integer sequences with conjectured relation with certain graph parameters of the family of linear Jaco graphs
This experimental study presents some interesting conjectured relations between some integer sequences and certain graph parameters of the family of linear Jaco graphs $J_n(x)$ where $n = 1,2,3,\dots$. It appears that $\textit{Golden ratio}$-like floor function terms play an important role in the analysis of the graph structural properties of the family of linear Jaco graphs. The experimental methodology to obtain the conjectures is indeed trivial. However, it is the author's view that the proofs or disproofs of the conjectures may be challenging.
SASH: Decoding Community Structure in Graphs
Published
• View Publication
• BIB
Detection of communities in a graph entails identifying clusters of densely connected vertices; the area has a variety of important applications and a rich literature. The problem has previously been situated in the realm of error correcting codes by viewing a graph as a noisy version of the assumed underlying communities. In this paper, we introduce an encoding of community structure along with the resulting code's parameters. We then present a novel algorithm, SASH, to decode to estimated communities given an observed dataset. We demonstrate the performance of SASH via simulations on an assortative planted partition model and on the Zachary's Karate Club dataset.
Solution to some conjectures on mobile position problems
The general position problem for graphs asks for the largest number of vertices in a subset $S \subseteq V(G)$ of a graph $G$ such that for any $u,v \in S$ and any shortest $u,v$-path $P$ we have $S \cap V(P) = \{ u,v\} $, whereas the mutual visibility problem requires only that for any $u,v \in S$ there exists a shortest $u,v$-path with $S \cap V(P) = \{ u,v\} $. In the mobile versions of these problems, robots must move through the network in general position/mutual visibility such that every vertex is visited by a robot. This paper solves some open problems from the literature. We quantify the effect of adding the restriction that every robot can visit every vertex (the so-called \emph{completely mobile} variants), prove a bound on both mobile numbers in terms of the clique number, and find the mobile mutual visibility number of line graphs of complete graphs, strong grids and Cartesian grids.
A metrization theorem for edge-end spaces of infinite graphs
Published
• View Publication
• BIB
We prove that the edge-end space of an infinite graph is metrizable if and only if it is first-countable. This strengthens a recent result by Aurichi, Magalhaes Jr.\ and Real (2024).
Our central graph-theoretic tool is the use of tree-cut decompositions, introduced by Wollan (2015) as a variation of tree decompositions that is based on edge cuts instead of vertex separations. In particular, we give a new, elementary proof for Kurkofka's result (2022) that every infinite graph has a tree-cut decomposition of finite adhesion into its $ω$-edge blocks. Along the way, we also give a new, short proof for a classic result by Halin (1984) on $K_{k,κ}$-subdivisions in $k$-connected graphs, making this paper self-contained.
Almost all cographs have a cospectral mate
Published
• View Publication
• BIB
Complement-reducible graphs (or cographs) are the graphs formed from the single-vertex graph by the operations of complement and disjoint union. By combining the Johnson-Newman theorem on generalized cospectrality with the standard tools in the asymptotic enumeration of trees, we show that almost all cographs have a cospectral mate. This result can be viewed as an analogue to a well-known result by Schwenk, who proved that almost all trees have a cospectral mate.
Algorithmic methods of finite discrete structures. Topological graph drawing (part IV)
The chapter presents mathematical models intended for creating a topological drawing of a non-separable non-planar graph based on the methods of G. Ringel's vertex rotation theory. The induced system of cycles generates a topological drawing of a certain thickness. A method for determining the location of imaginary vertices by finding the intersection of connections on a plane is presented. A topological drawing of a maximum planar subgraph is used as a basis.
Random graphs, expanding families and the construction of noncompact hyperbolic surfaces with uniform spectral gaps
In this paper, we introduce and analyze a random graph model $\mathcal{F}_{χ,n}$, which is a configuration model consisting of interior and boundary vertices. We investigate the asymptotic behavior of eigenvalues for graphs in $\mathcal{F}_{χ,n}$ under various growth regimes of $χ$ and $n$. When $n = o\left(χ^{\frac{2}{3}}\right)$, we prove that almost every graph in the model is connected and forms an expander family. We also establish upper bounds for the first Steklov eigenvalue, identifying scenarios in which expanders cannot be constructed. Furthermore, we explicitly construct an expanding family in the critical regime $n \asymp g$, and apply it to build a sequence of complete, noncompact hyperbolic surfaces with uniformly positive spectral gaps.
Supersaturation via edge-gluing
In 1984, Erdős and Simonovits conjectured the following: given a bipartite graph $H$, there exist constants $β, C > 0$ such that any graph $G$ on $n$ vertices and $pn^2\geq C \mathrm{ex}(n, H)$ edges contains at least $βn^{\mathrm{v}(H)} p^{\mathrm{e}(H)}$ copies of $H$. We show that edge-gluing preserves the satisfiability of this conjecture under some mild symmetry conditions. Namely, if two graphs $H_1$ and $H_2$ satisfy this conjecture, and if furthermore, gluing them along a fixed edge produces a unique graph then the resulting graph satisfies the conjecture as well.
In the same paper, Erdős and Simonovits conjectured a weaker statement: for every $H$, there is some $α, β, C > 0$ such that any graph $G$ on $n$ vertices and $pn^2\geq C n^{1+ α}$ edges contains at least $βn^{\mathrm{v}(H)} p^{\mathrm{e}(H)}$ copies of $H$. We show that if $H$ satisfies this conjecture then by gluing several copies of labeled $H$ along the same copy of a subforest of $H$ produces a graph that also satisfies the conjecture.
Planar-Toroidal Decomposition of $K_{12}$
Published in Discrete Mathematics & Theoretical Computer Science, 28 2 (2026) #3
• View Publication
• BIB
In 1978, Anderson and White asked whether there is a decomposition of $K_{12}$ into two graphs, one planar and one toroidal. Using theoretical arguments and a computer search of all maximal planar graphs of order 12, we show that no such decomposition exists. We further show that if $G$ is planar of order 12 and $H\subseteq\overline{G}$ is toroidal, then $H$ has at least two fewer edges than $\overline{G}$. A computer search found all 123 unique pairs $\left(G,H\right)$ that make this an equality.
Subgroup Perfect Codes of $\mathcal{A}_t$-Groups and Their Applications
A subset $C$ of the vertex set of a graph $Γ$ is called a perfect code in $Γ$ if every vertex of $Γ$ is at distance no more than 1 to exactly one vertex of $C$. A subgroup $H$ of a group $G$ is called a subgroup perfect code of $G$ if $H$ is a perfect code in some Cayley graph of $G$. Recently, Zhang reveals that the study of subgroup perfect codes of finite groups naturally reduces to the case of $p$-groups, especially $2$-groups. Based on the combined works of Berkovich, Janko and Zhang, every $p$-group is an $\mathcal{A}_t$-group. In this work, we establish a complete classification of subgroup perfect codes of $\mathcal{A}_t$-groups for $t \in\{0, 1\}$. Moreover, subgroup perfect codes of finite groups with abelian Sylow $2$-subgroups are also characterized.
Signless Laplacian spectral analysis of a class of graph joins
A graph is said to be determined by its signless Laplacian spectrum (abbreviated as DQS) if no other non-isomorphic graph shares the same signless Laplacian spectrum. In this paper, we establish the following results:
(1). Every graph of the form $K_1 \vee (C_s \cup qK_2)$, where $q \ge 0$, $s \ge 3$, and the number of vertices is at least $16$, is DQS;
(2). Every graph of the form $K_1 \vee (C_{s_1} \cup C_{s_2} \cup \cdots \cup C_{s_t} \cup qK_2)$, where $t \ge 2$, $q \ge 0$, $s_i \ge 3$, and the number of vertices is at least $52$, is DQS.
Here, $K_n$ and $C_n$ denote the complete graph and the cycle of order $n$, respectively, while $\cup$ and $\vee$ represent the disjoint union and the join of graphs. Moreover, the signless Laplacian spectrum of the graphs under consideration is computed explicitly.
On Hamiltonian bypasses in digraphs and bipartite digraphs
Published
• View Publication
• BIB
A Hamiltonian path in a digraph $D$ in which the initial vertex dominates the terminal vertex is called a Hamiltonian bypass. Let $D$ be a 2-strong digraph of order $p\geq 3$ and let $z$ be some vertex of $D$. Suppose that every vertex of $D$ other than $z$ has degree at least $p$. We introduce and study a conjecture which claims that there exists a smallest integer $k$ such that if $d(z)\geq k$, then $D$ contains a Hamiltonian bypass. In this paper, we prove: (i) If $D$ is Hamiltonian or $z$ has a degree greater than $(p-1)/3$,
then $D$ contains a Hamiltonian bypass. (ii) If a strong balanced bipartite digraph $B$ of order $2a\geq 6$ satisfies the condition that $d^+(u)+d^-(v)\geq a+1$ for all vertices $u$ and $v$ from different partite sets such that $B$ does not contain the arc $uv$, then $B$ contains a Hamiltonian bypass. Furthermore, the lower bound $a+1$ is sharp. The first result improves a result of Benhocine (J. of Graph Theory, 8, 1984) and a result of the author (Math. Problems of Computer Science,
54, 2020)
We also suggest some conjectures and problems.
Paired many-to-many 2-disjoint path cover of Johnson graphs
Given two 2 disjoint vertex-sets $S=\{u,x\}$ and $T=\{v,y\}$, a paired many-to-many 2-disjoint path cover joining S and T, is a set of two vertex-disjoint paths with endpoints $u,v$ and $x,y$, respectively, that cover every vertex of the graph. If the graph has a many-to-many 2-disjoint path cover for any two disjoint vertex-sets $S$ and $T$, then it is called paired 2-coverable. It is known that if a graph is paired 2-coverable, then it must be Hamilton-connected, but the reverse is not true. It has been proved that Johnson graphs $J(n,k)$, $0\le k\le n$, are Hamilton-connected by Brian Alspach in [Ars Math. Contemp. 6 (2013) 21--23]. In this paper, we prove that Johnson graphs are paired 2-coverable. Moreover, we obtain that another family of graphs $QJ(n,k)$ constructed from Johnson graphs by Alspach are also paired 2-coverable.
Sidorenko-Type Inequalities for Even Subdivisions over Finite Abelian Groups
Sidorenko's conjecture asserts that every bipartite graph $H$ has the property that, for any host graph $G$, the homomorphism density from $H$ to $G$ is asymptotically at least as large as in a quasirandom graph with the same edge density as $G$. While the conjecture remains still very open, Szegedy showed that it suffices to verify the inequality when the host graph is a Cayley graph over a finite group.
In this paper, we prove that Sidorenko's conjecture holds for all even subdivisions of arbitrary graphs when the host graph is a Cayley graph over an abelian group. That is, if each edge of a graph is replaced by a path of even length (allowing different lengths for different edges), then the resulting graph satisfies the Sidorenko's inequality in any abelian Cayley host graph.
Our approach reduces the homomorphism count to the evaluation of certain averages over solution sets of linear systems over finite abelian groups, and proceeds using Fourier-analytic techniques.
Monotone Circuit Complexity of Matching
Published
• View Publication
• BIB
We show that the perfect matching function on $n$-vertex graphs requires monotone circuits of size $\smash{2^{n^{Ω(1)}}}$. This improves on the $n^{Ω(\log n)}$ lower bound of Razborov (1985). Our proof uses the standard approximation method together with a new sunflower lemma for matchings.
A note on $χ$-unbounded classes of geometric graphs
We show that there exist infinitely many classes of intersection graphs of geometric objects that are not $χ$-bounded -- namely, $d$-CBU graphs for $d\geq 3$ -- and each is incomparable with the class of Burling graphs. This answers a folklore open problem on whether Burling graphs are the sole source of unbounded chromatic number among geometric intersection classes.