Unitary Transformations in the Quantum Model for Conceptual Conjunctions and Its Application to Data Representation

Quantum models of concept combinations have been successful in representing various experimental situations that cannot be accommodated by traditional models based on classical probability or fuzzy set theory. In many cases, the focus has been on producing a representation that fits experimental results to validate quantum models. However, these representations are not always consistent with the cognitive modeling principles. Moreover, some important issues related to the representation of concepts such as the dimensionality of the realization space, the uniqueness of solutions, and the compatibility of measurements, have been overlooked. In this paper, we provide a dimensional analysis of the realization space for the two-sector Fock space model for conjunction of concepts focusing on the first and second sectors separately. We then introduce various representation of concepts that arise from the use of unitary operators in the realization space. In these concrete representations, a pair of concepts and their combination are modeled by a single conceptual state, and by a collection of exemplar-dependent operators. Therefore, they are consistent with cognitive modeling principles. This framework not only provides a uniform approach to model an entire data set, but, because all measurement operators are expressed in the same basis, allows us to address the question of compatibility of measurements. In particular, we present evidence that it may be possible to predict non-commutative effects from partial measurements of conceptual combinations.


Concept Combinations in Quantum Cognition
The application of quantum models to cognitive phenomena is an emergent field known as quantum cognition (Aerts, 2009;Pothos and Busemeyer, 2013). One of the areas in quantum cognition that has received much attention is the study of concepts and their combinations (Aerts and Gabora, 2005a,b;Aerts, 2007a,b;Aerts and Sozzo, 2011;Aerts et al., 2013). In a general setting, a cognitive situation might include multiple concepts forming aggregated structures (Rips, 1995;Fodor, 1998). For example, the concepts "Fruit" and "Vegetable" can be combined to form a new concept "Fruit And Vegetable" (Hampton, 1988a). This example of a concept combination is built with the connective "And, " which is also an operation mathematically defined in logic and probability. The question becomes, is it possible to apply the mathematical definition of the connective "And" to build the structure of "Fruit And Vegetable" from the structures of "Fruit" and "Vegetable"? Cognitive scientists have performed several experiments measuring various semantic estimations including typicality, membership, and similarity of concept combinations built with connectives such as "And, " and "Not" (Hampton, 1997a(Hampton, , 1988a, and adjectivenoun compounds such as "Red Apple" (Medin and Shoben, 1988;Medin, 1989;Kamp and Partee, 1995). The evidence collected during two decades of research suggests that it might not be possible to represent all the experimental data for concept combinations using the mathematical structures of fuzzy logic or probability theory. Quantum cognition proposes an alternative approach.
While traditional models based on classical logic, probability, or fuzzy set theory have failed to properly account for cognitive phenomena exhibiting non-classical probabilistic features, quantum models have consistently provided a framework that easily encompasses these and other so-called cognitive biases (Gilovich et al., 2002;Busemeyer et al., 2011) or paradoxical phenomena (Aerts et al., 2011a). Quantum inspired models have been successfully developed in the areas of decision making (Aerts et al., 2011b(Aerts et al., , 2012bBusemeyer et al., 2011;Busemeyer and Bruza, 2012), psychology of categorization (Aerts and Aerts, 1995;Blutner et al., 2013;Sozzo, 2014), human memory (Bruza and Cole, 2005;Bruza et al., 2009Bruza et al., , 2012, and finances (Khrennikov, 2009;Haven and Khrennikov, 2013). In this paper we will focus on the phenomena of concept conjunction. However, since our analysis and methodology is based on pure mathematical notions of the quantum mechanical framework, the results presented in this paper can be extended to other concept combinations (Veloz, 2015). Aerts (2009) formally states the conditions that characterize the existence of a classical probability model for concept conjunction: Definition 1. Let µ(A), µ(B), and µ(AB) be the membership weights of an exemplar p with respect to a pair of concepts A and B and their conjunction AB. We say that these membership weights are classical conjunction data if there exists a Kolmogorovian probability space ( , σ ( ), P), and events E A , E B ∈ σ ( ) such that P(E A ) = µ(A), (1) Classical conjunction data characterizes the membership values of the conjunction of concepts that can be modeled in a classical probabilistic framework. It is therefore important to characterize the notion of classical conjunction data in terms of the membership weights.
Corollary 1. The membership weights µ(A), µ(B), and µ(AB) of an exemplar p with respect to concepts A, B, and their conjunction AB are classical conjunction data if and only if A large body of experimental evidence and a considerable amount of data analysis indicate that the membership of exemplars with respect to concept combinations does not form classical conjunction data (Fodor and Lepore, 1996;Hampton, 1997a,b;Aerts and Gabora, 2005a,b). Namely, the membership with respect to the conjunction of concepts is generally larger than the membership of one of the former concepts, and thus violates either conditions (2) or (3). This phenomenon is called single overextension. When conditions (2) and (3) are violated simultaneously, it is called double overextension. The violation of condition (4) is called the Kolmogorovian factor violation. We refer to (Pitowsky, 1989;Aerts, 2009) for an explanation of this phenomenon.
In Supplementary Table 1, we show two cases reported in Hampton (1988b). In the first case, the membership weight µ 1 (AB) of the item p 1 ="coffee table" with respect to the conjunction A 1 B 1 ="Furniture And Household Appliances" is single overextended with respect to the membership weights µ 1 (A) and µ 1 (B) of concepts A 1 ="Furniture, " and B 1 ="Household Appliances, " respectively. In the second case, membership weight µ 2 (AB) of the item p 2 ="tree house" with respect to the conjunction A 2 B 2 ="Building And Dwelling" is doubly overextended with respect to the membership weigths µ 2 (A) and µ 2 (B) of the concepts A 2 ="Building, " and B 2 ="Dwelling, " respectively.

The Quantum Approach to Concept Combination
The quantum approach to concepts introduces two fundamental assumptions that depart from classical approaches: A1 Concepts are not represented by a set of instances. Instead, a concept is assumed to exist in a state. A Hilbert space H is introduced, and a unit vector |ψ ∈ H represents the state of the concept. A2 Semantic estimations are not functions over the set of instances. Instead, a semantic estimation is a measurement operator, M : H → H, that projects onto a subspace of H.
Concepts A and B are represented by the states |A and |B , respectively. When we consider the conjunction AB of these two concepts, there are two different ways to combine the concepts (Aerts, 2009). The first considers the conjunction of concepts from an intuitive perspective in the sense that the connective And does not play a logical role in the combination AB; instead the conjunction AB is viewed as an emergent entity.
In particular, the quantum model assumes that the state of the combined concept |AB ∈ H is given by a superposition of the states of concepts A and B as follows: The second way considers the conjunction of concepts from a logical perspective, in the sense that And does play a logical role in the combination AB. In particular, the quantum model assumes that the state of the combined concept |C is modeled in the tensor product space H ⊗ H, where each space in the product captures the representation of the concepts in the combination, while the entire space represents the conjunction. The two quantum models of concept combination are presented in Supplementary Material. These two modes can be unified in a mathematical framework developed in quantum mechanics called Fock space (Aerts, 2007a(Aerts, , 2009. A Fock space is a direct sum of tensor products of Hilbert spaces, where each space in the sum represents the state space of a system having different numbers of particles (Meyer, 1995). For the case of concepts, we model the state of the combination of two concepts in the two-sector Fock space: The first space, H, also called the first sector, represents the concept combination as an emergent entity. The second space, H ⊗ H, called the second sector, represents the concept combination as a logical entity. The state of the combined concept in the two-sector Fock space is hence a superposition of the two modes of combination. For example, when |C = |A ⊗ |B , the state |ψ of the concept combination is and the membership formula is given by for 0 ≤ n ≤ 1.
When n = 1, the membership weight µ(AB) corresponds to the sum of the average of µ(A) and µ(B), plus an interference term ℜ( A|M|B ) bounded by In the absence of interference, i.e., when ℜ( A|M|B ) = 0, the membership weight is simply the average of the former membership weights. This particular case, which has been shown to provide a good first approximation to exemplars of conceptual conjunction (Aerts et al., 2012a), is overextended, and therefore non-classical. When n = 0, the membership weight corresponds to the product µ(A)µ(B), which is equivalent to the probability of two joint classical events that are independent. When 0 < n < 1, the state of the concept is in the superposition of the two modes of combination.
Finally, the membership operator for a certain exemplar with respect to the conjunction of two concepts is given by where M is the operator that measures membership of the exemplar in the first sector, and M⊗M measures the membership of the exemplar with respect to the two concepts simultaneously in the second sector.
In addition to providing a suitable mathematical framework for cognitive models, quantum cognition also offers a different perspective on cognitive phenomena: uncertainty is described by means of superposed states (Aerts et al., 2011b), non-logical coherence involves interference (Aerts, 2009), order effects are revealed by incompatible measurements (Wang and Busemeyer, 2013), and certain "verb-noun" conceptual combinations mimic the structure of physically entangled particles (Aerts and Sozzo, 2014).

The Representation of Data
One of the reasons why quantum models of concept combinations have not been widely used is that the issue of data representation has been overlooked. Scholars have studied the capacity of quantum models to fit semantic estimations of concept combinations, and have presented concrete representations of the different estimations to validate the models (Aerts, 2007a(Aerts, ,b, 2009Aerts et al., 2012a;Sozzo, 2014); these concrete representations, however, model the data in an exemplar-based fashion, where one operator is used for all exemplars, but the conceptual state varies with exemplars.
For example, Aerts (2009) builds a quantum model in the Hilbert space C 3 to consider the exemplars "filing cabinet" and "heated waterbed" with respect to concepts A ="Furniture, B ="Household Appliances, " and their conjunction AB.
In both cases M is defined by the projection operator Such concrete representations are useful to validate models, but unwieldy if one seeks to build a model that can be used for studying and comparing large amounts of data. Because the state is independent of the exemplar, it must remain the same for all measurements. But if we require the state representing the concept to remain fixed, then the number of measurement operators is restricted by the dimension of the Hilbert space H. In fact, because the membership operator is usually represented by the identity projector restricted to a smaller subspace, and the identity operator of the entire space and the null operator entail trivial measurements, the number of projectors available to represent membership measurements is restricted to n − 1, for n = dim(H). This implies that, if we consider n or more exemplars, then some exemplars will not have a unique membership operator. These issues become crucial in realworld situations involving concepts that entail thousands of exemplars (Tenenbaum et al., 2011).
In Section 2, we take a close look at the concrete representations of quantum models on each sector of the Fock space to identify the minimal dimensionality required to reach the modeling capacity of each of the sectors. In Section 3, we introduce the notion of unitary transformation for the first and second sectors of the Fock space separately, and propose concrete representations for concepts in these two models that require a single conceptual state, and a collection of exemplar-dependent operators. In Section 4, we use these representations to advance a conjecture concerning compatibility of measurements.

DIMENSIONALITY ANALYSIS OF THE TWO-SECTOR FOCK SPACE MODEL
In what follows we determine the dimension of H required to model concept combinations in the first and second sectors of the two-sector Fock space model. To explore this question, we assume H = C n equipped with the standard inner product, and analyze how n relates to the representation of concepts.

First Sector Dimension Analysis
The Hilbert space model for concept conjunction requires two vectors, |A , |B ∈ H, and an orthogonal projector, M : H → H, such that The next theorem shows that n = 3 is sufficient to build a model that satisfies conditions (13-16).
where ave(AB) = 1 2 (µ(A) + µ(B)), and Proof. We derive Equation (17) by applying conditions (13-16). First, if M is a zero-or three-dimensional projector, then respectively. Thus, Equation (17) holds, and Equations (13-16) are satisfied by choosing |A and |B to be any two mutually orthogonal unit vectors. Next, we consider the cases where M is either a one-or twodimensional projector. We apply conditions (13-16) to vectors |A and |B in these two cases separately, and combine the results to obtain (Equation 17).
We complete the proof by merging Equations (37) and (44).
The general case, H = C n for n > 3, doesn't provide additional modeling power since the condition given by Equation (17) remains. Also, the case H = C 2 is more restrictive than the H = C 3 case. In fact, membership data compatible with conditions (13-16) for H = C 2 must satisfy µ(A) + µ(B) = 1 (Veloz, 2015).

Second Sector Dimension Analysis
The second sector of the two-sector Fock space requires a concept combination state |C ∈ C n ⊗ C n and an operator M : C n → C n , such that |C restricted to the first sector represents the concept A, and |C restricted to the second sector represents the concept B. However, |C cannot in general be decomposed as a tensor product of the type |C A ⊗ |C B , for |C A , |C B ∈ C n . Therefore, |C is usually a non-separable state.
To recover the probabilistic structure of the former concepts in the combination, the operators M ⊗ 1 and 1 ⊗ M are applied to |C to obtain µ(A) and µ(B), respectively. Moreover, since |C as a whole represents the concept combination AB, then the operator M ⊗ M is applied to |C to obtain µ(AB).
The following definition summarizes how data is represented in the second sector.
Definition 2. Let µ = {µ(A), µ(B), µ(AB)} be a triplet denoting the membership of concepts A, B, and their conjunction AB. We say that the triplet µ admits a representation in C n ⊗ C n if there exists a unit vector |C ∈ C n ⊗ C n , and an operator M : C n → C n such that Let {|i } n i=1 be the canonical basis of C n . Without loss of generality, we can take M to be an orthogonal projector on the subspace of C n spanned by the basis elements |1 , ..., |r , with r < n. Hence, Next, let |C be a unit vector in C n ⊗ C n . That is, Proof. If µ admits a representation in C 2 ⊗ C 2 , there exists a unit vector |C ∈ C 2 ⊗ C 2 and an operator M such that Equations (45-47) are satisfied. If µ(A) = µ(B) = µ(AB) = 0 or 1, we can choose |C to be any unit vector in C 2 ⊗C 2 , and M to be a zero-or two-dimensional projector, respectively. Otherwise, let {|1 , |2 } be the canonical basis for C 2 . Without loss of generality, we can define |C by |C = c 11 e γ 11 |1 ⊗ |1 + c 12 e γ 12 |1 ⊗ |2 + c 21 e γ 21 |2 ⊗ |1 and M by the one-dimensional projector into the subspace determined by |1 . Note that Then, clearly µ(AB) ≤ µ(A), µ(AB) ≤ µ(B), and since |C is a unit vector, Therefore, µ is classical conjunction data. The other implication is proven by taking M to be the same one-dimensional projector, and |C such that and γ ij = 0, for i, j = 1, 2.
Theorem 2 proves the strict equivalence between classical conjunction data and the model of conjunction built in C 2 ⊗ C 2 .

UNITARY TRANSFORMATIONS AND DATA REPRESENTATION
We now investigate how multiple exemplars can be concretely represented using a single concept state. To do so, we use unitary transformations to identify a basis of the realization space where multiple exemplars can be represented simultaneously. In this new framework, concrete representations are consistent with the cognitive principles of the quantum model of concepts. Namely, a concept exists in a single state for all exemplars, and the measurement of membership of an exemplar depends on the exemplar to be measured rather than on the concept state.

Data Representation in the First Sector
The following definition and theorem introduce the notion of data representation in the first sector that is consistent with the cognitive principles of the quantum model of concepts in C 3 .
Definition 3. Let µ = {µ i (A), µ i (B), µ i (AB)} k i=1 be a set of experimental data, where µ i (x) is the semantic estimation of an exemplar p i with respect to concepts A, B, and their conjunction AB. A representation of µ in C 3 is defined as a pair of unit vectors |A , |B ∈ C 3 , and a collection of orthogonal projectors M i : C 3 → C 3 such that conditions (13-16) are satisfied for i = 1, ..., k. We say (|A , |B , Theorem 3. Let µ = {µ i (A), µ i (B), µ i (AB)} k i=1 be a set of experimental data, where µ i (x) is the semantic estimation of exemplar p i with respect to concepts A, B, and their conjunction AB. The set of data µ has a representation in C 3 if and only if for all i = 1, ..., k Proof. Let |A = (1, 0, 0), |B = (0, 1, 0), and |C = (0, 0, 1) be the canonical basis for C 3 . We prove that, if Equation (53) is satisfied for each i = 1, ..., k then there exists an orthogonal projector M i such that conditions (13-16) are satisfied for |A , |B , and M i .
Since µ i (A), µ i (B) and µ i (AB) satisfy (Equation 53), by Theorem 1 for each i ∈ {1, ..., k} there exist two vectors, and an orthogonal projectorM i such that Equations (13-16) are satisfied. Thus, the pair of vectors |A i and |B i , as constructed in the proof of Theorem 1, are orthonormal. We set |C i = |A i × |B i so that the set {|A i , |B i , |C i } forms an orthonormal basis for C 3 for any i ∈ {1, ..., k}. Next, we define the operator U i by U i is a unitary matrix whose action induces a change from the basis {|A i , |B i , |C i } to the basis {|A , |B , |C }. Note that U i |A i = |A , U i |B i = |B , and U i |C i = |C . We can also use the operator U i to representM i in the canonical basis {|A , |B , |C } as follows: We use the fact that I = U −1 i U i = U i U −1 i to show that the remaining conditions are satisfied. That is, for each i = 1, ..., k, and Theorem 3 provides a data representation in terms of a single pair of vectors |A and |B , and a set of projectors M i , for i = 1, ..., k, corresponding to the membership operator for each exemplar.
Since the unitary transformations preserve the inner product between vectors and operators, the values of the membership estimations µ i (A), µ i (B), and µ i (AB) are preserved. Consider for example the exemplars p ="filing cabinet" and q ="heated waterbed" mentioned in Section 1.3. These can now be represented by the states |A = (1, 0, 0), |B = (0, 1, 0) and the following measurement operators

Data Representation in the Second Sector
We now apply unitary transformations in the concrete representations of the tensor product model in C n ⊗ C n . We first define different types of representations for multiple exemplars, and then provide explicit representation theorems for the cases n = 2 and 3.
Definition 4. A zero-type representation of µ k i=1 on the tensor product space C n ⊗ C n is a unit vector |C ∈ C n ⊗ C n , and a collection of orthogonal projectors The zero-type representation is, mathematically speaking, the most general representation in the tensor product model that is consistent with the modeling principles of quantum cognition because it assumes a single concept state |C , and a collection of measurements that represent the membership weight estimations. However, this representation cannot be appropriately interpreted because M A i and M B i can be entangled measurements, for i = 1, ..., k.
A more reasonable representation of data assumes that M A i = M i ⊗ 1, and M B i = 1 ⊗ M i , for i = 1, ..., k. Therefore, these operators are not entangled because they act on different sides of C 3 ⊗ C 3 .
Definition 5. A first-type representation of µ k i=1 on the tensor product space C n ⊗ C n is a unit vector |C ∈ C n ⊗ C n , and a collection of orthogonal projectors M i from C n to C n , for i = 1, ..., k, such that (|C , The first-type representation is a direct extension of the representation of individual exemplars in Definition 2, and thus it is interpreted according to such representation: The state |C describes the situation of having two concepts and their combination, and M i represents the semantic estimation of exemplar p i , i = 1, ..., k.
The zero-and first-type representations require different conditions to model a collection of exemplars for a pair of concepts and their conjunction. While the first-type corresponds to the natural way to represent a pair of systems in quantum physics, and thus is the natural way to define a representation in the tensor product model for concepts, the zero-type provides a more general way to build concrete representations because it does not impose a product structure on the concept state or on the membership operators for the exemplars.
In fact, from Definitions 4-5 it is trivial to deduce that a first-type representation is also a zero-type representation.
The following theorem characterizes the cases when a set of data has a zero-type representation in C 2 ⊗ C 2 .
Theorem 4. The set of data µ k i=1 has a zero-type representation in C 2 ⊗ C 2 if and only if µ i is classical conjunction data for i = 1, ..., k.
Proof. For each i = 1, ..., k, we use the construction in the proof of Theorem 2 to obtain a tensor |C i and a one-dimensional projectorM such thatM A i =M ⊗ 1,M B i = 1 ⊗M, andM ∧ i = M ⊗M. This gives the tensor product representation of µ i . Next, we use unitary transformations to change this representation so that |C i is a vector in the canonical basis of C 2 ⊗ C 2 . To facilitate the notation, we will make use of the isomorphism I between C 2 ⊗ C 2 and C 4 . Let The isomorphism I allows us to represent |C i by a vector |C i in We can prove the theorem by building a unitary transformation that takes |C i to one of the canonical basis vectors of C 4 , and use this transformation to represent the operatorsM A ,M B , andM ∧ by the operators M A , M B , and M ∧ in C 4 . Next, we apply the the inverse isomorphism I −1 to map these new representations to C 2 ⊗ C 2 .
Let |D i , |E i , |F i be three vectors in C 4 such that The vectors |C i , |D i , |E i , and |F i form an orthonormal basis for C 4 .
Note that U i is a unitary matrix whose action induces a change from the basis {|C i , |D i , |E i , |F i } to the basis {|e j } 4 j=1 . In fact, The operator U i can now be used to change the basis in which M A i , M B i , and M ∧ i are represented, to the basis {|e j } 4 j=1 : Since We then use the inverse isomorphism I −1 to obtain a zero-type representation in C 2 ⊗ C 2 : We have constructed a zero-type representation (|1 ⊗ |1 , ) from a collection of representations (|C i , M) for the exemplars p i with M(x, y) → (x, 0) obtained from Theorem 2.
In the construction of Theorem 4, note that when Equation (66)  Stating the necessary and sufficient conditions required for a set of data to have first-type representation is out of the scope of this paper. However, we now introduce another type of representation that is mathematically simpler, and can be used to obtain sufficient conditions for a first-type representation.
Definition 6. A second-type representation of µ k i=1 on the tensor product space C n ⊗ C n is a pair of unit vectors |A , B ∈ C n , and a collection of orthogonal projectors M i from C n to C n , for i = 1, ..., k, such that (|A ⊗|B , The second-type is a mathematical simplification of the first-type representation that assumes |C to be a product state. Lemma 1. The set of data µ k i=1 has a second-type representation in C 2 ⊗C 2 if and only if for each i = 1, ..., k there exist |A i , |B i ,M A i , andM B i such that Equations (45-47) are satisfied.
Proof. Let U i (A), U i (B) : C 2 → C 2 be the unitary transformations that map |A i to |1 and |B i to |1 respectively, for i = 1, ..., k. Then, it is straightforward to show that Theorem 4 and Lemma 1 characterize the sets of data that have a zero-and second-type representations. Since the first-type representation is less general than the zero-type representation, but more general than the second-type representation, these results can be applied to obtain an upper and lower bound for the number of exemplars that have a first-type representation in a given set of data.
Note that Theorem 4 is built in C 2 ⊗ C 2 . We now extend our results to C 3 ⊗ C 3 so they become compatible with the representation analysis developed in Section 3.1 for a Hilbert space model in C 3 . The next corollary extends the proof of Theorem 4 to the space C 3 ⊗ C 3 .
Corollary 2. If the set of data µ k i=1 has a zero-type representation in C 2 ⊗ C 2 , then µ k i=1 has a zero-type representation in C 3 ⊗ C 3 .
We can create a vector such that it is the trivial embedding of Similarly, we can also create operators M A * i and M B * i by using the trivial embedding in such a way that the actions of the operators M A i and M B i on C 2 ⊗ C 2 are preserved. This completes the proof.
Since second-type representations are also first-and zero-type representations, we can apply Corollary 2 to obtain a first-and second-type representation in C 3 ⊗ C 3 .

A CONJECTURE ABOUT COMPATIBILITY OF EXEMPLARS
In quantum theory, measurement operators can be incompatible. That is, when we consider two different observables, the result of their sequential application can depend on the order in which they are applied. The fact that quantum measurements can be incompatible is related to fundamental differences between the quantum and classical realms, such as the observer phenomena, and the Heisenberg uncertainty principle (Heisenberg, 1927;Isham, 2001).
Definition 7. Given two operators M 1 and M 2 represented in the same basis. We say that M 1 and M 2 represent compatible observables if and only if the commutator operator Otherwise, the operators represent incompatible observables.
In terms of cognitive phenomena, sequential measurements could be interpreted as consecutive cognitive actions where the previous action serves as a context for the next action (Busemeyer and Wang, 2007;Wang and Busemeyer, 2013). Since in our concrete representations membership operators are represented in the same basis for all exemplars p i = 1, ..., k, it is now possible to test whether or not these measurement operators commute. If we find exemplars whose operators are non-commutative, then we can conjecture the existence of a fundamental limit to the precision with which the membership of these exemplars can be known simultaneously.
Note that we would expect that classical probabilistic models should be compatible, and because the classical probabilistic model and the tensor product model are equivalent, tensor product operators obtained from the data should also be compatible for the vector representing the conceptual situation. However, Hilbert space models could exhibit incompatible measurements for certain data on concept combination, as the Hilbert space model represents non-classical measurements.
We introduce the following definitions to characterize the compatibility of exemplars in C 3 and in C 3 ⊗ C 3 : We say p 1 and p 2 are compatible with respect to the concepts A, B, and AB if and only if c A = 0, c B = 0, and c AB = 0, respectively.
For simplicity, we will study compatibility for zero-type representations in C 3 ⊗ C 3 .
Definition 9. Let |C = (1, 0, 0) ⊗ (1, 0, 0), We say p 1 and p 2 are compatible with respect to concepts A, B, and AB if and only if c ′ A = 0, c ′ B = 0, and c ′ AB = 0, respectively. We have verified the compatibility of exemplars for each conceptual combination that can be modeled in C 3 and in C 3 ⊗ C 3 using the data in Hampton (1988a,b). The results support our predictions. We have found that the tensor product model always leads to compatible measurements, and that the Hilbert space model leads to incompatible measurements in most cases.
For example, consider the concepts A = "Machine" and B ="Vehicle, " and the exemplars p 5 ="sailboat" and p 12 ="skateboard." For the case of conceptual conjunction, we have Note that exemplar p 5 satisfies the conditions of Theorems 1 and 2. Thus, it can be represented in both C 3 and in C 3 ⊗ C 3 . However, the exemplar p 12 is singly overextended. Therefore, we can only represent the two exemplars simultaneously in C 3 . When we apply Theorems 1 and 3, and Definition 8, on these data sets, we obtain c A = 0.084 , c B = 0.097 , and c AB = 0.137 .
Thus, exemplars p 5 and p 12 are incompatible. Moreover, note that the incompatibility is larger for the conjunction of the concepts than for each of the former concepts.
As a second example, consider the concepts A ="Building, " and B ="Dwelling, " and the exemplars p 2 ="cave, " and p 10 ="synagogue, " whose memberships are given by Both exemplars satisfy the conditions of Theorem 2. Applying Theorems 2 and 4, and Definition 9, we obtain This is consistent with our expectations because the representation in the second sector C 3 ⊗ C 3 correspond to classical (and thus compatible) measurements.
Since our data was collected presenting the exemplars in only one specific order (Hampton, 1988b), these computations demonstrate that we can predict order effects by determining the exemplars that are incompatible. The results presented here are, however, speculative since there is no experimental data where order effects have been recorded that could be used to contrast our computations. While our data set does not allow us to make a strong claim, we conjecture that order effects are predictable, and suggest that the concrete representations proposed in this paper could be used to develop Heisenberg-like uncertainty relations in the context of conceptual combinations.

CONCLUSION AND FUTURE WORK
In this paper, we have made some advances on the representational aspects of the quantum model for concept combinations. First, we proved that the first and second sectors of the two-sector Fock space model of concept conjunctions can be concretely represented in C 3 and C 3 ⊗ C 3 , respectively. Next, we introduced unitary transformations to provide concrete representations that are consistent with the cognitive principles of the quantum model of concepts, and used these concrete representations to study the question of measurement compatibility.
The representations introduced here could be an important tool for future applications. First, since they are consistent with the cognitive principles of the quantum model of concepts, the model could easily be introduced to a wider audience, and extended to produce concrete representations in the two-sector Fock space model. Second, they can be adopted as a representational standard for different groups who seek to develop their own computational implementations of the model. Third, the fact that all the measurements are represented in a single basis constitutes a tremendous mathematical advantage for studying the probabilistic structure of concepts.
The evidence obtained in the application of our representations to the issue of exemplar compatibility is consistent with the assumptions of the model. Since the second sector entails logical reasoning, measurements in the tensor product model should be compatible. However, incompatible measurements are likely to be found in the Hilbert space model, since the first sector is associated with non-logical or intuitive reasoning. Moreover, this line of enquiry invites us to explore possible relations between the projector operator structure and the meaning of the exemplar.
In summary, the introduction of unitary transformations and the subsequent application to develop concrete representations of concepts and their combinations seems to be a promising line of research that has the potential to expand both theoretical and applied research in quantum cognition.

FUNDING
This research has been funded by an internal grant from the I.K Barber school of Arts and Sciences at UBC Okanagan.