graph
34763 papers tagged with this keyword
On complexity of cyclic coverings of graphs
By complexity of a finite graph we mean the number of spanning trees in the graph. The aim of the present paper is to give a new approach for counting complexity $τ(n)$ of cyclic $n$-fold coverings of a graph. We give an explicit analytic formula for $τ(n)$ in terms of Chebyshev polynomials and find its asymptotic behavior as $n\to\infty$ through the Mahler measure of the associated voltage polynomial. We also prove that $F(x)=\sum\limits_{n=1}^\inftyτ(n)x^n$ is a rational function with integer coefficients.
On rationality of generating function for the number of spanning trees in circulant graphs
Published
• View Publication
• BIB
Let $F(x)=\sum\limits_{n=1}^\inftyτ(n)x^n$ be the generating function for the number $τ(n)$ of spanning trees in the circulant graphs $C_{n}(s_1,s_2,\ldots,s_k).$ We show that $F(x)$ is a rational function with integer coefficients satisfying the property $F(x)=F(1/x).$ A similar result is also true for the circulant graphs of odd valency $C_{2n}(s_1,s_2,\ldots,s_k,n).$ We illustrate the obtained results by a series of examples.
Homomorphism bounds of signed bipartite $K_4$-minor-free graphs and edge-colorings of $2k$-regular $K_4$-minor-free multigraphs
Published in Discrete Applied Mathematics 261:40-51, 2019
• View Publication
• BIB
A signed graph $(G, Σ)$ is a graph $G$ and a subset $Σ$ of its edges which corresponds to an assignment of signs to the edges: edges in $Σ$ are negative while edges not in $Σ$ are positive. A closed walk of a signed graph is balanced if the product of the signs of its edges (repetitions included) is positive, and unbalanced otherwise. The unbalanced-girth of a signed graph is the length of a shortest unbalanced closed walk (if such a walk exists). A homomorphism of $(G,Σ)$ to $(H,Π)$ is a homomorphism of $G$ to $H$ which preserves the balance of closed walks.
In this work, given a signed bipartite graph $(B, Π)$ of unbalanced-girth $2k$, we give a necessary and sufficient condition for $(B, Π)$ to admit a homomorphism from any signed bipartite graph of unbalanced-girth at least $2k$ whose underlying graph is $K_4$-minor-free. The condition can be checked in polynomial time with respect to the order of $B$.
Let $SPC(2k)$ be the signed bipartite graph on vertex set $\mathbb{Z}_2^{2k-1}$ where vertices $u$ and $v$ are adjacent with a positive edge if their difference is in $\{e_1,e_2, \ldots, e_{2k-1}\}$ (where the $e_i$'s form the standard basis), and adjacent with a negative edge if their difference is $J$ (that is, the all-1 vector). As an application of our work, we prove that every signed bipartite $K_4$-minor-free graph of unbalanced-girth $2k$ admits a homomorphism to $SPC(2k)$. This supports a conjecture of Guenin claiming that every signed bipartite planar graph of unbalanced-girth $2k$ admits a homomorphism to $SPC(2k)$ (this would be an extension of the four-color theorem).
We also give an application of our work to edge-coloring $2k$-regular $K_4$-minor-free multigraphs.
Central limit theorems for patterns in multiset permutations and set partitions
Published in Annals of Applied Probability, 30 (1), pp. 287-323, 2020
• View Publication
• BIB
We use the recently developed method of weighted dependency graphs to prove central limit theorems for the number of occurrences of any fixed pattern in multiset permutations and in set partitions. This generalizes results for patterns of size 2 in both settings, obtained by Canfield, Janson and Zeilberger and Chern, Diaconis, Kane and Rhoades, respectively.
Observability Properties of Colored Graphs
Published
• View Publication
• BIB
A colored graph is a directed graph in which nodes or edges have been assigned colors that are not necessarily unique. Observability problems in such graphs consider whether an agent observing the colors of edges or nodes traversed on a path in the graph can determine which node they are at currently or which nodes were visited earlier in the traversal. Previous research efforts have identified several different notions of observability as well as the associated properties of graphs for which those observability properties hold. This paper unifies the prior work into a common framework with several new results about relationships between those notions and associated graph properties. The new framework provides an intuitive way to reason about the attainable accuracy as a function of lag and time spent observing, and identifies simple modifications to improve the observability of a given graph. We show that one form of the graph modification problem is in NP-Complete. The intuition of the new framework is borne out with numerical experiments. This work has implications for problems that can be described in terms of an agent traversing a colored graph, including the reconstruction of hidden states in a hidden Markov model (HMM).
A note on simultaneous representation problem for interval and circular-arc graphs
In this short note, we show two NP-completeness results regarding the \emph{simultaneous representation problem}, introduced by Lubiw and Jampani. The simultaneous representation problem for a given class of intersection graphs asks if some $k$ graphs can be represented so that every vertex is represented by the same interval in each representation. We prove that it is NP-complete to decide this for the class of interval and circular-arc graphs in the case when $k$ is a part of the input and graphs are not in a sunflower position.
The biclique covering number of grids
Published
• View Publication
• BIB
We determine the exact value of the biclique covering number for all grid graphs.
Dual Circumference and Collinear Sets
We show that, if a $n$-vertex triangulation $T$ of maximum degree $Δ$ has a dual that contains a cycle of length $\ell$, then $T$ has a non-crossing straight-line drawing in which some \emph{collinear set} of $Ω(\ell/Δ^4)$ vertices lie on a line. Using the current lower bounds on the length of longest cycles in 3-regular 3-connected graphs, this implies that every $n$-vertex planar graph of maximum degree $Δ$ has a collinear set of size $Ω(n^{0.8}/Δ^4)$. Very recently, Dujmović et. al. (SODA 2019) showed that, if $S$ is a collinear set in a triangulation $T$ then, for any point set $X\subset\mathbb{R}^2$ with $|X|=|S|$, $T$ has a non-crossing straight-line drawing in which the vertices of $S$ are drawn on the points in $X$. Because of this, collinear sets have numerous applications in graph drawing and related areas.
Every Collinear Set in a Planar Graph Is Free
Published in Discrete and Computational Geometry 65 (2021), 999-1027
• View Publication
• BIB
We show that if a planar graph $G$ has a plane straight-line drawing in which a subset $S$ of its vertices are collinear, then for any set of points, $X$, in the plane with $|X|=|S|$, there is a plane straight-line drawing of $G$ in which the vertices in $S$ are mapped to the points in $X$. This solves an open problem posed by Ravsky and Verbitsky in 2008. In their terminology, we show that every collinear set is free.
This result has applications in graph drawing, including untangling, column planarity, universal point subsets, and partial simultaneous drawings.
On Hamilton cycles in Erdős-Rényi subgraphs of large graphs
Published
• View Publication
• BIB
Given a graph $Γ= (V, E)$ on $n$ vertices and $m$ edges, we define the Erdős-Rényi graph process with host $Γ$ as follows. A permutation $e_1,\dots,e_m$ of $E$ is chosen uniformly at random, and for $t\leq m$ we let $Γ_t = (V, \{e_1,\dots,e_t\})$. Suppose the minimum degree of $Γ$ is $δ(Γ) \geq (1/2 + \varepsilon)n$ for some constant $\varepsilon > 0$. Then with high probability, $Γ_t$ becomes Hamiltonian at the same moment that its minimum degree becomes at least two.
Given $0\leq p\leq 1$ we let $Γ_p$ be the Erdős-Rényi subgraph of $Γ$, obtained by retaining each edge independently with probability $p$. When $δ(Γ)\geq (1/2 + \varepsilon)n$, we provide a threshold function $p_0$ for Hamiltonicity, such that if $(p-p_0)n\to -\infty$ then $Γ_p$ is not Hamiltonian whp, and if $(p-p_0)n\to\infty$ then $Γ_p$ is Hamiltonian whp.
The Relationship Between Pascal's Triangle and Random Walks
Random walks are a series of up, down, and level steps that enumerate distinct paths from $(0,0)$ to $(2n,0)$, where $n$ is the semi-length of the path. We used these paths to analyze Catalan, Schröder, and Motzkin number sequences through a combination of matrix operations, quadratic functions, and inductive reasoning. Our results revealed a number of distinct patterns, some unnamed, between these number sequences and Pascal's triangle that can be explained through generating functions, first returns, group theory, and the Riordan matrix.
Various proofs and properties of these number sequences are provided, including each generating function, their respective first returns, and matrix properties. These findings lead to a deeper understanding of combinatorics and graph theory.
Combinatorics of cluster structures in Schubert varieties
We give an explicit combinatorial description of cluster structures in Schubert varieties of the Grassmannian in terms of (target labelings of) Postnikov's plabic graphs. This description is a natural generalization of the description given by (Scott 2006) for the Grassmannian and has been believed by experts essentially since (Scott 2006), though the statement was not formally written down until (Müller-Speyer 2016). To prove this conjecture we use a result of (Leclerc 2016), who used the module category of the preprojective algebra to prove that coordinate rings of many Richardson varieties in the complete flag variety admit cluster structures. We also adapt a construction of (Karpman 2016) to build cluster seeds associated to reduced expressions. Further, we explicitly describe cluster structures in skew Schubert varieties using plabic graphs whose boundary vertices need not be labeled in cyclic order.
On the degree pairs of a graph
Let G be a simple graph without isolated vertices. For a vertex i in G, the degree d_i is the number of vertices adjacent to i and the average 2-degree m_i is the mean of the degrees of the vertices which are adjacent to i. The sequence of pairs (d_i, m_i) is called the sequence of degree pairs of G. We provide some necessary conditions for a sequence of real pairs (a_i, b_i) of length n to be the degree pairs of a graph of order n. A graph G is called pseudo k-regular if m_i=k for every vertex i while d_i is not a constant. Let N(k) denote the minimum number of vertices in a pseudo k-regular graph. We utilize the above necessary conditions to find all pseudo 3-regular graphs of orders no more than 10, and all pseudo $k$-regular graphs of order N(k) for k up to 7. We give bounds of N(k) and show that N(k) is at most k+6.
DP-4-colorability of two classes of planar graphs
Published
• View Publication
• BIB
DP-coloring (also known as correspondence coloring) is a generalization of list coloring introduced recently by Dvořák and Postle (2017). In this paper, we prove that every planar graph $G$ without $4$-cycles adjacent to $k$-cycles is DP-$4$-colorable for $k=5$ and $6$. As a consequence, we obtain two new classes of $4$-choosable planar graphs. We use identification of verticec in the proof, and actually prove stronger statements that every pre-coloring of some short cycles can be extended to the whole graph.
On the Minimal Edge Density of $K_4$-free 6-critical Graphs
Kostochka and Yancey resolved a famous conjecture of Ore on the asymptotic density of $k$-critical graphs by proving that every $k$-critical graph $G$ satisfies $|E(G)| \geq (\frac{k}{2} - \frac{1}{k-1})|V(G)| - \frac{k(k-3)}{2(k-1)}$. The class of graphs for which this bound is tight, $k$-Ore graphs, contain a notably large number of $K_{k-2}$-subgraphs. Subsequent work attempted to determine the asymptotic density for $k$-critical graphs that do \emph{not} contain large cliques as subgraphs, but only partial progress has been made on this problem. The second author showed that if $G$ is 5-critical and has no $K_3$-subgraphs, then for $\varepsilon = 1/84$, $|E(G)| \geq (\frac{9}{4} + \varepsilon)|V(G)| - \frac{5}{4}$. It has also been shown that for all $k \geq 33$, there exists $\varepsilon_k > 0$ such that $k$-critical graphs with no $K_{k-2}$-subgraphs satisfy $|E(G)| \geq (\frac{k}{2} - \frac{1}{k-1} + \varepsilon_k)|V(G)| - \frac{k(k-3)}{2(k-1)}$. In this work, we develop general structural results that are applicable to resolving the remaining difficult cases $6 \leq k \leq 32$. We apply our results to carefully analyze the structure of 6-critical graphs and use a discharging argument to show that for $\varepsilon_6 = 1/1050$, 6-critical graphs with no $K_4$ subgraph satisfy $|E(G)| \geq ( \frac{k}{2} - \frac{1}{k-1} + \varepsilon_6 ) |V(G)| - \frac{k(k-3)}{2(k-1)}$.
Subtractive Magic and Antimagic Total Labeling for Basic Families of Graphs
A \textit{subtractive arc-magic labeling} (SAML) of a directed graph $G=(V,A)$ is a bijection $λ:V\cup A \to \{1,2,\ldots,|V|+|A|\}$ with the property that for every $xy\in A$ we have $λ(xy)+λ(y)-λ(x)$ equals to an integer constant. If $λ(xy)+λ(y)-λ(x)$ are distinct for every $xy\in A$, then $λ$ is a \textit{subtractive arc-antimagic labeling} (SAAL). A \textit{subtractive vertex-magic labeling} (SVML) of $G$ is such bijection with the property that for every $x\in V$ we have $λ(x)+\sum_{y\in V, yx \in A} λ(yx)-\sum_{y\in V, xy\in A} λ(xy)$ equals to an integer constant. If $λ(x)+\sum_{y\in V, yx \in A} λ(yx)-\sum_{y\in V, xy\in A} λ(xy)$ are distinct for every $x\in V$, then $λ$ is a \textit{subtractive vertex-antimagic labeling} (SVAL). In this paper we prove some existence or non-existence of SAML, SVML, SAAL, and SVAL for several basic families of directed graphs, such as paths, cycles, stars, wheels, tadpoles, friendship graphs, and general butterfly graphs. The constructions are given when such labeling(s) exists.
Perfectly nested circuits
Nested graphs have been used in different applications, for example to represent knowledge in semantic networks. On the other hand, graphs with cycles are really important in surface reconstruction, periodic schedule and network analysis. Also, of particular interest are the cycle basis, which arise in mathematical and algorithm problems. In this work we develop the concept of perfectly nested eulerian circuits, exploring some of their properties. The main result establishes an order isomorphism between some sets of perfectly nested circuits and equivalence classes over finite binary sequences.
An explicit formula for the distance characteristic polynomial of threshold graphs
Published
• View Publication
• BIB
A threshold graph G on n vertices is defined by binary sequence of length n. In this paper we present an explicit formula for computing the distance characteristic polynomial of a threshold graph from its binary sequence. As application, we show a several of nonisomorphic pairwise threshold graphs which are {D}-cospectral graphs.
Counting restricted orientations of random graphs
Published
• View Publication
• BIB
We count orientations of $G(n,p)$ avoiding certain classes of oriented graphs. In particular, we study $T_r(n,p)$, the number of orientations of the binomial random graph $G(n,p)$ in which every copy of $K_r$ is transitive, and $S_r(n,p)$, the number of orientations of $G(n,p)$ containing no strongly connected copy of $K_r$. We give the correct order of growth of $\log T_r(n,p)$ and $\log S_r(n,p)$ up to polylogarithmic factors; for orientations with no cyclic triangle, this significantly improves a result of Allen, Kohayakawa, Mota and Parente. We also discuss the problem for a single forbidden oriented graph, and state a number of open problems and conjectures.
Incidence dimension and 2-packing number in graphs
Let $G=(V,E)$ be a graph. A set of vertices $A$ is an incidence generator for $G$ if for any two distinct edges $e,f\in E(G)$ there exists a vertex from $A$ which is an endpoint of either $e$ or $f$. The smallest cardinality of an incidence generator for $G$ is called the incidence dimension and is denoted by $dim_I(G)$. A set of vertices $P$ is a 2-packing if the distance between any pair of distinct vertices from $P$ is greater than two. The largest cardinality of a 2-packing of $G$ is the packing number of $G$ and is denoted by $ρ(G)$. The incidence dimension of graphs is introduced and studied in this article, and we emphasize in the closed relationship between $dim_I(G)$ and $ρ(G)$. We first note that the complement of any 2-packing in a graph $G$ is always an incidence generator for $G$, and further show that either $dim_I(G)=ρ(G)$ or $dim_I(G)=ρ(G)-1$ for any graph $G$. In addition, we also prove that the problem of determining the incidence dimension of a graph is NP-complete, and present some bounds for it.