CNRS, INSA Lyon, UCBL, LIRIS, UMR5205, F-69622 Villeurbanne, France CNRS, INSA Lyon, UCBL, LIRIS, UMR5205, F-69622 Villeurbanne, France CNRS, INSA Lyon, UCBL, LIRIS, UMR5205, F-69622 Villeurbanne, France \ccsdesc[100]Theory of computation → Distributed algorithms
How local constraints influence network diameter and applications to LCL generalizations
Abstract
In this paper, we investigate how local rules enforced at every node can influence the topology of a network. More precisely, we establish several results on the diameter of trees as a function of the number of nodes, as listed below. These results have important consequences on the landscape of locally checkable labelings (LCL) on unbounded degree graphs, a case in which our lack of knowledge is in striking contrast with that of bounded degree graphs, that has been intensively studied recently.
First, we show that the diameter of a tree can be controlled very precisely by a local checker (that is, a distributed decision algorithm that accepts a graph iff all nodes accept locally), granted that its checkability radius is allowed to be at least (and that the target diameter is not too close to ). As a corollary, we prove that the gaps in the landscape of LCLs (in bounded-degree graphs) basically disappear in unbounded degree graphs.
Second, we prove that for checkers at distance 1, the maximum diameter can only be trivial (constant or linear), while the minimum diameter can in addition be and for . These functions interestingly coincide with the known regimes for LCLs.
Third, we explore computational restrictions of local checkers. In particular, we introduce a class of checkers, that we call degree-myopic, that cannot distinguish perfectly the degrees of their neighbors. With these checkers, we show that the maximum diameter can only be , , , , or . Since gaps do appear in the maximum diameter, one can hope that an interesting LCL landscape exists for restricted local checkers.
In addition to the LCL motivation, we hope that our distributed lenses can help give a new point of view on how global structures, such as living beings, can be maintained by local phenomena; understanding the trade-off between the power of the checking and the possible resulting shapes.
keywords:
Locally checkable labelings, network diameter, local checkers, LOCAL model, unbounded-degree graphs1 Introduction
1.1 Questions and motivations
A general question in distributed computing is: how well can we control global parameters of a system if we can only check it partially and in a distributed manner? Here, we are interested in the following graph-oriented version of this question: How do local constraints influence the shape of a network? More precisely, if we define a set of rules to be satisfied at every node of the network, what are the networks that satisfy these rules? What properties do they have? And conversely, if we want to ensure a given global property, can we obtain it by only enforcing local constraints?
In this paper, we focus on a concrete version of the question, where the networks are (colored) graphs, and in particular trees, and the global parameter studied is the diameter. Before we discuss our motivations and how our perspective differs from previous work, let us introduce some vocabulary. A local checker is a local algorithm run at every node of the network, that outputs a binary decision accept/reject, only based on a neighborhood at constant distance around itself. A network (or equivalently a graph) is globally accepted if every node locally accepts. For example, a local checker that checks if the number of neighbors of the node at hand is at most accepts exactly all the graphs of maximum degree at most .
Main motivation: Going beyond bounded-degree for LCLs
The most popular problems in the study of locality, in the sense of the LOCAL model, are called locally checkable labelings or LCLs for short, introduced in the 90s [15]. The main characteristic of these problems is that their outputs can be checked locally. For example, to verify that a coloring is correct, every node simply checks that the color it has received as output is different from the ones of its neighbors. There are also three finiteness requirements: the number of possible outputs, of possible inputs, and the maximum degree must be bounded by a constant (i.e. independent of the number of nodes ). Therefore, an LCL can be described by a finite list of correct neighborhoods. In the case of coloring, this list is made of the following neighborhoods: a node of color with at most neighbors, each of them being of a color different from .
After a decade of intense research, we now have a good understanding of the complexity of computing a solution of an LCL problem in the LOCAL model. More precisely, we know the landscape of complexities for these problems: roughly, we know what are the functions for which there exists an LCL whose optimal algorithm has complexity . For example, we know that there is no LCL whose complexity in the LOCAL model lies between and [8].
A natural question is: can we generalize this theory by relaxing the finiteness requirements? The case of bounded degree and unbounded number of labels has been explored in [11], with the fractional coloring problem111There are actually two definitions of fractional coloring, the second one enforcing a bounded number of labels, see e.g. [5, 4].. Here we are interested in the other direction: going beyond bounded degree. (This question was very recently tackled by [13] as we discuss later.)
Let us now illustrate why the diameter of the network plays a key role in the context of LCL complexities. In the bounded-degree case, two key complexities for deterministic algorithms are and . The problems of complexity are called global problems; they are generally the ones where, in a path, the two endpoints have to coordinate their outputs, which requires them to run for rounds (and is enough for any problem in the LOCAL model). The problems of complexity are typically the ones where the hardest instances locally look like complete regular trees, and intuitively each node needs to see a leaf to be able to decide its output. Therefore, what dictates the complexity for these two cases is, respectively, the maximum and the minimum diameter of trees of bounded degree, which are respectively order of and . Note that for these observations, restricting to trees is not problematic, since everything holds in trees. In general, trees are essential in the LCL theory, which justifies why we focus on these graphs; for example, the key technique of round elimination (see [17] and references therein) basically works only in trees.222Another motivations for restricting to trees is that, under some restrictions, if some graph accepted by our generalization of LCL’s contains cycles, then the resulting diameters are trivial, as proved at the end of the paper.
By understanding the diameters of trees accepted by local checkers that are not simply checking that the degree is below , we want to pave the way of a complexity landscape beyond bounded degree. Hence, the first type of questions we want to investigate is the following.
Question 1.
For a given local checker, what is the minimum and maximum diameter of the accepted graphs, as a function of ?
Also, since it seems too optimistic to hope for a nice landscape in general graphs, we want to explore which restrictions are worth studying in the future. For example, restrictions for which there are gaps in the possible maximum and minimum diameter.
Question 2.
What are natural classes of local checkers such that there are gaps in the landscape of maximum and/or the minimum diameter of graphs accepted by such checkers (e.g. diameters that are impossible to obtain)?
Let us now quickly summarize the approach and results of [13], on this question of understanding complexity landscape beyond bounded-degree. First, the authors sketch how one can create problems of arbitrary complexity between constant and , when the degree is unbounded, by using a problem of complexity and then ignoring a specific number of adjacent edges at each node to artificially reduce the degree . Second, they restrict the scope in two ways: (1) they study only binary labeling problems (that consist in selecting edges, like in the matching problem), where (2) the constraints are structurally simple (roughly, in a proper labeling, the number of selected (resp. non-selected) edges around every node has to be either smaller than a constant, or polynomially large in the degree). In this setting, they can characterize precisely what happens in the logarithmic regime, thanks to a degree-aware variant of the rake-and-compress technique. Our approach is quite orthogonal, as we study the structure of the graphs and do not discuss what are the problems that are solved or the generic algorithms that could be used. Nevertheless, the general story has a similar flavor: we will show in a different, more general and precise way how arbitrary complexities can be obtained, and then restrict to a setting where gaps reappear.
Second motivation: Maintaining global structure locally
Our second motivation is a more exploratory one. We would like to propose a new perspective on how structures can be maintained without centralized monitoring. In other words, we want to explore how simple local rules on small-scale entities shape larger-scale objects. One can think of a crude modeling of living beings, or of self-organizing swarm of robots.
From this perspective, our motivation for studying the diameter is that it is maybe the most basic characteristic of a shape, and the one for studying trees is that these are simple shape that appear in Nature.
Now, instead of starting from a checker and analyzing the possible diameters, we want to start from some target diameter (as a function of ), e.g. one that would have benefits for the global entity, and ask whether we can have a local checker that maintains this diameter.
Question 3.
Given some function , can we design a local checker such that the accepted -vertex graphs have diameter ?
Also, since it is unrealistic in Nature or in robots to have unlimited local computation, we refine Question 3, by considering the complexity of the local checking.
Question 4.
Given some function , can we design a local checker with limited computational capabilities, such that the accepted -vertex graphs have diameter ?
1.2 Model and definitions
The graphs/trees considered in this paper are simple and loopless. They can be vertex colored, with a constant number of colors. Remember that the diameter of a graph is the length of the largest shortest path between two nodes, in terms of number of edges. Inspired by the definition of LCLs and by our biological motivation, we consider anonymous networks, e.g. the nodes do not have identifiers.
Definition 1.1 (View of a node).
The view at distance of a node in a graph is the subgraph of , that contains all nodes at distance at most from , and all the edges with at least one endpoint at distance at most from , and where is marked as the center.
Definition 1.2 (Local checker ; ; checkability radius).
A local checker at distance and with colors is a local algorithm that is used on a -colored graph, such that, applied to a vertex , it takes the neighborhood at distance around and chooses an output: accept or reject. We denote by the set of all local checkers at distance with colors. The distance is called the checkability radius.
For short, we sometimes simply use checker instead of local checker. The definition of a degree-myopic local checker is given in Subsection 1.4, along with the discussion of its origin.
Definition 1.3 (Class accepted/recognized by a local checker).
Given a local checker , the class of (colored) trees accepted (or equivalentaly recognized) by this checker, denoted by , is the set of trees such that on every node the checker accepts.
Definition 1.4 (Generalized-LCL).
Let a generalized-LCL be a problem where each node has to choose an output from a finite set, such that the correct output configurations can be recognized by a local checker.
Intuitively, a checker has maximum (resp. minimum) diameter if all trees recognized by this checker have diameter at most (resp. at least) , when is the number of nodes, and this bound is tight. The proper definitions given below, use infimum/supremum instead of maximum/minimum, but we keep the names maximum/minimum, since they are more intuitive.
Definition 1.5 (Exact/minimum/maximum diameter of a checker).
Let be a local checker.
-
•
has exact diameter if for all , .
-
•
has maximum diameter if, for all , for all such that and .
-
•
has minimum diameter if, for all , for all such that and .
1.3 Discussion, results and techniques for general checkers
Let us first review our results about local checkers without restriction on the computation power of the nodes.
Warm up for maximum and exact diameter
Let us start by introducing some basic intuitions for maximum and exact diameter. First, let us consider a local checker at distance , without colors. Such a checker is basically of the following form: if the degree of the node belongs to some specific set of integers , then accept, otherwise reject. Necessarily, belongs to because we need to allow leaves, if we want to accept finite trees. Let us informally prove that the maximum diameter of is . Consider a tree accepted by , and two of its edges and . The deletion of these edges leaves three connected components: which is the part of the tree between and , and and , the connected components of and , respectively. Then, we can define new trees by replacing by an arbitrary number of copies of organized into a chain (identifying copies of in one copy with in the next one). The set of degrees in the new tree is the same as in the original tree. Hence, all these new trees are also accepted, and they have asymptotic linear diameter. The key point is that we can use the fact that the neighborhoods were indistinguishable to make the graph path-like. We refer to this "pumping" technique as grafting and will be formally defined in full generality in Section 2 for any possible distance and number of colors.
Now, for a positive result, consider a checker at distance (again without colors). It basically manipulates the degree of its neighbors. Then it is possible to have a checker that recognizes exactly the graphs of the following form: take path of length , choose one endpoint , and attach leaves to the node of the path at distance from . Indeed, the nodes can check that they are either leaves or that their non-leaf neighbors follow the increasing degree sequence. This leads to a local checker that accept trees of maximum diameter .
An important aspect of the previous argument is that all nodes had different degrees. This actually works with a weaker condition, namely, there is no repeated pair of degrees of adjacent vertices. Indeed, if a pair is repeated, then we can use pumping to prove that the checker accepts trees of linear diameter. By using a longer degree sequence without such repetitions (inspired by de Bruijn sequences), one can actually improve the previous bound to . Moreover, if we want to target a diameter that is much larger than , we would necessarily get some repeated chunks, yielding linear diameter. In some sense, carrying the information about the distance from an extremity uses some quantity of nodes, and at some point we run out of nodes. If we want to go further, then there is some repetition and the maximum diameter moves to the boring linear regime.
But one can also wonder if we can obtain smaller diameters. Suppose that we want to target a diameter that is smaller than . One can show that with the same kind of construction, except that we truncate the main path and attach enough leaves to the last node to get exactly the diameter we want, we can obtain any function of which is as a diameter. This can be recognized by a local checker, because the last node can check that the number of leaves it has is consistent with the degree of the second-to-last node, which measures the diameter. We refer to this technique as padding.
Our results on maximum and exact diameters, stated in the next paragraph, are generalizations of these constructions.
Formal results and more techniques on maximum and exact diameter
Let us now review our formal results. First, we prove that, for each possible distance and every number of colors, there is a threshold function such that local checkers accept trees of linear diameter or trees of diameter at most . In other words, not all the maximum diameters can be obtained with local checkers. More formally, we prove in Section 2 that the following holds:
Theorem 1.6.
Every local checker in has maximum diameter at most or , where , , and if .
For large values of , the threshold function depends on the inverse of the function , where the log is iterated times. Note that one can think of the growth of as slightly super-linear, so the last case of the following theorem is roughly .
We moreover provide constructions reaching these upper bounds. To do so, we generalize the idea of paths with a prescribed degree sequence by defining a class of checkers that accept only trees of specific shapes. This allows to get a correspondence between the accepted trees and the strings over a given alphabet. In that correspondence, each checker is associated with a language, where the membership of a string in the language depends only on bounded-size infixes. We then use this machinery on languages to provide tight examples for Theorem 1.6.
We finally provide a generic construction that ensures that it is possible to build a local checker that accept trees whose diameters is precisely any function which is a . In other words, there is no gap in the set of diameters that can be recognized below by local checkers since all the possible diameters can be recognized. More formally, we prove in Section 3 that the following holds:
Theorem 1.7.
For every function , there exists a local checker in of exact diameter .
Note that Theorems 1.6 and 1.7 give fine-grained versions of the intuitions given in the warm-up for distance 1 and 2. For distance 1, because of the colors, pumping works above some constant depending on the colors, while for distance 2, the threshold is polynomial in . Then for larger distance we get nearly linear thresholds, which means that we can target almost any diameter.
From this theorem, we can derive the following corollary, which proves that the landscape for generalized-LCLs (as defined earlier) has basically no gaps.
Corollary 1.8.
For every function , there exists a generalized-LCL at distance of complexity .
We prove this corollary in Appendix D. The main idea consists in mixing the checkers of Theorem 1.7 with a global problem, namely -coloring, forcing the complexity to be of the same order as the diameter. This is more complicated than it looks at first sight, because the very specific constructions we use for the theorem are such that the nodes can know exactly where they are in the path. In particular, they know the parity of their distance to the first node of the path, hence 2-coloring is not a global problem in these graphs. We modify slightly the construction by subdividing some edges to introduce some uncertainty, which fixes this issue (which is possible only by increasing a bit the checking radius and with a precise understanding on the local checkers of Theorem 1.7).
To finish this part on maximum diameter, let us mention that in Appendix G, we show that if we were to allow cycles, then at distance 1, the behavior would be the same as for trees: the maximum diameter is either constant or linear.
Results on minimum diameter
We now turn our attention to minimum diameter. Note that all the results obtained for exact diameter also hold in the case of minimum diameter. In particular, Theorem 1.7 ensures that for every , we can construct a local checker accepting trees whose minimum diameter is almost everything. Therefore, these results leave as open the behavior of the minimum diameter in the range to . We devote Section 4 to study the particular case where the dichotomy we obtained for maximum diameter leaves a wide range of possibilities for minimum diameter. In this case, we show that the landscape is quite different since the minimum diameter is either constant, logarithmic or for some values of which are at most .
Theorem 1.9.
Let be an integer. The minimum diameter of any is either constant, logarithmic or for some values of .
We note that these are well-known regimes for (bounded-degree) LCLs. In particular, the regime has been identified precisely in [9, 7] and the graphs at the core of both their proof and our proof are the same. For example, for , these are the graphs made of a path of length , where we attach a path of length to every node. For , we take the same construction but with instead of , and add one more level to the recursion etc. In a nutshell, the graphs of the construction are recursive rake-like graphs, where all the levels are balanced. Now the two proofs are pretty different. In [9, 7] the arguments are algorithmic: they show that via rake-and-compress, that every tree can be framed as such a rake-like graph, and that the hardest instances are the balanced ones. In our proof, the spirit is that there is some underlying hierarchy of colors, that leads to the hierarchical structure of the graph, and in order to get a minimum diameter we want to balance all the levels, and we show this is always possible, by doing some subtle pumping argument (based on a non-trivial partial order on the pair of colors).
Intriguingly, we do not know whether the results on LCLs and our minimum diameter result are related, in the sense that one would imply the other. Clarifying this relation would be very interesting.
1.4 Discussion, results, and techniques on restricted checkers
From the viewpoint of our original motivations, the results we get for general checkers are not very satisfying: they give a pessimistic answer for LCL generalization (no hope to find gaps in the general unbounded-degree case) and the constructions are too contrived to give insights about natural structures, such as living beings. Therefore, we want to consider a restricted model, that will hopefully reveal some gaps for the maximum diameter (hence avoid statements such as Corollary 1.8) and forbid unnatural constructions.
We start by discussing what conditions such a restricted model should satisfy and propose our model, degree-myopic checkers. Then we discuss the maximum diameter landscape for these checkers, and our proof techniques.
Discussions of the flaws of general checkers
Three elements in our general checker construction feel unnatural. First, in many proofs we use padding: the last node of a path-like structure can observe the neighborhood of the preceding node to deduce the diameter-size ratio of the rest of the graph, and then check that it has been given the right number of leaves to modify this ratio in the right way. One expects that in a more natural construction, the graph is more homogeneous, and no node should compute an explicit complicated function. Second, we map integers to neighborhoods in some arbitrary way, using a generalization of De Bruijn words. To get the full power of this construction, we need that adjacent nodes can have arbitrarily different degrees, and that they can identify these degree perfectly. In some sense, the nodes should be able to manipulate arbitrarily large and different numbers. Third, also needed for the integer to neighborhood mapping: the checking of a node depends on the full view of the nodes, and cannot be decomposed as a series of simple checks between adjacent nodes. In some sense, we are abusing the fact that we allowed constant checkability radius, instead of the radius 1.
Degree-myopic checkers
We propose a restricted setting for checkers, called degree-myopic, which boils down to two ideas.
First, we enforce that a node cannot distinguish perfectly between all its possible neighborhoods, by making some kind of equivalence classes. More precisely, since we will use checkers at distance two (without colors), the crux is that a node is not able to distinguish arbitrarily many possible degrees for its neighbors. We make this appear concretely by saying that a node will first put its neighbors’ degree in a few categories, and later will only be allowed to use these categories, not the actual degree. Here there is some freedom in how we choose these categories. We decide to consider that a node can only manage degrees that are close to its degree and leaves, hence the name of degree-myopic. Other meaningful variants could be considered.
Formally, let be the degree of the node at hand, and the degree of the neighbor considered. The types of the neighbors are:
-
•
Leaf:
-
•
Degree-1:
-
•
Equal-degree:
-
•
Degree+1:
Hence, at that point, the knowledge that a node has of its neighborhood is a 4-tuple of integers: how many neighbors are of each type. Note that the degree difference between neighbors is very limited: graphs with two non-leaf neighbors of very different degree will be rejected from the start.
Second, we decide to restrict the model further, to avoid complex manipulations of the integers of these 4-tuples. For example, we want to avoid checking that the number of leaves is related to the number of neighbors of equal degree by an arbitrarily complicated function. More precisely, the non-leaf nodes checks that a property of the following form is satisfied: for every type , we are given two quantities and such that , and the number of neighbors of type is in . To avoid issues around the leaves of the tree, the nodes of degree or less are not required to have at least neighbors of type Degree-1. Beyond the technical reasons, this is justified by the fact that we are interested in what happens in the core of the trees, where the degrees will be large.
By construction, this model avoids the three issues mentioned earlier. Indeed, thanks to the type equivalence, we cannot use padding, only similar degrees can be compared, and thanks to the shapes of the property , the checking is very constrained. (We will see that it is not useful to have arbitrarily large , hence there is no tricks on this side either.)
Landscape result and technique
Our main result about degree-myopic checkers is the following.
Theorem 1.10.
The possible maximum diameter function for degree-myopic local checkers are , , , or .
This result is nice from the viewpoint of our LCL motivation: it shows that for restricted checkers, we do have an interesting landscape. In particular, we get which does not appear in the LCL landscape for trees, since there is a gap between and [8]. This is also exciting from the viewpoint of our second motivation: we get that simple maximum diameter functions can be obtained by relatively natural checkers.
The proof (deferred to Appendix F) consists in first showing that if a degree-myopic checker does not accept trees of linear diameter, then the accepted trees must be very well-behaved: roughly speaking, we can root the tree, in such a way that all paths from leaves to root are monotone in terms of degrees. Then we do a short case analysis, where it appears that basically the non-trivial extremal behaviors for trees can only be of the following types:
-
•
A caterpillar, where the -th node of the path has degree , which leads to .
-
•
A complete -ary tree (for constant ), with some pending leaves, which leads to .
-
•
A tree, where if the depth is , then the nodes at depth have degree , which leads to .
Further related work
Relating local and global structures of graphs is obviously not a new topic. In Appendix A, we review various research areas touching on this topic (network science, graph theory, and distributed computing), and highlight the differences and similarities with our perspective.
2 Gap results for maximum diameter
The goal of this section is to prove that Theorem 1.6 holds.
See 1.6
Intuitively, we show that if a checker accepts a tree containing a sufficiently large path, we can find very similar nodes, and fool them by “pumping” on the path to obtain more trees that are still accepted by the checker, but with various diameters. This pumping relies on an operation called grafting (illustrated on Figure 1).
![Refer to caption](x1.png)
Definition 2.1 (Grafting).
Let be a (colored) tree and be an edge of . We denote by (or when is clear from context) the connected component of in . Consider two trees and , with edges and respectively. The tree which is the graft of in at is the tree obtained from by replacing the by . In other words, we remove all the vertices of and replace them by the vertices of and the edge .
Note that, given a tree and two edges such that belongs to , we can graft into itself in two ways: we can graft in at or in . Note that both operations are not the same: one of them will reduce the size and the diameter of the tree while the other will increase them.
Let . We first show that the grafting operation preserves acceptance by a local checker provided that the graft happens on similar edges. More precisely, define the view at distance from an edge in a graph as the subgraph of , that contains all nodes at distance at most from at least one of the two vertices or and all the edges with at least one endpoint at distance at most from or , and where is marked as the center. One can easily check that views are not modified when grafting on edges with the same view. More formally, we prove the following in appendix.
Lemma 2.2.
Let accepting two trees , each containing an edge , with the same view at distance . Then also accepts the graft of in at .
If a local checker accepts a tree containing two edges with the same view at distance , one can then graft into itself at these edges and get a new tree, still accepted by , and with a third edge with the same view. Iterating this argument yields the following (the formal proof being postponed to the appendix).
Lemma 2.3.
Let be integers and be a local checker in . If accepts a -colored tree that contains a path going through two edges (in this order) such that and have the same view at distance . Then, has linear maximum diameter.
Observe that at distance , the view of an edge is intuitively just the color of its endpoints. In other words, given an edge , the color of the neighbors of has no impact on the fact that accepts or not. So if we can find a path with two edges colored alike, we will be able to increase the diameter via grafting using Lemma 2.3.
Corollary 2.4.
Let be an integer. The maximum diameter of any is either at most or linear.
Proof 2.5.
Let be a local checker accepting a tree whose diameter is larger than . Let be a path shortest path of of length . By pigeonhole principle, has two edges colored similarly and we can apply Lemma 2.3 to conclude.
At distance at least , the view of each edge consists in a pair of -colored rooted trees of height . These may contain arbitrarily many vertices, leading to an unbounded number of possible views. To overcome this issue, we adapt the proof technique by first finding a lot of edges (on a path) whose views contain only few vertices. Denote by the number of -vertices trees of height .
Theorem 2.6 ([16]).
The following holds:
-
•
-
•
for , .
We are now ready to conclude the proof of Theorem 1.6.
Proof 2.7 (Proof of Theorem 1.6).
Let and be a -colored -vertex tree accepted by with diameter more than . Let be a path of length more than in .
Consider the trees obtained when removing the edges of . Less than of them contain at least vertices. Moreover, each such tree intersects the view of at most edges of . In particular, contains more than edges whose view consists of trees hanging from , all of size less than . In particular, their view at distance contain at most vertices.
When , there are at most choices for the color of each vertex , and at most choices for the colors of its neighbors. In particular, we found more than edges on that can have different views. We can thus find two edges with the same view and conclude using Lemma 2.3.
When , the view of each endpoint of our edges is a tree of height with nodes, whose nodes are colored with colors, hence there are at most such views. Therefore, the number of views of our edges is at most . Using Theorem 2.6, we get (for large enough ) that since in that case. Similarly, for , we get since in that case. Therefore, in both cases, we get , and we can again conclude using Lemma 2.3.
3 Construction of local checkers of prescribed exact diameter for
The goal of this section is to prove Theorem 1.7.
See 1.7
The case of distance is very easy: one can easily construct a local checker in recognizing stars, which have constant exact diameter. So in the rest of the section, we focus on the case . We will actually prove that the statement holds even restricted to a class of local checkers that will allow to associate the trees they recognize with strings over some alphabet. Then we will provide local checkers whose maximum diameter is precisely . We will finally explain how we can adapt our construction using a general tool to accept only trees of diameter for any function .
3.1 Encoding sequences and locally testable languages.
A caterpillar is a tree such that the removal of the leaves of yields a path , called the backbone of . A -caterpillar is a tree such that if we iteratively remove all the leaves times then the remaining graph is a path. Equivalently, all the vertices of are at distance at most from . Note that a caterpillar is a -caterpillar.
Let us now explain how we can encode a word (with an infinite alphabet) into a -caterpillar and conversely. Let be an infinite alphabet together with an ordering on the letters. Let be an integer and be a bijection associating a colored rooted tree of depth at most to each letter. Given a string over the alphabet , the tree is obtained by taking the trees , adding an edge between the root of and the root of for , where by convention and are paths of length (rooted at a leaf). Note then that is a -caterpillar whose backbone is formed by the roots of . For every vertex of the backbone, we say that is associated to it if is attached on it. Also note that every -caterpillar can be seen as for some choice of since is bijective.
In order to fully control the word, we would like to enforce that we read it in the right direction. And with the caterpillar defined above, both and its mirror provide the same caterpillar. Moreover, vertices of the middle of backbone of have a priori no reason to know in which direction they are supposed to "read" the word. To enforce one direction of reading, we actually slightly change the definition of : instead of creating a copy of for each , we create three of them, identify their roots, and add pending leaves to the root. (Note that this only changes the number of vertices by a constant multiplicative factor, and the diameter is not affected since ). Now, the numbers of neighbors outside the backbone of vertices in the backbone mod yields the sequence . We say that a caterpillar is special if this property is satisfied and paths of length are attached to the first and last vertices of the backbone. In particular, since is bijective, each special caterpillar can be uniquely written as for some string over .
We are interested in local checkers, called special checkers (or -special checkers), that only accept special -caterpillars. These can be easily enforced as shown by the following lemma, whose proof is deferred to the appendix.
Lemma 3.1.
A local checker at distance can check:
-
•
if a tree is a special -caterpillar and,
-
•
every vertex can determine if it is on the backbone or not as well as its neighbors on the backbone and,
-
•
every vertex can determine if it is an endpoint of the backbone and,
-
•
every vertex can determine the letter associated to it as well as the letter associated to its neighbors on the backbone.
We denote by the set of local checkers that only accept special -caterpillars. We may now associate with each the language of strings such that is accepted by . Observe that the membership of a string in such languages depends only on its set of substrings of size at most . Such languages are said to be locally testable (or -testable). In particular, for every possible encoding and every locally testable language, there is a local checker in accepting exactly the trees for . In the rest of this section we will need two simple locally testable languages. Let be a (possibly infinite) alphabet where letters are ordered.
Then one can easily check that the following language is locally testable for every (since a substring of characters has to be a consecutive sequence of letters in ):
Remark 3.2.
The language of prefixes of the infinite word is -testable.
Let us denote by the word and by for every the word . We denote by the language of all words for every (that is contains the concatenations of the the first words for all integer ). Observe that strings in are exactly the ones starting with , ending with , and whose subsequences of length are of the following shape:
-
•
for some
-
•
for some
-
•
for some
-
•
for some
Remark 3.3.
The language is -testable.
3.2 Constructions reaching the bound .
The goal of this part is to provide a local checker whose maximum diameter is exactly the one of Theorem 1.7. We distinguish two cases depending the value of .
Case . We start with the easier case . Since is locally testable, for every possible encoding , there is a special local checker in accepting exactly the trees for .
To obtain the bound of Theorem 1.7, it remains to describe . Consider an enumeration of all trees of height by increasing number of vertices, and define as the -th such tree. By construction, the number of vertices of is the smallest such that . By Theorem 2.6, the size of is if and otherwise. Now let be an accepted tree. By Lemma 3.1 it is a -caterpillar and by construction of the local checker, the nodes of the backbone are associated to the sequence of letters of for some integer . Now observe that has diameter at most and contains at most vertices (since we attach on each vertex three copies of the same tree plus at most leaves). Thus has diameter and its number of vertices is . Plugging in the estimates for concludes.
Case . Since is locally testable, and for every choice of , there is a local checker in accepting exactly the trees for .
To obtain the bound from Theorem 1.7, it remains to describe the encoding of each letter and to prove that it gives the required bound.
Let us start with the colorless case . We define as the star on vertices, rooted at its center. Consider the word . Observe that since has length , is a tree of diameter . Moreover, each letter appears times in , hence has vertices. In particular, our local checker has exact diameter , as expected.
To extend this result to the colored case , we just have to adapt the encoding of each letter. We define as a star whose center gets color , and with leaves of color for , where is the -th (in lexicographic order) -tuple whose entries are non-increasing. Observe that the number of such tuples whose first element is at most is , hence each letter in is encoded with at most leaves. In particular, the trees accepted by our local checker have diameter and nodes, yielding the bound as required.
3.3 Extension to exact diameter
The goal of this part is to prove Theorem 1.7 that is to obtain a checker of exact diameter for every function . The case being trivial, we will assume in the rest of this section that .
Let be any function such that . We consider a slightly modified version of the local checkers constructed in Section 3.2. Roughtly speaking, all the nodes have exactly the same behavior but the last node of the backbone, corresponding to the last letter of the word. This node will be allowed to have arbitrarily many leaves (as long as the modulo condition stays satisfied), and will carry an additional verification. Namely it will check that we added the right amount of leaves to get the correct dependency between diameter and number of nodes. Unfortunately, such a modification does not work directly, and we need to slightly modify our checkers to make it work.
For a node of the backbone corresponding to a letter , we create six copies of instead of three. This at most doubles the total number of vertices. Now, we link the last node of the backbone with the center of three stars of the same size. (And we moreover add or leaves as before depending on the position on the backbone).
Note that all the nodes must have degree equal to or modulo except the last node of the backbone which can have degree or modulo . And all the nodes of the backbone can check the validity of their degree. Moreover, all the nodes can indeed recover their own letter as well as the letter of their neighbors as in the proof of Lemma 3.1. Indeed, since we add to the last node of the backbone only three copies of the same star, this star will be ignored by the penultimate node of the backbone when it reconstructs the subtree. In the case , the argument is a bit more subtle: indeed the neighbor on the backbone does not fully see the subtree attached on the last vertex of the backbone but sees that the number of vertices attached to it is more than what it should be and does not reject in that case.
To conclude, let us explain when the last vertex of the backbone accepts (the acceptance rule is not modified for the other vertices). The goal is to artificially increase the number of vertices of the trees for , without changing their diameter, in order to reach the target diameter . Note that, in both languages and , the last node of the path is able to determine the length of the path by simply knowing the last two letters. So the last node of the backbone computes the diameter of and the number of vertices in the tree before it. It then accepts when its number of leaves satisfies .
4 Minimum diameter at distance – Proof of Theorem 1.9
See 1.9
A first idea consists in just applying our pumping argument similarly to the proof of Lemma 2.3, but in reverse, in order to shorten long enough paths until they get constant size. However, this may actually decrease a lot the total number of vertices at the same time, impeding us to construct an infinite family of trees with the claimed diameter. To solve this issue, we have to get more control on which subtrees we remove while de-pumping. More precisely, we will only de-pump subtrees that are almost paths. To ensure that long enough paths exist, we first prove that local checkers accepting trees of arbitrarily large degree have constant minimum diameter. We then consider local checkers accepting trees of bounded degree (which already have super-logarithmic diameter), and investigate the edges with a given view to exhibit some structure in the trees accepted by . We then use this structure to show that must accept trees with a very specific shape, namely that look like complete binary trees or rakes (defined below).
4.1 Constructions
Before diving into the proof, we will prove that Theorem 1.9 is essentially tight, meaning that we can obtain local checkers that accept trees of constant diameter, linear diameter or diameter for every .
Linear diameter. The local checker in where every node accepts whenever its degree is at most accepts exactly the class of paths, hence has linear exact (and then minimum) diameter.
Constant diameter. The local checker in that where every node accepts regardless of its neighborhood accepts trees of diameter at most for every possible size of trees.
Logarithmic diameter. The local checker in where a node accepts if and only if its degree is or accepts exactly binary trees. Hence its minimum diameter is logarithmic (even if its maximum diameter is linear) since the minimum diameter of such a tree is reached when the tree is complete.
![Refer to caption](x2.png)
Polynomial diameter. For each integer , let us introduce the class of -rakes. The -rakes are paths, and -rakes are trees containing a path whose removal yields a forest whose connected components are -rakes and such that each vertex of is attached to at most one connected component of (see Figure 2 for an illustration). We prove the following in the appendix.
Lemma 4.1.
The class of -rakes has minimum diameter and is accepted by a local checker in .
4.2 Proof of Theorem 1.9
We now proceed with the proof of Theorem 1.9, and first take care of trees of arbitrary large degree.
Lemma 4.2.
Let be an integer and accepting trees of arbitrary large degree. Then the minimum diameter of is constant.
Proof 4.3.
Given two colors , define as a minimum-sized tree accepted by containing an edge such that has color and has color (if such a tree exists). Denote by the largest size of when run across all possible colors.
By hypothesis, accepts an infinite family of -colored trees such that each contains a vertex of degree at least . Root each at . Now, for each edge of , let be the color of and the color of , and successively graft in at . By Lemma 2.2, the resulting tree is accepted by . Moreover, every tree has at least nodes and diameter at most , which concludes.
We may now assume that each local checker accepts only graphs of bounded degree . In particular, each accepted tree satisfies , hence the diameter is at least logarithmic (and at most linear) with respect to the size333Note that even if we restrict to the case of bounded degree, we cannot directly use the LCL machinery since the context is not exactly the same. We are looking at possible diameters of accepted trees and not looking at the checking of some property.. To prove the remaining parts of Theorem 1.9, we study the structure of the edges with the same view, and get a criterion proving that accepts trees that look like complete binary trees or -rakes for some , and thus must have minimum diameter or .
Given a local checker , we say that a pair of colors is useful if accepts some tree containing a path () where have color and have color .
We define the binary relation on the useful pairs of colors as follows: if accepts a -colored tree that can be rooted such that, when orienting the edges towards the leaves, there are three arcs and such that is an ancestor of and , is not an ancestor of , both have color for , and has color for . When this condition is satisfied, we moreover say that the rooted tree witnesses that . (In other words, it means that are ancestors of the four other vertices while and lie in different subtrees and are incomparable in ) (see Figure 3 for an illustration).
![Refer to caption](x3.png)
One can easily check that is transitive (a proof of this statement is given in Appendix E.2). To get the remaining cases of Theorem 1.9, we prove in Appendix E.3 that if is not a strict partial order, then has minimum diameter . Otherwise, we claim that has minimum diameter where is the length of the longest chain for (in particular ). This is a consequence of the two following results, whose proofs are deferred to the appendix.
Lemma 4.4.
If has a chain of size , then the minimum diameter of is .
Lemma 4.5.
If accepts an -vertex tree of diameter at most , then has a chain of size .
References
- [1] Karine Altisen, Stéphane Devismes, Swan Dubois, and Franck Petit. Introduction to Distributed Self-Stabilizing Algorithms. Synthesis Lectures on Distributed Computing Theory. Morgan & Claypool Publishers, 2019.
- [2] Alkida Balliu, Sebastian Brandt, Yi-Jun Chang, Dennis Olivetti, Jan Studený, Jukka Suomela, and Aleksandr Tereshchenko. Locally checkable problems in rooted trees. Distributed Comput., 36(3):277–311, 2023.
- [3] Alkida Balliu, Sebastian Brandt, Fabian Kuhn, Dennis Olivetti, and Gustav Schmid. On the node-averaged complexity of locally checkable problems on trees. In 37th International Symposium on Distributed Computing, DISC 2023, volume 281 of LIPIcs, pages 7:1–7:21, 2023.
- [4] Alkida Balliu, Fabian Kuhn, and Dennis Olivetti. Improved distributed fractional coloring algorithms. In 25th International Conference on Principles of Distributed Systems, OPODIS 2021, volume 217, pages 18:1–18:23, 2021.
- [5] Nicolas Bousquet, Louis Esperet, and François Pirot. Distributed algorithms for fractional coloring. In Structural Information and Communication Complexity - 28th International Colloquium, SIROCCO 2021, volume 12810, pages 15–30. Springer, 2021.
- [6] Nicolas Bousquet, Laurent Feuilloley, and Sébastien Zeitoun. Local certification of local properties: Tight bounds, trade-offs and new parameters. In 41st International Symposium on Theoretical Aspects of Computer Science, STACS 2024, volume 289 of LIPIcs, pages 21:1–21:18, 2024.
- [7] Yi-Jun Chang. The complexity landscape of distributed locally checkable problems on trees. In Hagit Attiya, editor, 34th International Symposium on Distributed Computing, DISC 2020, volume 179 of LIPIcs, pages 18:1–18:17, 2020.
- [8] Yi-Jun Chang, Tsvi Kopelowitz, and Seth Pettie. An exponential separation between randomized and deterministic complexity in the LOCAL model. SIAM J. Comput., 48(1):122–143, 2019.
- [9] Yi-Jun Chang and Seth Pettie. A time hierarchy theorem for the LOCAL model. SIAM J. Comput., 48(1):33–69, 2019.
- [10] Laurent Feuilloley. Introduction to local certification. Discret. Math. Theor. Comput. Sci., 23(3), 2021.
- [11] Henning Hasemann, Juho Hirvonen, Joel Rybicki, and Jukka Suomela. Deterministic local algorithms, unique identifiers, and fractional graph colouring. Theor. Comput. Sci., 610:204–217, 2016.
- [12] Ted G Lewis. Network science: Theory and applications. John Wiley & Sons, 2011.
- [13] Henrik Lievonen, Timothé Picavet, and Jukka Suomela. Distributed binary labeling problems in high-degree graphs. In Structural Information and Communication Complexity - 31st International Colloquium, SIROCCO 2024, volume 14662, pages 402–419, 2024.
- [14] George B. Mertzios, Othon Michail, George Skretas, Paul G. Spirakis, and Michail Theofilatos. The complexity of growing a graph. In Algorithmics of Wireless Networks - 18th International Symposium on Algorithmics of Wireless Networks, ALGOSENSORS 2022, volume 13707, pages 123–137. Springer, 2022.
- [15] Moni Naor and Larry J. Stockmeyer. What can be computed locally? In Proceedings of the Twenty-Fifth Annual ACM Symposium on Theory of Computing, pages 184–193. ACM, 1993.
- [16] Péter Pál Pach, Gabriella Pluhár, András Pongrácz, and Csaba Szabó. The number of rooted trees of given depth. the electronic journal of combinatorics, pages P38–P38, 2013.
- [17] Jukka Suomela. Using round elimination to understand locality. SIGACT News, 51(3):63–81, 2020.
Appendix A Further related work
Network science perspective
Network science has a long history of linking local and global properties of networks. A typical example are scale-free networks where the power-law degree distribution is related to clustering and small world phenomenon, and for which generative models have been introduced (such as preferential attachment). We refer to the book [12] for an introduction to the topic. In general, this perspective differs from ours in two ways: the properties considered are global (e.g. the degree distribution) thus cannot be checked locally, and the generative models are dynamic processes, while we study static processes (in other words, we are interested in maintaining a structure, not in creating it). Papers outside of network science also consider processes to “grow a graph”, see in particular [14].
Graph theory perspective
Graph theory also studies relations between local conditions and global behavior, in a more combinatorial way. For example, there is a wealth of works showing that forbidding small structures in a graph implies the existence of nice decompositions, of bounds on the coloring number etc. Another related direction are theorems à la Dirac: if all nodes have degree at least some function of the number of nodes, then the graph is Hamiltonian or connected. Again, this is quite different from our direction, in particular the diameter is not a topic of interest in this area.
Distributed computing perspective
We have already mentioned several works on LCLs, and how they are related to our paper. For completeness, let us also mention that the complexity landscape has also been studied in rooted trees [2] and in trees for node-averaged complexity [3]. The topic of checking the configuration of a network is central in self-stabilization [1], where it is essential to be able to detect inconsistencies in the computed data-structure, but not in the network topology, which differs from our work. A related field, that does study the network itself is local certification, where one considers labels helping the nodes to check given properties. (We refer to [10] for an introduction to the topic, and to [6] for a recent paper surveying the works related to graph structure.)
Appendix B Proofs of Section 2
B.1 Proof of Lemma 2.2
Using the notations of the definition, suppose that and are accepted by , and consider the graft of in at . We claim that each node of has the same view as its copy in or . Assume by symmetry that was in , and root at . Then its neighborhood at distance in consists in a copy of its neighborhood at distance in , except if it contains . In that case, the subtree rooted at is . Recall that (in ) and (in ) have the same view at distance , hence the view of in and of in at distance are the same. Thus the the view of in the subtree rooted at (in ) is the same as the view of subtree rooted at (in ), hence it accepts. Therefore, is accepted by .
B.2 Proof of Lemma 2.3
Let us denote by and the connected components of containing respectively for , and for and for .
Let us now define an infinite collection of trees such that, for every , the diameter of is larger than the one of and the size of is the size of plus the size of .
We set . We define as the tree obtained by grafting in at . Note that, abusing notations, the resulting tree contains the three following edges: (in one of the trees ), (corresponding to in the first and in the second) and (in the second tree). We denote by the edge . Now let . and we define as the tree obtained by grafting in at . Observe that this operation creates a new copy of in that we denote by (lying in the part of that is added to ). By Lemma 2.2, each is accepted by .
The conclusion follows from the fact that has at most nodes and diameter at least .
Appendix C Proof of Lemma 3.1
Consider a local checker that can see at distance . In particular, a vertex can see all the neighbors of all its neighbors at distance at most . The vertex can then iteratively remove all the leaves times. After all these deletions, if the vertex is not eliminated, it should have at most neighbors (otherwise it rejects) which are its (at most) two neighbors on the backbone. This proves the first and second points.
Let us denote by the view of rooted at where the subtrees rooted on the neighbors of in the backbone are removed. The vertex first checks its degree in and checks that it is coherent with the degree of its neighbors on the backbone (if it has degree mod , its two neighbors must have degree and ).
After removing leaves attached to in in order to reach a degree mod , the vertex can check that its pending subtrees can be partitioned into three copies of the same forest in order to determine its letter. Since it sees at distance it can run a similar process to determine the letter of its neighbor. Note that this is not completely immediate since, even if it sees the trees of depth rooted on its neighbors it cannot check that leaves are indeed leaves. However, after the removal of 0, 1 or 2 attached leaves on its neighbor, the attached trees must consist of three times the same forest plus an additional tree that corresponds to the beginning of the subtree attached on the neighbor at distance on the backbone. In particular the degree is equal to modulo . So after grouping the trees three by three, it only remains one tree which corresponding to the rest of the backbone. Removing it allows to know the tree associated with its neighbor, and thus its letter, which completes the proof of the fourth point.
For the endpoints of the backbone, there is only one long path attached to them, which can indeed be easily determined. This proves the third point.
Appendix D Consequences on generalized LCL – Proof of Corollary 1.8
See 1.8
Let us first discuss slight modifications of the checkers we have manipulated to get our upper bounds in Section 3.3. We will prove that we can modify checkers to ensure that if our original special checker accepts a tree , then the modified checker accepts all the trees where is obtained from by repeating a constant number of times some letters.
Let . A word is a -subdivision of if it is a subword of and it contains as a subword. The -subdivision of a language is the language of all the -subdivisions of words of . (Note that is the -subdivision of ). Corollary 1.8 relies on the fact that -subdivision preserves recognition by special local checkers, up to increasing the checkability radius.
Claim 1.
Let and accepting a -testable language such that no word of has identical consecutive letters. Then there is a special local checker in accepting the -subdivision of .
Proof D.1.
We consider the same checker with slight modifications. Each node now can recover all letters at distance , and remove all the repetitions it sees. Since no word of has identical consecutive letters, and each can be repeated at most times in the subdivision, now has access to the letters at distance from it in the un-subdivided word and run the verification process from (since is -testable).
We may now proceed with the proof of Corollary 1.8.
Proof D.2 (Proof of Corollary 1.8).
Let us now consider the languages and of the previous sections which are -testable. Note that there is no repetition of letters in neither nor . By Claim 1, there is a special checker that can recognize their -subdivisions.
Now, we define a generalized-LCL, which is a generalization of -coloring, in the following way. Each node must choose an output that is either 0, 1, or empty. The verification algorithm checking the correctness of the output is the following. On a node ,
-
•
The output of all the vertices that are not in the backbone is empty while all the vertices in the backbone should output or .
-
•
If outputs or , it cannot have a neighbor with the same output (i.e. the non-empty output labels define a 2-coloring.)
We claim that in the trees accepted by the modified local checker, this is a global problem. Consider two nodes at the endpoints of the maximum path, and suppose they have a view asymptotically smaller than the diameter. Now, these nodes cannot recover the middle of the word encoded by the tree. In this middle part of the word, either delete a letter that was repeated or delete a repetition. This leads to a new tree, where the endpoints of the backbone have still the same view, hence should output the same. The -colorings of one of the two trees must be incorrect, which is a contradiction.
Finally note that in the proof above, we have decided to increase a bit the checkability radius of the local checker. If we allow oursleves to have two input colors, then we can keep the same radius. In the instances we consider, all nodes will have input 0, except possibly the first node of the backbone which can have either 0 or 1. Then we enforce that first node should have the same input and output label. Since the nodes on the other side of the tree do not know about this input, 2-coloring is again a global problem.
Appendix E Proofs of Section 4
E.1 Proof of Lemma 4.1
Constructing inductively a -rake by choosing each time a path on vertices, we obtain a -rake with vertices and of diameter . Hence the class of -rakes has minimum diameter . This bound is actually tight: this is clear for -rakes. For , let be a -rake and be a path whose deletion leaves a collection of -rakes. If has length at least , the conclusion follows. So we can assume that . Since contains at most connected components, one of the -rakes has size at least . And by induction hypothesis, such a -rake has diameter at least .
Let us now prove that for every , there exists a local checker accepting exactly the class of -rakes as long as . The colors will be represented as pairs of integers with and . Each node checks that it has degree at most three. Moreover each node of color checks that it has a neighbor (if ) and that its other neighbors have colors either and , or and or only .
E.2 is transitive
Assume that and . Denote by the (rooted) trees that witness the relation (resp. ). In particular, contains two arcs of colors and an arc of colors , and contains the arcs of colors and of color with the ancestor relation of the definition of .
Construct the tree by grafting in at . By Lemma 2.2, is accepted by . Moreover, by construction of , the copy of is an ancestor of but not , hence .
E.3 The logarithmic case
If is not a strict partial order, since it is transitive, there must be a pair of colors such that . In particular there is a rooted tree with three arcs , all of colors such that is an ancestor of and but are not ancestors of each other.
![Refer to caption](x4.png)
From , we construct a sequence of trees that look like binary complete trees. Each will contain copies of the subtrees of rooted at . Let and define by successively grafting in at , where runs across all copies of or in . Observe that accepts each by Lemma 2.2 (see Figure 4 for an illustration). Moreover, the diameter of increases by a constant (at least one and at most the diameter of ) compared to and the number of nodes increases by at least and at most . Thus has diameter and nodes, which concludes.
E.4 Proof of Lemma 4.4
We basically show that if has a chain of size , then accepts trees with a -rake-like structure, hence its minimum diameter is .
Consider a chain of pairs of colors . Denote by a rooted tree and its vertices witnessing that . Finally, let be a tree witnessing that is useful, that is contains a path between two edges and of colors .
![Refer to caption](x5.png)
Let . For every , we start by grafting in at times, as in the proof of Lemma 2.3 (see Figure 5). This yields a tree containing a copy of the edge of and copies of , that is still accepted by by Lemma 2.2.
![Refer to caption](x6.png)
Set and for down to define as the tree obtained by successively grafting in at where ranges across the copies of in (see Figure 6. By Lemma 2.2, all these trees are accepted by .
For large enough , each has diameter and size . Therefore, when constructing from , the number of nodes is multiplied by while the diameter increases by an additional . In particular, has diameter and contains vertices. Taking proves that has minimum diameter at most .
E.5 Proof of Lemma 4.5
We prove by induction a slightly stronger and technical statement: if accepts an arbitrarily tree with an -vertex (possibly non-rooted) subtree of diameter less than , then contains an edge whose pair of colors is smaller than other useful pairs (for ).
Assume that there is a tree accepted by with an -vertex subtree of diameter less than . Root arbitrarily. We construct an auxiliary tree , starting with and successively modifying it as follows. For each pair of colors (by increasing order of ), while there exists a branch going through two arcs and with colored with , we assume that and are respectively the closest and furthest to the root among all arcs of the branch with these colors, and we graft at in the subtree of rooted at . Observe that each time this operation is applied, some vertices, namely the descendants of but not of , are deleted from . Denote by the tree obtained after this process is finished, and observe that has height at most since no two pairs of colors can repeat on edges of the same branch. In particular, has at most nodes.
Since we considered the pairs of colors by increasing order of , due to the choice of as closest to the root, all the vertices chosen as and at some point during this process are chosen only once, and moreover they cannot be deleted afterwards. In other words, each deleted vertex of can be associated with an arc of . By the pigeonhole principle, there is one arc associated with at least deleted nodes.
Consider the branch and its arc chosen when was selected. Observe that the distance between and is less than , hence one of the trees pending from whose root is between and has size more than .
First assume that . Note that has diameter less than . By induction, contains an arc whose pair of colors is smaller than other pairs. Denoting by the colors of , we get that , hence is smaller than other useful pairs, which concludes the induction.
We may thus assume that . Since , must have depth at least . On a longest branch, some pair of colors must be repeated. Hence is useful and , which concludes.
Appendix F Restricting the expressivity: degree-myopic local checkers
This section is devoted to the proof of Theorem 1.10.
See 1.10
The proof follows a two-step approach: first, we restrict the possible values for the parameters ’s, by discarding values that either yield degree-myopic checkers with constant or linear maximum diameter or can be modified without changing the maximum diameter. For example, each tree contains leaves, hence we must have . Then, we classify the possible diameter depending on the remaining free parameters.
F.1 Structural properties
First, we note that similarly to what happened earlier in the paper, the regimes and are uninteresting. It is easy to find degree-myopic local checkers in these regimes: a checker where non-leaf nodes can only see leaves leads to stars; and a checker where every non-leaf node accepts only two neighbors of equal-degree leads to paths. Therefore, we focus on the set of degree-myopic local checkers whose maximum diameter lies between and , that we denote by . And prove a series of claims on that set.
Claim 2.
For any local checker in , we must have .
Proof F.1.
Consider a tree accepted by a local checker with . Since it is finite, then there is a node of maximum degree . If , then the tree has only leaves, thus it has one or two nodes. Since the local checker is in there must be trees with . In that case, should have at least neighbors of degree , a contradiction.
The following results make great use of the grafting operation (Definition 2.1 in Section 2). In our restricted setting, Lemmas 2.2 and 2.3 still hold, where the view of an edge is given by the degrees of its endpoints. Note that in particular, the trees recognized by local checkers in cannot contain any path between edges with the same view. We first use this idea to get rid of the equal-degree type.
Claim 3.
There cannot be a path with and in a tree accepted by some .
Proof F.2.
Assume that a tree accepted by contains such a path. Now graft in at . By Lemma 2.2, the new tree is accepted by . Moreover, contains two copies of the edge , call the second one . These two edges have the same view, hence one can apply Lemma 2.3 to construct trees of linear diameter accepted by , a contradiction.
Using this result, we can already restrict the study to checkers with . Indeed, by Claim 3, all accepted trees only use the equal-degree case at most once, hence necessarily . Then for every such tree , we cut the equal-degree edge, keep only half of the tree (the one with largest diameter), and fix it in the following way. We replace the cut edge by an edge to a leaf, and create . Observe that is accepted by the checker which is the same as , except that is increased by 1, and . It is thus sufficient to prove Theorem 1.10 for .
From now on, we consider only checkers in with .
Claim 4.
For any local checker in , and .
Proof F.3.
Since the checker is in , there must be at least two non-leaf nodes in at least one accepted tree. Consider two such non-leaf nodes and , and w.l.o.g. take them to be adjacent. Since in our restricted setting, we only allow two adjacent non-leaf nodes to have a degree difference of exactly 1, it must be that, up to symmetry, is categorizing as Degree+1, and is categorizing as Degree-1. Hence, we must allow at least one neighbor of each type.
Let a zigzag in a tree be six nodes and , such that there exists a path in which they appear in this order, and and . See Figure 7.
Working similarly as Claim 3, we prove that zigzags cannot appear.
Claim 5.
Let be a checker in . The trees accepted by have no zigzag.
Proof F.4.
By contradiction, suppose we have a checker in accepting a tree with a zigzag as in the definition. By Lemma 2.2, the tree obtained by grafting in at is still accepted by .
The new tree contains the original vertices from and also a copy of those from the grafted copy of , that we call . In particular, contains a path , where has the same view as . We can thus apply Lemma 2.3 to construct trees of linear diameter accepted by and reach a contradiction.
Forbidding zigzags basically proves that paths in accepted trees can be split in two parts, each monotonous in degree (up to vertices of degree at most ). This allows us to restrict the values of and without changing much the maximum diameter.
Claim 6.
Let be a myopic local checker with and maximum diameter . Let be the same checker except that . The maximum diameter function for is at most .
Proof F.5.
Let be an -vertex tree of diameter accepted by . By adding pending leaves to each non-leaf vertex, we get a tree accepted by , with at most nodes and whose diameter is still . In particular, we get .
Since every tree accepted by is also accepted by , we also get . Therefore, given the diameter functions we target, we have , hence we can assume that in the context of the theorem. Using slightly more involved arguments, we get that we may also assume that .
Claim 7.
Let be a myopic local checker with and maximum diameter . Let be the same checker except that . The maximum diameter function for is at least .
Proof F.6.
Consider an -vertex tree accepted by . And take a path that is maximum, that is, its length is . Because of Claim 5, this path either is monotone in terms of the degree of the nodes visited, or the degree sequence changes slope at most once. If it is monotone or is minimum on the endpoints, then for every node having more than one neighbor of larger degree, we prune all such neighbors except the ones used by the path . This is possible because by Claim 2. This tree is accepted by and it has the same diameter as , and at most the same number of nodes. If the degree sequence is maximum on both endpoints, then we do the same operation, leaving exactly one node with two neighbors of larger degree. Then, we take this node and prune its shortest "forward branch". The diameter has at most halved, while the number of nodes has not increased.
In both cases, we obtained a tree accepted by with vertices and diameter at least . In particular, we get an infinite sequence of trees accepted by with diameter at least , which proves the claim.
F.2 Establishing the classification
The claims above show that we may only prove Theorem 1.10 for degree-myopic local checkers in satisfying:
-
•
and
-
•
-
•
-
•
and
We now proceed to the proof of Theorem 1.10, by distinguishing some cases based on the values of and . In each case, we provide a lower bound on the maximum diameter by constructing trees with a specific shape that are accepted. Then we provide a complementary upper bound by proving that the same kind of structure necessarily appears in the accepted trees.
Claim 8.
If satisfies and , then its maximum diameter is .
Proof F.7.
Let such that and . For every integer , consider the caterpillar whose backbone has nodes, and its degree sequence is . Observe that is accepted by and moreover, has diameter and vertices. Therefore, has maximum diameter at least .
To conclude, we show that every -vertex tree accepted by has diameter at most . Take a maximum path in , of length . Since there is no zigzag in the tree, the degree sequence of any maximum path changes slope at most once, so up to halving (similarly to Claim 7), one can assume that has a monotone degree sequence, from a vertex of degree to a vertex of degree . In particular, there are at least vertices at distance at most one from , so .
Claim 9.
If satisfies and , then its maximum diameter is .
Proof F.8.
Let such that and . For every integer , denote by the complete -ary tree of height (where each internal node has children). Construct from by attaching leaves to every vertex at distance from the leaves. Observe that is accepted by , because (1) all the leaves and their parents (which have degree ) accept, and (2) all the other nodes have children (whose degree is precisely one less).
The tree has diameter and a number of nodes vertices, hence has maximum diameter .
Let be an -vertex tree of diameter accepted by . Orient its edges from to if . One can easily prove by induction on that if contains a vertex of degree , then the subtree rooted at contains at least nodes (it actually contains a copy of ). Since any maximal path of contains a vertex of degree at least , has at least nodes so .
Claim 10.
If satisfies , then its maximum diameter is .
Proof F.9.
Let with . Let us prove that necessarily . Suppose that this is not the case, then accepts only trees of maximum degree at most . If is accepted by , it contains no zigzag, hence any path in has length at most . Hence, has maximum diameter , a contradiction with the definition of . From now on, assume that .
For every integer , we define inductively a rooted tree . Let be the subdivided star whose root has degree and each branch is subdivided once. Then, construct by attaching copies of to a new root. Note that has diameter and nodes. We check that accepts all the trees , and has maximum diameter (the asymptotic inverse function of factorial).
Let be an -vertex tree of diameter accepted by , so in particular contains a vertex of degree at least . Orient each edge of towards its endpoint of largest degree. Again, one can easily show by induction on that each vertex with children has at least descendants. In particular, contains at least nodes, hence .
Appendix G Towards graphs with cycles
Up to now, we have focused on trees, because they are central for LCLs, and make sense for our second motivation. A natural question at that point is what happens if we go beyond trees. We leave this for further work. We just prove now that if there is a cycle in the graph, but no node can see it (i.e, the girth is large in comparison with the checkability radius) the maximum diameter is linear. Basically, we show that we can do pumping via a crossing argument.
Consider a local checker that accepts some graph with a cycle. We claim that it also accepts arbitrarily large graphs of linear diameter, relying on the so-called duplication operation. Given a colored graph and an edge , the duplication of along is the colored graph obtained by taking two copies of , deleting the two copies and of and adding and . It is easy to see that if and are at distance at least from each other in , then and (resp. and ) both have the same view at distance in as (resp. ) in . In particular, we get the following.
Lemma G.1.
Let be integers, be a -colored graph containing two adjacent vertices at distance at least in . Then every accepting also accepts .
The following structural result shows that this operation creates long paths, which is the main ingredient for constructing graphs of linear diameter.
Lemma G.2.
Let be an edge of a graph . Denote by the edge between copies of and in . Then .
Using these two results, we can conclude that iterating this duplication operation starting from a nice enough graph yields an infinite sequence of graphs of linear diameter, all accepted by every local checker accepting .
Theorem G.3.
Let be integers and accepting a -colored graph containing two adjacent vertices at distance at least in . Then has maximum diameter .
Proof G.4.
Consider the sequence defined by , , and for every , , and is an edge in between the copies of and . By Lemma G.1, all the graphs are accepted by . Moreover, and by Lemma G.2, the distance between and in is at least . Therefore, there are two vertices in at distance at least hence , which concludes.