bibliography: non_clique.bib

# Abstract

In recent years, there has been a surge of interest in community detection algorithms for complex networks. A variety of computational heuristics, some with a long history, have been proposed for the identification of communities or, alternatively, of good graph partitions. In most cases, the algorithms maximize a particular objective function, thereby finding the 'right' split into communities. Although a thorough comparison of algorithms is still lacking, there has been an effort to design benchmarks, i.e., random graph models with known community structure against which algorithms can be evaluated. However, popular community detection methods and benchmarks normally assume an implicit notion of community based on clique-like subgraphs, a form of community structure that is not always characteristic of real networks. Specifically, networks that emerge from geometric constraints can have natural non clique-like substructures with large effective diameters, which can be interpreted as long-range communities.

In this work, we show that long-range communities escape detection by popular methods, which are blinded by a restricted 'field-of-view' limit, an intrinsic upper scale on the communities they can detect. The field-of-view limit means that long-range communities tend to be overpartitioned. We show how by adopting a dynamical perspective towards community detection , in which the evolution of a Markov process on the graph is used as a zooming lens over the structure of the network at all scales, one can detect both clique- or non clique-like communities without imposing an upper scale to the detection. Consequently, the performance of algorithms on inherently low-diameter, clique-like benchmarks may not always be indicative of equally good results in real networks with local, sparser connectivity. We illustrate our ideas with constructive examples and through the analysis of real-world networks from imaging, protein structures and the power grid, where a multiscale structure of non clique-like communities is revealed.

# Introduction

The analysis of community structure in complex networks has gained much attention in recent years and a variety of community detection algorithms have been proposed (for a recent overview see Ref. ). The reason for this interest is that by finding community structure in large networks one hopes to reveal relevant modules at mesoscopic scales that can affect or explain the global behavior of the system. Community detection may thus facilitate new insights into the structural and functional organization of a system (and the interplay between these two), as well as potentially serving as the basis for reduced descriptions of complex systems. Examples of important applications include networks from technological, physico-chemical, biological and medical data as well as data from the social sciences (see e.g. and references therein).

Community detection algorithms are based on diverse notions of what makes a good community. Different mathematical and computational heuristics, some of them based on graph partitioning concepts, have been used to identify communities or to obtain an optimized split of the original network into smaller subgraphs with a community-like character. A common trait in many algorithms is to group nodes based on edge density: communities concentrate high edge weight within them, while having low edge weight between them. This structural notion has led to several heuristics including, among others, modularity  and multiscale-Potts models which have been coupled with different optimization algorithms (e.g., the Louvain method ) for the maximization of the corresponding cost functions. Recently, the Map equation framework has proposed an alternative notion that views communities as groupings of nodes that lead to concise descriptions (in an information-theoretical sense) for the process of communicating the position of a random walker within the network .

To aid in the comparative evaluation of community detection algorithms, there has also been an effort to design benchmark graph models with an embedded community structure . However, in designing these benchmarks, a particular notion of community has to be adopted implicitly. As in many of the community detection algorithms described above, such benchmark models are based on the customary structural notion of community in terms of edge density. Therefore, the community structure is introduced as a *stochastic clique-of-cliques*, i.e., as a hierarchy of interconnected realizations of Erdös-Renyi graphs with block-wise homogeneous, 'all-to-all' edge densities. This notion is motivated by the fact that many complex systems in the literature have been found to display small diameters and is indeed applicable to a wide range of networks, e.g. networks constructed from correlations or networks from the social sciences.

However, as we show below, there is a broad class of locally sparser networks where the assumption of 'all-to-all' connectivity is not warranted yet may still contain relevant modular substructures, which we would like to identify via community detection. A community in this case corresponds to a set of nodes which have a stronger direct or *indirect* connection with each other than with nodes outside their community. Such long-range substructures cannot be modelled accurately by stochastic cliques. This is the case in a variety of systems (e.g. biological and engineering networks) where entities are coupled in a complex manner via a chain of local interactions such that not all entities of a module are directly connected, yet they are more strongly related to each other than to entities from a different subsystem. Therefore, the evaluation of algorithms on benchmarks with clique-like communities might not be representative of their ability to identify relevant structures on real networks with localized, sparser connectivity where non-clique like communities may still exist.

The characteristics of communities in such networks (relatively sparse with a strong local structure) also highlight a limitation in popular community detection methods. It is already known that some of these methods (e.g., modularity) are affected by a 'resolution limit' , a lower scale that establishes a minimum size below which communities cannot be detected. Infomap, on the other hand, seems to be immune to such a limit . We show below that these methods also have a *'field-of-view' limit*, an upper limit in the effective diameter of the communities they can detect. This field-of-view limit affects both modularity and Infomap. Therefore, such structural methods contain an implicit scale and can only detect communities that lie within a range of effective sizes (dependent on each method and each graph) and might miss groups outside of it.

One way to correct for the field-of-view limit is to adopt an approach to community detection that intrinsically *scans across scales*, such as the partition stability framework . Stability is a recently proposed dynamical approach to community detection which follows the time evolution of a Markov diffusion process on the graph incorporating increasingly longer paths on the network. This process entails a natural dynamic sweeping that can be understood as the application of a zooming lens to community detection. It is important to remark that the sweeping process is inherent and key to the methodology: the dynamical basis implies a systematic tool by which the structure at all scales needs to be examined, without looking for the 'right' scale. In doing so, stability is able to reveal communities without imposing a scale a priori or, indeed, community structure at multiple scales. It has been shown  that in such a framework, the standard structural notion of community given by modularity is a particular case based on one-step transitions (i.e., detected at Markov time equal to 1). It can be shown  that Infomap also considers one-step transitions in an averaged manner.

Under this interpretation, it is easy to understand why one-step methods (such as modularity and Infomap) cannot detect communities with large effective diameter, since these communities cannot be properly explored within one-step transitions. When faced with such communities, one-step algorithms tend to overpartition them. In fact, this feature provides us with an indicator that one-step methods are being applied to a community structure outside their range of applicability: when one-step methods return communities with large effective diameters, this can be seen as an indicator that the methods are operating on a graph which does not conform to their intrinsic notion of communities as cliques. On the other hand, long range communities can be revealed at longer Markov times through the dynamic sweeping provided by stability. We show below the relevance of these observations through the analysis of constructive examples and of real networks from biology, computer science and engineering.

# Methods

## Notation

Networks are here defined as undirected, connected, weighted graphs with $N$ nodes. For simplicity, we consider non-bipartite graphs. The connectivity of the graph is encoded by the weighted adjacency matrix $A$, a symmetric matrix where $A_{ij} = A_{ji}$ corresponds to the weight of the edge between nodes $i$ and $j$. The total weight of the edges is $m = \sum_{{i \geq j=1}}^{N} A_{ij}$.

## Community detection methods: structural and dynamical interpretations

The purpose of this section is to provide a dynamical re-interpretation of some popular community detection algorithms that are based on structural notions of community. It will be shown that such methods can be seen as one-step methods. When reinterpreted as one-step dynamical methods, it becomes possible to understand the inherent assumptions or bias of structural methods towards the identification of short-range communities and the limits that this imposes on the detection of non clique-like communities.

### A different interpretation of a well-known metric: Modularity as a one-step method

The well-known modularity has in recent years been used as one of the standard metrics to evaluate and optimize community structure. The original idea of modularity was intrinsically combinatorial: it assigns nodes to communities such that the density of links inside a community is maximized, when compared to a random network with the same degree sequence. It has been shown previously  that this measure can be interpreted dynamically as a one-step method. Modularity, $Q$, can be rewritten as : $$Q = \text{trace }H^T\left[\Pi M  -\pi^T\pi\right]H,$$ where $M = D^{-1}A$ is the one-step transition matrix of a discrete time random walk defined on the graph; $D$ is a diagonal matrix with the strengths of the nodes on its diagonal ($D_{ii} = d_i = \sum_{j} A_{ij}$); $\mathbf{\pi}_i = d_{i}/2m$ is the equilibrium distribution of the process; and $\Pi = \text{diag}(\pi)$. Furthermore the hard partitioning of the graph into $c$ communities is encoded into a $N \times c$ indicator matrix $H$ with $H_{ij} \in \{0,1\}$, where a 1 denotes that node $i$ belongs to community $j$.

Recasting modularity in this way suggests the following dynamical reinterpretation: communities are assigned such that the overall probability of starting in a community and remaining there after one step is maximized compared to the probability of randomly ending up in the same community when at equilibrium. Hence modularity can effectively be seen as a one-step method and, as such, it tends to favor communities in which the Markov process spreads rapidly, such as clique-like groups with weak connections between them. On the other hand, when the underlying communities are not clique-like (or have a large effective intra-community distance), modularity optimization can lead to overpartitioning, i.e., to the detection of artificially small communities. This is shown in the examples in the Results section.

### Another one-step method: Infomap and clique-like communities

Recently, Rosvall and Bergstrom have proposed the (Info-)Map framework for community detection. The general idea behind the Map equation algorithm is to find a binary code with unique codewords for each node within a community that can be used to describe compactly the position of a random walker in the network. In a network with a marked community structure, the probability of flipping membership is smaller. Therefore, one can compress the description by reusing short node names (codewords) within separate communities, similarly to the way street names may be used in different cities throughout a country .

Although different in spirit to modularity, it is interesting to note that the Map equation, much like modularity, is also based solely on the equilibrium distribution $\pi$ and a one-step process that reflects inter-community transitions in an block-averaged manner. Indeed, it can be shown that the Map equation formalism does not distinguish different connectivity structures inside communities . This reflects an implicit assumption about fast mixing communities and, consequently, a homogeneous 'all-to-all' connection pattern (i.e., clique-like communities in the sense of having short effective diameter) matches best the inherent notion of community of the algorithm. Hence, Infomap is prone to finding communities that can be well approximated as stochastic cliques. Indeed, Infomap performed as one of the best algorithms in a recently conducted benchmark test where communities are defined as stochastic cliques . This also explains why, unlike modularity, the Map equation is not known to be affected by the resolution limit: the fact Infomap is greedy with respect to locally dense substructures makes it well suited for detection even at the finest scales. However, this desirable, designed-for feature also means that when the graph under consideration has slowly mixing communities, Infomap displays a pronounced overpartitioning effect, even more so than modularity.

### Stability as a dynamical framework for community detection: sweeping across scales

Communities with large effective diameters, e.g., non clique-like communities, can be missed by the methods above because they may not be discernible with one-step measures. This raises the question of how to detect non clique-like communities? Intuitively, a means to account for their structure is to consider walks of lengths greater than one. This can be done in a principled way using the recently proposed partition stability framework . The idea underpinning stability is to define a Markov (diffusion) process on the graph and follow how the probability flow spreads out over time. Rather than looking at one-step measures, stability takes into account walks of increasing length systematically by looking at larger times and, in doing so, it can reveal communities at different scales: in general, the longer the time, the coarser the partition. Alternatively, one can think of the Markov time as providing a *zooming lens* that scans the structure of the graph from the finer to the coarser structure. Importantly, stability has been shown to provide a unifying framework for several measures of community detection including modularity and spectral partitioning . In the following, a brief introduction to the stability measure will be given. For a more detailed exposition see .

The stability of the partitioning of a graph can be defined via the autocovariance of a Markov process taking place on the graph. The definition can be based on both discrete and continuous times. Here we consider the continuous-time Markov process on the graph governed by the following (Laplacian) dynamics: $$\mathbf{\dot p} =
 - \mathbf{p}\;[D^{-1}L],$$ where $\mathbf{p}$ is a $1\times N$ probability vector, $D$ is the diagonal matrix with the strengths $d_i$, and $L = D- A$ is the graph (combinatorial) Laplacian matrix. Under the assumptions made above (undirected, connected, non-bipartite graphs), the stationary distribution $\pi$ of this dynamics is $\mathbf{\pi}_i = D_{ii}/2m$. Now we can define the clustered autocovariance matrix of the graph at time $t$ as: $$R_t = H^T\left[\Pi \exp(-t D^{-1}L) -\pi^T\pi\right]H,$$ with $\Pi = \text{diag}(\pi)$ and the matrix $H$ encoding the partitioning as defined for modularity above. Note that each entry $[R_t]_{ij}$ is the probability for a random walker to start in community $i$ at stationarity and after time $t$ end up in community $j$ minus the probability of two independent walkers to be in $i$ and $j$ at stationarity.

We can then write the *stability of a partition* $H$ at time $t$ as: $$r(t,H) = \text{trace } R_t.$$ This is a global quality function for a given graph and partition that changes as a function of time. It is easy to see that modularity is a particular case of the linearization of the stability (or of its discrete analog) at time $t=1$ . The stability $r(t,H)$ can now be optimized in the space of partitions $H$ with any optimization method for graph clustering. In the present work, this has been done with the efficient Louvain method . The effect of time is intuitive: with increasing time the Markov process explores larger regions of the graph, so the Markov time acts as a resolution parameter that enables us to identify community structure at different scales. Communities are identified as subgraphs within which the probability distribution of the process is more contained over a time $t$ than otherwise expected at stationarity. Importantly, stability does not aim to find *the* best partition, but rather tries to reveal relevant clusterings at different scales through the zooming process that occurs naturally through the dynamics. A relevant partition should be both persistent over a comparably long timescale and robust with respect to slight variations in the graph structure and/or the optimization . In order to quantify the robustness of the partitions, we use the variation of information to measure the similarity between partitions .

Stability differs from one-step methods in its intrinsic multistep character, as it is based on the exponential of the full adjacency matrix. Furthermore, stability does not introduce any effective assumption towards a block-averaged transition matrix and is thus not biased towards a particular structural model of clique-like communities. The fact that stability uses the diffusion dynamics from each node taking into account walks of all possible lengths, rather then looking at one-step transitions only, has an important bearing on the detection of non clique-like communities. As the Markov time increases, stability is able to find the cohesion within non clique-like communities as the multi-step density between nodes in such a community is increased. The dynamic zooming provided by the Markov process is the key characteristic of the stability framework. Such an approach does not focus on a particular scale but rather provides a means to establish the presence of robust partitions that can appear at any given scale or, indeed, reveal the existence of a multiscale community structure. If no communities are present, e.g. in pure Erdös-Renyi random graphs, stability returns the absence of robust communities at any scale. The effect of the Markov dynamics as a zooming lens, scanning from finer to coarser resolution, provides a means to ameliorate the effect of the resolution and field-of-view limits. We should remark that the Markov time does not impose a dynamic on the network necessarily but can rather be seen as a device to reveal the potential community structure in the network (even if the network does not have an intrinsic dynamics).

## Community structure in benchmark graphs and in different applications

A number of benchmark graph models have been proposed for the evaluation of community detection algorithms (for some widely used examples see ). Nearly all of these benchmarks share a particular notion of community: typically a parameter controls the ratio of the probability for a node to connect within its own community versus the probability to connect to a node outside the community. Some more recent models  allow for more heterogeneous degree distributions of the nodes, yet a community can basically still be described as a *homogeneous* substructure and the community structure may be thought of as a probabilistic realization of a 'clique of cliques': $$p(i,j) \propto k_ik_j f(C_i,C_j),$$ where $k_i,k_j$ are the degrees of node $i$ and $j$ respectively and $f$ is a function of the associated communities $C_i,C_j$ of $i$ and $j$ alone. Therefore, these random graph models can be thought of as 'mean field' or 'block models', in that intra- and inter-community structure is approximated by average connection properties.

If we think of Markov diffusion processes or flows taking place on these graphs, such networks exhibit fast exploration of all nodes within each community—due to the clique-like structure of the community any node in the community is reached in one step. Although graphs of this type are indeed found in real applications (such as networks constructed from correlation measurements or in some instance of social groupings), a wide spectrum of real networks are not of this form because they do not display an 'all-to-all' connection pattern. An important example of networks that cannot support clique-like connection patterns is that of geographically embedded networks, such as power grids, sensor-networks, river-networks, road- and train-networks and other transport and supply and distribution networks. Similarly, networks containing constraints, in some cases dictated by geometry or by some other cost functions, such as higher-dimensional grid or lattice-like structures originating from physical and biological systems, will not display homogeneous block-like structures in their connectivity patterns. We show some examples of these networks in the Results section below.

This issue is generic in the sense that it applies to graphs that have an intrinsic geometric or constraint-driven structure even if it emerges from an abstract data structure. Examples include graphs with a low doubling dimension  which are related to graphs that can be naturally embedded in a low-dimensional Euclidean space. Indeed, it has been conjectured that the Internet autonomous systems network–a prominent example of a network pegged to geographical constraints–has low doubling dimension  and can be embedded naturally into a two-dimensional hyperbolic plane . Other networks with a similar structure emerge from the projection of high-dimensional data onto a lower dimension while preserving the local structure of the data  or in web graphs with a tendril-like structure in the periphery. In all these networks, the connection probability between nodes is strongly influenced by locality and it tends to be sparser and inhomogeneously distributed within and in between different structural components. Invoking again a diffusion process, these graphs may contain non clique-like communities within which diffusion is slow, such that they cannot be identified with standard structural, one-step community detection methods. The fact that a wide range of real networks are not of a mean-field type and their possible community structure may not be clique-like should be taken into account when comparing community detection algorithms on benchmarks which have been developed with the implicit assumption of clique-like communities.

# Results

We now analyze a series of constructive and real-world examples in which communities are significantly different from clique-like structures. For all the results presented below, we run the respective community detection algorithms 100 times with a different random seed and select the best partition found as the community structure. For both modularity and stability, the optimization has been performed with the Louvain algorithm . Infomap has its own implicit optimization method. To assess the robustness of communities obtained by the stability method, we used the variation of information  of all solutions found by the optimization.

## Constructive examples: Non clique-like communities with low intra-community diffusivity

Before considering real-world networks, we illustrate our ideas with constructive toy examples to exemplify the notion of non clique-like communities. The first example is a 'ring of rings', in which 5 rings of 20 nodes with *strong intra-ring* edges are linked via weak edges to each other (Fig. A-C). Given our discussion above, it would be desirable that community detection algorithms should reveal the strongly linked ring communities. Indeed, the strong rings correspond to the notion of community as the equivalent of the connected components when the graph is 'almost disconnected', i.e., in the limit when the weaker edges become non-existent. However, as shown in Figure A-B, one-step approaches, such as modularity and Infomap, fail to recover these communities and return 'optimal' clusterings that are overpartitioned with many communities of no individual relevance.

Following our discussion in the Methods section, these results can be understood as a consequence of the locally greedy, one-step characteristics of these algorithms. The Infomap algorithm obtains 18 communities as this algorithm does not have any incentive to create communities that go beyond small ring segments, as such communities have low one-step escape probability while being as locally clique-like as possible. In fact, Infomap fails to recognize the rings even when all edges in the graph (within and between communities) have equal weights. Modularity also optimizes according to one-step transitions and, in the case of the rings, such a short horizon is not enough to identify the rings of length 20 and it returns a partition into 8 communities. This effect becomes more acute when the length of the rings increases, e.g., with 2 rings of 50 nodes modularity finds 10 communities instead of the expected 2.

In contrast, the stability formalism identifies only one persistent and robust partition: the right split into 5 rings (Fig. C). Stability detects the communities when the dynamic zooming reaches sufficiently long Markov times. In this case, this occurs at a Markov time greater than 1, thus explaining why modularity is unsuccessful. Indeed, above $t \simeq 2$, a long-lasting plateau of stability corresponding to 5 communities emerges and this partition is robust as given by the vanishing value of the variation of information calculated for 100 optimizations of the stability at each time point.

As explained above, the Markov time at which the structure is detected is indicative of an effective intra-community diffusion distance that needs to be spanned to make the community identifiable. This is akin to a measure of the diameter of the community (specifically in the case of quasi-regular graphs). The fact that both Infomap and modularity are effectively one-step methods means that if the communities they detect are the 'right ones', they should always have low diameter. Conversely, when the communities returned as optimal by Infomap and modularity have large diameters, this can be seen as an indication of an overpartitioning effect by these methods. In that case, both algorithms are operating in a regime for which they were not designed since they will always try to find locally dense or one-step structures and the communities may thus be too fine grained.

This observation can be used to provide a check for the appropriateness of those methods for the particular network analyzed. As a simple proxy, one can monitor the diameter of the detected communities[^1]. For instance, in the case of the ring of rings, the corresponding average diameters of the communities found by each method are $\Delta_{\text{Mod}} \approx 14$ and $\Delta_{\text{Map}} \approx 4.56$, indicating a potential overpartitioning. Similar diameters are observed in the real-world examples shown below, as does the fact that the communities detected by Infomap tend to be smaller in diameter than the ones found by modularity, a reflection of Infomap being more greedy towards locally clique-like structure. This feature of Infomap, which makes it immune to the resolution limit, makes Infomap more sensitive to the field-of-view limit, and hence to overpartitioning.

Further insight into the importance of the intra-community distance in non clique-like communities can be gained by considering another constructive example: a ring of 5 small-world (SW) graphs  with 200 nodes each in which edges inside SWs are five times stronger than edges between SWs (Fig. D-F). The SWs are constructed using the CONTEST toolbox  as follows: start from a ring with nearest and next-nearest connections and add a random shortcut to each node with probability $p$. As shown in Figure D, both Infomap and modularity suffer from severe overpartitioning: when the SW graphs have few shortcuts, Infomap finds 87 communities and modularity returns 27 communities while stability finds the right split into 5 communities.

As the shortcut probability is increased, the diameter of the SW is reduced while their local structure is basically unaffected going from a 'large world' to a 'small world' (this is the classic finding by Watts and Strogatz ). From our viewpoint, this means that the SWs become smaller (i.e., their diameter decreases) and these communities should become easier to detect by one-step methods. Indeed, it is shown in Figure E that modularity detects the correct number of communities when their mean diameter falls below 7. On the other hand, Infomap does not detect the SWs as communities in the range shown in Fig. E, and only detects the SWs when the diameters fall below a diameter of around 4 (not shown). Again, this highlights the bias of Infomap towards locally clique-like communities with short effective diameters. The same feature that makes Infomap successful in dealing with the resolution limit appears here at the basis of its susceptibility to the field-of-view limit.

Figure E also shows that stability consistently detects the right community structure with 5 SWs as the only persistent and robust partition, for all densities of shortcuts, i.e., no matter how small or large their diameter is. According to our dynamic viewpoint, it is expected that as the diameter decreases, the SW communities will be detected at smaller Markov times. This is presented in Figure F, where we show that the Markov time at which the SWs become identifiable by stability decays roughly as the inverse of the shortcut probability. Satisfyingly, this correlates well with the dependence of the mixing time in SWs estimated from the spectral gap, i.e., the first non-zero eigenvalue of the Laplacian .

## Networks with non clique-like communities from diverse real-world applications

As shown above, the key limitation of modularity and Infomap for the analysis of non-clique community structures is their reliance on a single-step (structural) notion of community, which leads to existence of a fixed scale in the algorithm. In contrast, stability zooms across scales and, importantly, the scanning through all scales is an essential feature of the algorithm. By scanning through time and considering all relevant features detected along the way, a multi-scale structure can be revealed, yet without imposing a scale *a priori*. In cases where there is no community structure, as for Erdös-Renyi random graphs, the algorithm does not find structure at any scale. If there is one or more scales, they can be found through the sweeping. Therefore, in stability, the potentially multi-scale structure of the graph is explored through a multi-step process given by the Markov time.

#### Graphs from image analysis

As a first real application we consider an image segmentation problem in which the aim is to analyze an image and find meaningful substructures without *a priori* knowledge or guidance. One approach towards this problem is to create a graph representation of the image, in which each node corresponds to a pixel in the original image and the weight of the edges is computed according to image properties such as distance between the pixels, difference in intensity and/or color, etc. . The resulting graph can then be analyzed for community structure as a means to detect meaningful substructures in the image. Clearly, the graphs thus generated will not have homogeneous, clique-like community structure, since the graph is generated from an image with a two-dimensional structure and it incorporates a distance metric.

In Figure  we present the results of the analysis of a sample image [^2] of size $102 \times 102$ pixel. The graph we analyze is constructed from the grayscale version in Fig. A. As expected from our discussion above, Figure D-E shows that both Infomap and modularity lead to an over-segmentation of the image into 213 and 37 communities, respectively, with average diameters larger than one: $\Delta_{\text{Map}} \approx 3.67$ and $\Delta_{\text{Mod}} \approx 8.27$, a fact that is indicative of non clique-like communities. On the other hand, the dynamic zooming provided by stability finds a naturally robust partition into 16 communities, which emerges at a Markov time of around 11 (Fig. B-C) and corresponds well with the underlying features of the image. The robust partition is indicated both by its persistence in terms of Markov time and by its robustness, as indicated by a minimum in the variation of information between the partitions found by the optimization. For comparison, we also evaluated in Fig. F hierarchical Infomap , which has been proposed recently and allows to agglomerate hierarchically the communities obtained by the Map equation formalism into different levels. Our analysis shows that only the clusterings obtained at the highest level of hierarchical Infomap provide a perceptual improvement and the hierarchical scheme still leads to communities split into subcomponents of no obvious significance. This example from image segmentation highlights the relevance and significance of a notion of community that deviates from the usual clique-like assumptions, which can only be detected with multi-step community detection algorithms, such as stability optimization.

#### Protein structure analysis

Proteins are a class of macromolecules with complex three dimensional spatial structure which exhibit a hierarchy of motions that are intimately coupled to their function. Structural analysis that can shed light into their function is a very active area of research. Although it is well known that identifiable motifs appear at different time and length scales, a coherent methodology that can provide an integrated description of the hierarchy of structures from the bottom-up remains elusive. As a second example, we show in Figure  the analysis of the protein Adenylate Kinase (AdK), an enzyme which functions by performing an opening and closing global motion at slow timescales. Therefore, AdK has been studied both experimentally and theoretically as a model for the analysis of hierarchical dynamics of proteins and as a benchmark for method development (see, for example  and references therein). In this case, the graph is created from structural data, i.e., from the positions of atoms in three-dimensional space and the interactions between them. This results in a graph in which the nodes are atoms and the edges correspond to bonds and chemical constraints (for details see ).

The structural and geometric origin of the graph leads to a non clique-like community structure. Again, this causes overpartitioning for both Infomap and modularity, as can be seen in Figure A-B: Infomap returns 421 communities with average diameter $\Delta_\text{Map} \approx 4.05$ while modularity detects 69 communities with average diameter $\Delta_\text{Mod} \approx 10.12$. The large diameters again indicate that both methods are operating in a regime that does not match their intrinsic assumption of what constitutes a good community. Indeed, the partitions obtained by these methods do not reflect the dynamical and structural features that are prominent in AdK  and even the highest level in hierarchical Infomap (Fig. C) is overpartitioned and does not provide an appropriate coarse graining in this case. On the other hand, the robust partitions detected by stability disclose the multiscale structure of the protein graph, revealing important functional and structural subunits, such as amino acids, secondary structures and conformational substructures as exemplified in Figure D-F .

#### Power grid network

Our final example is the analysis of a classical technological network, namely the power grid of Continental Europe [^3]. This network is based on data from the Union for the Coordination of Transmission Energy (UCTE) and has been analyzed previously for robustness to targeted attacks . As this network is embedded geographically and is constrained by engineering costs, its structural properties are far from 'all-to-all' connectivity and we expect non clique-like communities.

The community structures obtained by stability, modularity and Infomap are shown in Figures  and . The results for Infomap and modularity follow the same pattern as above: Infomap overpartitions into 254 communities with average diameter $\Delta_\text{Map} \approx 4.91$ while modularity returns 32 communities with $\Delta_\text{Mod} \approx 13.84$ (Fig. A-B). Both methods result in a fractured representation of the European power grid. Hierarchical Infomap finds non-meaningful partitions for low hierarchical levels and improved partitions only at its highest level, although still displaying segregated small regions.

Through its intrinsic dynamic sweeping, stability reveals a multiscale structure with meaningful subregions of different sizes at various Markov times. The Markov times highlighted in Figure  have been selected according to the relative decrease in variation of information, which indicates a more robust partitioning. Interestingly, the communities found by stability at different times appear to be related to historical and commercial features of the power grid network. For larger times, the coarse communities correspond well with big historical monopolies, basically identified with nations. Germany provides an exception to this scheme since the German power grid is split between four large companies (with one covering the eastern part of Germany)[^4]. This is reflected faithfully by the community structure detected by stability (Fig. D). For shorter times (Fig. B-C), we get communities on a sub-national scale that also correspond to regional operators, e.g., France gets split up into several communities which overlap well with the regional organization of the French power grid [^5]. Similar effects are observed in Spain, Italy and Switzerland. In Figure , we show a representation of the communities found as the dynamic zooming lens of the Markov process is applied to this network. The detailed analysis of these observations will be the object of future work.

The dynamic zooming provided by the Markov time is not only the key ingredient to detect communities without a restriction of scales but also the robustness (or lack of robustness) of specific communities is revealing of characteristics of those communities. In the case of the grid, interesting effects can be found when looking at the way communities coarsen as the Markov time gets larger. For instance, the communities in Switzerland appear to flip between different adjacent communities as the Markov time increases. This lack of robustness indicates a strong shared interconnectedness of the Swiss communities with its neighboring groups. This aligns well with the known fact that the Swiss power-grid is an important mediating hub in the center of Europe with $11 \%$ of Europe's electricity flowing through Switzerland [^6].

# Discussion

The examples considered above illustrate how one-step methods, which are tuned to detect clique-like or low diameter communities, are prone to displaying a form of overpartitioning for networks with non clique-like community structure. This is the result of the existence of a field-of-view limit for structural, one-step algorithms, such as Infomap and modularity. The field-of-view limit establishes an upper limit on the size of the communities that can be detected, as given by their effective intra-community distance. Therefore, non clique-like communities present a challenge because they have an inherent scale that might fall beyond the field-of-view of standard one-step methods. When the intra-community effective distance is larger than the field-of-view, this leads to overpartitioning. The field-of-view appears on the opposite scale of the well-known resolution limit , which indicates a lower limit size below which modularity cannot detect communities.

Indeed, Infomap can be seen as having being designed to resolve absolutely the fine scale (hence no resolution limit) by optimizing for locally clique-like substructures. This feature, which makes it extremely successful in the analysis of networks with high density of connections, makes it 'myopic' with respect to larger non clique-like structures. Therefore, Infomap suffers from a large field-of-view limit, even more acutely than modularity, as shown in the examples above. Interestingly, the fact that Infomap can also be seen as a one-step method from a dynamical perspective, as discussed above, has allowed us to propose a multi-step correction of the Map formalism that may provide a remedy for this problem . Modularity has an intrinsic scale dependent on the overall size (weight) of the graph which allows it to resolve communities in a range between the resolution and field-of-view limits. Depending on the particular graph, this scale may be well matched to the community structure present (in which case, modularity works) or may be too large (underpartitioning, affected by the resolution limit) or too small (overpartitioning, affected by the field-of-view limit). Stability on the other hand applies a dynamic zooming across all scales following the Markov time evolution and thus does not impose *a priori* a specific scale to detect the community structure. It is important to remark that the dynamic zooming is a key aspect of the analysis: only by scanning through Markov time one can reveal whether a specific (time-)scale is meaningful for the problem at hand or whether it merely corresponds to an artificial, non-robust partition.

Although the standard assumption of communities as probabilistic clique-like groups is well motivated and relevant for a number of important complex systems, our examples highlight the fact that this view of community is not always representative of the structures found in networks of current interest. Segments in an image, functional subunits of a protein or geographic entities in the power network are modular substructures of networks that are only adequately identified when multi-step community detection methods, such as stability optimization, are employed. Furthermore, multi-step methods such as stability can also be used for the analysis of clique-like community structures, as shown in Ref.  with benchmark models (see Fig. 2 therein and note that the Reichardt-Bornholdt Potts method has been shown  to correspond to a linearization of our partition stability formalism). As recent work suggests , however, it may not be possible to resolve highly inhomogeneous community structure at a single (fixed) time, and further research needs to be pursued to develop local methods that do not infer a set of scales from the global graph.

Arguably, communities that are non clique-like are in some instances most relevant, in the sense that they correspond to subsystems in which all parts are related but not necessarily in a direct manner. This is a specific network viewpoint for data analysis, as opposed to a generic set of relationships between elements based on correlation. In fact, the analysis of networks with clique-like communities, corresponding to subsystems where all nodes interact with each other, may be more appropriately pursued through multivariate statistics, rather than explicit network analysis. This realization also has implications for current efforts to construct networks from data where, in contrast to correlation matrices, locally sparser networks are favored as a means to reveal the underlying systemic connections of the data .

Nearly all commonly used benchmark models to date have adopted a clique-like notion of community, a fact that needs to be taken into account when considering comparative tests performed on these benchmarks, which are likely to be favorable towards methods that have been designed for the detection of a clique-like notion of community . Although these benchmark graphs reflect adequately the community structure of many important networks and datasets, we have shown that many real-world graphs are likely to have non-clique community substructures. This observation hints at the need for a broader set of benchmarks (e.g., random geometric graphs) that go beyond a block-averaged structure and can reflect the specific properties of networks from different application areas.

No community detection method will be universally optimal for the analysis of all networks and, as pointed above, trade-offs between specific and generic features are to be expected. Our findings highlight the critical importance of a detailed assessment of the assumed definition of community and of its appropriateness to the features of the network to be analyzed. Our work also reinforces the need for a careful consideration of the scales that might be implicit in community detection algorithms that can lead to the identification of non-relevant structures as communities. Our use of the multi-step stability framework proposes to circumvent the implicit assumption of a scale by considering community detection as a zooming process through all scales in a systematic manner, as given by a Markov diffusion on the graph. Alternatively, one can understand the stability formalism as finding the particular time scale at which modules in the graph will be seen as clique-like communities after the process diffuses on the graph.

However, and specifically in the case of non-regular graphs, there remain issues inherent to the fact that all the methods considered in this paper use global definitions of community. As stated above, there is a need for further research towards local methods for community detection that avoid the restrictions imposed by the global graph scale and potentially allow for a soft, overlapping partitioning of the network. More generally, although a huge set of community detection algorithms has been presented to date, it is still an open problem to establish connections between the underlying themes (conceptual and algorithmic) that these methods implement and the applications for which they might be especially suitable. This will be the object of future work.

# Acknowledgments

The authors thank Renaud Lambiotte for fruitful discussions; Arnaud Browet for kindly sharing code to create the graphs from images; and Antoine Delmotte for discussions and for help with the creation of the figures and graphs of the protein examples. We are thankful to Martı́ Rosas-Casals for making the power grid data available. M.T.S. has been supported by a grant from the EPSRC of the UK under the *Mathematics underpinning the Digital Economy* program (to S.N.Y. and M.B.) and by a grant of the U.S. Office of Naval Research (to S.N.Y.). J.-C. D. is supported by the Belgian Programme of Interuniversity Attraction Poles and an Action de Recherche Concertée (ARC) of the French Community of Belgium.

# Figure Legends

[^1]: The diameter is just an easily computable indicator of this effect but other more appropriate measures could be used, specially in the case of non-regular graphs. Here we calculate the average of the maximum of the shortest paths in the subgraphs induced by the partioning.

[^2]: The image is freely available in various sizes in png format at <http://www.iconarchive.com/show/christmas-icons-by-mohsenfakharian/balloons-icon.html>. For the present analysis, a jpg variant of slightly different size has been used.

[^3]: Dataset taken from <http://www.termoenergetica.upc.edu/marti/index.htm>

[^4]: See <http://de.wikipedia.org/wiki/Stromnetz#Netzbetreiber>

[^5]: For a map of the French regional electrical companies see <http://www.rte-france.com/fr/nous-connaitre/qui-sommes-nous/organisation-et-gouvernance/le-siege-et-les-unites-regionales>

[^6]: See <https://www.swissgrid.ch/swissgrid/en/home/europa/european_overview/ch_in_europe.html>


author: Alessandro Savino, Maurizio Salaris; Eline Tolstoy
title: Inclusion of Horizontal Branch stars in the derivation of star formation histories of dwarf galaxies: the Carina dSph

# Introduction

Dwarf galaxies (DGs) play a major role in modern astrophysics as they are believed to be the building blocks of the process of galaxy formation. Therefore DGs constitute a sort of fossil record of the formation epoch of the cosmic structures, and the determination of their star formation history (SFH) is crucial to understand the mechanisms of galaxy formation and early evolution.

Detailed SFHs of DGs can only be determined in the Local Group where they can be resolved into individual stars down to the oldest main sequence (MS). These determinations are usually based on the theoretical interpretation (via stellar evolution models and isochrones) of observed colour magnitude diagrams (CMDs) and, when available, spectroscopic heavy-element abundances, typically of the red giant branch (RGB) populations. The primary age indicators for these populations are found in the main sequence turn-off (TO) region of the CMD, which is located at faint magnitudes for the oldest populations, and is very sensitive to photometric errors.

The horizontal branch (HB) is routinely neglected in SFH determinations of DGs, in spite of its brightness compared to the old TO, and the extreme sensitivity –in terms of colour and brightness distribution– to the mass and metallicity distribution of the parent stars. The reason is that the interpretation of the HB morphology in potentially simpler populations like Galactic globular clusters is problematic. Numerous studies of Galactic globular clusters (GCs) have shown that age and metallicity alone cannot account for the mean colour and extension of the HB . A major difficulty is that stars arriving on the Zero Age HB (ZAHB) have lost mass during the previous RGB phase, and to date it is still impossible to predict from first principles the amount of mass lost by RGB stars. This issue is further complicated by the currently well established presence in individual GCs of multiple populations of stars with enhanced helium abundances at fixed metallicity , which affect both the colour and magnitude of the HB.

Despite these complications, and the presence of He-enhanced populations at fixed metallicity may well be just a feature of GCs, HB stars contain a wealth of information to constrain the star formation rate and metallicity evolution of DGs at earliest times. In we presented the first detailed simulation of the HB of the Sculptor Dwarf Spheroidal (dSph) galaxy by means of synthetic modelling techniques, taking into account the SFH and metallicity evolution determined from the MS and RGB spectroscopic observations. We found that the number count distribution along the observed HB could be reproduced with a simple mass loss law , and that there is no excess of bright stars that require He-enhanced populations.

The purpose of the present work is to investigate, by means of the same synthetic HB modelling as for Sculptor, the HB populations of another DG belonging to the Local Group, the Carina dSph galaxy. This galaxy has a SFH very different from that of Sculptor, showing multiple star formation episodes separated in time and in the amount of stellar mass involved. Numerous studies have probed a broad range of properties, through deep photometric investigations ; spectroscopic analysis, both at medium and high resolution; variable star characterisation and SFH analysis . These detailed works provide us with the information needed to make a meaningful comparison between synthetic and observed HB populations. In particular, our analysis will provide strong additional constraints on the controversial issue of the galaxy metallicity distribution function (MDF) as determined spectroscopically and photometrically from RGB stars .

This work is structured as follows: we present the data set used for our investigations in §2; compare the synthetic and observed HBs in §3; discuss the impact of our results on the SFH in §4 while a summary is presented in §5.

# Data

For the computation of our synthetic HB we employed, as reference SFH, that determined by (hereafter dB14). Among the several SFHs in literature, we chose the dB14 solution because it is the only one that combines the photometric modelling of the CMD with spectroscopic information about the metallicity distribution. Due to the very high sensitivity of the HB morphology to metal content, this approach is preferable.

For the sake of homogeneity we adopted the dB14 solution obtained with the BaSTI evolutionary tracks , which are the same ones used in our synthetic HB calculations. Carina photometry has been divided by dB14 into three concentrical annuli inside the tidal radius of the galaxy, plus a fourth field external to the tidal radius. For each field, an independent SFH has been computed. The solution gives the star formation rate in a grid of age and \[Fe/H\] bins, with also an estimate of $[\alpha$/Fe\] in each bin. The SFH used in our synthetic HB calculations refers to the sum of the annuli inside the tidal radius. Our Synthetic HB simulation with this SFH will be denoted as *reference* simulation.

Figure  shows star formation rate and mean stellar \[Fe/H\] as a function of time. There are at least two major epochs of star formation at old and intermediate ages, ranging between 9-14 and 3-7 Gyr respectively, while the mean metallicity remains in the relatively narrow interval $-2<[Fe/H]<-1.6$.

We compare the synthetic CMDs with the photometric data from (hereafter B10), which include 4152 CCD images acquired between December 1992 and January 2005. Although the use of dB14 photometry would have granted a perfect match between the stellar population sampled and the SFH, we chose to employ a different data-set because of the several advantages it involves.

First, the smaller photometric errors in the B10 CMDs, of the order of $\sim 0.004$ mag at the HB level, allow for a more robust comparison between observed and synthetic CMDs. In addition, the same field has been the subject of a deep variable star search (Coppola et al. submitted). Furthermore, as the B10 photometric catalogue merges observations taken at different epochs, different random phases in different frames, for a given variable star, tend to be averaged. The colour and magnitude of possible undetected RR Lyrae in B10 will therefore be closer to the intrinsic mean values than it is for single epoch data-set.

Finally, the photometric data-set from dB14 retains the contamination by foreground stars of the Milky Way, as it is statistically taken into account at later stages during the SFH determination. Since Carina is a fairly diffuse stellar system at relatively low Galactic latititude, the number of foreground stars is large and, because the HB is much less populated compared to other evolutionary stages, the contamination can be a serious problem. The B10 catalogue, instead, has been carefully cleaned of Milky Way stars and unresolved galaxies.

Fig.  shows the comparison between the dB14 field inside the tidal radius and the B10 field.

In theory, a spatial gradient in the stellar population properties may affect our comparison, due to the different areas sampled. Nonetheless, as the difference in the spatial coverage is a minor fraction of the total sampled area, and since the star counts are dominated by the central region of the galaxy, we expect this effect to be quite small. It should be also noted that the results presented in this paper still hold when the synthetic CMD is compared with the dB14 photometric catalogue.

For the variable star modelling, we used the catalogue from Coppola et al. (2015, submitted), which contains information about spatial position, intrinsic mean colour and magnitude, as well as pulsation properties of RR Lyrae stars. Using the stars' coordinates, we removed variables caught at random phase in our photometry, and replaced them with their intrinsic position on the CMD. We used the period distribution to add additional observational constraints to our HB simulations.

A glance at the Carina $(V, B-V)$ CMD (Fig. ) reveals the complexity of its stellar population. Two distinct MS Turn-Offs can be clearly seen, with distinct SGBs merging in a very narrow RGB. The accepted scenario envisages Carina as a system that has undergone two or more major events of star formation, separated by a period of several Gyr . In addition, a very young population is probably present, as suggested by the presence of a blue plume above the MS and by the detection of several Anomalous Cepheids . The narrow RGB, coupled with the observed broad metallicity distribution , suggests a conspiracy among age, metal content and alpha element abundances that leads to all stars having a very similar colour on the RGB.

The burstiness of Carina SFH can be seen in the helium burning loci as well, with an old extended Horizontal Branch that is clearly detached from a younger, more populated Red Clump (RC). The discretness of the Carina stellar populations is very helpful since it allows us to simplify our analysis and model each component separately.

# Synthetic Horizontal Branch modelling

We computed synthetic HB models with the code developed and fully described by together with the BaSTI library of scaled solar evolutionary tracks . The use of scaled solar models with the same total metallicity \[M/H\] of Carina stars is justified, since $\alpha$-enhanced evolutionary tracks closely mimic scaled solar ones with the same total metallicity Z, in the metallicity regime of this galaxy .

We adapted the code, to allow for the large mass range on the Carina HB reaching $\sim\!1.4 \,M_\odot$. Higher masses correspond to a population younger than $1\,Gyr$ (at Carina's typical metallicity) and can be ignored in our analysis, as their magnitudes in the helium burning phase are considerably brighter than the RC and are anyway a small contribution to the SFH of Carina.

Briefly, for each each bin of the input SFH, a number of synthetic stars is generated spanning the whole range of age and metallicity inside the bin (employing a uniform probability within both age and metallicity bins), and with a value of \[$\alpha$/Fe\] given for that bin. For each star, the corresponding evolutionary track is computed interpolating in mass and metallicity the tracks from the BaSTI grid. If the age of a star is greater than the age at the RGB tip, a specific amount of mass is removed and the position on the corresponding HB track is determined.

Once the position of a star in the CMD is determined, its colour and magnitude are perturbed with a magnitude dependent Gaussian photometric error, as provided with B10 photometry. We then applied to the resultant synthetic CMD a reddening of $E(B-V)=0.06$ and a distance modulus of $(m-M)_0=20.11$, as used in dB14. Unless specified differently, we populated our synthetic CMDs with a considerably higher number of stars with respect to the observed CMD of Carina in order to minimize the Poisson error in the final model.

|                   |                             |                             |
|:------------------|:----------------------------|:----------------------------|
| Metallicity range | $\Delta M^{RGB}_{Sculptor}$ | $\Delta M^{RGB}_{\,t<7Gyr}$ |
|                   | $M_\odot$                   | $M_\odot$                   |
| $[M/H]<-1.8$      | 0.095                       | 0.048                       |
| $-1.8<[M/H]<-1.3$ | 0.14                        | 0.07                        |
| $-1.3<[M/H]$      | 0.16                        | 0.08                        |

The integrated RGB mass loss ($\Delta M^{RGB}$) prescription as originally determined for the Sculptor dSph and used for the older Carina population, together with the one used for the intermediate age population in § .

The comparison of the model and the observed HB is a two-step process. First, an initial analysis is made by eye to see whether the colour extension and the main features of the HB are recovered. Then, after rescaling the total number of HB stars in the synthetic sample to the observed counterpart, we compare star counts and the mean colour and magnitude inside three boxes that encompass the RC (hereafter box RC), the red HB plus the RR Lyrae Instability Strip (IS – hereafter box R) and the blue HB respectively (hereafter box B –see Fig. ). If the star counts are reproduced within one $\sigma$ Poisson uncertainty and the difference in the mean photometric properties are within $\pm0.01$ mag, we consider the synthetic model to be a good match.

We stress that we take into account only the uncertanties arising from the Poisson distribution of the star counts. Another source of uncertainties is represented by the errorbar associated with the star formation rate in every bin of our reference SFH. Unfortunately, including this uncertainty in our analysis is problematic, as the errors are not independent from each other. Indeed, the conservation of the total number of star and of the density distribution across the CMD required by the SFH fitting procedure introduces a correlation among the individuals errorbars, so a realistic modelling of the resulting uncertainty on the model HB star counts is unfeasible without the covariance matrix of the SFH solution that is not provided by dB14. Undoubtedly, the issue of a proper inclusion of the SFH errors deserves to be addressed in future works.

Clearly, theoretical HB models have also intrinsic uncertainties, that affect the predicted HB star counts as a function of colour and magnitude. The main source of uncertainty is related to the treatment of the He-core convective mixing that affect evolutionary timescales, luminosities and morphology of the HB tracks in the CMD. The treatment of core mixing in the adopted BaSTI models includes semiconvection, as described in , and allows to reproduce the so-called $R_2$-parameter, defined as the number ratio of asymptotic giant branch to HB stars, measured in a sample of galactic Globular clusters, that is very sensitive to the treatment of core mixing during the HB phase .

We also computed the pulsation period of synthetic stars inside the IS and compared them with the observed period distribution. We employed both the IS boundaries and the pulsational equation from , assuming a mixing length $ml=1.5\,H_p$. This choice reasonably matches the IS boundaries as inferred from the RR Lyrae colour distribution. The First Overtone periods ($P_{FO}$) are related to the Fundamental ($P_F$) by the relation $\log{P_F}=\log{P_{FO}}+0.13$ .

As regards the stars in the so called OR zone, in which a RR Lyrae can pulse F, FO or double mode, we treated them as F pulsators. This is, in principle, a rough approximation but, given the small fraction of FO pulsators in the RR Lyrae sample ($\sim14\%$), we expect the number of FO pulsators in the OR zone to be very small.

## Results with the reference simulation

As a starting point, we employed the mass loss law as determined by for the Sculptor dSph, that gives an increasing value for the integrated RGB mass loss with increasing metallicity, as described in Table . Figure  shows the HB of Carina as well as the synthetic model computed from the SFH. Different colours mark different age ranges. For the sake of comparison, we show a synthetic HB with approximately the same number of stars as observed in Carina's HB.

We can notice two major differences between synthetic and observed HB. Firstly, what is manifestly poorly reproduced is the morphology of the RC, which is more disperse than the observed one, and with a "blue cloud" of stars that blend with the red end of the old HB. Some problems are not completely unexpected since Sculptor, for which the mass loss was determined to be dependent only on the metallicity, hosts only an old stellar population. Given the mass range of the stars on the RC, their lifetime on the RGB is considerably shorter with respect to the old population. We can, therefore, naively expect the total mass loss to be different, plausibly lower for this population. We, thus, tried to modify the mass loss for the younger population, to reproduce the observations. However, in this way, the problem could only be mitigated but not totally solved.

This can be explained as follows: the RC "blue cloud" above the HB is primarily composed of stars with $Z\leq0.0002$. The black solid line in Fig.  shows the Zero Age Horizontal Branch (ZAHB), extending to a mass of $1.45\,M_{\odot}$, for $Z=0.0001$, which is typical of the bulk of the metal poor population in Carina. The position on the ZAHB becomes redder as the mass increases until, over a certain mass threshold, the ZAHB turns toward bluer colours, without merging with the RC. Because of this, stars of that metallicity will always be bluer than the observed RC colour, regardless of the mass loss.

Given that the synthetic HB is uniquely determined by the mass loss law and the input SFH, this problem is an indication that the properties of Carina stellar population recovered by the dB14 SFH model do not match exactly the true SFH.

Considering now the HB within boxes B and R (the old HB, that comprises synthetic stars with age $t\geq7Gyr$, displayed as red dots in Fig. ), we can see that the total colour extension is nicely reproduced. This implies that, given the input SFH, the true mass loss for the old population cannot be drastically different from that inferred for the Sculptor dSph. Figure  compares the colour and magnitude distributions of observed and synthetic HBs. As previously stated, the Sculptor-like mass loss law well reproduces the colour extension of the HB. Furthermore, the relative star counts inside the two boxes are reproduced within one sigma.

As for the mean colour and magnitude, the fit is not perfect. In box B, the computed mean colour differs by about 0.01 mag from the observed one, while the difference in magnitudes is of the order of 0.03 mag. It should be said that, in this region of the CMD star counts are low and a few stars can significantly alter the mean colour and magnitude. The synthetic distributions look very consistent within the observed error bars, suggesting that the difference in the means might be due to stochasticity.

In box R the V magnitude mean value and the overall distribution are remarkably well reproduced. The difference between observed and synthetic mean V is of the order of the photometric uncertainty. What are strikingly different are the star counts as a function of colour. The mean $(B-V)$ colour of our synthetic stars differs by more than 0.05 mag from the observed one. This can be explained by looking at the colour distribution of the two populations. The observed star counts drop for colours bluer than 0.4, and tend to increase again toward the blue HB. This "gap" around $(B-V)=0.3$ is missing in the synthetic HB which is uniformly populated.

We highlight here, that the procedure followed by B10 to select Carina member stars is less efficient for intermediate colour objects ($0.4<(B-V)<0.6$) and a residual amount of field stars is left in the CMD, as it can be seen in Fig. . It is interesting to note that this contamination affects the star counts in box R and may be partly responsible for some of the observed stars at the red side of the gap, with $(B-V)>0.4$. A solid way to deal with this effect is hard to find, but we estimated that effect on the colour distribution to be of the order of 15-20% of the typical star count. We conclude that, despite the contamination, the observed "gap" feature is true.

|         |           |           |                          |      |
|:--------|:----------|:----------|:-------------------------|:-----|
|         | $t_{min}$ | $t_{max}$ | $<[M/H]>$                | SFR  |
|         | Gyr       | Gyr       |                          |      |
| Burst 1 | 3.0       | 4.0       | $-$`<!-- -->`{=html}1.69 | 0.12 |
| Burst 2 | 4.0       | 6.0       | $-$`<!-- -->`{=html}1.71 | 0.39 |
| Burst 3 | 8.0       | 10.3      | $-$`<!-- -->`{=html}1.77 | 0.29 |
| Burst 4 | 10.5      | 12.5      | $-$`<!-- -->`{=html}2.23 | 0.2  |

Age, metallicity and normalized Star Formation Rate of the toy SFH (see text for details).

The discrepancy in the distributions between model and data in the red box, which also includes the IS, can also be seen in Fig. , which shows the period distributions for the RR Lyrae pulsators. The observed RR Lyrae population has a period distribution strongly peaked around $P\sim0.6\,d$ and is mainly composed of F pulsators, whereas the synthetic population has a much broader F period distribution and tends to strongly overestimate the FO population.

This can be understood by looking at the relation employed for computing the periods. The driver of the pulsational period is the effective temperature. The periods and the colour distribution are thus closely related. Both the lack of FO pulsators and of F short periods is explained by the observed "gap" in the stellar distribution at the level of the IS. Our synthetic, more homogeneously populated, HB naturally covers a broader range of periods and predicts too many stars in the FO zone of the IS.

To overcome this problem we tried to change the mass loss law. An analysis of age and metallicity distributions along the HB revealed that our synthetic IS is populated by a broad range of ages and metal contents. Consequently, changing the amount of mass loss for a single value or a small range of metallicities (or ages) cannot create such a well-defined gap. On the other hand, changing the whole mass loss law will considerably affect the colour extension of the blue HB, which is extremely sensitive to small mass changes. The conclusion is that the observed gap in the HB cannot be reproduced by varying the mass loss law, except by adopting a very fine-tuned ad hoc dependence on both age and metallicity, which we see as physically hard to justify.

We have therefore investigated the SFH as a possible cause of the discrepancies encountered, to assess the additional constraints that can be made on the Carina dSph SFH using the HB modelling.

# Implications for the Star Formation History

A complete characterization of the SFH based on the HB is not feasible, due to the uncertainty on the RGB mass loss. Nonetheless, as seen in the previous section, there are issues in our modelling, i.e. the presence in our synthetic CMD of the RC blue cloud and the missing HB gap around $(B-V)\sim0.3$, that cannot be overcome by simply changing the mass loss. The only other option to solve this problem should therefore be connected to the SFH solution we are employing.

We next investigated which component of the SFH could be responsible for these problems. The lower panel of Fig.  shows the distribution of our synthetic HB stars in the age-metallicity plane. The region of our synthetic HB wich correspond to the observed gap has been found to be mainly populated by two components which are enclosed within the two blue solid boxes: a group of metal poor stars with ages between 9 and 10 Gyr and a group of very old, more metal rich stars, with $[M/H]\sim-1.6$. In particular, we note that the presence of a population of old metal rich stars, is also principally responsible for the broad synthetic RGB observed in Fig. , as these stars populate its reddest part.

On the other hand, the RC blue cloud feature is caused, as noted in the previous section, by stars belonging to the intermediate population and with $[M/H]\lesssim -1.9$ (red dashed box in the figure).

This finding highlights how the HB morphology can point out "forbidden" ranges of age and metal content that would result in unobserved features. It also suggests that the input SFH has too wide a distribution in age and metallicity, whereas Carina's true SFH is more confined to specific regions of the age-metallicity plane. To verify this hypothesis we built a "toy" bursty SFH. We tried to reproduce a synthetic HB as similar as possible to the observed one, trying at the same time to reproduce qualitatively the RGB and the TO region. The best fit model is composed of four separate bursts whose properties are summarized in Table . We employed a flat probability distribution for the ages in the intervals given in the table, and a Gaussian \[M/H\] distribution with the listed average values and $\sigma$=0.1 dex. We adopted the Sculptor-like mass loss law for the old population. For the intermediate population, we assumed the RGB mass loss rate to be half that of the older population, to roughly take into account the shorter RGB lifetime (as an example, a $0.8 M_\odot$ red giant, typical of a 12-13 Gyr old population, takes $\sim1.4$ Gyr at $Z=0.0001$, and $\sim2.3$ Gyr at $Z=0.001$, to reach the RGB Tip from the TO. In contrast, the time taken by a $1 M_\odot$, typical of 5-6 Gyr old populations, is $\sim 0.7$ Gyr and $\sim 1.3$ Gyr, respectively).

Figure  shows the resulting synthetic CMD superimposed on the observed one. Our toy model roughly reproduces the morphology of the TOs and the SGBs, as well as the RGB colour and the morphology of the HB. Figure  shows the colour and magnitude distributions inside the B, R and RC boxes in Fig. . The relative numbers inside each box are reproduced within one sigma, and the mean values of colour and magnitude differ by at most 0.01 mag from the observed ones. Even the detailed distribution looks consistent, although still with a few minor mismatches .

As an additional test, we looked at the RR Lyrae period distributions, as shown in Fig. . The F period distribution is very peaked and looks similar to the observed one. The ratio between F and FO pulsators is qualitatively reproduced as well.

It should be noted that this toy model is not intended to be the exact SFH solution, since we still lack strong constraints on the mass loss and we do not try to match the precise number density distribution across the whole CMD. Our purpose is to show how a more bursty SFH, in terms of age and metal content, is able to explain at the same time the morphology of the CMD and the detailed structure of the HB, and to suggest the age and duration of these bursts.

The age-metallicity distribution of HB stars simulated with this model is shown in the upper panel of Fig. . The comparison with the distribution in the lower panel derived from the dB14 SFH allows us to identify differences and similarities between the two SFHs. The locations, in the age-metallicity plane, of all the star formation events of the toy model are roughly matched by those predicted by the dB14 solution, although the latter has a greater age spread, especially at old ages. Unsurprisingly, the major difference is the lack of metal poor stars for ages younger than 10 Gyr and of very old stars with $[M/H]\sim -1.6$.

In view of this comparison, we conclude that the discrepancies between the observed HB and the synthetic helium burning population computed using the dB14 SFH are caused by two factors. First, the age resolution of the SFH naturally leads to a smooth HB, erasing any sharp substructure in the true SFH. dB14 test the age resolution of their method with a series of synthetic populations generated by a 10 Myr burst centered at different ages. Even in the best case, the recovered burst duration would have been 500 Myr, that is the width of a bin element at old ages. It can be seen from their Fig.6 that in the old age regime, the recovered SFH is a Gaussian with a dispersion of the order of 1 Gyr. This issue is due to the strong degeneracy, in the age-metallicity space, of TO and RGB, coupled with the non-negligible photometric error at that magnitude level, for a system as distant as a dwarf galaxy.

As a second point, the presence of spurious components in the dB14 SFH causes a fraction of the synthetic HB population to reside in regions of the CMD which are observed to be devoid of stars. The origin of these spurious components is not clear. A possible explanation is that any difference between the spectroscopically measured MDF, which is used as a strong constraint in the SFH characterisation, and the true MDF may force the SFH determination algorithm to assign the wrong age to a fraction of stars in order to match the density distribution across the TO and the SGB regions. Regarding the Carina dSph, the problem of metallicity is particularly thorny, with photometric and spectroscopic estimates, both high and mid resolution, not always agreeing with each other .

To investigate this point, we adopted the \[$\alpha$/Fe\] vs. \[M/H\] relation, recovered from the dB14 SFH, to compute the \[Fe/H\] values of our model. We computed our MDF from RGB stars, down to 3 magnitudes below the RGB tip, which is the typical selection criterion for DGs spectroscopic measurements. Inferring the metallicity distribution from the same region of the CMD is crucial, since, due to the varying evolutionary lifetime with metallicity, stars end up on the upper RGB with a different MDF with respect to the original one on the MS.

The left panel of Fig.  shows our synthetic MDF compared with the measurements from , which have been employed in the dB14 analysis. In contrast with our sharply bimodal distribution, the measured MDF has a much broader distribution, which is unsurprising, given that the measurement errors naturally tend to smooth the underlying distribution.

To check whether the two MDFs are consistent within the uncertainties, we convolved our MDF with a Gaussian error of $0.1$ dex, which is the typical uncertainty of the measurements. As can be seen in the middle panel of Fig. , the bimodality of our MDF is still clearly noticeable and we conclude that the intrinsic measurements errors are not big enough to reproduce the observed MDF width which, in addition, is fairly asymmetric.

It is however important to notice that this medium resolution metallicity distribution has been inferred from the CaII triplet (CaT). As showed, the equivalent width (EW) of this feature is sensitive not only to the iron abundance but also to the \[Ca/H\] value (as can be expected). Furthermore, the variation of other $\alpha$-element abundances, especially the \[Mg/H\] ratio, modifies the free electron density and, thus, the continuum opacity, indirectly affecting the measured EW. This effect has been already observed in globular clusters .

The MDF adopted for the dB14 SFH has been evaluated using the CaT-\[Fe/H\] calibration by . This relation has been determined assuming a fixed metal mixture with \[$\alpha$/Fe\]=0.4 and \[Ca/Fe\]=0.25. As noted in the same work, at fixed iron abundance, a decrease of the \[Ca/Fe\] value of 0.25 dex causes a smaller EW of the CaT feature, mimicking a value of \[Fe/H\] lower by $\sim0.2$ dex

Concerning Carina, several high resolution spectroscopic investigations have found a large spread in the abundance of elements like Ca and Mg, which has been explained as evidence of inhomogeneous mixing of the gas phase . In particular, the bulk of the \[Ca/Fe\] measurements range from $\sim+0.3$ to slightly subsolar values. Using the CaT calibration without considering the variation in calcium abundance will then tend to underestimate the iron abundance. This has been already noticed by .

A precise quantitative evaluation of this uncertainty is very difficult, since it requires detailed knowledge of several quantities, like the trend of the mean \[Ca/Fe\] value and of its spread at varying metallicity, and the accurate EW dependence on the electron donor elements' abundance. Nevertheless, as a first approximation we took this effect into account by perturbing our MDF with an asymmetric uncertainty: we assumed that half of the stars had their \[Fe/H\] overestimated, with a dispersion of 0.1 dex, and the other half had it underestimated, with a dispersion of 0.25 dex. This roughly takes into account the Carina observed distribution of \[Ca/Fe\] around the fiducial \[Ca/Fe\]=0.25 employed in CaT-\[Fe/H\] calibration.

The resulting distribution is shown in the right panel of Fig. . The two distributions are in good agreement, suggesting that, at least qualitatively, an uncertainty of the order of 0.2-0.3 dex toward lower metallicities is able to produce the broad MDF we observe. Assuming this to be the case, this issue could likely lead to spurious components in the best fit SFH, as the estimated high fraction of metal poor stars is included in the solution, with the algorithm accordingly distributing them in age to preserve the relative numbers between the two populations.

# Conclusions

We have performed a detailed simulation of the HB of the Carina dSph using recent and detailed SFH estimates by dB14. We found that the overall colour extension of the old HB is well reproduced with integrated an RGB mass loss that ranges from 0.1 to 0.14 $M_{\odot}$ as a function of \[M/H\], in complete agreement with was has been found for the Sculptor dSph. This concordance hints that the mass loss law derived for the Sculptor dSph may reproduce the HB morphology in also other dSphs with similar metallicity.

On the other hand we found some discrepancies with the detailed colour distribution along the old HB and RC that required a modification of the input SFH by dB14. We have then built a "toy" bursty SFH that reproduces well observed HB star counts in both V and $(B-V)$, and also matches qualitatively the RGB and the TO region, as well as the pulsational properties of RR Lyrae stars.

The comparison between the MDF of our bursty SFH and the one measured from the infrared CaT feature using the CaT-\[Fe/H\] calibration by shows a qualitative agreement, once taken into account the range of \[Ca/Fe\] abundances measured in a sample of Carina stars, that induces a bias of the derived \[Fe/H\] distribution toward too low values. Although we stress that Carina is one of the few Local Group galaxies where this issue can be so severe, extra caution should be taken when using the CaT to estimate \[Fe/H\] in system with poor or no constraints about the detailed metal mixture.

In conclusion, the work we have presented shows how the information contained within the HB can, in principle, be extracted and interpreted to make predictions about the properties of the stellar population in DGs. The results on the Carina dSph illustrate that the inclusion of the detailed HB morphology in the CMD analysis is able to refine the SFH determination of resolved stellar systems. Due to the strong sensitivity of its morphology and luminosity to the age and metallicity of the parent population, the HB is a powerful benchmark to rule out "forbidden" ranges of age and metal content that would result in unobserved features on the CMD. This capability grants us additional resolution when pinpointing the SFH details of DGs, especially at early times.

We aim to consolidate the synthetic HB modelling technique, with the goal of making quantitative predictions on the properties of resolved stellar populations, consequently enhancing the power of CMD analysis, especially in distant systems where the old MS-TO information is hard to acces.