graph
35396 papers tagged with this keyword
Binary functions, degeneracy, and alternating dimaps
Published
• View Publication
• BIB
This paper continues the study of combinatorial properties of binary functions --- that is, functions $f:2^E\rightarrow\mathbb{C}$ such that $f(\emptyset)=1$, where $E$ is a finite set. Binary functions have previously been shown to admit families of transforms that generalise duality, including a trinity transform, and families of associated minor operations that generalise deletion and contraction, with both these families parameterised by the complex numbers. Binary function representations exist for graphs (via the indicator functions of their cutset spaces) and indeed arbitrary matroids (as shown by the author previously). In this paper, we characterise degenerate elements --- analogues of loops and coloops --- in binary functions, with respect to any pair of minor operations from our complex-parameterised family. We then apply this to study the relationship between binary functions and Tutte's alternating dimaps, which also support a trinity transform and three associated minor operations. It is shown that only the simplest alternating dimaps have binary representations of the form we consider, which seems to be the most direct type of representation. The question of whether there exist other, more sophisticated types of binary function representations for alternating dimaps is left open.
Pentavalent symmetric graphs admitting transitive non-abelian characteristically simple groups
Published
• View Publication
• BIB
Let $Γ$ be a graph and let $G$ be a group of automorphisms of $Γ$. The graph $Γ$ is called $G$-normal if $G$ is normal in the automorphism group of $Γ$. Let $T$ be a finite non-abelian simple group and let $G = T^l$ with $l\geq 1$. In this paper we prove that if every connected pentavalent symmetric $T$-vertex-transitive graph is $T$-normal, then every connected pentavalent symmetric $G$-vertex-transitive graph is $G$-normal. This result, among others, implies that every connected pentavalent symmetric $G$-vertex-transitive graph is $G$-normal except $T$ is one of $57$ simple groups. Furthermore, every connected pentavalent symmetric $G$-regular graph is $G$-normal except $T$ is one of $20$ simple groups, and every connected pentavalent $G$-symmetric graph is $G$-normal except $T$ is one of $17$ simple groups.
Serre's Properties for Quadratic Generated Domains from Graphs
For any graph, one can construct a ring, called the edge ring, which is a quadratic-monomial generated subring of the Laurent polynomial ring $k[x_1^{\pm 1},\dots,x_n^{\pm 1}]$. In fact, every quadratic-monomial generated subring of this Laurent polynomial ring can be generated as an edge ring for some graph. The combinatorial structure of the graph has been successfully applied to identify and classify many important commutative algebraic properties of the corresponding edge ring. In this paper, we classify Serre's $R_1$ condition for all quadratic-monomial generated subrings of $k[x_1^{\pm 1},\dots,x_n^{\pm 1}]$. Moreover, we provide a minimal example of a graph whose corresponding edge ring is not Cohen-Macaulay. This paper extends the work of Hibi and Ohsugi from the setting subrings of polynomial rings to subrings of Laurent polynomial rings.
The distinguishing number and the distinguishing index of line and graphoidal graphs
Published
• View Publication
• BIB
The distinguishing number (index) $D(G)$ ($D'(G)$) of a graph $G$ is the least integer $d$ such that $G$ has an vertex labeling (edge labeling) with $d$ labels that is preserved only by a trivial automorphism. A graphoidal cover of $G$ is a collection $ψ$ of (not necessarily open) paths in $G$ such that every path in $ψ$ has at least two vertices, every vertex of $G$ is an internal vertex of at most one path in $ψ$ and every edge of $G$ is in exactly one path in $ψ$. Let $Ω(G,ψ)$ denote the intersection graph of $ψ$. A graph $H$ is called a graphoidal graph, if there exists a graph $G$ and a graphoidal cover $ψ$ of $G$ such that $H\cong Ω(G, ψ)$. In this paper, we study the distinguishing number and the distinguishing index of the line graph and the graphoidal graph of a simple connected graph $G$.
Spanning Simplicial Complexes of Uni-Cyclic Multigraphs
A multigraph is a nonsimple graph which is permitted to have multiple edges, that is, edges that have the same end nodes. We introduce the concept of spanning simplicial complexes $Δ_s(\mathcal{G})$ of multigraphs $\mathcal{G}$, which provides a generalization of spanning simplicial complexes of associated simple graphs. We give first the characterization of all spanning trees of a uni-cyclic multigraph $\mathcal{U}_{n,m}^r$ with $n$ edges including $r$ multiple edges within and outside the cycle of length $m$. Then, we determine the facet ideal $I_\mathcal{F}(Δ_s(\mathcal{U}_{n,m}^r))$ of spanning simplicial complex $Δ_s(\mathcal{U}_{n,m}^r)$ and its primary decomposition. The Euler characteristic is a well-known topological and homotopic invariant to classify surfaces. Finally, we device a formula for Euler characteristic of spanning simplicial complex $Δ_s(\mathcal{U}_{n,m}^r)$.
Group twin coloring of graphs
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 20 no. 1, Graph Theory (June 26, 2018) dmtcs:3948
• View Publication
• BIB
For a given graph $G$, the least integer $k\geq 2$ such that for every Abelian group $\mathcal{G}$ of order $k$ there exists a proper edge labeling $f:E(G)\rightarrow \mathcal{G}$ so that $\sum_{x\in N(u)}f(xu)\neq \sum_{x\in N(v)}f(xv)$ for each edge $uv\in E(G)$ is called the \textit{group twin chromatic index} of $G$ and denoted by $χ'_g(G)$. This graph invariant is related to a few well-known problems in the field of neighbor distinguishing graph colorings. We conjecture that $χ'_g(G)\leq Δ(G)+3$ for all graphs without isolated edges, where $Δ(G)$ is the maximum degree of $G$, and provide an infinite family of connected graph (trees) for which the equality holds. We prove that this conjecture is valid for all trees, and then apply this result as the base case for proving a general upper bound for all graphs $G$ without isolated edges: $χ'_g(G)\leq 2(Δ(G)+{\rm col}(G))-5$, where ${\rm col}(G)$ denotes the coloring number of $G$. This improves the best known upper bound known previously only for the case of cyclic groups $\mathbb{Z}_k$.
A Characterization of $(4,2)$-Choosable Graphs
Published in Journal of Graph Theory. Vol. 92(4), December 2019, pp. 460-487
• View Publication
• BIB
A graph $G$ is \emph{$(a,b)$-choosable} if given any list assignment $L$ with $|L(v)|=a$ for each $v\in V(G)$ there exists a function $\varphi$ such that $\varphi(v)\in L(v)$ and $|\varphi(v)|=b$ for all $v\in V(G)$, and whenever vertices $x$ and $y$ are adjacent $\varphi(x)\cap \varphi(y)=\emptyset$. Meng, Puleo, and Zhu conjectured a characterization of (4,2)-choosable graphs. We prove their conjecture.
Multi-Symbol Forbidden Configurations
Published
• View Publication
• BIB
An $r$-matrix is a matrix with symbols in $\{0,1,\dots,r-1\}$. A matrix is simple if it has no repeated columns. Let the support of a matrix $F$, $\text{supp}(F)$ be the largest simple matrix such that every column in $\text{supp}(F)$ is in $F$. For a family of $r$-matrices $\mathcal{F}$, we define $\text{forb}(m,r,\mathcal{F})$ as the maximum number of columns of an $m$-rowed, $r$-matrix $A$ such that $F$ is not a row-column permutation of $A$ for all $F \in \mathcal{F}$. While many results exist for $r=2$, there are fewer for larger numbers of symbols. We expand on the field of forbidding matrices with $r$-symbols, introducing a new construction for lower bounds of the growth of $\text{forb}(m,r,\mathcal{F})$ (with respect to $m$) that is applicable to matrices that are either not simple or have a constant row. We also introduce a new upper bound restriction that helps with avoiding non-simple matrices, limited either by the asymptotic bounds of the support, or the size of the forbidden matrix, whichever is larger. Continuing the trend of upper bounds, we represent a well-known technique of standard induction as a graph, and use graph theory methods to obtain asymptotic upper bounds. With these techniques we solve multiple, previously unknown, asymptotic bounds for a variety of matrices. Finally, we end with block matrices, or matrices with only constant row, and give bounds for all possible cases.
Chip-firing groups of iterated cones
Published in Linear Algebra and its Applications (2018) vol. 556, pp. 46-54
• View Publication
• BIB
Let $Γ$ be a finite graph and let $Γ_n$ be the "$n$th cone over $Γ$" (i.e., the join of $Γ$ and the complete graph $K_n$). We study the asymptotic structure of the chip-firing group $\text{Pic}^0(Γ_n)$.
Steiner Distance in Graphs--A Survey
For a connected graph $G$ of order at least $2$ and $S\subseteq V(G)$, the \emph{Steiner distance} $d_G(S)$ among the vertices of $S$ is the minimum size among all connected subgraphs whose vertex sets contain $S$. In this paper, we summarize the known results on the Steiner distance parameters, including Steiner distance, Steiner diameter, Steiner center, Steiner median, Steiner interval, Steiner distance hereditary graph, Steiner distance stable graph, average Steiner distance, and Steiner Wiener index. It also contains some conjectures and open problems for further studies.
Structure Learning of $H$-colorings
Published
• View Publication
• BIB
We study the structure learning problem for $H$-colorings, an important class of Markov random fields that capture key combinatorial structures on graphs, including proper colorings and independent sets, as well as spin systems from statistical physics. The learning problem is as follows: for a fixed (and known) constraint graph $H$ with $q$ colors and an unknown graph $G=(V,E)$ with $n$ vertices, given uniformly random $H$-colorings of $G$, how many samples are required to learn the edges of the unknown graph $G$? We give a characterization of $H$ for which the problem is identifiable for every $G$, i.e., we can learn $G$ with an infinite number of samples. We also show that there are identifiable constraint graphs for which one cannot hope to learn every graph $G$ efficiently.
We focus particular attention on the case of proper vertex $q$-colorings of graphs of maximum degree $d$ where intriguing connections to statistical physics phase transitions appear. We prove that in the tree uniqueness region (when $q>d$) the problem is identifiable and we can learn $G$ in ${\rm poly}(d,q) \times O(n^2\log{n})$ time. In contrast for soft-constraint systems, such as the Ising model, the best possible running time is exponential in $d$. In the tree non-uniqueness region (when $q\leq d$) we prove that the problem is not identifiable and thus $G$ cannot be learned. Moreover, when $q<d-\sqrt{d} + Θ(1)$ we prove that even learning an equivalent graph (any graph with the same set of $H$-colorings) is computationally hard---sample complexity is exponential in $n$ in the worst case. We further explore the connection between the efficiency/hardness of the structure learning problem and the uniqueness/non-uniqueness phase transition for general $H$-colorings and prove that under the well-known Dobrushin uniqueness condition, we can learn $G$ in ${\rm poly}(d,q)\times O(n^2\log{n})$ time.
Triangle-Free Penny Graphs: Degeneracy, Choosability, and Edge Count
Published in J. Graph Algorithms & Applications 22 (3): 483-499, 2018
• View Publication
• BIB
We show that triangle-free penny graphs have degeneracy at most two, list coloring number (choosability) at most three, diameter $D=Ω(\sqrt n)$, and at most $\min\bigl(2n-Ω(\sqrt n),2n-D-2\bigr)$ edges.
The Effect of Planarization on Width
Published in J. Graph Algorithms & Applications 22 (3): 461-481, 2018
• View Publication
• BIB
We study the effects of planarization (the construction of a planar diagram $D$ from a non-planar graph $G$ by replacing each crossing by a new vertex) on graph width parameters. We show that for treewidth, pathwidth, branchwidth, clique-width, and tree-depth there exists a family of $n$-vertex graphs with bounded parameter value, all of whose planarizations have parameter value $Ω(n)$. However, for bandwidth, cutwidth, and carving width, every graph with bounded parameter value has a planarization of linear size whose parameter value remains bounded. The same is true for the treewidth, pathwidth, and branchwidth of graphs of bounded degree.
Graphs with Flexible Labelings
Published in Discrete and Computational Geometry (2019). 62(2):461-480
• View Publication
• BIB
For a flexible labeling of a graph, it is possible to construct infinitely many non-equivalent realizations keeping the distances of connected points constant. We give a combinatorial characterization of graphs that have flexible labelings. The characterization is based on colorings of the edges with restrictions on the cycles. Furthermore, we give necessary criteria and sufficient ones for the existence of such colorings.
Sufficient conditions for graphs to be $k$-connected, maximally connected and super-connected
Published
• View Publication
• BIB
Let $G$ be a connected graph with minimum degree $δ(G)$ and vertex-connectivity $κ(G)$. The graph $G$ is $k$-connected if $κ(G)\geq k$, maximally connected if $κ(G) = δ(G)$, and super-connected (or super-$κ$) if every minimum vertex-cut isolates a vertex of minimum degree. In this paper, we show that a connected graph or a connected triangle-free graph is $k$-connected, maximally connected or super-connected if the number of edges or the spectral radius is large enough.
Nowhere Dense Graph Classes and Dimension
Published
• View Publication
• BIB
Nowhere dense graph classes provide one of the least restrictive notions of sparsity for graphs. Several equivalent characterizations of nowhere dense classes have been obtained over the years, using a wide range of combinatorial objects. In this paper we establish a new characterization of nowhere dense classes, in terms of poset dimension: A monotone graph class is nowhere dense if and only if for every $h \geq 1$ and every $ε> 0$, posets of height at most $h$ with $n$ elements and whose cover graphs are in the class have dimension $\mathcal{O}(n^ε)$.
On subgraphs of $C_{2k}$-free graphs and a problem of Kühn and Osthus
Let $c$ denote the largest constant such that every $C_{6}$-free graph $G$ contains a bipartite and $C_4$-free subgraph having $c$ fraction of edges of $G$. Győri et al. showed that $\frac{3}{8} \le c \le \frac{2}{5}$. We prove that $c=\frac{3}{8}$. More generally, we show that for any $\varepsilon>0$, and any integer $k \ge 2$, there is a $C_{2k}$-free graph $G_1$ which does not contain a bipartite subgraph of girth greater than $2k$ with more than $\left(1-\frac{1}{2^{2k-2}}\right)\frac{2}{2k-1}(1+\varepsilon)$ fraction of the edges of $G_1$. There also exists a $C_{2k}$-free graph $G_2$ which does not contain a bipartite and $C_4$-free subgraph with more than $\left(1-\frac{1}{2^{k-1}}\right)\frac{1}{k-1}(1+\varepsilon)$ fraction of the edges of $G_2$.
One of our proofs uses the following statement, which we prove using probabilistic ideas, generalizing a theorem of Erdős: For any $\varepsilon>0$, and any integers $a$, $b$, $k \ge 2$, there exists an $a$-uniform hypergraph $H$ of girth greater than $k$ which does not contain any $b$-colorable subhypergraph with more than $\left(1-\frac{1}{b^{a-1}}\right)\left(1+\varepsilon\right)$ fraction of the hyperedges of $H$. We also prove further generalizations of this theorem.
In addition, we give a new and very short proof of a result of Kühn and Osthus, which states that every bipartite $C_{2k}$-free graph $G$ contains a $C_{4}$-free subgraph with at least $1/(k-1)$ fraction of the edges of $G$. We also answer a question of Kühn and Osthus about $C_{2k}$-free graphs obtained by pasting together $C_{2l}$'s (with $k>l\ge3$).
Broadcasts in Graphs: Diametrical Trees
A dominating broadcast on a graph G with vertex set V is a function f that maps V to {0,1,...,diam(G)} such that f(v) does not exceed e(v) (the eccentricity of v) for all vertices v, and each vertex u is at distance at most f(v) from a vertex v with positive f(v). The upper broadcast domination number of G is Γ_{b}(G), which equals the maximum of the sum of the function values f(v), the maximum being taken over all minimal dominating broadcasts f on G. As shown by Erwin in [D. Erwin, Cost domination in graphs, Doctoral dissertation, Western Michigan University, 2001], Γ_{b}(G) is bounded below by diam(G) for any graph G. We investigate trees whose upper broadcast domination number equal their diameter and, among more general results, characterize caterpillars with this property.
Connected k-Dominating Graphs
For a graph G=(V,E), the k-dominating graph of G, denoted by $D_{k}(G)$, has vertices corresponding to the dominating sets of G having cardinality at most k, where two vertices of $D_{k}(G)$ are adjacent if and only if the dominating set corresponding to one of the vertices can be obtained from the dominating set corresponding to the second vertex by the addition or deletion of a single vertex. We denote by $d_{0}(G)$ the smallest integer for which $D_{k}(G)$ is connected for all k greater than or equal to $d_{0}(G)$. It is known that $d_{0}(G)$ lies between $Γ(G)+1$ and $|V|$ (inclusive), where $Γ(G)$ is the upper domination number of G, but constructing a graph G such that $d_{0}(G)>Γ(G)+1$ appears to be difficult. We present two related constructions. The first construction shows that for each integer k greater than or equal to 3 and each integer r from 1 to k-1, there exists a graph $G_{k,r}$ such that $Γ(G_{k,r})=k, γ(G_{k,r})=r+1$ and $d_{0}(G_{k,r})=k+r=Γ(G)+γ(G)-1$. The second construction shows that for each integer k greater than or equal to 3 and each integer r from 1 to k-1, there exists a graph $Q_{k,r}$ such that $Γ(Q_{k,r})=k, γ(Q_{k,r})=r$ and $d_{0}(Q_{k,r})=k+r=Γ(G)+γ(G)$.
Thickness and Antithickness of Graphs
Published in J. Computational Geometry 9.1:356-386, 2018
• View Publication
• BIB
This paper studies questions about duality between crossings and non-crossings in graph drawings via the notions of thickness and antithickness. The "thickness" of a graph $G$ is the minimum integer $k$ such that in some drawing of $G$, the edges can be partitioned into $k$ noncrossing subgraphs. The "antithickness" of a graph $G$ is the minimum integer $k$ such that in some drawing of $G$, the edges can be partitioned into $k$ thrackles, where a "thrackle" is a set of edges, each pair of which intersect exactly once. (Here edges with a common endvertex $v$ are considered to intersect at $v$.) So thickness is a measure of how close a graph is to being planar, whereas antithickness is a measure of how close a graph is to being a thrackle. This paper explores the relationship between the thickness and antithickness of a graph, under various graph drawing models, with an emphasis on extremal questions.