graph
34828 papers tagged with this keyword
A probabilistic approach to the leader problem in random graphs
Published
• View Publication
• BIB
We study the fixation time of the identity of the leader, i.e., the most massive component, in the general setting of Aldous's multiplicative coalescent [4, 5], which in an asymptotic sense describes the evolution of the component sizes of a wide array of near-critical coalescent processes, including the classical Erdős-Rényi process.
We show tightness of the fixation time in the "Brownian" regime, explicitly determining the median value of the fixation time to within an optimal $O(1)$ window. This generalizes Łuczak's result [31] for the Erdős-Rényi random graph using completely different techniques.
In the heavy-tailed case, in which the limit of the component sizes can be encoded using a thinned pure-jump Lévy process, we prove that only one-sided tightness holds. This shows a genuine difference in the possible behavior in the two regimes.
The solution to the leader problem in the setting of the Erdős-Rényi random graph played an important role in the study of the scaling limit of the minimal spanning tree on the complete graph [2]. We believe that analogous results, such as those proved herein, will be useful in establishing universality of the intrinsic geometry of the minimal spanning tree across a large class of models.
New constructions for the $n$-queens problem
Let $D$ be a digraph, possibly with loops. A queen labeling of $D$ is a bijective function $l:V(G)\longrightarrow \{1,2,\ldots,|V(G)|\}$ such that, for every pair of arcs in $E(D)$, namely $(u,v)$ and $(u',v')$ we have (i) $l(u)+l(v)\neq l(u')+l(v')$ and (ii) $l(v)-l(u)\neq l(v')-l(u')$. Similarly, if the two conditions are satisfied modulo $n=|V(G)|$, we define a modular queen labeling. There is a bijection between (modular) queen labelings of $1$-regular digraphs and the solutions of the (modular) $n$-queens problem.
The $\otimes_h$-product was introduced in 2008 as a generalization of the Kronecker product and since then, many relations among labelings have been established using the $\otimes_h$-product and some particular families of graphs.
In this paper, we study some families of $1$-regular digraphs that admit (modular) queen labelings and present a new construction concerning to the (modular) $n$-queens problem in terms of the $\otimes_h$-product, which in some sense complements a previous result due to Pólya.
Steiner trees and higher geodecity
Let $G$ be a connected graph and $\ell : E(G) \to \mathbb{R}^+$ a length-function on the edges of $G$. The Steiner distance $\mathrm{sd}_G(A)$ of $A \subseteq V(G)$ within $G$ is the minimum length of a connected subgraph of $G$ containing $A$, where the length of a subgraph is the sum of the lengths of its edges.
It is clear that every subgraph $H \subseteq G$, with the induced length-function $\ell|_{E(H)}$, satisfies $\mathrm{sd}_H(A) \geq \mathrm{sd}_G(A)$ for every $A \subseteq V(H)$. We call $H \subseteq G$ $k$-geodesic in $G$ if equality is attained for every $A \subseteq V(H)$ with $|A| \leq k$. A subgraph is fully geodesic if it is $k$-geodesic for every $k \in \mathbb{N}$. It is easy to construct examples of graphs $H \subseteq G$ such that $H$ is $k$-geodesic, but not $(k+1)$-geodesic, so this defines a strict hierarchy of properties. We are interested in situations in which this hierarchy collapses in the sense that if $H \subseteq G$ is $k$-geodesic, then $H$ is already fully geodesic in $G$.
Our first result of this kind asserts that if $T$ is a tree and $T \subseteq G$ is 2-geodesic with respect to some length-function $\ell$, then it is fully geodesic. This fails for graphs containing a cycle. We also prove that if $C$ is a cycle and $C \subseteq G$ is 6-geodesic, then $C$ is fully geodesic. We present an example showing that the number six is indeed optimal.
We then develop a structural approach towards a more general theory and present several open questions concerning the big picture underlying this phenomenon.
Asymptotic Enumeration of Compacted Binary Trees of Bounded Right Height
Published in J. Combin. Theory Ser. A 172 (2020), 105177
• View Publication
• BIB
A compacted binary tree is a graph created from a binary tree such that repeatedly occurring subtrees in the original tree are represented by pointers to existing ones, and hence every subtree is unique. Such representations form a special class of directed acyclic graphs. We are interested in the asymptotic number of compacted trees of given size, where the size of a compacted tree is given by the number of its internal nodes. Due to its superexponential growth this problem poses many difficulties. Therefore we restrict our investigations to compacted trees of bounded right height, which is the maximal number of edges going to the right on any path from the root to a leaf.
We solve the asymptotic counting problem for this class as well as a closely related, further simplified class.
For this purpose, we develop a calculus on exponential generating functions for compacted trees of bounded right height and for relaxed trees of bounded right height, which differ from compacted trees by dropping the above described uniqueness condition. This enables us to derive a recursively defined sequence of differential equations for the exponential generating functions. The coefficients can then be determined by performing a singularity analysis of the solutions of these differential equations.
Our main results are the computation of the asymptotic numbers of relaxed as well as compacted trees of bounded right height and given size, when the size tends to infinity.
Extensions of a theorem of Erdős on nonhamiltonian graphs
Let $n, d$ be integers with $1 \leq d \leq \left \lfloor \frac{n-1}{2} \right \rfloor$, and set $h(n,d):={n-d \choose 2} + d^2$. Erdős proved that when $n \geq 6d$, each nonhamiltonian graph $G$ on $n$ vertices with minimum degree $δ(G) \geq d$ has at most $h(n,d)$ edges. He also provides a sharpness example $H_{n,d}$ for all such pairs $n,d$. Previously, we showed a stability version of this result: for $n$ large enough, every nonhamiltonian graph $G$ on $n$ vertices with $δ(G) \geq d$ and more than $h(n,d+1)$ edges is a subgraph of $H_{n,d}$.
In this paper, we show that not only does the graph $H_{n,d}$ maximize the number of edges among nonhamiltonian graphs with $n$ vertices and minimum degree at least $d$, but in fact it maximizes the number of copies of any fixed graph $F$ when $n$ is sufficiently large in comparison with $d$ and $|F|$. We also show a stronger stability theorem, that is, we classify all nonhamiltonian $n$-graphs with $δ(G) \geq d$ and more than $h(n,d+2)$ edges. We show this by proving a more general theorem: we describe all such graphs with more than ${n-(d+2) \choose k} + (d+2){d+2 \choose k-1}$ copies of $K_k$ for any $k$.
More on the $k$-color connection number of a graph
An edge-colored graph $G$ is $k$-color connected if, between each pair of vertices, there exists a path using at least $k$ different colors. The $k$-color connection number of $G$, denoted by $cc_{k}(G)$, is the minimum number of colors needed to color the edges of $G$ so that $G$ is $k$-color connected. First, we prove that let $H$ be a subdivision of a connected graph $G$, then $cc_{k}(H)\leq cc_{k}(G)$. Second, we give sufficient conditions to guarantee that $cc_{k}(G)=k$ in terms of minimum degree and the number of edges for 2-connected graphs. As a byproduct, we show that almost all graphs have the $k$-color connection number $k$. At last, we investigate the relationship between the $k$-color connection number and the rainbow connection number for a connected graph. In addition, we give exact values of $k$-color connection numbers for some graph classes: subdivisions of the wheel and the complete graph, and the generalised $θ$-graph.
A Note on Matchings Constructed during Edmonds' Weighted Perfect Matching Algorithm
We reprove that all the matchings constructed during Edmonds' weighted perfect matching algorithm are optimal among those of the same cardinality (provided that certain mild restrictions are obeyed on the choices the algorithm makes). We conclude that in order to solve a weighted matching problem it is not needed to solve a weighted perfect matching problem in an auxiliary graph of doubled size. This result was known before, e.g., posed as an exercise in see Lawler's book from 1976, but is not present in several modern books on combinatorial optimization.
How many zombies are needed to catch the survivor on toroidal grids?
In Zombies and Survivors, a set of zombies attempts to eat a lone survivor loose on a given graph. The zombies randomly choose their initial location, and during the course of the game, move directly toward the survivor. At each round, they move to the neighbouring vertex that minimizes the distance to the survivor; if there is more than one such vertex, then they choose one uniformly at random. The survivor attempts to escape from the zombies by moving to a neighbouring vertex or staying on his current vertex. The zombies win if eventually one of them eats the survivor by landing on their vertex; otherwise, the survivor wins. The zombie number of a graph is the minimum number of zombies needed to play such that the probability that they win is at least 1/2.
This variant of the game was recently investigated for several graph families, such as cycles, hypercubes, incidence graphs of projective planes, and grids $P_n \square P_n$. However, unfortunately, still very little is known for toroidal grids $C_n \square C_n$: the zombie number of $C_n \square C_n$ is at least $\sqrt n/(ω\log n)$, where $ω= ω(n)$ is any function going to infinity as $n \to \infty$, and no upper bound is known except a trivial bound of $O(n^2 \log n)$. In this note, we provide an approach that gives an embarrassing bound of $O(n^2)$ but it is possible that (with more careful, deterministic, argument) it might actually give a bound of $O(n^{3/2})$. On the other hand, by analyzing a specific strategy for the survivor, it seems that one could slightly improve the lower bound to $\sqrt n/ω$. In any case, we are far away from understanding this intriguing question. Your help is needed!
The Geodetic Hull Number is Hard for Chordal Graphs
Published
• View Publication
• BIB
We show the hardness of the geodetic hull number for chordal graphs.
On the Profile of Multiplicities of Complete Subgraphs
Published
• View Publication
• BIB
Let $G$ be a $2$-coloring of a complete graph on $n$ vertices, for sufficiently large $n$. We prove that $G$ contains at least $n^{(\frac{1}{4} - o(1))\log n}$ monochromatic complete subgraphs of size $r$, where \[ 0.3\log n < r < 0.7\log n. \] The previously known lower bound on the total number of monochromatic complete subgraphs, due to Székely was $n^{0.1576\log n}$. We also prove that $G$ contains at least $n^{\frac{1}{7} \log n} $ monochromatic complete subgraphs of size $\frac{1}{2}\log n$.
If furthermore one assumes that the largest monochromatic complete subgraph in $G$ is of size $(\frac{1}{2} + o(1))\log n$ (it is a well known open question whether such graphs exist), then for every constant $0 \le c \le \frac{1}{2}$ we determine (up to low order terms) the number of monochromatic complete subgraphs of size $c \log n$. We do so by proving a lower bound that matches (up to low order terms) a previous upper bound of Székely. For example, the number of monochromatic complete subgraphs of size $\frac{1}{2} \log n$ is $n^{\frac{1}{8}(4 - \log e \pm o(1))\log n} \simeq n^{0.32 \log n}$.
Ruling out FPT algorithms for Weighted Coloring on forests
Given a graph $G$, a proper $k$-coloring of $G$ is a partition $c = (S_i)_{i\in [1,k]}$ of $V(G)$ into $k$ stable sets $S_1,\ldots, S_{k}$. Given a weight function $w: V(G) \to \mathbb{R}^+$, the weight of a color $S_i$ is defined as $w(i) = \max_{v \in S_i} w(v)$ and the weight of a coloring $c$ as $w(c) = \sum_{i=1}^{k}w(i)$. Guan and Zhu [Inf. Process. Lett., 1997] defined the weighted chromatic number of a pair $(G,w)$, denoted by $σ(G,w)$, as the minimum weight of a proper coloring of $G$. For a positive integer $r$, they also defined $σ(G,w;r)$ as the minimum of $w(c)$ among all proper $r$-colorings $c$ of $G$.
The complexity of determining $σ(G,w)$ when $G$ is a tree was open for almost 20 years, until Araújo et al. [SIAM J. Discrete Math., 2014] recently proved that the problem cannot be solved in time $n^{o(\log n)}$ on $n$-vertex trees unless the Exponential Time Hypothesis (ETH) fails.
The objective of this article is to provide hardness results for computing $σ(G,w)$ and $σ(G,w;r)$ when $G$ is a tree or a forest, relying on complexity assumptions weaker than the ETH. Namely, we study the problem from the viewpoint of parameterized complexity, and we assume the weaker hypothesis $FPT \neq W[1]$. Building on the techniques of Araújo et al., we prove that when $G$ is a forest, computing $σ(G,w)$ is $W[1]$-hard parameterized by the size of a largest connected component of $G$, and that computing $σ(G,w;r)$ is $W[2]$-hard parameterized by $r$. Our results rule out the existence of $FPT$ algorithms for computing these invariants on trees or forests for many natural choices of the parameter.
The Colin de Verdière parameter, excluded minors, and the spectral radius
Published
• View Publication
• BIB
In this paper we characterize graphs which maximize the spectral radius of their adjacency matrix over all graphs of Colin de Verdière parameter at most $m$. We also characterize graphs of maximum spectral radius with no $H$ as a minor when $H$ is either $K_r$ or $K_{s,t}$. Interestingly, the extremal graphs match those which maximize the number of edges over all graphs with no $H$ as a minor when $r$ and $s$ are small, but not when they are larger.
Percolation on an infinitely generated group
Published in Combinator. Probab. Comp. 29 (2020) 587-615
• View Publication
• BIB
We give an example of a long range Bernoulli percolation process on a group non-quasi-isometric with $\mathbb{Z}$, in which clusters are almost surely finite for all values of the parameter. This random graph admits diverse equivalent definitions, and we study their ramifications. We also study its expected size and point out certain phase transitions.
Maximum matchings in scale-free networks with identical degree distribution
Published
• View Publication
• BIB
The size and number of maximum matchings in a network have found a large variety of applications in many fields. As a ubiquitous property of diverse real systems, power-law degree distribution was shown to have a profound influence on size of maximum matchings in scale-free networks, where the size of maximum matchings is small and a perfect matching often does not exist. In this paper, we study analytically the maximum matchings in two scale-free networks with identical degree sequence, and show that the first network has no perfect matchings, while the second one has many. For the first network, we determine explicitly the size of maximum matchings, and provide an exact recursive solution for the number of maximum matchings. For the second one, we design an orientation and prove that it is Pfaffian, based on which we derive a closed-form expression for the number of perfect matchings. Moreover, we demonstrate that the entropy for perfect matchings is equal to that corresponding to the extended Sierpiński graph with the same average degree as both studied scale-free networks. Our results indicate that power-law degree distribution alone is not sufficient to characterize the size and number of maximum matchings in scale-free networks.
Pattern Recognition on Oriented Matroids: Decompositions of Topes, and Orthogonality Relations
If V(R) is the vertex set of a symmetric cycle R in the tope graph of a simple oriented matroid M, then for any tope T of M there exists a unique inclusion-minimal subset Q(T,R) of V(R) such that T is the sum of the topes of Q(T,R).
If for decompositions Q(T',R') and Q(T",R") with respect to symmetric cycles R' and R" in the tope graphs of two simple oriented matroids, whose ground sets have the cardinalities of opposite parity, we have |Q(T',R')|>3 and |Q(T",R")|>3, then these decompositions satisfy a certain orthogonality relation.
Most Rigid Representations and Cayley index
Published
• View Publication
• BIB
For any finite group $G$, a natural question to ask is the order of the smallest possible automorphism group for a Cayley graph on $G$. A particular Cayley graph whose automorphism group has this order is referred to as an MRR (Most Rigid Representation), and its Cayley index is a numerical indicator of this value. Study of GRRs showed that with the exception of two infinite families and seven individual groups, every group admits a Cayley graph whose MRR is a GRR, so that the Cayley index is 1. The full answer to the question of finding the smallest possible Cayley index for a Cayley graph on a fixed group was almost completed in previous work, but the precise answers for some finite groups and one infinite family of groups were left open. We fill in the remaining gaps to completely answer this question.
$R(5,5) \le 48$
We improve the upper bound on the Ramsey number $R(5,5)$ from $R(5,5) \le 49$ to $R(5,5) \le 48$. We also complete the catalogue of extremal graphs for $R(4,5)$.
Steiner Point Removal --- Distant Terminals Don't (Really) Bother
Published
• View Publication
• BIB
Given a weighted graph $G=(V,E,w)$ with a set of $k$ terminals $T\subset V$, the Steiner Point Removal problem seeks for a minor of the graph with vertex set $T$, such that the distance between every pair of terminals is preserved within a small multiplicative distortion. Kamma, Krauthgamer and Nguyen (SODA 2014, SICOMP 2015) used a ball-growing algorithm to show that the distortion is at most $\mathcal{O}(\log^5 k)$ for general graphs.
In this paper, we improve the distortion bound to $\mathcal{O}(\log^2 k)$. The improvement is achieved based on a known algorithm that constructs terminal-distance exact-preservation minor with $\mathcal{O}(k^4)$ (which is independent of $|V|$) vertices, and also two tail bounds on the sum of independent exponential random variables, which allow us to show that it is unlikely for a non-terminal being contracted to a distant terminal.
On connectedness of power graphs of finite groups
Published
• View Publication
• BIB
The power graph of a group $G$ is the graph whose vertex set is $G$ and two distinct vertices are adjacent if one is a power of the other. This paper investigates the minimal separating sets of power graphs of finite groups. For power graphs of finite cyclic groups, certain minimal separating sets are obtained. Consequently, a sharp upper bound for their connectivity is supplied. Further, the components of proper power graphs of $p$-groups are studied. In particular, the number of components of that of abelian $p$-groups are determined.
On the number of geodesics of Petersen graph $GP(n,2)$
In any network, the interconnection of nodes by means of geodesics and the number of geodesics existing between nodes are important. There exists a class of centrality measures based on the number of geodesics passing through a vertex. Betweenness centrality indicates the betweenness of a vertex or how often a vertex appears on geodesics between other vertices. It has wide applications in the analysis of networks. Consider $GP(n,k)$. For each $n$ and $k \,(n > 2k)$, the generalized Petersen graph $GP ( n , k )$ is a trivalent graph with vertex set $\{ u_ i ,\, v_ i \,|\, 0 \leq i \leq n - 1 \}$ and edge set $\{ u_ i u_ {i + 1} , u_ i v _i , v_ i v_{ i + k}\, |\, 0\leq i \leq n - 1, \hbox{ subscripts reduced modulo } n \}$. There are three kinds of edges namely outer edges, spokes and inner edges. The outer vertices generate an $n$-cycle called outer cycle and inner vertices generate one or more inner cycles. In this paper, we consider $GP(n,2)$ and find expressions for the number of geodesics and betweenness centrality.