graph
34905 papers tagged with this keyword
The Shortest Path Problem for the Distant Graph of the Projective Line Over the Ring of Integers
Published
• View Publication
• BIB
The distant graph $G = G(\mathbb{P}(Z),\triangle)$ of the projective line over the ring of integers is considered. The shortest path problem in this graph is solved by use of Klein's geometric interpretation of Euclidean continued fractions. In case the minimal path is non-unique, all the possible splitting are described which allows us to give necessary and sufficient conditions for existence of a unique shortest path.
Changing of the domination number of a graph: edge multisubdivision and edge removal
Published
• View Publication
• BIB
For a graphical property $\mathcal{P}$ and a graph $G$, a subset $S$ of vertices of $G$ is a $\mathcal{P}$-set if the subgraph induced by $S$ has the property $\mathcal{P}$. The domination number with respect to the property $\mathcal{P}$, denoted by $γ_{\mathcal{P}} (G)$, is the minimum cardinality of a dominating $\mathcal{P}$-set. We define the domination multisubdivision number with respect to $\mathcal{P}$,denoted by $msd_{\mathcal{P}}(G)$, as a minimum positive integer $k$ such that there exists an edge which must be subdivided $k$ times to change $γ_\mathcal{P} (G)$. In this paper (a) we present necessary and sufficient conditions for a change of $γ_{\mathcal{P}}(G)$ after subdividing an edge of $G$ once, (b) we prove that if $e$ is an edge of a graph $G$ then $γ_\mathcal{P} (G_{e,1}) < γ_\mathcal{P} (G)$ if and only if $γ_\mathcal{P} (G-e) < γ_\mathcal{P} (G)$ ($G_{e,t}$ denote the graph obtained from $G$ by subdivision of $e$ with $t$ vertices), (c) we also prove that for every edge of a graph $G$ is fulfilled $γ_{\mathcal{P}}(G-e) \leq γ_{\mathcal{P}}(G_{e,3}) \leq γ_{\mathcal{P}}(G-e) + 1$, and (d) we show that $msd_{\mathcal{P}}(G) \leq 3$, where $\mathcal{P}$ is hereditary and closed under union with $K_1$.
Tropical curves in sandpile models
Published
• View Publication
• BIB
A sandpile is a cellular automaton on a graph that evolves by the following toppling rule: if the number of grains at a vertex is at least its valency, then this vertex sends one grain to each of its neighbors.
In the study of pattern formation in sandpiles on large subgraphs of the standard square lattice, S. Caracciolo, G. Paoletti, and A. Sportiello experimentally observed that the result of the relaxation of a small perturbation of the maximal stable state contains a clear visible thin balanced graph formed by its deviation (less than maximum) set. Such graphs are known as tropical curves.
During the early stage of our research, we have noticed that these tropical curves are approximately scale-invariant, that is the deviation set mimics an extremal tropical curve depending on the domain on the plane and the positions of the perturbation points, but not on the mesh of the lattice.
In this paper, we rigorously formulate these two facts in the form of a scaling limit theorem and prove it. We rely on the theory of tropical analytic series, which is used to describe the global features of the sandpile dynamic, and on the theory of smoothings of discrete superharmonic functions, which handles local questions.
The CI problem for infinite groups
Published
• View Publication
• BIB
A finite group $G$ is a DCI-group if, whenever $S$ and $S'$ are subsets of $G$ with the Cayley graphs Cay$(G,S)$ and Cay$(G,S')$ isomorphic, there exists an automorphism $\varphi$ of $G$ with $\varphi(S)=S'$. It is a CI-group if this condition holds under the restricted assumption that $S=S^{-1}$. We extend these definitions to infinite groups, and make two closely-related definitions: an infinite group is a strongly (D)CI$_f$-group if the same condition holds under the restricted assumption that $S$ is finite; and an infinite group is a (D)CI$_f$-group if the same condition holds whenever $S$ is both finite and generates $G$.
We prove that an infinite (D)CI-group must be a torsion group that is not locally-finite. We find infinite families of groups that are (D)CI$_f$-groups but not strongly (D)CI$_f$-groups, and that are strongly (D)CI$_f$-groups but not (D)CI-groups. We discuss which of these properties are inherited by subgroups. Finally, we completely characterise the locally-finite DCI-graphs on $\mathbb Z^n$. We suggest several open problems related to these ideas, including the question of whether or not any infinite (D)CI-group exists.
Rotor-routing orbits in directed graphs and the Picard group
In [5], Holroyd, Levine, Mészáros, Peres, Propp and Wilson characterize recurrent chip-and-rotor configurations for strongly connected digraphs. However, the number of steps needed to recur, and the number of orbits is left open for general digraphs. Recently, these questions were answered by Pham [6], using linear algebraic methods. We give new, purely combinatorial proofs for these formulas. We also relate rotor-router orbits to the chip-firing game: The number of recurrent rotor-router unicycle-orbits equals the order of the Picard group of the graph, defined in the sense of [1], and during a period, the same chip-moves happen, as during firing the period vector in the chip-firing game.
A note on the shameful conjecture
Published
• View Publication
• BIB
Let $P_G(q)$ denote the chromatic polynomial of a graph $G$ on $n$ vertices. The `shameful conjecture' due to Bartels and Welsh states that, $$\frac{P_G(n)}{P_G(n-1)} \geq \frac{n^n}{(n-1)^n}.$$ Let $μ(G)$ denote the expected number of colors used in a uniformly random proper $n$-coloring of $G$. The above inequality can be interpreted as saying that $μ(G) \geq μ(O_n)$, where $O_n$ is the empty graph on $n$ nodes. This conjecture was proved by F. M. Dong, who in fact showed that, $$\frac{P_G(q)}{P_G(q-1)} \geq \frac{q^n}{(q-1)^n}$$ for all $q \geq n$. There are examples showing that this inequality is not true for all $q \geq 2$. In this paper, we show that the above inequality holds for all $q \geq 36D^{3/2}$, where $D$ is the largest degree of $G$. It is also shown that the above inequality holds true for all $q \geq 2$ when $G$ is a claw-free graph.
How to Hunt an Invisible Rabbit on a Graph
Published
• View Publication
• BIB
We investigate Hunters & Rabbit game, where a set of hunters tries to catch an invisible rabbit that slides along the edges of a graph. We show that the minimum number of hunters required to win on an (n\times m)-grid is \lfloor min{n,m}/2\rfloor+1. We also show that the extremal value of this number on n-vertex trees is between Ω(log n/log log n) and O(log n).
Preferential Attachment Processes Approaching The Rado Multigraph
Published
• View Publication
• BIB
We consider a preferential attachment process in which a multigraph is built one node at a time. The number of edges added at stage $t$, emanating from the new node, is given by some prescribed function $f(t)$, generalising a model considered by Kleinberg and Kleinberg in 2005 where $f$ was presumed constant. We show that if $f(t)$ is asymptotically bounded above and below by linear functions in $t$, then with probability $1$ the infinite limit of the process will be isomorphic to the \emph{Rado multigraph}. This structure is the natural multigraph analogue of the Rado graph, which we introduce here.
On "stability" in the Erdős-Ko-Rado theorem
Published
• View Publication
• BIB
Denote by $K_p(n,k)$ the random subgraph of the usual Kneser graph $K(n,k)$ in which edges appear independently, each with probability $p$. Answering a question of Bollobás, Narayanan, and Raigorodskii,we show that there is a fixed $p<1$ such that a.s. (i.e., with probability tending to 1 as $k \to \infty$) the maximum independent sets of $K_p(2k+1, k)$ are precisely the sets $\{A\in V(K(2k+1,k)): x\in A\}$ ($x\in [2k+1]$).
We also complete the determination of the order of magnitude of the "threshold" for the above property for general $k$ and $n\geq 2k+2$. This is new for $k\sim n/2$, while for smaller $k $ it is a recent result of Das and Tran.
Classes of critical graphs for tree-depth
A k-ranking of a graph G is a labeling of the vertices of G with values from {1,...,k} such that any path joining two vertices with the same label contains a vertex having a higher label. The tree-depth of G is the smallest value of k for which a k-ranking of G exists. The graph G is k-critical if it has tree-depth k and any proper minor of G has smaller tree-depth, and it is 1-unique if for every vertex v in G, there exists an optimal ranking of G in which v is the unique vertex with label 1.
We present several classes of graphs that are both k-critical and 1-unique, providing examples that satisfy conjectures on critical graphs discussed in [M.D. Barrus and J. Sinkovic, Uniqueness and minimal obstructions for tree-depth, submitted].
Connectivity of Soft Random Geometric Graphs Over Annuli
Published in Journal of Statistical Physics, Volume 162, Issue 4 1068-1083 (2016)
• View Publication
• BIB
Nodes are randomly distributed within an annulus (and then a shell) to form a point pattern of communication terminals which are linked stochastically according to the Rayleigh fading of radio-frequency data signals. We then present analytic formulas for the connection probability of these spatially embedded graphs, describing the connectivity behaviour as a dense-network limit is approached. This extends recent work modelling ad hoc networks in non-convex domains.
Decomposition of Sparse Graphs into Forests: The Nine Dragon Tree Conjecture for $k \le 2$
Published
• View Publication
• BIB
For a loopless multigraph $G$, the fractional arboricity $Arb(G)$ is the maximum of $\frac{|E(H)|}{|V(H)|-1}$ over all subgraphs $H$ with at least two vertices. Generalizing the Nash-Williams Arboricity Theorem, the Nine Dragon Tree Conjecture asserts that if $Arb(G)\le k+\frac{d}{k+d+1}$, then $G$ decomposes into $k+1$ forests with one having maximum degree at most $d$. The conjecture was previously proved for $d=k+1$ and for $k=1$ when $d \le 6$. We prove it for all $d$ when $k \le 2$, except for $(k,d)=(2,1)$.
Regularity lemmas in a Banach space setting
Published
• View Publication
• BIB
Szemerédi's regularity lemma is a fundamental tool in extremal graph theory, theoretical computer science and combinatorial number theory. Lovász and Szegedy [L. Lovász and B. Szegedy: Szemerédi's Lemma for the analyst, Geometric and Functional Analysis 17 (2007), 252-270] gave a Hilbert space interpretation of the lemma and an interpretation in terms of compact- ness of the space of graph limits. In this paper we prove several compactness results in a Banach space setting, generalising results of Lovász and Szegedy as well as a result of Borgs, Chayes, Cohn and Zhao [C. Borgs, J.T. Chayes, H. Cohn and Y. Zhao: An Lp theory of sparse graph convergence I: limits, sparse random graph models, and power law distributions, arXiv preprint arXiv:1401.2906 (2014)].
$P$-persistent homology of finite topological spaces
Let $P$ be a finite poset. We will show that for any reasonable $P$-persistent object $X$ in the category of finite topological spaces, there is a $P-$ weighted graph, whose clique complex has the same $P$-persistent homology as $X$.
Decompositions of edge-colored infinite complete graphs into monochromatic paths
Published
• View Publication
• BIB
An $r$-edge coloring of a graph or hypergraph $G=(V,E)$ is a map $c:E\to \{0, \dots, r-1\}$. Extending results of Rado and answering questions of Rado, Gyárfás and Sárközy we prove that
(1.) the vertex set of every $r$-edge colored countably infinite complete $k$-uniform hypergraph can be partitioned into $r$ monochromatic tight paths with distinct colors (a tight path in a $k$-uniform hypergraph is a sequence of distinct vertices such that every set of $k$ consecutive vertices forms an edge),
(2.) for all natural numbers $r$ and $k$ there is a natural number $M$ such that the vertex set of every $r$-edge colored countably infinite complete graph can be partitioned into $M$ monochromatic $k^{th}$ powers of paths apart from a finite set (a $k^{th}$ power of a path is a sequence $v_0, v_1, \dots$ of distinct vertices such that $1\le|i-j| \le k$ implies that $v_iv_j$ is an edge),
(3.) the vertex set of every $2$-edge colored countably infinite complete graph can be partitioned into $4$ monochromatic squares of paths, but not necessarily into $3$,
(4.) the vertex set of every $2$-edge colored complete graph on $ω_1$ can be partitioned into $2$ monochromatic paths with distinct colors.
On the probability that a random subgraph contains a circuit
Published
• View Publication
• BIB
Let $μ> 2$ and $ε> 0$. We show that, if $G$ is a sufficiently large simple graph of average degree at least $μ$, and $H$ is a random spanning subgraph of $G$ formed by including each edge independently with probability $p \ge \tfrac{1}{μ-1} + ε$, then $H$ contains a cycle with probability at least $1 - ε$.
Three domination number and connectivity in graphs
In a graph G, a vertex dominates itself and its neighbors. A subset S of V is called a dominating set in G if every vertex in V is dominated by at least one vertex in S. The domination number gamma G is the minimum cardinality of a dominating set. A set S subset V is called a double dominating set of a graph G if every vertex in V is dominated by at least two vertices in S. The minimum cardinality of a double dominating set is called double domination number of G. In a graph G, a vertex dominates itself and its neighbors. A subset S of V is called a dominating set in G if every vertex in V is dominated by at least one vertex in S. The domination number gamma G is the minimum cardinality of a dominating set. A set S subseteq V is called a double dominating set of a graph G if every vertex in V is dominated by at least two vertices in S. The minimum cardinality of a double dominating set is called double domination number of G. The connectivity gamma G of a connected graph G is the minimum number of vertices whose removal results in a disconnected or trivial graph. In this paper, introduced the concept of three domination in graphs. and we obtain an upper bound for the sum of the three domination number and connectivity of a graph and characterize the corresponding extremal graphs.
A new proof of Friedman's second eigenvalue Theorem and its extension to random lifts
It was conjectured by Alon and proved by Friedman that a random $d$-regular graph has nearly the largest possible spectral gap, more precisely, the largest absolute value of the non-trivial eigenvalues of its adjacency matrix is at most $2\sqrt{d-1} +o(1)$ with probability tending to one as the size of the graph tends to infinity. We give a new proof of this statement. We also study related questions on random $n$-lifts of graphs and improve a recent result by Friedman and Kohler.
Regularized limit of determinants for discrete tori
Published in Monatsh. Math. 186 (2018), no. 3, 539-557
• View Publication
• BIB
We consider a combinatorial Laplace operator on a sequence of discrete graphs which approximates the m-dimensional torus when the discretization parameter tends to infinity.
We establish a polyhomogeneous expansion of the resolvent trace for the family of discrete graphs, jointly in the resolvent and the discretization parameter. Based on a result about interchanging regularized limits and regularized integrals, we compare the regularized limit of the log-determinants of the combinatorial Laplacian on the sequence of discrete graphs with the logarithm of the zeta determinant for the Laplace Beltrami operator on the m-dimensional torus.
In a similar manner we may apply our method to compare the product of the first N non-zero eigenvalues of the Laplacian on a torus (or any other smooth manifold with an explicitly known spectrum) with the zeta-regularized determinant of the Laplacian in the regularized limit as N goes to infinity.
Choosability in signed planar graphs
Published in European Journal of Combinatorics 52 (2016) 234-243
• View Publication
• BIB
This paper studies the choosability of signed planar graphs. We prove that every signed planar graph is 5-choosable and that there is a signed planar graph which is not 4-choosable while the unsigned graph is 4-choosable. For each $k \in \{3,4,5,6\}$, every signed planar graph without circuits of length $k$ is 4-choosable. Furthermore, every signed planar graph without circuits of length 3 and of length 4 is 3-choosable. We construct a signed planar graph with girth 4 which is not 3-choosable but the unsigned graph is 3-choosable.