graph
34516 papers tagged with this keyword
$C^*$- Colored graph algebras
Following our previous works on $C^*$-graph algebras and the associated Cuntz-Krieger graph families, in this paper we will try to have a look at the colored version of these structures and to see what a $C^*$-colored graph algebra might mean by employing some constructive examples very close to the toy example used in our previous works, and we also will try to study their graph theoretical properties as possible.
On graphs with a simple structure of maximal cliques
We say that a hereditary graph class $\mathcal{G}$ is \emph{clique-sparse} if there is a constant $k=k(\mathcal{G})$ such that for every graph $G\in\mathcal{G}$, every vertex of $G$ belongs to at most $k$ maximal cliques, and any maximal clique of $G$ can be intersected in at most $k$ different ways by other maximal cliques.
We provide various characterisations of clique-sparse graph classes, including a list of five parametric forbidden induced subgraphs. We show that recent techniques for proving induced analogues of Menger's Theorem and the Grid Theorem of Robertson and Seymour can be lifted to prove induced variants in clique-sparse graph classes when replacing ``treewidth'' by ''tree-independence number''.
On the number of drawings of a combinatorial triangulation
In 1962, Tutte provided a formula for the number of combinatorial triangulations, that is, maximal planar graphs with a fixed triangular face and $n$ additional vertices. In this note, we study how many ways a combinatorial triangulation can be drawn as geometric triangulation, that is, with straight-line segments, on a given point set in the plane. Our central contribution is that there exists a combinatorial triangulation with n vertices that can be drawn in at least $Ω(1,31^n)$ ways on a set of n points as different geometric triangulations. We also show an upper bound on the number of drawings of a combinatorial triangulation on the so-called double chain point set.
Hypertrees and their host trees: a survey
A hypergraph $\mathcal{H}=(V,\mathcal{E})$ is a hypertree if it admits a tree $T$ with vertex set $V$ such that every edge of $\mathcal{H}$ induces a subtree of $T$. A tree like that is called a host tree. Several characterizations and properties of hypertrees have been discovered over the years. However, the interest in the structure of their host trees was weaker and restricted to particular scenarios where they arise, like the clique tree of chordal graphs. In that special case, the proofs of most characteristics of clique trees that exist in the literature rely significantly on the structural properties of chordal graphs. The purpose of this work is the study of the properties of the host trees of hypertrees in a more general context and have them described in a single place, giving simpler proofs for known facts, generalizing others and introducing some new concepts that the author considers that are relevant for the study of the topic. Particularly, we will determine what edges can be found in some host tree of a hypertree, and how these edges must be combined to form a host tree, with an emphasis in tools like the basis and the completion of a hypergraph, and the concept of equivalent hypergraphs.
Forcibly unicyclic and bicyclic graphic sequences
A sequence $D=(d_1,d_2,\ldots,d_n)$ of non-negative integers is called a graphic sequence if there is a simple graph with vertices $v_1,v_2,\ldots,v_n$ such that the degree of $v_i$ is $d_i$ for $1\leq i\leq n$. Given a graph theoretical property $\mathcal{P}$, a graphic sequence $D$ is forcibly $\mathcal{P}$ graphic if each graph with degree sequence $D$ has property $\mathcal{P}$. A graph is acyclic if it contains no cycles. A connected acyclic graph is just a tree and has $n-1$ edges. A graph of order $n$ is unicyclic (resp. bicyclic) if it is connected and has $n$ (resp. $n+1$) edges. Bar-Noy, Böhnlein, Peleg and Rawitz [Discrete Mathematics 346 (2023) 113460] characterized forcibly acyclic and forcibly connected acyclic graphic sequences. In this paper, we aim to characterize forcibly unicyclic and forcibly bicyclic graphic sequences.
Contracting elements and conjugacy growth in Coxeter groups, graph products, and further groups
In this article we construct contracting elements in the standard Cayley graphs of the so-called periagroups, a family of groups introduced by the second-named author which include Coxeter groups, graph products, and Dyer groups. As a consequence, we deduce that, unless they virtually split as direct products, periagroups are acylindrically hyperbolic and their conjugacy growth series, with respect to standard generating sets, are transcendental.
A study of two Ramsey numbers involving odd cycles
The \emph{book graph} of order $(n+2)$, denoted by $B_{n}$, is the graph with $n$ distinct copies of triangles sharing a common edge called the `base'. A cycle of order $m$ is denoted by $C_{m}$. A lot of studies have been done in recent years on the Ramsey number $R(B_{n}, C_{m})$. However, the exact value remains unknown for several $n$ and $m$. In 2021, Lin and Peng obtained the value of $R(B_{n}, C_{m})$ under certain conditions on $n$ and $m$. In this paper, they remarked that the value is still unknown for the range $n\in [\frac{9m}{8}-125, 4m-14]$. In a recent paper, Hu et al. determined the value of the book-cycle Ramsey number within the range $n\in [ \frac{3m-5}{2}-125, 4m]$ where $m$ is odd and $n$ is sufficiently large. In this article, we extend the investigation to smaller values of $n$. We have obtained a bound of $R(B_{n}, C_{m})$ if $n\in [2m-3, 4m-14]$ and $m\geq 7$ is odd. This is a progress on the earlier result. A connected graph $G$ is said to be \emph{$H$-good} if the formula, \begin{equation*} R(G,H)= (|G|-1)(χ(H)-1)+σ(H) \end{equation*} holds, where $χ(H)$ is the chromatic number of $H$ and $σ(H)$ is the size of the smallest colour class for the $χ(H)$-colouring. In this article, we have studied the \emph{Ramsey goodness} of the graph pair $(C_{m}, \mathbb{K}_{2,n})$, where $\mathbb{K}_{2,n}$ is the complete biparite graph. We have obtained an exact value of $R(\mathbb{K}_{2,n},C_{m})$ for all $n$ satisfying $n\geq 3493$ and $n\geq 2m+499$ where $m\geq 7$ is odd. This shows that $\mathbb{K}_{2,n}$ is $C_{m}$-good, which extends a previous result on the Ramsey goodness of $(C_{m}, \mathbb{K}_{2,n})$. Also, this improves the lower bound on $n$ from a previous result on the Ramsey number $R(B_{n}, C_{m})$
Laplacian eigenvalue distribution and girth of graphs
Let $G$ be a connected graph on $n$ vertices with girth $g$. Let $m_GI$ denote the number of Laplacian eigenvalues of graph $G$ in an interval $I$. In this paper, we show that if $G$ is not a cycle, then $m_G(n-g+3,n]\leq n-g$. Moreover, we prove that $m_G(n-g+3,n]= n-g$ if and only if $G\cong C_3$ or $G\cong K_{3,2}$ or $G\cong U_1$, where $U_1$ is obtained from a cycle by joining a single vertex with a vertex of this cycle.
All generalized rose window graphs are hamiltonian
A bicirculant is a regular, $d$-valent graph that admits a semiregular automorphism of order $m$ having two vertex-orbits of size $m$. The vertices of each orbit induce a circulant graph of order $m$ and the remaining edges span a regular bipartite graph of valence, say $s$, $1 \leq s \leq d$, connecting the two vertex-orbits. Generalized Petersen graphs constitute a prominent family of bicirculants, with $d = 3$ and $s = 1$. In 1983, Brian Alspach proved that all generalized Petersen graphs are hamiltonian, except for the family $G(m, 2)$ with $m\equiv 5\pmod 6$. In this paper we conjecture that among all connected bicirculants of valence at least 2, there are no other exceptions. It follows from various sources that the conjecture is true for all cubic bicirculants. In this paper we prove the conjecture for quartic bicirulants with $s = 2$, also known as the generalized rose window graphs.
New bounds on the modularity of $G(n,p)$
Modularity is a parameter indicating the presence of community structure in the graph. Nowadays it lies at the core of widely used clustering algorithms. We study the modularity of the most classical random graph, binomial $G(n,p)$. In 2020 McDiarmid and Skerman proved, taking advantage of the spectral graph theory and a specific subgraph construction by Coja-Oghlan from 2007, that there exists a constant $b$ such that with high probability the modularity of $G(n,p)$ is at most $b/\sqrt{np}$. The obtained constant $b$ is very big and not easily computable. We improve upon this result showing that a constant under $3$ may be derived here. Interesting is the fact that it might be obtained by basic probabilistic tools. We also address the lower bound on the modularity of $G(n,p)$ and improve the results of McDiarmid and Skerman from 2020 using estimates of bisections of random graphs derived by Dembo, Montanari, and Sen in 2017.
On minimal nonperfectly divisible fork-free graphs
A fork is a graph obtained from $K_{1,3}$ (usually called claw) by subdividing an edge once. A graph is perfectly divisible if for each of its induced subgraph $H$, $V(H)$ can be partitioned into $A$ and $B$ such that $H[A]$ is perfect and $ω(H[B]) < ω(H)$. In this paper, we prove that the perfect divisibility of fork-free graphs is equivalent to that of claw-free graphs. We also prove that, for $F\in \{P_7, P_6\cup K_1\}$, each (fork, $F$)-free graph $G$ is perfectly divisible and hence $χ(G)\leq \binom{ω(G)+1}{2}$.
Sombor Spectrum of Super Graphs defined on groups
Given a simple graph $A$ on a group $G$ and an equivalence relation $B$ on $G$, the $B$ super $A$ graph is defined as a simple graph, whose vertex set is $G$ and two vertices $g$, $h$ are adjacent if either they are in the same equivalence class or there exist $g^{\prime} \in[g]$ and $h^{\prime} \in[h]$ such that $g^{\prime}$ and $h^{\prime}$ are adjacent in $A$. In the literature, the $B$ super $A$ graphs have been investigated by considering $A$ to be either power graph, enhanced power graph, or commuting graph and $B$ to be an equality, order or conjugacy relation. In this paper, we investigate the Sombor spectrums of these $B$ super $A$ graphs for certain non-abelian groups, viz. the dihedral group, generalized quaternion group and the semidihedral group, respectively.
Lower bounds for online size Ramsey numbers for paths
Given two graphs $H_1$ and $H_2$, an online Ramsey game is played on the edge set of $K_\mathbb{N}$. In every round Builder selects an edge and Painter colors it red or blue. Builder is trying to force Painter to create a red copy of $H_1$ or a blue copy of $H_2$ as soon as possible, while Painter's goal is the opposite. The online (size) Ramsey number $\tilde{r}(H_1,H_2)$ is the smallest number of rounds in the game provided Builder and Painter play optimally. Let $v(G)$ be the number of vertices in the graph $G$ and $v_1(G)$ be the number of vertices of degree 1 in $G$. We prove that if $G$ has no isolated vertices, then $\tilde{r}(P_7,G)\ge 8v(G)/5-v_1(G)$, $\tilde{r}(P_8,G)\ge 18v(G)/11-v_1(G)$ and $\tilde{r}(P_9,G)\ge 5v(G)/3-v_1(G)$. In particular $\tilde{r}(P_9,P_n)\ge 5n/3-2,$ which with known upper bound implies $\lim_{n\to\infty} \tilde{r}(P_9,P_n)/n=5/3.$ We also show that for any fixed $k$, $\lim_{n\to\infty} \tilde{r}(P_k,P_n)/n$ exists.
On Hamiltonicity and Perfect Codes in Non-Cyclic Graphs of Finite Groups
Let \( G \) be a finite non-cyclic group. Define \( \mathrm{Cyc}(G) \) as the set of all elements \( a \in G \) such that for any $b\in G$, the subgroup \( \langle a, b \rangle \) is cyclic. The \emph{non-cyclic graph} $Γ(G)$ of \( G \) is a simple undirected graph with vertex set \( G \setminus \mathrm{Cyc}(G) \), where two distinct vertices \( x \) and \( y \) are adjacent if the subgroup \( \langle x, y \rangle \) is not cyclic. An independent subset $C$ of the vertex set of a graph $Γ$ is called a perfect code of $Γ$ if every vertex of $V(Γ)\setminus C$ is adjacent to exactly one vertex in $C$. A subset \( T \) of the vertex set a graph \( Γ\) is said to be a \emph{total perfect code} if every vertex of \( Γ\) is adjacent to exactly one vertex in \( T \). In this paper, we prove that the graph $Γ(G)$ is Hamiltonian for any finite non-cyclic nilpotent group $G$. Also, we characterize all finite groups such that their non-cyclic graphs admit a perfect code. Finally, we prove that for a non-cyclic nilpotent group $G$, the non-cyclic graph $Γ(G)$ does not admit total perfect code.
Explicit Lossless Vertex Expanders
We give the first construction of explicit constant-degree lossless vertex expanders. Specifically, for any $\varepsilon > 0$ and sufficiently large $d$, we give an explicit construction of an infinite family of $d$-regular graphs where every small set $S$ of vertices has $(1-\varepsilon)d|S|$ neighbors (which implies $(1-2\varepsilon)d|S|$ unique-neighbors). Our results also extend naturally to construct biregular bipartite graphs of any constant imbalance, where small sets on each side have strong expansion guarantees. The graphs we construct admit a free group action, and hence realize new families of quantum LDPC codes of Lin and M. Hsieh with a linear time decoding algorithm.
Our construction is based on taking an appropriate product of a constant-sized lossless expander with a base graph constructed from Ramanujan Cayley cubical complexes.
Bisections of graphs under degree constraints
In this paper, we investigate the problem of finding {\it bisections} (i.e., balanced bipartitions) in graphs. We prove the following two results for {\it all} graphs $G$: (1). $G$ has a bisection where each vertex $v$ has at least $(1/4 - o(1))d_G(v)$ neighbors in its own part; (2). $G$ also has a bisection where each vertex $v$ has at least $(1/4 - o(1))d_G(v)$ neighbors in the opposite part. These results are asymptotically optimal up to a factor of $1/2$, aligning with what is expected from random constructions, and provide the first systematic understanding of bisections in general graphs under degree constraints. As a consequence, we establish for the first time the existence of a function $f(k)$ such that for any $k\geq 1$, every graph with minimum degree at least $f(k)$ admits a bisection where every vertex has at least $k$ neighbors in its own part, as well as a bisection where every vertex has at least $k$ neighbors in the opposite part.
Using a more general setting, we further show that for any $\varepsilon > 0$, there exist $c_\varepsilon, c'_\varepsilon > 0$ such that any graph $G$ with minimum degree at least $c_\varepsilon k$ (respectively, $c'_\varepsilon k$) admits a bisection satisfying: every vertex has at least $k$ neighbors in its own part (respectively, in the opposite part), and at least $(1 - \varepsilon)|V(G)|$ vertices have at least $k$ neighbors in the opposite part (respectively, in their own part). These results extend and strengthen classical graph partitioning theorems of Erdős, Thomassen, and Kühn-Osthus, while additionally satisfying the bisection requirement.
Topological persistence of configuration spaces and independence complexes for digraphs
We study the topological persistence of the (path) configuration spaces and the (path) independence complexes for digraphs as well as their underlying graphs. We construct some canonical embeddings from the (path) independence complexes of the underlying graphs to the (path) independence complexes of the digraphs as well as some canonical embeddings between the (path) independence complexes induced by strong totally geodesic immersions and strong totally geodesic embeddings of (di)graphs. We apply the path homology to the path independence complexes of (di)graphs. As by-products, we derive some consequences about the Shannon capacities.
Uniformly resolvable decompositions of $K_v$ into one $1$-factor and $n$-stars when $n>1$ is odd
We consider uniformly resolvable decompositions of $K_v$ into subgraphs such that each resolution class contains only blocks isomorphic to the same graph. We give a complete solution for the case in which one resolution class is $K_2$ and the rest are $K_{1,n}$ where $n>1$ is odd.
Uniformly resolvable decompositions of $K_v$ into $1$-factors and odd $n$-star factors
We consider uniformly resolvable decompositions of $K_v$ into subgraphs such that each resolution class contains only blocks isomorphic to the same graph. We give a partial solution for the case in which all resolution classes are either $K_2$ or $K_{1,n}$ where $n$ is odd.
Almost-perfect colorful matchings in three-edge-colored bipartite graphs
We prove that, for positive integers $n,a_1, a_2, a_3$ satisfying $a_1+a_2+a_3 = n-1$, it holds that any bipartite graph $G$ which is the union of three perfect matchings $M_1$, $M_2$, and $M_3$ on $2n$ vertices contains a matching $M$ such that $|M\cap M_i| =a_i$ for $i= 1,2,$ and $3$. The bound $n-1$ on the sum is best possible in general. Our result verifies the multiplicity extension of the Ryser-Brualdi-Stein Conjecture, proposed recently by Anastos, Fabian, Müyesser, and Szabó, for three colors.