-
Reconstructing a pseudotree from the distance matrix of its boundary
Authors:
José Cáceres,
Ignacio M. Pelayo
Abstract:
A vertex $v$ of a connected graph $G$ is said to be a boundary vertex of $G$ if for some other vertex $u$ of $G$, no neighbor of $v$ is further away from $u$ than $v$. The boundary $\partial(G)$ of $G$ is the set of all of its boundary vertices. The distance matrix $\hat{D}_G$ of the boundary of a graph $G$ is the square matrix of order $κ$, being $κ$ the order of $\partial(G)$, such that for ever…
▽ More
A vertex $v$ of a connected graph $G$ is said to be a boundary vertex of $G$ if for some other vertex $u$ of $G$, no neighbor of $v$ is further away from $u$ than $v$. The boundary $\partial(G)$ of $G$ is the set of all of its boundary vertices. The distance matrix $\hat{D}_G$ of the boundary of a graph $G$ is the square matrix of order $κ$, being $κ$ the order of $\partial(G)$, such that for every $i,j\in \partial(G)$, $[\hat{D}_G]_{ij}=d_G(i,j)$. Given a square matrix $\hat{B}$ of order $κ$, we prove under which conditions $\hat{B}$ is the distance matrix $\hat{D}_T$ of the set of leaves of a tree $T$, which is precisely its boundary. We show that if $G$ is either a tree or a unicyclic graph with girth $g\geq 5$ vertices, then $G$ is uniquely determined by the distance matrix $\hat{D}_{G}$ of the boundary of $G$ and we also conjecture that this statement holds for every connected graph. Moreover, two algorithms for reconstructing a tree and a unicyclic graph from the distance matrix of their boundaries are given, whose time complexities in the worst case are, respectively, $O(κn)$ and $O(n^2)$.
△ Less
Submitted 17 May, 2024; v1 submitted 5 April, 2024;
originally announced April 2024.
-
New three-dimensional dispersion in the type-II Dirac semimetals PtTe$_2$ and PdTe$_2$ revealed through Angle Resolved Photoemission Spectroscopy
Authors:
Ivan Pelayo,
Derek Bergner,
Archibald J. Williams,
Jiayuwen Qi,
Penghao Zhu,
Mahfuzun Nabi,
Warren L. B. Huey,
Luca Moreschini,
Ziling Deng,
Jonathan Denlinger,
Alessandra Lanzara,
Yuan-Ming Lu,
Wolfgang Windl,
Joshua Goldberger,
Claudia Ojeda-Aristizabal
Abstract:
PtTe$_2$ and PdTe$_2$ are among the first transition metal dichalcogenides that were predicted to host type-II Dirac fermions, exotic particles prohibited in free space. These materials are layered and air-stable, which makes them top candidates for technological applications that take advantage of their anisotropic magnetotransport properties. Here, we provide a detailed characterization of the e…
▽ More
PtTe$_2$ and PdTe$_2$ are among the first transition metal dichalcogenides that were predicted to host type-II Dirac fermions, exotic particles prohibited in free space. These materials are layered and air-stable, which makes them top candidates for technological applications that take advantage of their anisotropic magnetotransport properties. Here, we provide a detailed characterization of the electronic structure of PtTe$_2$ and PdTe$_2$ using Angle Resolved Photoemission Spectroscopy (ARPES) and Density Functional Theory (DFT) calculations, unveiling a new three-dimensional dispersion in these materials. Through the use of circularly polarized light, we report a different behavior of such dispersion in PdTe$_2$ compared to PtTe$_2$, that we relate to a symmetry analysis of the dipole matrix element. Such analysis reveals a link between the observed circular dichroism and the different momentum-dependent terms in the dispersion of these two compounds, despite their close similarity in crystal structure. Additionally, our data shows a clear difference in the circular dichroic signal for the type-II Dirac cones characteristic of these materials, compared to their topologically protected surface states. Our work provides a useful reference for the ARPES characterization of other transition metal dichalcogenides with topological properties and illustrates the use of circular dichroism as a guide to identify the topological character of two otherwise equivalent band dispersions, and to recognize different attributes in the band structure of similar materials.
△ Less
Submitted 16 May, 2024; v1 submitted 23 December, 2023;
originally announced December 2023.
-
Metric Location in Pseudotrees: A survey and new results
Authors:
José Cáceres,
Ignacio M. Pelayo
Abstract:
The aim of this paper is to revise the literature on different metric locations in the families of paths, cycles, trees and unicyclic graphs, as well as, provide several new results on that matter.
The aim of this paper is to revise the literature on different metric locations in the families of paths, cycles, trees and unicyclic graphs, as well as, provide several new results on that matter.
△ Less
Submitted 15 March, 2024; v1 submitted 25 July, 2023;
originally announced July 2023.
-
Metric dimension on sparse graphs and its applications to zero forcing sets
Authors:
Nicolas Bousquet,
Quentin Deschamps,
Aline Parreau,
Ignacio M. Pelayo
Abstract:
The metric dimension dim(G) of a graph $G$ is the minimum cardinality of a subset $S$ of vertices of $G$ such that each vertex of $G$ is uniquely determined by its distances to $S$. It is well-known that the metric dimension of a graph can be drastically increased by the modification of a single edge. Our main result consists in proving that the increase of the metric dimension of an edge addition…
▽ More
The metric dimension dim(G) of a graph $G$ is the minimum cardinality of a subset $S$ of vertices of $G$ such that each vertex of $G$ is uniquely determined by its distances to $S$. It is well-known that the metric dimension of a graph can be drastically increased by the modification of a single edge. Our main result consists in proving that the increase of the metric dimension of an edge addition can be amortized in the sense that if the graph consists of a spanning tree $T$ plus $c$ edges, then the metric dimension of $G$ is at most the metric dimension of $T$ plus $6c$. We then use this result to prove a weakening of a conjecture of Eroh et al. The zero forcing number $Z(G)$ of $G$ is the minimum cardinality of a subset $S$ of black vertices (whereas the other vertices are colored white) of $G$ such that all the vertices will turned black after applying finitely many times the following rule: a white vertex is turned black if it is the only white neighbor of a black vertex. Eroh et al. conjectured that, for any graph $G$, $dim(G)\leq Z(G) + c(G)$, where $c(G)$ is the number of edges that have to be removed from $G$ to get a forest. They proved the conjecture is true for trees and unicyclic graphs. We prove a weaker version of the conjecture: $dim(G)\leq Z(G)+6c(G)$ holds for any graph. We also prove that the conjecture is true for graphs with edge disjoint cycles, widely generalizing the unicyclic result of Eroh et al.
△ Less
Submitted 2 June, 2022; v1 submitted 15 November, 2021;
originally announced November 2021.
-
Some Families of Graphs with Small Power Domination Number
Authors:
Najibeh Shahbaznejad,
Adel P Kazemi,
Ignacio M Pelayo
Abstract:
Let $ G $ be a graph with the vertex set $ V(G) $ and $ S $ be a subset of $ V(G) $. Let $cl(S)$ be the set of vertices built from $S$, by iteratively applying the following propagation rule: if a vertex and all of its neighbors except one of them are in $ cl(S) $, then the exceptional neighbor is also in $ cl(S) $. A set $S$ is called a zero forcing set of $G$ if $cl(S)=V(G)$. The zero forcing nu…
▽ More
Let $ G $ be a graph with the vertex set $ V(G) $ and $ S $ be a subset of $ V(G) $. Let $cl(S)$ be the set of vertices built from $S$, by iteratively applying the following propagation rule: if a vertex and all of its neighbors except one of them are in $ cl(S) $, then the exceptional neighbor is also in $ cl(S) $. A set $S$ is called a zero forcing set of $G$ if $cl(S)=V(G)$. The zero forcing number $Z(G)$ of $G$ is the minimum cardinality of a zero forcing set. Let $cl(N[S])$ be the set of vertices built from the closed neighborhood $N[S]$ of $S$, by iteratively applying the previous propagation rule. A set $S$ is called a power dominating set of $G$ if $cl(N[S])=V(G)$. The power domination number $γ_p (G)$ of $G$ is the minimum cardinality of a power dominating set. In this paper, we present some families of graphs that their power domination number is 1 or 2.
△ Less
Submitted 25 June, 2021;
originally announced June 2021.
-
Zero Forcing sets and Power Dominating sets of cardinality at most 2
Authors:
Najibeh Shahbaznejad,
Ignacio M. Pelayo,
Adel P. Kazemi
Abstract:
Let $S$ be a set of vertices of a graph $G$. Let $cl(S)$ be the set of vertices built from $S$, by iteratively applying the following propagation rule: if a vertex and all but exactly one of its neighbors are in $cl(S)$, then the remaining neighbor is also in $cl(S)$. A set $S$ is called a zero forcing set of $G$ if $cl(S)=V(G)$. The zero forcing number $Z(G)$ of $G$ is the minimum cardinality of…
▽ More
Let $S$ be a set of vertices of a graph $G$. Let $cl(S)$ be the set of vertices built from $S$, by iteratively applying the following propagation rule: if a vertex and all but exactly one of its neighbors are in $cl(S)$, then the remaining neighbor is also in $cl(S)$. A set $S$ is called a zero forcing set of $G$ if $cl(S)=V(G)$. The zero forcing number $Z(G)$ of $G$ is the minimum cardinality of a zero forcing set. Let $cl(N[S])$ be the set of vertices built from the closed neighborhood $N[S]$ of $S$, by iteratively applying the previous propagation rule. A set $S$ is called a power dominating set of $G$ if $cl(N[S])=V(G)$. The power domination number $\gp(G)$ of $G$ is the minimum cardinality of a power dominating set. In this paper, we characterize the set of all graphs $G$ for which $Z(G)=2$. On the other hand, we present a variety of sufficient and/or necessary conditions for a graph $G$ to satisfy $1 \le \gp(G) \le 2$.
△ Less
Submitted 8 August, 2019;
originally announced August 2019.
-
The Neighbor-Locating-Chromatic Number of Pseudotrees
Authors:
Liliana Alcon,
Marisa Gutierrez,
Carmen Hernando,
Mercè Mora,
Ignacio M. Pelayo
Abstract:
A $k$-coloring of a graph $G$ is a partition of the set of vertices of $G$ into $k$ independent sets, which are called colors. A $k$-coloring is neighbor-locating if any two vertices belonging to the same color can be distinguished from each other by the colors of their respective neighbors. The neighbor-locating chromatic number $χ_{_{NL}}(G)$ is the minimum cardinality of a neighbor-locating col…
▽ More
A $k$-coloring of a graph $G$ is a partition of the set of vertices of $G$ into $k$ independent sets, which are called colors. A $k$-coloring is neighbor-locating if any two vertices belonging to the same color can be distinguished from each other by the colors of their respective neighbors. The neighbor-locating chromatic number $χ_{_{NL}}(G)$ is the minimum cardinality of a neighbor-locating coloring of $G$. In this paper, we determine the neighbor-locating chromatic number of paths, cycles, fans, and wheels. Moreover, a procedure to construct a neighbor-locating coloring of minimum cardinality for these families of graphs is given. We also obtain tight upper bounds on the order of trees and unicyclic graphs in terms of the neighbor-locating chromatic number. Further partial results for trees are also established.
△ Less
Submitted 23 January, 2020; v1 submitted 28 March, 2019;
originally announced March 2019.
-
Neighbor-Locating Colorings in Graphs
Authors:
Liliana Alcon,
Marisa Gutierrez,
Carmen Hernando,
Merce Mora,
Ignacio M. Pelayo
Abstract:
A $k$-coloring of a graph $G$ is a $k$-partition $Π=\{S_1,\ldots,S_k\}$ of $V(G)$ into independent sets, called \emph{colors}. A $k$-coloring is called \emph{neighbor-locating} if for every pair of vertices $u,v$ belonging to the same color $S_i$, the set of colors of the neighborhood of $u$ is different from the set of colors of the neighborhood of $v$. The neighbor-locating chromatic number…
▽ More
A $k$-coloring of a graph $G$ is a $k$-partition $Π=\{S_1,\ldots,S_k\}$ of $V(G)$ into independent sets, called \emph{colors}. A $k$-coloring is called \emph{neighbor-locating} if for every pair of vertices $u,v$ belonging to the same color $S_i$, the set of colors of the neighborhood of $u$ is different from the set of colors of the neighborhood of $v$. The neighbor-locating chromatic number $χ_{_{NL}}(G)$ is the minimum cardinality of a neighbor-locating coloring of $G$.
We establish some tight bounds for the neighbor-locating chromatic number of a graph, in terms of its order, maximum degree and independence number. We determine all connected graphs of order $n\geq 5$ with neighbor-locating chromatic number $n$ or $n-1$. We examine the neighbor-locating chromatic number for two graph operations: join and disjoint union, and also for two graph families: split graphs and Mycielski graphs.
△ Less
Submitted 29 June, 2018;
originally announced June 2018.
-
Locating domination in bipartite graphs and their complements
Authors:
Carmen Hernando,
Mercè Mora,
Ignacio M. Pelayo
Abstract:
A set $S$ of vertices of a graph $G$ is \emph{distinguishing} if the sets of neighbors in $S$ for every pair of vertices not in $S$ are distinct. A \emph{locating-dominating set} of $G$ is a dominating distinguishing set. The \emph{location-domination number} of $G$, $λ(G)$, is the minimum cardinality of a locating-dominating set. In this work we study relationships between $λ({G})$ and…
▽ More
A set $S$ of vertices of a graph $G$ is \emph{distinguishing} if the sets of neighbors in $S$ for every pair of vertices not in $S$ are distinct. A \emph{locating-dominating set} of $G$ is a dominating distinguishing set. The \emph{location-domination number} of $G$, $λ(G)$, is the minimum cardinality of a locating-dominating set. In this work we study relationships between $λ({G})$ and $λ(\overline{G})$ for bipartite graphs. The main result is the characterization of all connected bipartite graphs $G$ satisfying $λ(\overline{G})=λ({G})+1$. To this aim, we define an edge-labeled graph $G^S$ associated with a distinguishing set $S$ that turns out to be very helpful.
△ Less
Submitted 18 July, 2018; v1 submitted 3 November, 2017;
originally announced November 2017.
-
Resolving dominating partitions in graphs
Authors:
Carmen Hernando,
Mercè Mora,
Ignacio M. Pelayo
Abstract:
A partition $Π=\{S_1,\ldots,S_k\}$ of the vertex set of a connected graph $G$ is called a \emph{resolving partition} of $G$ if for every pair of vertices $u$ and $v$, $d(u,S_j)\neq d(v,S_j)$, for some part $S_j$. The \emph{partition dimension} $β_p(G)$ is the minimum cardinality of a resolving partition of $G$. A resolving partition $Π$ is called \emph{resolving dominating} if for every vertex…
▽ More
A partition $Π=\{S_1,\ldots,S_k\}$ of the vertex set of a connected graph $G$ is called a \emph{resolving partition} of $G$ if for every pair of vertices $u$ and $v$, $d(u,S_j)\neq d(v,S_j)$, for some part $S_j$. The \emph{partition dimension} $β_p(G)$ is the minimum cardinality of a resolving partition of $G$. A resolving partition $Π$ is called \emph{resolving dominating} if for every vertex $v$ of $G$, $d(v,S_j)=1$, for some part $S_j$ of $Π$. The \emph{dominating partition dimension} $η_p(G)$ is the minimum cardinality of a resolving dominating partition of $G$.
In this paper we show, among other results, that $β_p(G) \le η_p(G) \le β_p(G)+1$. We also characterize all connected graphs of order $n\ge7$ satisfying any of the following conditions: $η_p(G)= n$, $η_p(G)= n-1$, $η_p(G)= n-2$ and $β_p(G) = n-2$. Finally, we present some tight Nordhaus-Gaddum bounds for both the partition dimension $β_p(G)$ and the dominating partition dimension $η_p(G)$.
△ Less
Submitted 12 November, 2018; v1 submitted 3 November, 2017;
originally announced November 2017.
-
Dominating 2-broadcast in graphs: complexity, bounds and extremal graphs
Authors:
José Cáceres,
Carmen Hernando,
Mercè Mora,
Ignacio M. Pelayo,
María Luz Puertas
Abstract:
Limited dominating broadcasts were proposed as a variant of dominating broadcasts, where the broadcast function is upper bounded. As a natural extension of domination, we consider dominating $2$-broadcasts along with the associated parameter, the dominating $2$-broadcast number. We prove that computing the dominating $2$-broadcast number is a NP-complete problem, but can be achieved in linear time…
▽ More
Limited dominating broadcasts were proposed as a variant of dominating broadcasts, where the broadcast function is upper bounded. As a natural extension of domination, we consider dominating $2$-broadcasts along with the associated parameter, the dominating $2$-broadcast number. We prove that computing the dominating $2$-broadcast number is a NP-complete problem, but can be achieved in linear time for trees. We also give an upper bound for this parameter, that is tight for graphs as large as desired.
△ Less
Submitted 16 October, 2017;
originally announced October 2017.
-
General bounds on limited broadcast domination
Authors:
José Cáceres,
Carmen Hernando,
Mercè Mora,
Ignacio M. Pelayo,
María Luz Puertas
Abstract:
Dominating broadcasting is a domination-type structure that models a transmission antenna network. In this paper, we study a limited version of this structure, that was proposed as a common framework for both broadcast and classical domination. In this limited version, the broadcast function is upper bounded by an integer $k$ and the minimum cost of such function is the dominating $k$-broadcast nu…
▽ More
Dominating broadcasting is a domination-type structure that models a transmission antenna network. In this paper, we study a limited version of this structure, that was proposed as a common framework for both broadcast and classical domination. In this limited version, the broadcast function is upper bounded by an integer $k$ and the minimum cost of such function is the dominating $k$-broadcast number. Our main result is a unified upper bound on this parameter for any value of $k$ in general graphs, in terms of both $k$ and the order of the graph. We also study the computational complexity of the associated decision problem.
△ Less
Submitted 26 October, 2018; v1 submitted 19 September, 2016;
originally announced September 2016.
-
On the Partition Dimension and the Twin Number of a Graph
Authors:
Carmen Hernando,
Merce Mora,
Ignacio M Pelayo
Abstract:
A partition P of the vertex set of a connected graph G is a locating partition of G if every vertex is uniquely determined by its vector of distances to the elements of P. The partition dimension of G is the minimum cardinality of a locating partition of G. A pair of vertices u,v of a graph G are called twins if they have exactly the same set of neighbors other than u and v. A twin class is a maxi…
▽ More
A partition P of the vertex set of a connected graph G is a locating partition of G if every vertex is uniquely determined by its vector of distances to the elements of P. The partition dimension of G is the minimum cardinality of a locating partition of G. A pair of vertices u,v of a graph G are called twins if they have exactly the same set of neighbors other than u and v. A twin class is a maximal set of pairwise twin vertices. The twin number of a graph G is the maximum cardinality of a twin class of G.
In this paper we undertake the study of the partition dimension of a graph by also considering its twin number. This approach allows us to obtain the set of connected graphs of order n having partition dimension n-2. This set is formed by exactly 15 graphs, instead of 23, as was wrongly stated in the paper: "Discrepancies between metric dimension and partition dimension of a connected graph", published in Discrete Mathematics in 2008.
△ Less
Submitted 5 March, 2016; v1 submitted 29 February, 2016;
originally announced February 2016.
-
On global location-domination in bipartite graphs
Authors:
Carmen Hernando,
Merce Mora,
Ignacio M. Pelayo
Abstract:
A dominating set $S$ of a graph $G$ is called locating-dominating, LD-set for short, if every vertex $v$ not in $S$ is uniquely determined by the set of neighbors of $v$ belonging to $S$. Locating-dominating sets of minimum cardinality are called $LD$-codes and the cardinality of an LD-code is the \emph{location-domination number} $λ(G)$. An LD-set $S$ of a graph $G$ is \emph{global} if it is an L…
▽ More
A dominating set $S$ of a graph $G$ is called locating-dominating, LD-set for short, if every vertex $v$ not in $S$ is uniquely determined by the set of neighbors of $v$ belonging to $S$. Locating-dominating sets of minimum cardinality are called $LD$-codes and the cardinality of an LD-code is the \emph{location-domination number} $λ(G)$. An LD-set $S$ of a graph $G$ is \emph{global} if it is an LD-set of both $G$ and its complement $\overline{G}$. The \emph{global location-domination number} $λ_g(G)$ is the minimum cardinality of a global LD-set of $G$.
For any LD-set $S$ of a given graph $G$, the so-called \emph{S-associated graph} $G^S$ is introduced. This edge-labeled bipartite graph turns out to be very helpful to approach the study of LD-sets in graphs, particularly when $G$ is bipartite.
This paper is mainly devoted to the study of relationships between global LD-sets, LD-codes and the location-domination number in a graph $G$ and its complement $\overline{G}$, when $G$ is bipartite.
△ Less
Submitted 10 June, 2015;
originally announced June 2015.
-
Perfect and quasiperfect domination in trees
Authors:
José Cáceres,
Carmen Hernando,
Mercé Mora,
Ignacio M. Pelayo,
María Luz Puertas
Abstract:
A $k-$quasiperfect dominating set ($k\ge 1$) of a graph $G$ is a vertex subset $S$ such that every vertex not in $S$ is adjacent to at least one and at most k vertices in $S$. The cardinality of a minimum k-quasiperfect dominating set in $G$ is denoted by $γ_{\stackrel{}{1k}}(G)$. Those sets were first introduced by Chellali et al. (2013) as a generalization of the perfect domination concept. The…
▽ More
A $k-$quasiperfect dominating set ($k\ge 1$) of a graph $G$ is a vertex subset $S$ such that every vertex not in $S$ is adjacent to at least one and at most k vertices in $S$. The cardinality of a minimum k-quasiperfect dominating set in $G$ is denoted by $γ_{\stackrel{}{1k}}(G)$. Those sets were first introduced by Chellali et al. (2013) as a generalization of the perfect domination concept. The quasiperfect domination chain $γ_{\stackrel{}{11}}(G)\geγ_{\stackrel{}{12}}(G)\ge\dots\geγ_{\stackrel{}{1Δ}}(G)=γ(G)$, indicates what it is lost in size when you move towards a more perfect domination. We provide an upper bound for $γ_{\stackrel{}{1k}}(T)$ in any tree $T$ and trees achieving this bound are characterized. We prove that there exist trees satisfying all the possible equalities and inequalities in this chain and a linear algorithm for computing $γ_{\stackrel{}{1k}}(T)$ in any tree is presented.
△ Less
Submitted 29 May, 2015;
originally announced May 2015.
-
On Perfect and Quasiperfect Domination in Graphs
Authors:
José Cáceres,
Carmen Hernando,
Mercè Mora,
Ignacio M. Pelayo,
María Luz Puertas
Abstract:
A subset $S\subseteq V$ in a graph $G=(V,E)$ is a $k$-quasiperfect dominating set (for $k\geq 1$) if every vertex not in $S$ is adjacent to at least one and at most $k$ vertices in $S$. The cardinality of a minimum $k$-quasiperfect dominating set in $G$ is denoted by $γ_ {\stackrel{}{1k}}(G)$. Those sets were first introduced by Chellali et al. (2013) as a generalization of the perfect domination…
▽ More
A subset $S\subseteq V$ in a graph $G=(V,E)$ is a $k$-quasiperfect dominating set (for $k\geq 1$) if every vertex not in $S$ is adjacent to at least one and at most $k$ vertices in $S$. The cardinality of a minimum $k$-quasiperfect dominating set in $G$ is denoted by $γ_ {\stackrel{}{1k}}(G)$. Those sets were first introduced by Chellali et al. (2013) as a generalization of the perfect domination concept and allow us to construct a decreasing chain of quasiperfect dominating numbers $ n \ge γ_ {\stackrel{}{11}}(G) \ge γ_ {\stackrel{}{12}}(G)\ge \ldots \ge γ_ {\stackrel{}{1Δ}}(G)=γ(G)$ in order to indicate how far is $G$ from being perfectly dominated. In this paper we study properties, existence and realization of graphs for which the chain is short, that is, $γ_ {\stackrel{}{12}}(G)=γ(G)$. Among them, one can find cographs, claw-free graphs and graphs with extremal values of $Δ(G)$.
△ Less
Submitted 28 November, 2014;
originally announced November 2014.
-
On global location-domination in graphs
Authors:
C. Hernando,
M. Mora,
I. M. Pelayo
Abstract:
A dominating set $S$ of a graph $G$ is called locating-dominating, LD-set for short, if every vertex $v$ not in $S$ is uniquely determined by the set of neighbors of $v$ belonging to $S$. Locating-dominating sets of minimum cardinality are called $LD$-codes and the cardinality of an LD-code is the location-domination number $λ(G)$. An LD-set $S$ of a graph $G$ is global if it is an LD-set of both…
▽ More
A dominating set $S$ of a graph $G$ is called locating-dominating, LD-set for short, if every vertex $v$ not in $S$ is uniquely determined by the set of neighbors of $v$ belonging to $S$. Locating-dominating sets of minimum cardinality are called $LD$-codes and the cardinality of an LD-code is the location-domination number $λ(G)$. An LD-set $S$ of a graph $G$ is global if it is an LD-set of both $G$ and its complement $\overline{G}$. The global location-domination number $λ_g(G)$ is the minimum cardinality of a global LD-set of $G$. In this work, we give some relations between locating-dominating sets and the location-domination number in a graph and its complement.
△ Less
Submitted 3 December, 2013;
originally announced December 2013.
-
Nordhaus-Gaddum bounds for locating domination
Authors:
C. Hernando,
M. Mora,
I. M. Pelayo
Abstract:
A dominating set S of graph G is called metric-locating-dominating if it is also locating, that is, if every vertex v is uniquely determined by its vector of distances to the vertices in S. If moreover, every vertex v not in S is also uniquely determined by the set of neighbors of v belonging to S, then it is said to be locating-dominating. Locating, metric-locating-dominating and locating-dominat…
▽ More
A dominating set S of graph G is called metric-locating-dominating if it is also locating, that is, if every vertex v is uniquely determined by its vector of distances to the vertices in S. If moreover, every vertex v not in S is also uniquely determined by the set of neighbors of v belonging to S, then it is said to be locating-dominating. Locating, metric-locating-dominating and locating-dominating sets of minimum cardinality are called b-codes, e-codes and l-codes, respectively. A Nordhaus-Gaddum bound is a tight lower or upper bound on the sum or product of a parameter of a graph G and its complement G. In this paper, we present some Nordhaus-Gaddum bounds for the location number b, the metric-location-number e and the location-domination number l. Moreover, in each case, the graph family attaining the corresponding bound is characterized.
△ Less
Submitted 27 July, 2012; v1 submitted 9 July, 2012;
originally announced July 2012.
-
Locating dominating codes: Bounds and extremal cardinalities
Authors:
José Cáceres,
Carmen Hernando,
Mercè Mora,
Ignacio M. Pelayo,
María Luz Puertas
Abstract:
In this work, two types of codes such that they both dominate and locate the vertices of a graph are studied. Those codes might be sets of detectors in a network or processors controlling a system whose set of responses should determine a malfunctioning processor or an intruder. Here, we present our more significant contributions on λ-codes and η-codes concerning concerning bounds, extremal values…
▽ More
In this work, two types of codes such that they both dominate and locate the vertices of a graph are studied. Those codes might be sets of detectors in a network or processors controlling a system whose set of responses should determine a malfunctioning processor or an intruder. Here, we present our more significant contributions on λ-codes and η-codes concerning concerning bounds, extremal values and realization theorems.
△ Less
Submitted 10 May, 2012;
originally announced May 2012.
-
On the geodetic and the hull numbers in strong product graphs
Authors:
Jose Caceres,
Carmen Hernando,
Merce Mora,
Ignacio M. Pelayo,
Maria Luz Puertas
Abstract:
A set S of vertices of a connected graph G is convex, if for any pair of vertices u; v 2 S, every shortest path joining u and v is contained in S . The convex hull CH(S) of a set of vertices S is defined as the smallest convex set in G containing S. The set S is geodetic, if every vertex of G lies on some shortest path joining two vertices in S, and it is said to be a hull set if its convex hull i…
▽ More
A set S of vertices of a connected graph G is convex, if for any pair of vertices u; v 2 S, every shortest path joining u and v is contained in S . The convex hull CH(S) of a set of vertices S is defined as the smallest convex set in G containing S. The set S is geodetic, if every vertex of G lies on some shortest path joining two vertices in S, and it is said to be a hull set if its convex hull is V(G). The geodetic and the hull numbers of G are the cardinality of a minimum geodetic and a minimum hull set, respectively. In this work, we investigate the behavior of both geodetic and hull sets with respect to the strong product operation for graphs. We also stablish some bounds for the geodetic number and the hull number and obtain the exact value of these parameters for a number of strong product graphs.
△ Less
Submitted 7 June, 2010; v1 submitted 16 December, 2009;
originally announced December 2009.
-
On the Metric Dimension of Infinite Graphs
Authors:
J. Cáceres,
C. Hernando,
M. Mora,
M. L. Puertas,
I. M. Pelayo
Abstract:
A set of vertices $S$ \emph{resolves} a graph $G$ if every vertex is uniquely determined by its vector of distances to the vertices in $S$. The \emph{metric dimension} of a graph $G$ is the minimum cardinality of a resolving set. In this paper we study the metric dimension of infinite graphs such that all its vertices have finite degree. We give necessary conditions for those graphs to have fini…
▽ More
A set of vertices $S$ \emph{resolves} a graph $G$ if every vertex is uniquely determined by its vector of distances to the vertices in $S$. The \emph{metric dimension} of a graph $G$ is the minimum cardinality of a resolving set. In this paper we study the metric dimension of infinite graphs such that all its vertices have finite degree. We give necessary conditions for those graphs to have finite metric dimension and characterize infinite trees with finite metric dimension. We also establish some results about the metric dimension of the cartesian product of finite and infinite graphs, and give the metric dimension of the cartesian product of several families of graphs.
△ Less
Submitted 30 April, 2009;
originally announced April 2009.
-
Extremal Graph Theory for Metric Dimension and Diameter
Authors:
Carmen Hernando,
Merce Mora,
Ignacio M. Pelayo,
Carlos Seara,
David R. Wood
Abstract:
A set of vertices $S$ \emph{resolves} a connected graph $G$ if every vertex is uniquely determined by its vector of distances to the vertices in $S$. The \emph{metric dimension} of $G$ is the minimum cardinality of a resolving set of $G$. Let $\mathcal{G}_{β,D}$ be the set of graphs with metric dimension $β$ and diameter $D$. It is well-known that the minimum order of a graph in…
▽ More
A set of vertices $S$ \emph{resolves} a connected graph $G$ if every vertex is uniquely determined by its vector of distances to the vertices in $S$. The \emph{metric dimension} of $G$ is the minimum cardinality of a resolving set of $G$. Let $\mathcal{G}_{β,D}$ be the set of graphs with metric dimension $β$ and diameter $D$. It is well-known that the minimum order of a graph in $\mathcal{G}_{β,D}$ is exactly $β+D$. The first contribution of this paper is to characterise the graphs in $\mathcal{G}_{β,D}$ with order $β+D$ for all values of $β$ and $D$. Such a characterisation was previously only known for $D\leq2$ or $β\leq1$. The second contribution is to determine the maximum order of a graph in $\mathcal{G}_{β,D}$ for all values of $D$ and $β$. Only a weak upper bound was previously known.
△ Less
Submitted 7 May, 2007;
originally announced May 2007.
-
On the Metric Dimension of Cartesian Products of Graphs
Authors:
José Cáceres,
Carmen Hernando,
Mercé Mora,
Ignacio M. Pelayo,
María L. Puertas,
Carlos Seara,
David R. Wood
Abstract:
A set S of vertices in a graph G resolves G if every vertex is uniquely determined by its vector of distances to the vertices in S. The metric dimension of G is the minimum cardinality of a resolving set of G. This paper studies the metric dimension of cartesian products G*H. We prove that the metric dimension of G*G is tied in a strong sense to the minimum order of a so-called doubly resolving…
▽ More
A set S of vertices in a graph G resolves G if every vertex is uniquely determined by its vector of distances to the vertices in S. The metric dimension of G is the minimum cardinality of a resolving set of G. This paper studies the metric dimension of cartesian products G*H. We prove that the metric dimension of G*G is tied in a strong sense to the minimum order of a so-called doubly resolving set in G. Using bounds on the order of doubly resolving sets, we establish bounds on G*H for many examples of G and H. One of our main results is a family of graphs G with bounded metric dimension for which the metric dimension of G*G is unbounded.
△ Less
Submitted 2 March, 2006; v1 submitted 26 July, 2005;
originally announced July 2005.