scholarly journals Lower Bounds for Identifying Codes in some Infinite Grids

10.37236/394 ◽  
2010 ◽  
Vol 17 (1) ◽  
Author(s):  
Ryan Martin ◽  
Brendon Stanton

An $r$-identifying code on a graph $G$ is a set $C\subset V(G)$ such that for every vertex in $V(G)$, the intersection of the radius-$r$ closed neighborhood with $C$ is nonempty and unique. On a finite graph, the density of a code is $|C|/|V(G)|$, which naturally extends to a definition of density in certain infinite graphs which are locally finite. We present new lower bounds for densities of codes for some small values of $r$ in both the square and hexagonal grids.

1993 ◽  
Vol 45 (4) ◽  
pp. 863-878 ◽  
Author(s):  
Tatsuya Okada

AbstractIn this note, we will consider the heat propagation on locally finite graph networks which satisfy a skew condition on vertices (See Definition of Section 2). For several periodic models, we will construct the heat kernels Pt with the skew condition explicitly, and derive the decay order of Pt as time goes to infinity.


10.37236/2891 ◽  
2015 ◽  
Vol 22 (1) ◽  
Author(s):  
Reinhard Diestel

Developing further Stein's recent notion of relative end degrees in infinite graphs, we investigate which degree assumptions can force a locally finite graph to contain a given finite minor, or a finite subgraph of given minimum or average degree. This is part of a wider project which seeks to develop an extremal theory of sparse infinite graphs.


10.37236/6773 ◽  
2018 ◽  
Vol 25 (3) ◽  
Author(s):  
Karl Heuer

We state a sufficient condition for the square of a locally finite graph to contain a Hamilton circle, extending a result of Harary and Schwenk about finite graphs. We also give an alternative proof of an extension to locally finite graphs of the result of Chartrand and Harary that a finite graph not containing $K^4$ or $K_{2,3}$ as a minor is Hamiltonian if and only if it is $2$-connected. We show furthermore that, if a Hamilton circle exists in such a graph, then it is unique and spanned by the $2$-contractible edges. The third result of this paper is a construction of a graph which answers positively the question of Mohar whether regular infinite graphs with a unique Hamilton circle exist.


2017 ◽  
Vol 09 (01) ◽  
pp. 1750007 ◽  
Author(s):  
Maryam Roozbayani ◽  
Hamid Reza Maimani

Identifying code in graph [Formula: see text] is a subset [Formula: see text] of [Formula: see text] such that [Formula: see text] for every [Formula: see text] of [Formula: see text] and [Formula: see text] for every [Formula: see text] of [Formula: see text]. The minimum size of identifying codes of graph [Formula: see text] is denoted by [Formula: see text]. A watching system in a graph [Formula: see text] is a set [Formula: see text], where [Formula: see text] and [Formula: see text] is a subset of closed neighborhood of [Formula: see text] such that the sets [Formula: see text] are nonempty and distinct, for any [Formula: see text]. The minimum size of a watching system of [Formula: see text] is denoted by [Formula: see text]. In this paper, we show if [Formula: see text], then [Formula: see text] if [Formula: see text] (mod 3) and [Formula: see text] if [Formula: see text] (mod 3). Also we show that [Formula: see text]. This means that in this family of graphs the watching system is more efficient than identifying code.


2019 ◽  
Vol 11 (02) ◽  
pp. 1950027
Author(s):  
R. Dhanalakshmi ◽  
C. Durairajan

We study about monotonicity of [Formula: see text]-identifying codes in binary Hamming space, q-ary Lee space and incomplete hypercube. Also, we give the lower bounds for [Formula: see text] where [Formula: see text] is the smallest cardinality among all [Formula: see text]-identifying codes in [Formula: see text] with respect to the Lee metric. We prove the existence of [Formula: see text]-identifying code in an incomplete hypercube. Also, we give the construction techniques for [Formula: see text]-identifying codes in the incomplete hypercubes in Secs. 4.1 and 4.2. Using these techniques, we give the tables (see Tables 1–6) of upper bounds for [Formula: see text] where [Formula: see text] is the smallest cardinality among all [Formula: see text]-identifying codes in an incomplete hypercube with [Formula: see text] processors. Also, we give the exact values of [Formula: see text] for small values of [Formula: see text] and [Formula: see text] (see Sec. 4.3).


10.37236/202 ◽  
2009 ◽  
Vol 16 (1) ◽  
Author(s):  
Daniel W. Cranston ◽  
Gexin Yu

Given a graph $G$, an identifying code ${\cal D}\subseteq V(G)$ is a vertex set such that for any two distinct vertices $v_1,v_2\in V(G)$, the sets $N[v_1]\cap{\cal D}$ and $N[v_2]\cap{\cal D}$ are distinct and nonempty (here $N[v]$ denotes a vertex $v$ and its neighbors). We study the case when $G$ is the infinite hexagonal grid $H$. Cohen et.al. constructed two identifying codes for $H$ with density $3/7$ and proved that any identifying code for $H$ must have density at least $16/39\approx0.410256$. Both their upper and lower bounds were best known until now. Here we prove a lower bound of $12/29\approx0.413793$.


10.37236/3046 ◽  
2014 ◽  
Vol 21 (3) ◽  
Author(s):  
Simon M. Smith ◽  
Mark E. Watkins

A group of permutations $G$ of a set $V$ is $k$-distinguishable if there exists a partition of $V$ into $k$ cells such that only the identity permutation in $G$ fixes setwise all of the cells of the partition. The least cardinal number $k$ such that $(G,V)$ is $k$-distinguishable is its distinguishing number $D(G,V)$. In particular, a graph $\Gamma$ is $k$-distinguishable if its automorphism group $\rm{Aut}(\Gamma)$ satisfies $D(\rm{Aut}(\Gamma),V\Gamma)\leq k$.Various results in the literature demonstrate that when an infinite graph fails to have some property, then often some finite subgraph is similarly deficient. In this paper we show that whenever an infinite connected graph $\Gamma$ is not $k$-distinguishable (for a given cardinal $k$), then it contains a ball of finite radius whose distinguishing number is at least $k$. Moreover, this lower bound cannot be sharpened, since for any integer $k \geq 3$ there exists an infinite, locally finite, connected graph $\Gamma$ that is not $k$-distinguishable but in which every ball of finite radius is $k$-distinguishable.In the second half of this paper we show that a large distinguishing number for an imprimitive group $G$ is traceable to a high distinguishing number either of a block of imprimitivity or of the induced action by $G$ on the corresponding system of imprimitivity. An immediate application is to automorphism groups of infinite imprimitive graphs. These results are companion to the study of the distinguishing number of infinite primitive groups and graphs in a previous paper by the authors together with T. W. Tucker.


10.37236/6083 ◽  
2018 ◽  
Vol 25 (3) ◽  
Author(s):  
Johannes Carmesin

Answering a question of Diestel, we develop a topological notion of gammoids in infinite graphs which, unlike traditional infinite gammoids, always define a matroid.As our main tool, we prove for any infinite graph $G$ with vertex-sets $A$ and $B$, if every finite subset of $A$ is linked to $B$ by disjoint paths, then the whole of $A$ can be linked to the closure of $B$ by disjoint paths or rays in a natural topology on $G$ and its ends.This latter theorem implies the topological Menger theorem of Diestel for locally finite graphs. It also implies a special case of the infinite Menger theorem of Aharoni and Berger.


10.37236/1583 ◽  
2001 ◽  
Vol 8 (1) ◽  
Author(s):  
Irène Charon ◽  
Iiro Honkala ◽  
Olivier Hudry ◽  
Antoine Lobstein

Consider a connected undirected graph $G=(V,E)$ and a subset of vertices $C$. If for all vertices $v \in V$, the sets $B_r(v) \cap C$ are all nonempty and pairwise distinct, where $B_r(v)$ denotes the set of all points within distance $r$ from $v$, then we call $C$ an $r$-identifying code. We give general lower and upper bounds on the best possible density of $r$-identifying codes in three infinite regular graphs.


Sign in / Sign up

Export Citation Format

Share Document