graph
34665 papers tagged with this keyword
The Betti Number of the Independence Complex of Ternary Graphs
Published
• View Publication
• BIB
Given a graph $G$, the \textit{independence complex} $I(G)$ is the simplicial complex whose faces are the independent sets of $V(G)$. Let $\tilde{b}_i$ denote the $i$-th reduced Betti number of $I(G)$, and let $b(G)$ denote the sum of $\tilde{b}_i(G)$'s. A graph is ternary if it does not contain induced cycles with length divisible by three. G. Kalai and K. Meshulam conjectured that $b(G)\le 1$ whenever $G$ is ternary. We prove this conjecture. This extends a recent results proved by Chudnovsky, Scott, Seymour and Spirkl that for any ternary graph $G$, the number of independent sets with even cardinality and the independent sets with odd cardinality differ by at most 1.
Clique immersion in graphs without fixed bipartite graph
Published
• View Publication
• BIB
A graph $G$ contains $H$ as an \emph{immersion} if there is an injective mapping $φ: V(H)\rightarrow V(G)$ such that for each edge $uv\in E(H)$, there is a path $P_{uv}$ in $G$ joining vertices $φ(u)$ and $φ(v)$, and all the paths $P_{uv}$, $uv\in E(H)$, are pairwise edge-disjoint. An analogue of Hadwiger's conjecture for the clique immersions by Lescure and Meyniel, and independently by Abu-Khzam and Langston, states that every graph $G$ contains $K_{χ(G)}$ as an immersion. We prove that for any constant $\varepsilon>0$ and integers $s,t\ge2$, there exists $d_0=d_0(\varepsilon,s,t)$ such that every $K_{s,t}$-free graph $G$ with $d(G)\ge d_0$ contains a clique immersion of order $(1-\varepsilon)d(G)$. This implies that the above-mentioned conjecture is asymptotically true for graphs without a fixed complete bipartite graph.
Constructive Graph Theory: Generation Methods, Structure and Dynamic Characterization of Closed Classes of Graphs -- A survey
Published in Constructive graph theory and its Applications. Nizhny Novgorod: Publishing house "Cyrillic", 2016. 172p. (Russian)
• Search Publication
The processes of constructing some graphs from others using binary operations of union with intersection (gluing) are studied. For graph classes closed with respect to gluing operations the elemental and operational bases are introduced. The generating bases together with the system of restrictions on the gluing operation that preserves the characteristic properties of graphs form constructive descriptions of the closed classes of graphs.
It is shown that each closed class of graphs has a unique elemental basis and at least one operational basis. A constructive description of a closed class of all graphs and all bases precompletion closed sub-classes of it are considered. For each of them its characteristic properties and a diagram of the inclusion of sub-classes in super classes is given. Constructive descriptions are obtained for some classes of graphs with classical properties. In conclusion, some possible applications of constructive graph theory are discussed.
Extremal numbers of cycles revisited
Published
• View Publication
• BIB
We give a simple geometric interpretation of an algebraic construction of Wenger that yields $n$-vertex graphs with no cycle of length $4$, $6$ or $10$ and close to the maximum number of edges.
Conical SL(3) foams
Published
• View Publication
• BIB
In the unoriented SL(3) foam theory, singular vertices are generic singularities of two-dimensional complexes. Singular vertices have neighbourhoods homeomorphic to cones over the one-skeleton of the tetrahedron, viewed as a trivalent graph on the two-sphere. In this paper we consider foams with singular vertices with neighbourhoods homeomorphic to cones over more general planar trivalent graphs. These graphs are subject to suitable conditions on their Kempe equivalence Tait coloring classes and include the dodecahedron graph. In this modification of the original homology theory it is straightforward to show that modules associated to the dodecahedron graph are free of rank 60, which is still an open problem for the original unoriented SL(3) foam theory.
The balancing number and list balancing number of some graph classes
Published
• View Publication
• BIB
Given a graph $G$, a 2-coloring of the edges of $K_n$ is said to contain a balanced copy of $G$ if we can find a copy of $G$ such that half of its edges is in each color class. If there exists an integer $k$ such that, for $n$ sufficiently large, every 2-coloring of $K_n$ with more than $k$ edges in each color contains a balanced copy of $G$, then we say that $G$ is balanceable. The smallest integer $k$ such that this holds is called the balancing number of $G$.
In this paper, we define a more general variant of the balancing number, the list balancing number, by considering 2-list edge colorings of $K_n$, where every edge $e$ has an associated list $L(e)$ which is a nonempty subset of the color set $\{r,b\}$. In this case, edges $e$ with $L(e) = \{r,b\}$ act as jokers in the sense that their color can be chosen $r$ or $b$ as needed. In contrast to the balancing number, every graph has a list balancing number. Moreover, if the balancing number exists, then it coincides with the list balancing number.
We give the exact value of the list balancing number for all cycles except for $4k$-cycles for which we give tight bounds. In addition, we give general bounds for the list balancing number of non-balanceable graphs based on the extremal number of its subgraphs, and study the list balancing number of $K_5$, which turns out to be surprisingly large.
Disjoint cycles covering specified vertices in bipartite graphs with partial degrees
Published
• View Publication
• BIB
Let $k$ be a positive integer. Let $G$ be a balanced bipartite graph of order $2n$ with bipartition $(X, Y)$, and $S$ a subset of $X$. Suppose that every pair of nonadjacent vertices $(x,y)$ with $x\in S, y\in Y$ satisfies $d(x)+d(y)\geq n+1$. We show that if $|S|\geq 2k+2$, then $G$ contains $k$ disjoint cycles covering $S$ such that each of the $k$ cycles contains at least two vertices of $S$. Here, both the degree condition and the lower bound of $|S|$ are best possible. And we also show that if $|S|=2k+1$, then $G$ contains $k$ disjoint cycles such that each of the $k$ cycles contains at least two vertices of $S$.
Heat flow and concentration of measure on directed graphs with a lower Ricci curvature bound
Published
• View Publication
• BIB
In a previous work, the authors introduced a Lin-Lu-Yau type Ricci curvature for directed graphs referring to the formulation of the Chung Laplacian. The aim of this note is to provide a von Renesse-Sturm type characterization of our lower Ricci curvature bound via a gradient estimate for the heat semigroup, and a transportation inequality along the heat flow. As an application, we will conclude a concentration of measure inequality for directed graphs of positive Ricci curvature.
Maximizing the Minimum and Maximum Forcing Numbers of Perfect Matchings of Graphs
Published in Acta Math. Sin., Engl. Ser.2023
• View Publication
• BIB
Let $G$ be a simple graph with $2n$ vertices and a perfect matching. The forcing number $f(G,M)$ of a perfect matching $M$ of $G$ is the smallest cardinality of a subset of $M$ that is contained in no other perfect matching of $G$. Among all perfect matchings $M$ of $G$, the minimum and maximum values of $f(G,M)$ are called the minimum and maximum forcing numbers of $G$, denoted by $f(G)$ and $F(G)$, respectively. Then $f(G)\leq F(G)\leq n-1$. Che and Chen (2011) proposed an open problem: how to characterize the graphs $G$ with $f(G)=n-1$. Later they showed that for a bipartite graph $G$, $f(G)=n-1$ if and only if $G$ is a complete bipartite graph $K_{n,n}$. In this paper, we completely solve the problem of Che and Chen, and show that $f(G)=n-1$ if and only if $G$ is a complete multipartite graph or a graph obtained from complete bipartite graph $K_{n,n}$ by adding arbitrary edges in the same partite set. For all graphs $G$ with $F(G)=n-1$, we prove that the forcing spectrum of each such graph $G$ forms an integer interval by matching 2-switches and the minimum forcing numbers of all such graphs $G$ form an integer interval from $\lfloor\frac{n}{2}\rfloor$ to $n-1$.
Parity of an odd dominating set
Published
• View Publication
• BIB
For a simple graph $G$ with vertex set $V(G)=\{v_1,...,v_n\}$, we define the closed neighborhood set of a vertex $u$ as $N[u]=\{v \in V(G) \; | \; v \; \text{is adjacent to} \; u \; \text{or} \; v=u \}$ and the closed neighborhood matrix $N(G)$ as the matrix obtained by setting to $1$ all the diagonal entries of the adjacency matrix of $G$. We say a set $S$ is odd dominating if $N[u]\cap S$ is odd for all $u\in V(G)$. We prove that the parity of an odd dominating set of $G$ is equal to the parity of the rank of $G$, where the rank of $G$ is defined as the dimension of the column space of $N(G)$. Using this result we prove several corollaries in one of which we obtain a general formula for the nullity of the join of graphs.
Sphere of Influence Dimension Conjecture 'Almost Proved'
The sphere-of-influence graph (SIG) on a finite set of points in a metric space, each with an open ball centred about it of radius equal to the distance between that point and its nearest neighbor, is defined to be the intersection graph of these balls. Let $G$ be a graph of order $n,$ having no isolated vertices. The SIG-dimension of $G,$ denoted by $SIG(G),$ is defined to be the least possible $d$ such that $G$ can be realized as a sphere of influence graph in $\mathbb{R}^d,$ equipped with sup-norm. In 2000, Boyer [E. Boyer, L. Lister and B. Shader, Sphere of influence graphs using the sup-norm, Mathematical and Computer Modelling 32 (2000) 1071-1082] put forward the SIG dimension conjecture, which states that $$SIG(G)\leq \bigg\lceil \frac{2n}{3}\bigg\rceil.$$ In this paper, we 'almost' establish this conjecture by proving that $$SIG(G)\leq \bigg{ \lfloor}\frac{2n}{3}\bigg{ \rfloor}+2.$$
Minimal Prime Graphs of Solvable Groups
We explore graph theoretical properties of minimal prime graphs of finite solvable groups. In finite group theory studying the prime graph of a group has been an important topic for the past almost half century. Recently prime graphs of solvable groups have been characterized in graph theoretical terms only. This now allows the study of these graphs with methods from graph theory only. Minimal prime graphs turn out to be of particular interest, and in this paper we pursue this further by exploring, among other things, diameters, Hamiltonian cycles and the property of being self-complementary for minimal prime graphs. We also study a new, but closely related notion of minimality for prime graphs and look into counting minimal prime graphs.
Neighbor product distinguishing total colorings of corona of subcubic graphs
Published
• View Publication
• BIB
A proper $[k]$-total coloring $c$ of a graph $G$ is a mapping $c$ from $V(G)\bigcup E(G)$ to $[k]=\{1,2,\cdots,k\}$ such that $c(x)\neq c(y)$ for which $x$, $y\in V(G)\bigcup E(G)$ and $x$ is adjacent to or incident with $y$. Let $\prod(v)$ denote the product of $c(v)$ and the colors on all the edges incident with $v$. For each edge $uv\in E(G)$, if $\prod(u)\neq \prod(v)$, then the coloring $c$ is called a neighbor product distinguishing total coloring of $G$. we use $χ"_{\prod}(G)$ to denote the minimal value of $k$ in such a coloring of $G$. In 2015, Li et al. conjectured that $Δ(G)+3$ colors enable a graph to have a neighbor product distinguishing total coloring. In this paper, we consider the neighbor product distinguishing total coloring of corona product $G\circ H$, and obtain that $χ"_{\prod}(G\circ H)\leq Δ(G\circ H)+3$.
Spectra of Complex Unit Hypergraphs
Published
• View Publication
• BIB
A complex unit hypergraph is a hypergraph where each vertex-edge incidence is given a complex unit label. We define the adjacency, incidence, Kirchoff Laplacian and normalized Laplacian of a complex unit hypergraph and study each of them. Eigenvalue bounds for the adjacency, Kirchoff Laplacian and normalized Laplacian are also found. Complex unit hypergraphs naturally generalize several hypergraphic structures such as oriented hypergraphs, where vertex-edge incidences are labelled as either $+1$ or $-1$, as well as ordinary hypergraphs. Complex unit hypergraphs also generalize their graphic analogues, which are complex unit gain graphs, signed graphs, and ordinary graphs.
On Intersection Graph of Dihedral Group
Let $G$ be a finite group. The intersection graph of $G$ is a graph whose vertex set is the set of all proper non-trivial subgroups of $G$ and two distinct vertices $H$ and $K$ are adjacent if and only if $H\cap K \neq \{e\}$, where $e$ is the identity of the group $G$. In this paper, we investigate some properties and exploring some topological indices such as Wiener, Hyper-Wiener, first and second Zagreb, Schultz, Gutman and eccentric connectivity indices of the intersection graph of $D_{2n}$ for $n=p^2$, $p$ is prime. We also find the metric dimension and the resolving polynomial of the intersection graph of $D_{2p^2}$.
On the Target Pebbling Conjecture
Published
• View Publication
• BIB
Graph pebbling is a network optimization model for satisfying vertex demands with vertex supplies (called pebbles), with partial loss of pebbles in transit. The pebbling number of a demand in a graph is the smallest number for which every placement of that many supply pebbles satisfies the demand. The Target Conjecture (Herscovici-Hester-Hurlbert, 2009) posits that the largest pebbling number of a demand of fixed size $t$ occurs when the demand is entirely stacked on one vertex. This truth of this conjecture could be useful for attacking many open problems in graph pebbling, including the famous conjecture of Graham (1989) involving graph products. It has been verified for complete graphs, cycles, cubes, and trees. In this paper we prove the conjecture for 2-paths and Kneser graphs over pairs.
The node cop-win reliability of unicyclic and bicyclic graphs
Published
• View Publication
• BIB
Various models to quantify the reliability of a network have been studied where certain components of the graph may fail at random and the probability that the remaining graph is connected is the proxy for reliability. In this work we introduce a strengthening of one of these models by considering the probability that the remaining graph is not just connected but also cop-win. A graph is cop-win if one cop can guarantee capture of a fleeing robber in the well-studied pursuit-evasion game of Cops and Robber. More precisely, for a graph $G$ with nodes that are operational independently with probability $p$ and edges that are operational if and only if both of their endpoints are operational, the node cop-win reliability of $G$, denoted $\text{NCRel}(G,p)$, is the probability that the operational nodes induce a cop-win subgraph of $G$. It is then of interest to find graphs $G$ with $n$ nodes and $m$ edges such that $\text{NCRel}(G,p)\ge\text{NCRel}(H,p)$ for all $p\in[0,1]$ and all graphs $H$ with $n$ nodes and $m$ edges. Such a graph is called uniformly most reliable. We show that uniformly most reliable graphs exist for unicyclic and bicyclic graphs, respectively. This is in contrast to the fact that there are no known sparse graphs maximizing the corresponding notion of node reliability.
Switch-based Markov Chains for Sampling Hamiltonian Cycles in Dense Graphs
Published
• View Publication
• BIB
We consider the irreducibility of switch-based Markov chains for the approximate uniform sampling of Hamiltonian cycles in a given undirected dense graph on $n$ vertices. As our main result, we show that every pair of Hamiltonian cycles in a graph with minimum degree at least $n/2+7$ can be transformed into each other by switch operations of size at most $10$, implying that the switch Markov chain using switches of size at most $10$ is irreducible. As a proof of concept, we also show that this Markov chain is rapidly mixing on dense monotone graphs.
Gromov width of symplectic toric manifolds associated with graphs
Published
• View Publication
• BIB
We give an explicit formula for the Gromov width for a class of symplectic toric manifolds constructed from simple graphs. As a corollary, we show a version of non-squeezing theorem with respect to the inclusion of connected graphs.
Hyperpaths
Hypertrees are high-dimensional counterparts of graph theoretic trees. They have attracted a great deal of attention by various investigators. Here we introduce and study Hyperpaths -- a particular class of hypertrees which are high dimensional analogs of paths in graph theory. A $d$-dimensional hyperpath is a $d$-dimensional hypertree in which every $(d-1)$-dimensional face is contained in at most $(d+1)$ faces of dimension $d$. We introduce a possibly infinite family of hyperpaths for every dimension, and investigate its properties in greater depth for dimension $d=2$.