graph
34629 papers tagged with this keyword
Regular coverings and parallel products of Farey maps
We examine the structure of Farey maps, which are a class of maps (graph embeddings on surfaces) that have received significant attention recently. We describe how they are related to each other through regular coverings and parallel products, and use these observations to find their complete spectra, recovering some known results. We then examine a similar class of maps defined by Hecke groups.
Intersection models and forbidden pattern characterizations for 2-thin and proper 2-thin graphs
Published in Discrete Applied Mathematics 339 (2023), 53-77
• View Publication
• BIB
The \emph{thinness} of a graph is a width parameter that generalizes some properties of interval graphs, which are exactly the graphs of thinness one. Graphs with thinness at most two include, for example, bipartite convex graphs. Many NP-complete problems can be solved in polynomial time for graphs with bounded thinness, given a suitable representation of the graph. \emph{Proper thinness} is defined analogously, generalizing proper interval graphs, and a larger family of NP-complete problems are known to be polynomially solvable for graphs with bounded proper thinness.
The complexity of recognizing 2-thin and proper 2-thin graphs is still open. In this work, we present characterizations of 2-thin and proper 2-thin graphs as intersection graphs of rectangles in the plane, as vertex intersection graphs of paths on a grid (VPG graphs), and by forbidden ordered patterns. We also prove that independent 2-thin graphs are exactly the interval bigraphs, and that proper independent 2-thin graphs are exactly the bipartite permutation graphs.
Finally, we take a step towards placing the thinness and its variations in the landscape of width parameters, by upper bounding the proper thinness in terms of the bandwidth.
Proof of a Conjecture on Wiener Index and Eccentricity of a graph due to edge contraction
Published
• View Publication
• BIB
For a connected graph $G$, the Wiener index, denoted by $W(G)$, is the sum of the distance of all pairs of distinct vertices and the eccentricity, denoted by $\varepsilon(G)$, is the sum of the eccentricity of individual vertices. In \cite{Kc}, the authors posed a conjecture which states that given a graph $G$ with at least three vertices, the difference between $W(G)$ and $\varepsilon(G)$ decreases when an edge is contracted and proved that the conjecture is true when $e$ is a bridge. In this manuscript, we confirm that the conjecture is true for any connected graph $G$ with at least three vertices irrespective of the nature of the edge chosen.
Letter graphs and modular decomposition
Published
• View Publication
• BIB
We prove that if the prime graphs in a graph class have bounded lettericity, then the entire class has bounded lettericity if and only if it does not contain arbitrary large matchings, co-matchings, or a family of graphs that we call stacked paths.
Destroying Multicolored Paths and Cycles in Edge-Colored Graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 25:1, Graph Theory (March 3, 2023) dmtcs:7636
• View Publication
• BIB
We study the computational complexity of $c$-Colored $P_\ell$ Deletion and $c$-Colored $C_\ell$ Deletion. In these problems, one is given a $c$-edge-colored graph and wants to destroy all induced $c$-colored paths or cycles, respectively, on $\ell$ vertices by deleting at most $k$ edges. Herein, a path or cycle is $c$-colored if it contains edges of $c$ distinct colors. We show that $c$-Colored $P_\ell$ Deletion and $c$-Colored $C_\ell$ Deletion are NP-hard for each non-trivial combination of $c$ and $\ell$. We then analyze the parameterized complexity of these problems. We extend the notion of neighborhood diversity to edge-colored graphs and show that both problems are fixed-parameter tractable with respect to the colored neighborhood diversity of the input graph. We also provide hardness results to outline the limits of parameterization by the standard parameter solution size $k$. Finally, we consider bicolored input graphs and show a special case of $2$-Colored $P_4$ Deletion that can be solved in polynomial time.
Goodness of fit for log-linear ERGMs
Many popular models from the networks literature can be viewed through a common lens of contingency tables on network dyads, resulting in \emph{log-linear ERGMs}: exponential family models for random graphs whose sufficient statistics are linear on the dyads. We propose a new model in this family, the \emph{$p_1$-SBM}, which combines node and group effects common in network formation mechanisms. In particular, it is a generalization of several well-known ERGMs including the stochastic blockmodel for undirected graphs with known block assignment, the degree-corrected version of it, and the directed $p_1$ model without group structure.
We frame the problem of testing model fit for the log-linear ERGM class through an exact conditional test whose $p$-value can be approximated efficiently in networks of both small and moderately large sizes. The sampling methods we build rely on a dynamic adaptation of Markov bases. We use quick estimation algorithms adapted from the contingency table literature and effective sampling methods rooted in graph theory and algebraic statistics.
The performance and scalability of the method is demonstrated on two data sets from biology: the connectome of \emph{C. elegans} and the interactome of \emph{Arabidopsis thaliana}. These two networks -- a network and a protein-protein interaction network -- have been popular examples in the network science literature. Our work provides a model-based approach to studying them.
A note on the k-tuple domination number of graphs
Published
• View Publication
• BIB
In a graph $G$, a vertex dominates itself and its neighbours. A set $D\subseteq V(G)$ is said to be a $k$-tuple dominating set of $G$ if $D$ dominates every vertex of $G$ at least $k$ times. The minimum cardinality among all $k$-tuple dominating sets is the $k$-tuple domination number of $G$. In this paper, we provide new bounds on this parameter. Some of these bounds generalize other ones that have been given for the case $k=2$. In addition, we improve two well-known lower bounds on the $k$-tuple domination number.
Hamilton-laceable bi-powers of locally finite bipartite graphs
Published
• View Publication
• BIB
In this paper we strengthen a result due to Li by showing that the third bi-power of a locally finite connected bipartite graph that admits a perfect matching is Hamilton-laceable, i.e. any two vertices from different bipartition classes are endpoints of some common Hamilton arc.
The multinomial tiling model
Published
• View Publication
• BIB
Given a graph $G$ and collection of subgraphs $T$ (called tiles), we consider covering $G$ with copies of tiles in $T$ so that each vertex $v\in G$ is covered with a predetermined multiplicity. The multinomial tiling model is a natural probability measure on such configurations (it is the uniform measure on standard tilings of the corresponding "blow-up" of $G$).
In the limit of large multiplicities we compute asymptotic growth rate of the number of multinomial tilings. We show that the individual tile densities tend to a Gaussian field with respect to an associated discrete Laplacian. We also find an exact discrete Coulomb gas limit when we vary the multiplicities.
For tilings of ${\mathbb Z}^d$ with translates of a single tile and a small density of defects, we study a crystallization phenomena when the defect density tends to zero, and give examples of naturally occurring quasicrystals in this framework.
Intersecting families of sets are typically trivial
Published
• View Publication
• BIB
A family of subsets of $[n]$ is intersecting if every pair of its sets intersects. Determining the structure of large intersecting families is a central problem in extremal combinatorics. Frankl-Kupavskii and Balogh-Das-Liu-Sharifzadeh-Tran independently showed that for $n\geq 2k + c\sqrt{k\ln k}$, almost all $k$-uniform intersecting families are stars. Improving their result, we show that the same conclusion holds for $n\geq 2k+ 100\ln k$. Our proof uses, among others, Sapozhenko's graph container lemma and the Das-Tran removal lemma.
Comparing Upper Broadcast Domination and Boundary Independence Numbers of Graphs
A broadcast on a nontrivial connected graph G with vertex set V is a function f from V to {0,1,...,diam(G)} such that f(v) is at most the eccentricity of v for all v in V. The weight of f is the sum of the function values taken over V. A vertex u hears f from v if f(v) is positive and d(u,v) is at most f(v). A broadcast f is dominating if every vertex of G hears f. The upper broadcast number of G is Γ_{b}(G), which is the maximum weight of a minimal dominating broadcast on G. A broadcast f is boundary independent if, for any vertex w that hears f from vertices v_{1},...,v_{k}, where k is at least 2, the distance d(w,v_{i}) equals f(v_{i}) for each i. The maximum weight of a boundary independent broadcast is the boundary independence broadcast number α_{bn}(G). We compare α_{bn} to Γ_{b}, showing that neither is an upper bound for the other. We show that the differences Γ_{b}-α_{bn} and α_{bn}-Γ_{b} are unbounded, the ratio α_{bn}/Γ_{b} is bounded for all graphs, and Γ_{b}/α_{bn} is bounded for bipartite graphs but unbounded in general.
A Sharp Upper Bound for the Boundary Independence Broadcast Number of a Tree
A broadcast on a nontrivial connected graph G with vertex set V is a function f from V to {0,1,...,diam(G)} such that f(v) is at most the eccentricity of v for all vertices v. The weight of f is the sum of the function values taken over V. A vertex u hears f from v if f(v) is positive and d(u,v) is at most f(v). A broadcast f is boundary independent if, for any vertex w that hears f from vertices v_{1},...,v_{k}, where k is at least 2, d(w,v_{i}) equals f(v_{i}) for each i. The maximum weight of a boundary independent broadcast on G is denoted by α_{bn}(G). We prove a sharp upper bound on α_{bn}(T) for a tree T in terms of its order and number of branch vertices of a certain type.
Upper paired domination versus upper domination
Published in Discrete Mathematics & Theoretical Computer Science, vol. 23, no. 3, Graph Theory (December 16, 2021) dmtcs:7331
• View Publication
• BIB
A paired dominating set $P$ is a dominating set with the additional property that $P$ has a perfect matching. While the maximum cardainality of a minimal dominating set in a graph $G$ is called the upper domination number of $G$, denoted by $Γ(G)$, the maximum cardinality of a minimal paired dominating set in $G$ is called the upper paired domination number of $G$, denoted by $Γ_{pr}(G)$. By Henning and Pradhan (2019), we know that $Γ_{pr}(G)\leq 2Γ(G)$ for any graph $G$ without isolated vertices. We focus on the graphs satisfying the equality $Γ_{pr}(G)= 2Γ(G)$. We give characterizations for two special graph classes: bipartite and unicyclic graphs with $Γ_{pr}(G)= 2Γ(G)$ by using the results of Ulatowski (2015). Besides, we study the graphs with $Γ_{pr}(G)= 2Γ(G)$ and a restricted girth. In this context, we provide two characterizations: one for graphs with $Γ_{pr}(G)= 2Γ(G)$ and girth at least 6 and the other for $C_3$-free cactus graphs with $Γ_{pr}(G)= 2Γ(G)$. We also pose the characterization of the general case of $C_3$-free graphs with $Γ_{pr}(G)= 2Γ(G)$ as an open question.
Profunctors between posets and Alexander duality
We consider profunctors $f : P \promap Q$ between posets and introduce their {\em graph} and {\em ascent}. The profunctors $\Pro(P,Q)$ form themselves a poset, and we consider a partition $\cI \sqcup \cF$ of this into a down-set $\cI$ and up-set $\cF$, called a {\it cut}. To elements of $\cF$ we associate their graphs, and to elements of $\cI$ we associate their ascents. Our basic result is that this, suitable refined, preserves being a cut: We get a cut in the Boolean lattice of subsets of the underlying set of $Q \times P$. Cuts in finite Booleans lattices correspond precisely to finite simplicial complexes.
We apply this in commutative algebra where these give classes of Alexander dual square-free monomial ideals giving the full and natural generalized setting of isotonian ideals and letterplace ideals for posets. We study $\Pro(\NN, \NN)$. Such profunctors identify as order preserving maps $f : \NN \pil \NN \cup \{\infty \}$. For our applications when $P$ and $Q$ are infinite, we also introduce a topology on $\Pro(P,Q)$, in particular on profunctors $\Pro(\NN,\NN)$.
Coloring graph classes with no induced fork via perfect divisibility
Published
• View Publication
• BIB
For a graph $G$, $χ(G)$ will denote its chromatic number, and $ω(G)$ its clique number. A graph $G$ is said to be perfectly divisible if for all induced subgraphs $H$ of $G$, $V(H)$ can be partitioned into two sets $A$, $B$ such that $H[A]$ is perfect and $ω(H[B]) < ω(H)$. An integer-valued function $f$ is called a $χ$-binding function for a hereditary class of graphs $\cal C$ if $χ(G) \leq f(ω(G))$ for every graph $G\in \cal C$. The fork is the graph obtained from the complete bipartite graph $K_{1,3}$ by subdividing an edge once. The problem of finding a polynomial $χ$-binding function for the class of fork-free graphs is open. In this paper, we study the structure of some classes of fork-free graphs; in particular, we study the class of (fork,$F$)-free graphs $\cal G$ in the context of perfect divisibility, where $F$ is a graph on five vertices with a stable set of size three, and show that every $G\in \cal G$ satisfies $χ(G)\leq ω(G)^2$. We also note that the class $\cal G$ does not admit a linear $χ$-binding function.
Searching for an Intruder on Graphs and Their Subdivisions
Published
• View Publication
• BIB
In this paper we analyze a variant of the pursuit-evasion game on a graph $G$ where the intruder occupies a vertex, is allowed to move to adjacent vertices or remain in place, and is 'invisible' to the searcher, meaning that the searcher operates with no knowledge of the position of the intruder. On each stage, the searcher is allowed to inspect an arbitrary set of $k$ vertices. The minimum $k$ for which the searcher can guarantee the capture of the intruder is called the inspection number of $G$. We also introduce and study the topological inspection number, a quantity that captures the limiting behavior of the inspection number under subdivisions of $G$. Our central theorem provides a full classification of graphs with topological inspection number up to $3$.
Spined categories: generalizing tree-width beyond graphs
Published
• View Publication
• BIB
Tree-width is an invaluable tool for computational problems on graphs. But often one would like to compute on other kinds of objects (e.g. decorated graphs or even algebraic structures) where there is no known tree-width analogue. Here we define an abstract analogue of tree-width which provides a uniform definition of various tree-width-like invariants including graph tree-width, hypergraph tree-width, complemented tree-width and even new constructions such as the tree-width of modular quotients. We obtain this generalization by developing a general theory of categories that admit abstract analogues of both tree decompositions and tree-width; we call these pseudo-chordal completions and the triangulation functor respectively.
Universal rigidity on the line, point order
We show that universal rigidity of a generic bar and joint framework (G,p) in the line depends on more than the ordering of the vertices. In particular, we construct examples of one-dimensional generic frameworks with the same graph and ordering of the vertices, such that one is universally rigid and one is not. This answers, in the negative, a question of Jordan and Nguyen.
Which Sampling Densities are Suitable for Spectral Clustering on Unbounded Domains?
We consider a random geometric graph with vertices sampled from a probability measure supported on $\mathbb R^d$, and study its connectivity. We show the graph is typically disconnected, unless the sampling density has superexponential decay. In the later setting, we identify an asymptotic threshold value for the radius parameter of the graph such that, for radius values beyond the threshold, some concentration properties hold for the sampled points of the graph, while the graph is disconnected for radius values below the same threshold. Properties of point processes are well-known to be closely related to the analysis of geometric learning problems, such as spectral clustering. This work can be seen as a first step towards understanding the consistency of spectral clustering when the probability measure has unbounded support. In particular, we narrow down the setting under which spectral clustering algorithms on $\mathbb R^d$ may be expected to achieve consistency, to a sufficiently fast decay of the sampling density (superexponential) and a sufficiently slowly decaying radius parameter value as a function of $n$, the number of sampled points.
Difference of facial achromatic numbers between two triangular embeddings of a graph
Published in Theory and Applications of Graphs: Vol. 10: Iss. 2, Article 6 (2023)
• View Publication
• BIB
A facial $3$-complete $k$-coloring of a triangulation $G$ on a surface is a vertex $k$-coloring such that every triple of $k$-colors appears on the boundary of some face of $G$. The facial $3$-achromatic number $ψ_3(G)$ of $G$ is the maximum integer $k$ such that $G$ has a facial $3$-complete $k$-coloring. This notion is an expansion of the complete coloring, that is, a proper vertex coloring of a graph such that every pair of colors appears on the ends of some edge.
For two triangulations $G$ and $G'$ on a surface, $ψ_3(G)$ may not be equal to $ψ_3(G')$ even if $G$ is isomorphic to $G'$ as graphs. Hence, it would be interesting to see how large the difference between $ψ_3(G)$ and $ψ_3(G')$ can be. We shall show that the upper bound for such difference in terms of the genus of the surface.