Microsoft Word - Volume37_final insna.org | Issues 1&2 | Volume 37 | 53 Compositional Equivalence with Actor Attributes: Positional Analysis of the Florentine Families Network J. Antonio Rivero Ostoic University of San Simón Cochabamba, Bolivia Abstract This paper extends Compositional Equivalence – which is a structural correspondence type intended for multiplex networks – by incorporating actor attributes in the modeling of the network relational structure as diagonal matrices. As an illustration, we construct the positional system of the Florentine families network with Business and Marriage ties together with relevant characteristics acquired from the actors such as the families’ financial Wealth and the number of Priorates they held. Different representations of the cumulated person hierarchies reveal that adding Wealth to the modeling provides a more accurate picture of what the substantial narrative says about this network. Author Correspondence concerning this work should be addressed to Antonio Rivero Ostoic PhD, Associate Researcher, Centro de Estudios Superiores, University of San Simón, Cochabamba, Bolivia; rivero.antonio@gmail.com; github.com/mplex Connections Compositional Equivalence 54 | Volume 37 | Issues 1&2 | insna.org 1. Introduction Relationships among actors in a defined collective scheme are the primary source of information for social network analysis. Ties not only make the network structure but also provide the basis for the character- ization of underlying processes occurring in the social system. Although social net- works are typically characterized by a sin- gle type of relationship, social life is more complex and people are embedded with ‘different’ kinds of ties that are interlocked within the network relational structure. These sorts of arrangements are known as multiplex networks, and the as- sociated relational structure of such social systems is typically reduced onto position- al systems to facilitate a useful substantial interpretation. A key issue in the reduction process is to preserve the multiplicity of the ties since the way different ties are in- tertwined provides important information about the network structure. In this spirit, Breiger and Pattison (1986) proposed a type of equivalence among the network members that is built on local role algebras for the creation of the positional system. The goal with this paper is to extend this type of correspond- ence by suggesting an effective way to in- corporate the attributes of the actors and their relationships into a single relational system representing the multiplex network structure. One important reason for such integration is that social conduct in net- works does not always institute a link be- tween individual subjects, and attribute- based information about the actors is often not ascribed to them, but depends on the individual’s own choices or circumstances. Examples of actor attributes are the acquisition of a certain characteristic from the social environment such as innovation adoption; the acquisition of a certain atti- tude; the non-compulsory affiliation to a group; the individual’s personal wealth and political power, etc. Such attributes can play a significant role in the network rela- tional structure and should be incorporated into the modeling process. 2. Algebra for multiplex networks Representing social relations and actor at- tributes in an integrated system requires a formal definition of the social network concept. A social network comprises a set of social actors, | is an actor , measured under a collec- tion of social relations , | ˈhas a tie toˈ with , being an ordered pair. A binary relation , 1 represents a tie between actors and in , whereas , 0 denotes the lack of a tie. The pairs on are stored in an adjacency matrix with size . A multiplex network is a collec- tion of different kinds of relations, , ,…, , measured over . In this case each relational type is stored in separate adjacency matrices , ,…, , which are stacked together into a single ar- ray with size . Moreover, the actors and their ties are also represented by nodes and differentiated edges, respective- ly, in a graphical device called a multi- graph, in which the relational levels are depicted in parallel rather than being col- lapsed into bold edges representing multi- plex ties. Each element in constitutes a generator tie that produces compound rela- tionships among the network members through relational composition, and com- pound ties can be concatenated as well. For instance, ‘the friend of a colleague’ comes from the generators ‘friend of’ and ‘col- league of’, etc. Both generators and com- pounds are referred to as strings in rela- tional structures. 2.1 Representation of attributes One of the theses of this paper is that non- ascribed attributes from the actors in the network can be an integrated part of the relational structure, which is typically represented by a semigroup of relations (Boorman and White, 1976; Pattison, 1993). In this sense, the incorporation of Compositional Equivalence Connections insna.org | Issues 1&2 | Volume 37 | 55 the changing attributes of the actors implies that subjects sharing a characteristic constitute a subset of self- reflexive ties associated to the social system represented by a matrix format that can be combined with the other elements in the relational structure. In formal terms, actor attributes are represented by the elements of a diagonal matrix where each value is defined as: Accordingly, for a given attribute defined in , and for , ,…, , the possible values of the first variable in the right-hand expression are: 1 if the attribute is tied to actor 0 otherwise On the other hand, is defined for nodes , , ,…, in by the delta function or Kronecker delta as: 1 for 0 for As a result, the general representation of constitutes a diagonal matrix with the form: 0 ⋯ 0 0 ⋯ 0 ⋮ ⋮ ⋱ ⋮ 0 0 ⋯ that records as self-relationships the attributes of the total number of actors in the system. In other words, the ‘possession’ of the attribute produces a reflexive closure in the respective element of the system. The establishment of the indexed diagonal matrix implies that each type of attribute considered for the actors in the network is represented by its own array, and it constitutes an additional generator in the relational structure. When all network members share a given attribute, the result will be an identity matrix without any structural effect, whereas when none of the actors possesses the characteristic, the representation will be a null matrix with an annihilating effect where no composition is possible. Clearly, we are mainly interested in the differentiation of the actors who share an attribute as opposed to those who do not share the trait because the resulting matrix that is neither a neutral nor an absorbing element in the algebraic structure has structuring consequences in the network relational system. 3. Equivalence in multiplex networks Although the concatenation of social ties used in the construction of the partial order structure is well established (Boorman and White, 1976; Pattison, 1993), there are caveats when producing algebraic systems with the diagonal matrices representing actor attributes. For instance, since social interactions are typically measured without loops and are represented by adjacency matrices with empty diagonals, these cannot be contained in an attribute relation with this form of representation. However, by grouping actors who are structurally equivalent, it is possible to obtain collective self-relations. For example, take relations C and A (and F) below. Relation C has three maximally connected actors that make a clique configuration, but only a couple of them share attribute A. Intrinsically, this means that the network of C relations includes system A and certainly not the other way around, but in the given example there is no such containment and it does not reflect the reality of this network. 0 1 1 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 1 1 0 1 1 0 0 0 0 C F A A solution to this issue is to group the structurally equivalent actors in the network, which is the same as categorising actors with similar patterns of Connections Compositional Equivalence 56 | Volume 37 | Issues 1&2 | insna.org relationships. For instance, it is obvious that actors 1 and 2 are structurally equivalent (according to the definition made by Lorrain and White, 1971) because these actors are identically related with both social relations (C and F), and they even share the same attribute. As a result, the first two actors make up a single class and the associations in the system now echo the inclusion A C, thanks to the reflexive character of the first class of actors. 1 1 1 0 0 0 1 0 1 0 0 0 C F A Structural equivalence is the most stringent type of correspondence. Since its formal definition significant relaxations have been proposed for social networks; notably Automorphic equivalence (Everett, 1985; Winship and Mandel, 1983), Regular equivalence (Sailer, 1978; White and Reitz, 1983), and Generalized equivalence (Doreian et al., 1994, 2004). A common characteristic among these correspondence types is that they have a global perspective because the standpoints of the entire set of actors within the social system are taken into account simultaneously in the modeling process. Another distinctive feature of these equivalences is that they were originally designed for simple networks, and yet there is no formal treatment for multiple structures. While the grouping of the actors in social networks usually applies some relaxation to the equivalence criterion, in the case of multiplex networks it is desirable to preserve the multiplicity of the ties in the network reduction. Although it is possible to collapse the different levels into multiplex ties and then apply a global equivalence as with simple networks, significant information gets lost by discarding the multiplicity of the ties. Hence, in order to get a single structure representing a multiplex network, we need to combine the distinct particular levels of the relationship, which is feasible by considering the individual perspectives in the modeling. 3.1 Local role equivalence As an alternative to a global equivalence in the reduction of multiplex networks, we can apply a local perspective in the type of correspondence to be used in the establishment of classes. This means that the standpoints of individual actors are taken separately rather than together in the definition of similarity among the network members in structural terms. In addition, the local equivalences available within social network analysis make it possible to consider not only the primitive relations at different levels but also the compound relations that go beyond the immediate neighbours of the actor. This is yet another difference compared to the global equivalence types. To recognize local equivalences among the actors we rely on a three- dimensional array similar to where the primitive ties of the network and compound relations are stacked together. A partially ordered structure by increasing relation, similar to the array shown in Figure 1, has been proposed by Winship and Mandel (1983) for the definition of local equivalences. They called this device a Relation-Box. Figure 1 shows a shadowed horizontal ‘slice’ across the string relations for the outgoing ties of a single actor (the first one in this case), which reflects the actor’s activity linked to the rest of the members through the different string relations, both primitives and compounds, that are occurring in the network. A horizontal slice in the Relation- Box is called a relation plane, , and encodes the distinct primitive and compound relations that a single actor has with the rest of the network members. For each network member , there is a vector through the length of the relational plane representing a role relation, , ∗ , with actor and relation . The set of distinct role relations in this case defines Compositional Equivalence Connections insna.org | Issues 1&2 | Volume 37 | 57 Figure 1: Relation-Box with an emphasized relation plane and its role relations the role set of actor , and hence there is one role set for each actor from the network that is obtained when the duplicated role relations are removed (Wasserman and Faust, 1994; Winship and Mandel, 1983). A local role equivalence is also a way to characterize social roles in incomplete and in ego-centred networks while preserving the distinction of diverse types of relationships. Besides, Winship and Mandel (1983) point out that local role equivalence is a generalisation of Automorphic equivalence in the sense that both kinds of equivalence involve the same types of role relations. Automorphic equivalence would require not only the same types of role relations but also the same number of such relations, which implies equal role sets and local role algebras among correspondent actors (Pattison, 1993). Although the Relation-Box theoretically permits consideration of compound relations of infinite lengths, the actors would not be aware of long chains of relations in their surrounding social environment. Thus, based on practical or substantial reasons, it is possible to perform the analysis with a ‘truncated’ version of this array with size , where is the number of the different primitive and compound ties until a length that is pre-defined by the researcher. 3.2 Compositional Equivalence Breiger and Pattison (1986) developed one structural correspondence aimed at multiplex networks that is based on the individual perspectives of the actors. Although this equivalence type is referred to in the literature as ‘Ego algebra’ (Wasserman and Faust, 1994), we call it Compositional Equivalence (CE) since compound relations are taken into account. Thus with CE the analysis of local roles uses the information expressed in the different relation planes of the Relation- Box corresponding to particular network members whose rows and columns represent – according to the authors – the dual structure of the actors and their relations. While such an approach Connections Compositional Equivalence 58 | Volume 37 | Issues 1&2 | insna.org characterizes the local role equivalence type, there is a step forward from a local perspective in the equivalence definition since all the information from particular role relations is generalized to the entire network structure. The fact that CE generalizes local roles to the entire system implies that this type of correspondence works both at the local and at a ‘global’ level. That is, the establishment of roles and positions in the network are from the perspectives of individual actors, whereas the characterization of equivalence itself is made by considering the relational features that are common to all members in the network. However, this last feature works better with middle-sized networks, and hence CE can be regarded as a local to ‘middle-range’ type of correspondence (Pattison, personal communication). The local portion of CE lies in the actors’ particular views of the system in terms of inclusions among the role relations of the actors’ immediate neighbours. Recall that the role relations are recorded in the columns of the individual relational planes, which means that there are in total of these vectors in the network, one for each actor in every relation plane of size with string relations of length . Isolated actors in a multiplex network are unable to ‘see’ any type of relationships among other actors through the defined links. This implies that role relations for isolates are empty no matter the type of tie or its length, and that any role relations in the relation plane are blank as well. However, connected actors have a different perspective where there is an inclusion among other actors. The collection of inclusions (or lack of them) for each actor or class is reflected in a square array size , called a person hierarchy, belonging to this entity. In more formal terms, from the standpoint of a given actor , actor is ‘contained within’ actor whenever there is a string between and , there is a same type of string between and (cf. Breiger and Pattison, 1986, p. 229). Furthermore, the collection of all perceived inclusions in represents the person hierarchy , which is defined for actors , , ∈ and relation as: 1 iff ∗ ∗ 0 iff ∗ ≰ ∗ 0 iff ∑ ∗ 0 The last proposition implies that there is no inclusion between actors and in the person hierarchy of , and this is either due to the lack of containment among these actors or simply because actor has an empty role set. Notice as well that there is a perceived containment among actors in a given relational plane in the case where their role relations are identical, i.e. 1 ↔ ∗ ∗ . On the other hand, the global part of CE occurs with the union of the different personal hierarchies into a cumulated person hierarchy across actors. This means that is represented by a single square matrix of size having the properties of a partially ordered structure, namely reflexive, antisymmetric, and transitive. The structural information in the cumulated person hierarchy lays the foundations for categorizing the actors and performing a reduction of the network that – as Breiger and Pattison (1986) pointed out – comes from the zeros or the absence of inclusions among the different actors. The partition of the network itself is then a product of a global type of equivalence that is performed on the cumulated person hierarchy. However, we should bear in mind that matrix does not represent social ties as in , but constitutes a partial order structure indicating the lack of containments among the network members. Hence, we assess classes of actors in the network according to their placement in such a graded system, which can be visualized through a lattice structure that is intended for partially ordered sets. In the next section we illustrate the process of constructing the local and global Compositional Equivalence Connections insna.org | Issues 1&2 | Volume 37 | 59 hierarchies in detail with an example of the reduction of a multiplex network. As in Breiger and Pattison (1986), we study the Florentine families network classic dataset and, like the authors, we apply CE in the reduction of this social system. 4. Florentine families network The Florentine families network dataset (Breiger and Pattison, 1986; Kent, 1978; Padgett and Ansell, 1993) corresponds to a group of people from Florence who had a leading role in the creation of the modern banking system in early 15th-century Europe. There are two types of social ties in the network that correspond to Business and Marriage relations among the 16 prominent Florentine families, two of which stand out as being particularly powerful and rivals: the MEDICI and the STROZZI. The ties of this network are undirected, which does not represent any problem for the Marriage ties but is unfortunate for the Business relations: a circumstance that was remedied by Breiger and Pattison (1986) in their analysis by including measures of power such as families’ Wealth and the number of Priorates they held.16 Figure 2 depicts the network as a multigraph where different shapes in the edges represent the two kinds of relations. We note in the picture that eight bonds combine Business and Marriage ties in the system and that the network has one component and a single isolated actor represented by the PUCCI family. A force- directed layout algorithm (Fruchterman and Reingold, 1991) has been applied to the graph to avoid crossing edges and also to group together closely related actors. The visualisation gives us initial insights into the general social structure where actors are linked; however, we need to implement some computations in case we want to look at the network relational structure in a form where the different 16 Data was retrieved from http://moreno.ss.uci.edu/data#padgett types of tie are interrelated. A crucial part of the modelling of multiplex networks is the reduction of the social system because the corresponding relational structure represented by the semigroup is typically large and complex, even for small arrangements. For instance, Breiger and Pattison (1986, p. 221) report a semigroup size with an order of 81 for the Florentine families network, and this is only considering the two generator relations without attributes. Certainly, it is necessary to work with a more manageable structure in order to obtain better insights into its logic of interlock. The reduction of the network implies constructing a relational structure based on a system of roles and positions, which leads to the role structure of the network. Thanks to its reduced size, the network role structure is typically a more convenient configuration for a substantial interpretation of the multiplex network structure than the ‘raw’ relational arrangement of the system. A key aspect in the creation of the role structure is to preserve the multiplicity of the ties, and we know that local role equivalences allow us to combine different levels in the relationships. Next, we categorize the actors in the Florentine families network in terms of CE having actor attributes as generator relations. The first step is to look at the structure product of the actors’ views of their neighbours’ relations in terms of inclusions, and then we perform the modelling to produce the network positional system to an a posteriori analysis of the network role structure. 4.1 Constructing person hierarchies Applying CE in the reduction of a multiplex network structure implies the construction of the Relation-Box, which provides the basis of the local part of this type of correspondence. Recall that the Relation-Box is defined by the number of Connections Compositional Equivalence 60 | Volume 37 | Issues 1&2 | insna.org Figure 2: Multigraph of the Florentine families network Solid edges are Marriage relations, dashed edges are Business ties, and node size reflects their financial Wealth. Plot made with a force-directed layout of the multigraph R package (Ostoic, 2018b). actors in the network and the number of string relations that make up the actors’ immediate social ties and eventually the combination of these. Then all inclusions from the individual perspectives are combined into a single matrix that stands for the global part of CE. To illustrate the process of constructing person hierarchies we restrict the analysis to the smallest case of the Relation-Box with no compounds so that for the Florentine families network the dimensions are 16 × 16 × 2. When we look at Figure 2, we see that apart from PUCCI, the actor of the network with the lowest number of connections is the ACCIAIUOLI family, which is a pendant actor with a single (reciprocated) tie with the MEDICI family. For the direct contacts in the network without compounds, this means that the personal hierarchy of ACCIAIUOLI includes just their immediate neighbour, which is the MEDICI family, and hence the only inclusion in the matrix is a reflexive closure corresponding to this neighbour, while all the other possibilities lack containment. For a two-chain relationship, the person hierarchy of ACCIAIUOLI includes the neighbouring ties of the MEDICI family Compositional Equivalence Connections insna.org | Issues 1&2 | Volume 37 | 61 Table 1: Cumulated person hierarchy, , of the Florentine families network of social ties, 5 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 1 BARBADORI 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 2 BISCHERI 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 3 CASTELLANI 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 4 GUADAGNI 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 5 LAMBERTESCHI 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 6 MEDICI 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 7 PAZZII 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 8 PERUZZI 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 9 SALVIATI 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 10 TORNABUONI 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 11 ACCIAIUOLI 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 12 ALBIZZI 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 13 RIDOLFI 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 14 STROZZI 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 15 GINORI 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 0 16 PUCCI 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 All computations are made with the multiplex R package (Ostoic, 2018c). as well, i.e. the ALBIZZI, BARBADORI, GINORI, PAZZI, RIDOLFI, SALVIATI, and TORNABUONI families, and in this case the ACCIAIUOLI family itself. Note that longer paths include not just the rest of the members in the component, but also those actors who take part in the partial order structures for generators and shorter compounds. Thus for compounds of length 3, we still see the self-containment for the ACCIAIUOLI family in its person hierarchy. Each actor in the network has its own person hierarchy that is based on containing the primitive relations and the compounds until a certain length. However, these hierarchies are aggregated into the – the cumulated person hierarchy – which is a single matrix of inclusions among all the network members. For the Florentine families network, the structure of is represented by the universal matrix17 and it makes no differentiation among the actors until it reaches a chain of relations of length 4. It is only from chains of relations with length 5 or more that produces a distinction 17 This is disregarding the isolated actor. among the actors that is a product of their particular inclusions expressed in . The partial order structure representing is given in Table 1, and this set of ordering relations has been reported by Breiger and Pattison (1986, p. 234). This cumulated person hierarchy presents two categories of actors in the network plus the isolated family. One category corresponds to the actors who contain other network members without being contained in them, whereas the other category groups those who are merely contained in other actors without containing them. The partition of this system almost fits the requirements of Structural equivalence, except for the case of the GINORI family, which is positioned in the same class as the ACCIAIUOLI, ALBIZZI, RIDOLFI, and STROZZI families, even though this actor is not implicated in any inclusions with the rest of the members in this class other than a self- containment. Therefore, the positional system can have either two classes of collective actors plus the isolated actor or four classes with pairwise individual positions Connections Compositional Equivalence 62 | Volume 37 | Issues 1&2 | insna.org in the system. Regardless of the option chosen, both reduced arrangements seem to be good representations of the network structure in terms of the patterned social relations, and they serve as the basis for the construction of the role structure of the Florentine families network. However, a number of attributes from the actors may play a significant part in the establishment of the network positional system, and hence we continue the rest of the analysis of this network by incorporating actor attributes in the establishment of the network role structure. 4.2 Incorporating family attributes The core motivation for this paper is to incorporate in the modelling of the network relational structure significant actor characteristics, which do not have a structural character; that is, traits that are inherent to the actors and do not depend directly on their embedment in the network, such as individual centrality measures, dyadic attributes, etc. On the other hand, although actor attributes can be independent variables, they are not ascribed to the actors in the same way as age, gender or other demographic information, but are governed by the action of the actors themselves. The belief is that these kinds of actor attributes should be part of the modelling of the network positional system and also of the establishment of role structure when the attribute has a structural effect.18 In the case of the banking families, the power and influence of these families in the 15th century constitute significant characteristics. Table 2 gives the Wealth and the number of Priorates of the Florentine families as reported in Wasserman and Faust (1994, p. 744), and these two attribute types, either together or 18 Naturally, extreme cases, e.g. when all or no actors share the attribute, will not have an influence on the final structure since they are represented by the identity and the null matrix, respectively. individually, are candidates for the modelling of the network positional system and subsequent role structure. For this type of analysis each attribute is represented with an indexed matrix; hence reducing the network structure with the actor attributes resembles the process we just applied to the Marriage and Business relations with CE, except that now there are additional generators to the social ties representing the attributes. We note in Table 2 that each category has two columns, one for the absolute values and another that marks the limits of these values according to a cut-off value. In one case we differentiate the very wealthy families from the ‘modestly’ rich actors in the network by adopting a cut-off value of 40,000 Lira, which approximates the average of their financial resources.19 On the other hand, as regards the number of Priorates, it seems reasonable to assume that the lack of information implies that these actors did not have a large number of jurisdictions at that time, if at all, and the cut-off lies in the average of the accessible number of Priorates that is rounded to 34. As a result, there are two vectors of binary values that make the diagonal of the indexed matrices representing the actor attributes, which are additional generators for constructing the network relational structure. We continue the analysis of the banking network by applying CE for grouping the actors in the construction of the positional system with actor attributes. The difference is that now the Relation- Box on which the person hierarchies are based includes the additional generators representing the attribute-based information. Since indexed matrices only have information on their diagonals, the different person hierarchies in the network 19 Actually, the mean is 42.56, and the Lamberteschi family lies in this limit, but rounding the cut-off value to 40 makes more sense for the analysis. Compositional Equivalence Connections insna.org | Issues 1&2 | Volume 37 | 63 Table 2: Wealth and number of Priorates of the Florentine families WEALTH > 40 Number of ⪆ 34 (× 1000 Lira) PRIORATES (avg.) ACCIAIUOLI 10 0 53 1 ALBIZZI 36 0 65 1 BARBADORI 55 1 NA 0 BISCHERI 44 1 12 0 CASTELLANI 20 0 22 0 GINORI 32 0 NA 0 GUADAGNI 8 0 21 0 LAMBERTESCHI 42 1 0 0 MEDICI 103 1 53 1 PAZZI 48 1 NA 0 PERUZZI 49 1 42 1 PUCCI 3 0 0 0 RIDOLFI 27 0 38 1 SALVIATI 10 0 35 1 STROZZI 146 1 74 1 TORNABUONI 48 1 NA 0 include self-containments whenever the actor has the attribute. For example, while the person hierarchy of ACCIAIUOLI for immediate ties comprises just the MEDICI, with actor attributes it will include the ACCIAIUOLI family itself when 1 because this particular actor is politically very powerful with a number of Priorates larger than the average. Naturally, the rest of the actors in the network will follow the same logic, and the arrangement of the cumulated person hierarchy will be affected by the different personal views on inclusions, which are restructured due to the presence of actor attributes. Figure 3 shows in a graphic mode for the banking network with Business and Marriage ties together with Wealth, number of Priorates, and both actor attributes combined. These pictures are lattices known as Hasse diagrams, which depict the inclusion levels in the hierarchy where the lower bound elements are contained in the upper bound elements whenever there is a link among them. For instance, in each diagram the inclusion ties of the MEDICI family contain the inclusion ties of the ACCIAIUOLI and the PAZZI families, whereas in any of the cases there is a containment relation among these last two actors. It is important to note, however, that although the different levels in the Hasse diagrams try to reflect the ranks in the partial order structures, there can be ambiguities in the placements depending on the diagram structure. For example, the GUADAGNI family is always placed in the most intermediary level of the diagrams in Figure 3, but in a couple of cases this actor does not contain any other actor in . Likewise BARBADORI – similar to MEDICI and PERUZZI – cover other actors due to their inclusion ties, and this is without being contained by any network member, and perhaps it may be better to depict these actors at the same level in the three cases. All partial orders shown are emerging structures with the smallest value of . This means that there are ‘zeros’ among connected actors in with compounds of such lengths, which allows us to rank classes of actors according to the CE criteria. In the case of the actors' wealth, the structure of remains unaltered after compounds of length 5, but in the other two cases the cumulated person hierarchies involve a lower number of inclusions with larger . However, Connections Compositional Equivalence 64 | Volume 37 | Issues 1&2 | insna.org shorter chains of relations imply more truthful individual viewpoints than ordered systems with longer compounds, and they are therefore preferred. These diagrams very clearly show that the attributes of the actors, such as their monetary wealth and political power, have an impact on the relational structure of this particular network. If we look at the diagrams in Figure 3, we note that there is a further differentiation in the network in all three cases when considering actor attributes in the modelling. Apart from the isolated actors, whose personal hierarchy corresponds to the null matrix, the cumulated person hierarchy for Wealth clearly involves three levels, whereas there are five levels in the diagrams for the number of Priorates, and for the two attributes together. As a result, the positional system with Wealth differentiates three categories of actors plus the isolated node where the largest class in the previous classification is now divided into two categories. Thus the personal wealth has a structuring influence in the network, and this makes a lot of sense; the richest actor of the banking network is the STROZZI family, which is no longer in the same class as the ACCIAIUOLI, ALBIZZI, and RIDOLFI families, but is placed in another category with other actors having much more social and financial capital. When we look at the number of Priorates there is even more differentiation in than we saw when just considering the Wealth of the actors. Apart from the families who contain most of the network members, i.e. the actors ‘at the top’ (MEDICI, PERUZZI, BARBADORI), and conversely the actors ‘at the bottom’ (PAZZI, ACCIAIUOLI, GUADAGNI) who are contained in the rest of the network component, there is ambiguity with the rest of the actors and they can be classed in different ways. We get a similar picture when both attributes are taken together, as in Figure 3 with Wealth and Priorates, where the ‘top’ and ‘bottom’ actors in the diagram representing remain unambiguously placed, whereas the categories of the actors inbetween require interpretation. Theory can guide us in the establishment of the categories in the positional system in the two last cases. We also need to determine which of the resulting role structures that are a product of the positional system provides the best insights into the relational interlock of the multiplex network structure. This task constitutes one of the last steps in the modelling of the system and we look at the reduced relational structures of the banking families’ network. 4.3 Positional System of the Florentine families network The main challenge in establishing the positional system of the network is to find the sets of collective relations that produce the most meaningful network role structure, i.e. a reduced system that provides an insight into the logic of interlock of the network relations. This is typically achieved with the role structure having the smallest possible dimensions. The logic of interlock is a kind of rationality that is shaped by different algebraic constraints expressed in the final relational structure where the different types of ties and the relevant actor attributes are interrelated in this case. Although the class membership with the Wealth attribute with three defined classes of collective actors seems straightforward, there are ambiguities both as regards the number of Priorates and when the two features are combined. Such uncertainties arise because a number of actors in the network can be classed in different ways according to their respective locations in the partial order structures of , and for the time being we concentrate our analysis on the two cases where political power is involved. Hence, assuming that the isolated actor of the network forms its own class, we need to categorize the eight actors that are neither at the ‘top’ nor at the ‘bottom’ of the Compositional Equivalence Connections insna.org | Issues 1&2 | Volume 37 | 65 hierarchies shown in Figure 3 with Wealth and Priorates, and in both arrangements the placement of the actors at the different levels aims to reflect the set of containments in the partial order structures with an aesthetic representation in the lattice.20 Now we look closer at the inbetween actors in the two hierarchies where political power is involved. From Table 2 we obtain the assignment of these families with respect to the two attributes, and the next upper and lower vectors give the categories for Wealth and number of Priorates, respectively: Certainly, one possibility is that all these actors are grouped together into a single class irrespective of their economic or political power, and in this way we have a positional system with three categories of collective actors for both Priorates, and also for Wealth and Priorates. The arrangements of roles for Business and Marriage are then equal and all the positions are represented by actors who are both very wealthy and powerful in political terms (of course disregarding PUCCI). This means that the two attribute types are represented in the positional system by identity matrices with no structuring effect in the system of roles. In order to have an effect from Wealth and the number of Priorates on the role structure, we need to make a differentiation between classes of actors with respect to these attributes, and this is only possible by having characteristic strings not acting as neutral elements in the construction of the semigroup of relations. A straightforward way to achieve a structuring effect of diagonal matrices is 20 That is why BARBADORI and GUADAGNI, for example, who are unequivocally part of the same class as the top and bottom actors, respectively, are located at intermediary lev- els in the diagram. by separating the actors with ‘ones’ in the intermediate category from the actors with ‘zeros’ in the vector corresponding to this attribute type. Hence we end up with a positional system that has four categories of collective actors, and for the number of Priorates (the second row), for instance, BISCHERI, CASTELLANI, GINORI, LAMBERTESCHI and TORNABUONI will make their own class. This means that the attribute string is no longer represented by an identity matrix and the semigroup of the role structures for Business, Marriage, and number of Priorates will record different compounds of social roles with class attributes. However, the role structure for Priorates (not shown here) ends up being relatively large and complex. Conversely, if we model the network relational system with both attributes at the same time, we first differentiate STROZZI, which is a very powerful family both politically and economically. Second we differentiate CASTELLANI and GINORI, actors who are neither very wealthy nor have much political power. By grouping the last two actors into a single class we again avoid having the identity matrix, and the role structure of the network in this case has fewer representative strings, which means that we expect a more tractable substantial interpretation of the role interlock than when just considering the Priorates. The fact that the role structure gets smaller rather than larger, as one would expect with another generator, is because the two social roles and both class attributes are equated, and the relational structure of the positional system is then based on just two generators. When we equate roles or attributes we get a poorly informative role structure where we need to interpolate the ALBIZZ BISCHE CASTEL GINORI LAMBER RIDOLF SALVIA STROZZ TORNAB 0 1 0 0 1 0 0 1 1 1 0 0 0 0 1 1 1 0 Connections Compositional Equivalence 66 | Volume 37 | Issues 1&2 | insna.org Figure 3: Hasse diagrams of for the Florentine banking network with actor attributes Top to bottom: with Wealth, 5; with number of Priorates, 4; with Wealth and Priorates, 4. Plots made with the multiplex (Ostoic, 2018c) and Rgraphviz packages (Hansen et al., 2016). Compositional Equivalence Connections insna.org | Issues 1&2 | Volume 37 | 67 roles and collective characteristics in the analysis.21 A third possibility is to combine the Business and Marriage ties with Wealth in the analysis. In this case the class system of actors takes the levels given in the Hasse diagram of Figure 3 with Wealth. The positional system in this case implies that the Marriage ties do not follow a particular pattern in the role structure, whereas Business ties and Wealth role relations follow a core-periphery structure as shown in the matrices below: 1 1 1 1 1 0 1 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 1 0 0 0 0 Business Marriage Wealth There are no ambiguities in the categorisation of actors in the banking network with the financial Wealth of the actors, which leads to a univocally substantial interpretation of the role structure for this positional system. However, the main advantage with these generators is that the role structure gets smaller than with the previous two settings, allowing a more transparent interpretation of the role interlock, even though we are aware that a different logic may arise in the role structure when considering the number of Priorates. The reader can refer to Ostoic (2018a) for an extended analysis of the role structure and role interlock of this particular network. Discussion The structuring effect of attribute-based information in the reduction of multiplex networks constituted the most significant aspect covered in this paper, where one of the main challenges has been preserving the multiplicity of the different types of tie. In this sense, the notion of Compositional Equivalence defined by Breiger and Pattison (1986) allows us to reduce the 21 Besides, assigning STROZZI in the central class does not affect the role structure at all. network structure without dropping the relational differentiation, and we extend the positional analysis to non-ascribed characteristics of the actors in the network, which are included as generator relations in the form of diagonal matrices. There is a strong belief that attribute-based information enriches the substantial interpretation of the relational structure of the network, and this is so irrespective of whether the relational system is in a reduced or full format. Even though the reduction of the network can bring some ambiguities, aggregated structures are more manageable for substantial interpretation of the relational logic in multiplex network structures, which are complex systems by definition. CE has proven to be a valuable option for mid-sized networks; however, theoretical guidance is required both for the selection of the attribute types and for the establishment of the positional system and subsequent role structure. There are still some important issues that need to be accounted for. The first concern deals with directed multiplex networks, in which the application of CE typically requires counting with relational contrast reflected in the transpositions of the ties. A second aspect is the rationale behind relational structures, which is expressed by algebraic constraints governing the system, including sets of equations among strings, hierarchy in the relations, and interrelations between the different types of tie occurring in the network. These aspects are mentioned only briefly here and their treatment is out of the scope of this article. Finally, a statistical approach to the modelling is required for larger network structures, and statistical methods for multiplex networks can serve to complement the modelling process either in an early stage of the analysis or by providing relational and role structures having both fixed and random effects with attributes. Connections Compositional Equivalence 68 | Volume 37 | Issues 1&2 | insna.org References Boorman, S.A. & White, H.C. (1976). Social structure from multiple networks. II. Role structures. Amer- ican Journal of Sociology, 81(6), 1384-446. Breiger, R.L. & Pattison, P.E. (1986). Cumulated so- cial roles: The duality of persons and their alge- bras. Social Networks, 8(3), 215-56. Doreian, P., Batagelj, V. & Ferligoj, A. (1994). Parti- tioning networks based on generalized concepts of equivalence. Journal of Mathematical Sociology, 19(1), 1-27. Doreian, P., Batagelj, V. & Ferligoj, A. (2005). Gen- eralized Blockmodeling. Cambridge: Cambridge University Press Everett, M. G. (1985). Role similarity and complexity in social networks. Social Networks, 7(4), 353-59. Fruchterman, T.M.J. & Reingold, E.M. (1991). Graph- drawing by force-directed placement. Journal of Software: Practice & Experience, 21(11), 1129- 64. Hansen, K. et al. (2016). Rgraphviz: Provides plotting capabilities for R graph objects. R package version 2.16.0 available at: https://www.bioconductor.org/packages/release/bi oc/html/Rgraphviz.html Kent, D.V. (1978). The rise of the Medici: Faction in Florence, 1426–1434. Oxford: Oxford University Press. Lorrain, F. & White, H.C. (1971). Structural equiva- lence of individuals in social networks. Journal of Mathematical Sociology, 1(1), 49-80. Ostoic, J.A.R. (2018a). Algebraic Analysis of Multi- plex, Signed, and Affiliation Networks. Forthcom- ing. New York: John Wiley & Sons. Ostoic, J.A.R. (2018b). multigraph: Plot and Manipu- late Multigraphs.R package version 0.75 available at: https://CRAN.R- Project.org/package=multigraph Ostoic, J.A.R. (2018c). multiplex: Algebraic tools for the analysis of multiple social networks. R pack- age version 2.8 available at: https://CRAN.R- Project.org/package=multiplex Padgett, J.F. & Ansell, C.K. (1993). Robust action and the rise of the Medici, 1400–1434. American Journal of Sociology, 98(6), 1259-319. Pattison, P.E. (1993) Algebraic Models for Social Networks. Structural Analysis in the Social Sci- ences. Cambridge: Cambridge University Press. Sailer, L. D. (1978). Structural equivalence: Meaning and definition, computation and application. Social Networks, 1(1), 73-90. Wasserman, S. & Faust, K. (1994). Social Network Analysis: Methods and Applications. Structural Analysis in the Social Sciences. Cambridge: Cam- bridge University Press. White, D.R. & Reitz, K.P. (1983). Graph and semi- group homomorphisms on networks of relations. Social Networks, 5(2), 193-234. Winship, C. & Mandel, M.J. (1983). Roles and posi- tions: A critique and extension of the blockmodel- ing approach. Sociological Methodology, 14, 314- 44.