Bi-factor and Second-Order Copula Models for Item Response Data

Bi-factor and second-order models based on copulas are proposed for item response data, where the items are sampled from identified subdomains of some larger domain such that there is a homogeneous dependence within each domain. Our general models include the Gaussian bi-factor and second-order models as special cases and can lead to more probability in the joint upper or lower tail compared with the Gaussian bi-factor and second-order models. Details on maximum likelihood estimation of parameters for the bi-factor and second-order copula models are given, as well as model selection and goodness-of-fit techniques. Our general methodology is demonstrated with an extensive simulation study and illustrated for the Toronto Alexithymia Scale. Our studies suggest that there can be a substantial improvement over the Gaussian bi-factor and second-order models both conceptually, as the items can have interpretations of discretized maxima/minima or mixtures of discretized means in comparison with discretized means, and in fit to data. Supplementary Information The online version contains supplementary material available at 10.1007/s11336-022-09894-2.

Psychological scales and educational tests are developed to measure a particular construct by selecting items from several identified domains (Gibbons et al. 2007). For example, a questionnaire or instrument, used in psychometrics to assess abstract concepts, such as the well-being has a large number of items or questions that are sampled from several subdomains such as depression, anxiety and stress. This special classification of items in educational assessments is termed 'testlets' (Wainer and Kiely 1987). It is essential to investigate the factorial structure, as implementing unstructured factor models on testlet-based items could result in biased estimates and a poor fit (Wang and Wilson 2005;DeMars 2006;Zenisky et al. 2002;Sireci et al. 1991;Lee and Frisbie 1999;Wainer and Thissen 1996).
To account for the homogeneous dependence in several subdomains of some larger domain, Gibbons and Hedeker (1992) and Gibbons et al. (2007) proposed bi-factor models for binary and ordinal items, respectively. They consist of a common factor, that is linked to all items, and non-overlapping group-specific factors. The common factor explains the dependence between all the items, while the group-specific factors explain the dependence amongst items within each domain or group. The items are assumed to be independent given the group-specific and common factors.
An alternative way of modelling items that are split into several domains is via the secondorder model (e.g., de la Torre and Song 2009;Rijmen 2010), where items are indirectly mapped to an overall (second-order) factor via non-overlapping group-specific (first-order) factors. Secondorder models are suitable when the first-order factors are associated with each other, and there is a second-order factor that accounts for the relations among the first-order factors. The second-order model can be described as an independent clusters factor model (McDonald 1999) with a single second-order factor.

133
The bi-factor and the second-order models are not generally equivalent (Yung et al. 1999;Gustafsson and Balke 1993;Mulaik and Quartetti 1997;Rijmen 2010), unless proportionality constraints are imposed by using the Schmid-Leiman transformation method (Schmid and Leiman 1957). More importantly, both models are restricted to the MVN assumption for the latent variables, which might not be valid. Nikoloulopoulos and Joe (2015) emphasized that if the ordinal variables in item response can be thought of as discretization of latent random variables that are maxima/minima or mixtures of means, then the use of factor models based on the MVN assumption for the latent variables could provide poor fit. In the context of item response data, latent maxima, minima and means can arise depending on how a respondent considers specific items. An item might make the respondent think about M past events which, say, have values W 1 , . . . , W M . In answering the item, the subject might take the average, maximum or minimum of W 1 , . . . , W M and then convert to the ordinal scale depending on the magnitude. The case of a latent maxima/minima can occur if the response is based on a best or worst case. Nikoloulopoulos and Joe (2015) have studied factor copula models for item response where for the first factor there are bivariate copulas that couple each item to the first latent variable, and for the second factor there are copulas that link each item to the second latent variable conditioned on the first factor (leading to conditional dependence parameters), etc. They have shown that there is an improvement on the factor models based on the MVN assumption for the latent variables both conceptually and in fit to data. This improvement relies on the aforementioned reasons, i.e., items can have more probability in joint upper or lower tail than would be expected with a discretized MVN or items can be considered as discretized maxima/minima or mixtures of discretized means rather than discretized means. When all the bivariate copulas are bivariate normal (BVN), then the resulting model is the same as the discretized MVN model with a pfactor correlation matrix (Maydeu-Olivares 2006), also known as the p-dimensional normal ogive model (Jöreskog and Moustaki 2001). For example, the 1-factor copula model with BVN copulas is the same as the variant of Samejima's (1969) graded response IRT model, known as normal ogive model (McDonald 1997) with an 1-factor correlation matrix. We refer to Nikoloulopoulos and Joe (2015, Section 2.3) for further details and explanations on the normal ogive models as special cases of factor copula models.
In this paper, we propose copula extensions for bi-factor and second-order models. The construction of the bi-factor copula model exploits the use of bivariate copulas that link the items to the common and group-specific factors. Note that if there is only one group of items, then the bifactor model reduces to the two-factor copula model in Nikoloulopoulos and Joe (2015). Similarly with the bi-factor copula model, we also use bivariate copulas to construct the second-order copula model. In this case, there are bivariate copulas that link the items to the group-specific factors, and also bivariate copulas that link the group-specific to the second-order factor. To account for the dependence between the items and group-specific factors, each group of variables in fact is modelled using the one-factor copula model proposed by Nikoloulopoulos and Joe (2015). In addition, if there is only one group of items, then the second-order copula model reduces to the one-factor copula model. Hence, the proposed models contain the one-and two-factor copula models in Nikoloulopoulos and Joe (2015) as special cases, while allowing flexible dependence structure for both within-and between-group dependence. As a result, the models are suitable for modelling a high-dimensional item response classified into non-overlapping groups.
The proposed copula constructions are truncated vine copula models (Brechmann et al. 2012) that involve both observed and latent variables. Joe et al. (2010) have shown that by choosing bivariate linking copulas appropriately, truncated vine copula models can have a wide range of asymmetric dependence as well as tail dependence (dependence among extreme values) and different lower/upper tail dependence parameters for each bivariate margin. Hence, the bi-factor and second-order copula models will be useful when the items have more probability in joint upper or lower tail than would be expected with a discretized MVN. If the bivariate linking copulas are BVN, then the Gaussian bi-factor and second-order models are special cases of our constructions which are the discrete counterparts of the structured factor copula models Krupskii and Joe (2015) where dependence and tail properties are obtained.
The remainder of the paper proceeds as follows: Section 1 introduces the bi-factor and secondorder copula models for item response and discusses their relationship with the existing models. Estimation techniques and computational details are provided in Sect. 2. Section 3 proposes simple diagnostics based on semi-correlations and a heuristic method to select suitable bivariate copulas and build plausible bi-factor and second-order copula models. Section 4 summarizes the assessment of goodness of fit of these models using the M 2 statistic of Maydeu-Olivares and Joe (2006), which is based on a quadratic form of the deviations of sample and modelbased proportions over all bivariate margins. Section 5 contains an extensive simulation study to gauge the small-sample efficiency of the proposed estimation, investigate the misspecification of the bivariate copulas, and examine the reliability of the model selection and goodness-of-fit techniques. Section 6 presents an application of our methodology to the Toronto Alexithymia Scale. In this example, it turns out that our models, with linking copulas selected according to the items being discretized latent minima or mixtures of discretized means, provide better fit than the Gaussian bi-factor and second-order models. We conclude with some discussion in Sect. 7.
1. Bi-factor and Second-Order Copula Models denote the item response variables classified into the G non-overlapping groups. There are d g items in group g; g = 1, . . . , G, j = 1, . . . , d g and collectively there are d = G g=1 d g items, which are all measured on an ordinal scale; Y jg ∈ {0, . . . , K − 1}. Let the cutpoints in the uniform U (0, 1) scale for the jg'th item be a jg,k , k = 1, . . . , K − 1, with a jg,0 = 0 and a jg,K = 1. These correspond to a jg,k = (α jg,k ), where α jg,k are cutpoints in the normal N (0, 1) scale.
The bi-factor and second-order factor copula models are presented in Sects. 1.1 and 1.2, respectively. Section 1.3 discusses their relationship with the existing Gaussian bi-factor and second-order models, and Sect. 1.4 provides the bivariate linking copulas we consider along with their properties.

Bi-factor Copula Model
Consider a common factor V 0 and G group-specific factors V 1 , . . . , V G , where V 0 , V 1 , . . . , V G are independent and standard uniformly distributed. Let Y jg be the jth observed variable in group g, with y jg being the realization. The bi-factor model assumes that Y 1g , . . . , Y d g g are conditionally independent given V 0 and V g , and that Y jg in group g does not depend on V g for g = g . Figure  1 depicts a graphical representation of the model.
The joint probability mass function (pmf) is given by: According to Sklar's theorem (1959), there exists a bivariate copula Graphical representation of the bi-factor copula model with G group-specific factors and a common factor V 0 .
the item Y jg with the common factor V 0 , F Y jg is the cumulative distribution function (cdf) of Y jg ; note that F Y jg is a step function with jumps at 0, . . . , K − 1, i.e., F Y jg (y jg ) = a jg,y jg +1 . Then, it follows that, For shorthand notation, we let C Y jg |V 0 a jg,y jg +1 |v 0 = ∂ ∂v 0 C Y jg ,V 0 a jg,y jg +1 , v 0 . The observed variables also load on the group-specific factors; hence to account for this dependence, we let C Y jg ,V g |V 0 be a bivariate copula that links the item Y jg with the group-specific factor V g given the common factor V 0 . Hence, To this end, the pmf of the bi-factor copula model takes the form It is shown that the pmf is represented as an one-dimensional integral of a function which is in turn a product of G one-dimensional integrals. Thus, we avoid (G + 1)-dimensional numerical integration.
In addition to the computational advancements the proposed model offers, it can provide, with appropriately chosen linking copulas, more probability in joint upper or lower tail than would be expected with a discretized MVN. The bi-factor copula can be explained as a 2truncated vine. d-dimensional vine copulas can cover flexible dependence structures through the specification of d bivariate marginal copulas at level 1 and d(d − 1)/2 bivariate conditional copulas at higher levels (Nikoloulopoulos et al. 2012). For the d-dimensional bi-factor copula, the pairs at level 1 are Y jg , V 0 for g = 1, . . . , G, j = 1, . . . , d g , the pairs at level 2 are Y jg , V g |V 0 for g = 1, . . . , G, j = 1, . . . , d g , and for higher levels the (conditional) copula pairs are set to independence. That is the bi-factor copula has d bivariate copulas C Y jg ,V 0 that link Y jg , g = 1, . . . , G, j = 1, . . . , d g with V 0 in the 1st level of the vine, d bivariate copulas C Y jg ,V g |V 0 that link Y jg , g = 1, . . . , G, j = 1, . . . , d g with V g , g = 1, . . . , G given V 0 in the 2nd level of the vine, and independence copulas in all the remaining levels of the vine (truncated after the 2nd level). From results in Joe et al. (2010) and Krupskii and Joe (2015), upper or lower tail dependent copulas in levels 1 and 2 will lead to items that have more probability in joint upper or lower tail than would be expected with a discretized MVN.
For the parametric version of the bi-factor copula model, we let C Y jg ,V 0 and C Y jg ,V g |V 0 be parametric copulas with dependence parameters θ jg and δ jg , respectively.

Second-Order Copula Model
Assume that for a fixed g = 1, . . . , G, the items Y 1g , . . . , Y d g g are conditionally independent given the first-order factors V g ∼ U (0, 1), g = 1, . . . , G and that V = (V 1 , . . . , V G ) are conditionally independent given the second-order factor V 0 ∼ U (0, 1). That is the joint distribution of V has an one-factor structure. We also assume that Y jg in group g does not depend on V g for g = g . Figure 2 depicts the graphical representation of the model.
The joint pmf takes the form c V is the one-factor copula density (Krupskii and Joe 2013) of V, viz.
where c V g ,V 0 is the bivariate copula density of the copula C V g ,V 0 linking V g and V 0 .
Graphical representation of the second-order copula model with G first-order factors and one second-order factor V 0 .
Letting C Y jg ,V g be a bivariate copula that joins the item Y jg and the group-specific factor V g such that the pmf of the second-order copula model becomes ( Similarly with the bi-factor copula model, the pmf is represented as an one-dimensional integral of a function, which is in turn a product of G one-dimensional integrals. In addition to the computational advancements, the second-order model offers, it can provide, with appropriately chosen linking copulas, more probability in joint upper or lower tail than would be expected with a discretized MVN. The second-order copula can be explained as an 1-truncated vine. For the d-dimensional second-order copula, the pairs at level 1 are Y jg , V g for g = 1, . . . , G, j = 1, . . . , d g and V 0 , V g for g = 1, . . . , G, and for higher levels the (conditional) copula pairs are set to independence. That is the second copula has d bivariate copulas C Y jg ,V g that link Y jg , g = 1, . . . , G, j = 1, . . . , d g with V g , g = 1, . . . , G and G bivariate copulas C V g ,V 0 that link V g , g = 1, . . . , G with V 0 in the 1st level of the vine, and independence copulas in all the remaining levels of the vine (truncated after the 1st level). Joe et al. (2010) have shown that in order for a vine copula to have tail dependence for all bivariate margins, it is only necessary for the bivariate copulas in level 1 to have tail dependence and it is not necessary for the conditional bivariate copulas in levels 2, . . . , d to have tail dependence. Hence, upper or lower tail dependent copulas in level 1 will lead to will lead to items that have more probability in joint upper or lower tail than would be expected with a discretized MVN.
For the parametric version of the second-order copula model, we let C Y jg ,V g and C V g ,V 0 be parametric copulas with dependence parameters θ jg and δ g , respectively.

Special Cases
In this subsection, we show what happens when all bivariate copulas are BVN. Let Z jg be the underlying continuous variable of the ordinal variable Y jg , i.e., Y jg = y jg if α jg,y jg ≤ Z jg ≤ α jg,y jg +1 with α jg,K = ∞ and α jg,0 = −∞.
For the bi-factor model, if C Y jg ,V 0 (·; θ jg ) and C Y jg ,V g |V 0 (·; δ jg ) are BVN copulas, Hence, the pmf for the bi-factor copula model in (1) becomes: This model is the same as the Gaussian bi-factor model (Gibbons and Hedeker 1992;Gibbons et al. 2007) with stochastic representation where γ jg = δ jg 1 − θ 2 jg and Z 0 , Z g , jg are iid N (0, 1) random variables. The parameter θ jg of C Y jg ,V 0 is the correlation of Z jg and Z 0 , and the parameter δ jg of C Y jg ,V g |V 0 is the partial correlation between Z jg and Z It implies that the underlying random variables Z jg 's have a multivariate Gaussian distribution where the off-diagonal entries of the correlation matrix have the form θ j 1 g θ j 2 g + γ j 1 g γ j 2 g and θ j 1 g 1 θ j 2 g 2 for j 1 = j 2 and g 1 = g 2 , respectively. For the Gaussian bi-factor model to be identifiable, the number of dependence parameters has to be 2d − N 1 − N 2 , where N 1 and N 2 is the number of groups that consist of 1 and 2 items, respectively. For a group g of size 1 with variable j, Z g is absorbed with jg because γ jg would not be identifiable. For a group g of size 2 with variable indices j 1 , j 2 , the parameters γ j 1 g and γ j 2 g appear only in one correlation; hence, one of γ j 1 g , γ j 2 g can be taken as 1 without loss of generality. For the bi-factor copula with non-Gaussian linking copulas, near non-identifiability can occur when there are groups of size 2; in this case, one of the linking copulas to the group latent variable can be fixed at comonotonicity.
For the Gaussian second-order model, let Z 0 , Z 1 , . . . , Z G be the dependent latent N (0, 1) variables, where Z 0 is the second-order factor and Z g = β g Z 0 + 1 − β 2 g Z g is the first-order factor for group g. That is, there is an one second-order factor Z 0 , and the first-order factors Z 1 , . . . , Z G are linear combinations of the second-order factor, plus a unique variable Z g for each first-order factor. The stochastic representation is (Krupskii and Joe 2015): Hence, this is a special case of (3) where θ jg = β jg β g and γ jg = β jg 1 − β 2 g .

Other Choices of Parametric Bivariate Copulas
In line with Nikoloulopoulos and Joe (2015), we use bivariate parametric copulas that can be used when considering latent maxima, minima or mixtures of means. For different dependent items based on latent maxima or minima, multivariate extreme value and copula theory (e.g., Joe 1997) can be used to select suitable copulas that link observed to latent variables. Copulas that arise from extreme value theory have more probability in one joint tail (upper or lower) than expected with a discretized MVN distribution or a MVN copula with discrete margins. If item responses are based on discretizations of latent variables that are means, then it is possible that there can be more probability in both the joint upper and joint lower tail, compared with discretized MVN models. This happens if the respondents consist of a 'mixture' population (e.g., different locations or genders). From the theory of elliptical distributions and copulas (e.g., McNeil et al. 2005), it is known that the multivariate Student-t distribution as a scale mixture of MVN has more dependence in the tails. Extreme value and elliptical copulas can model item response data that have reflection asymmetric and symmetric dependence, respectively.
A bivariate copula C is reflection symmetric if its density satisfies c(u 1 , Otherwise, it is reflection asymmetric often with more probability in the joint upper tail or joint lower tail. Upper tail dependence means that c(1 − u, 1 − u) = O(u −1 ) as u → 0 and lower tail dependence means that c (u, u) is the survival or reflected copula of C; this "reflection" of each uniform U (0, 1) random variable about 1/2 changes the direction of tail asymmetry.
After briefly providing definitions of tail dependence and reflection symmetry/asymmetry, we provide below the bivariate copula choices we consider: • The extreme value Gumbel copula with cdf A model with bivariate Gumbel copulas has latent (ordinal) variables that can be considered as (discretized) maxima, and there is more probability in the joint upper tail as the Gumbel copula has reflection asymmetry and upper tail dependence. • The survival Gumbel (s.Gumbel) copula with cdf A model with bivariate s.Gumbel copulas has latent (ordinal) variables that can be considered as (discretized) minima, and there is more probability in the joint lower tail as the s.Gumbel copula has reflection asymmetry and lower tail dependence. • The elliptical bivariate t ν copula with cdf where T(; ν) is the univariate Student t cdf with (non-integer) ν degrees of freedom, and T 2 is the cdf of a bivariate Student-t distribution with ν degrees of freedom and correlation parameter θ . A model with bivariate t ν copulas has latent (ordinal) variables that can be considered as mixtures of (discretized) means, since the bivariate Student-t distribution arises as a scale mixture of bivariate normals. A small value of ν, such as 1 ≤ ν ≤ 5, leads to a model with more probabilities in the joint upper and joint lower tails compared with the BVN copula as the t ν copula has reflection symmetric upper and lower tail dependence.
The BVN and t ν are comprehensive copulas, i.e., they interpolate between countermonotonicity (perfect negative dependence) to comonotonicity (perfect positive dependence), but the Gumbel copulas interpolates between independence and perfect positive dependence. Nevertheless, negative dependence or interpolation between perfect negative dependence and independence can be obtained from the Gumbel copulas by considering reflection of one of the uniform random variables on (0, 1). If (U 1 , U 2 ) ∼ C for a bivariate copula C with positive dependence, then The proposed models can provide, with linking copulas that allow for negative (tail) dependence, negative (tail) dependence between the observed variables as the dependence between the observed and latent variables is inherited to the dependence amongst the observed variables. In Fig. 3, to depict the concepts of refection symmetric or asymmetric tail dependence, we show contour plots of the corresponding copula densities with standard normal margins and dependence parameters corresponding to Kendall's τ value of 0.6 in absolute value. To make the models comparable, we convert the BVN/t ν and (reflected) Gumbel copula parameters to Kendall's τ 's via and respectively. Sharper corners (relative to ellipse) in Fig. 3 indicate tail dependence. The Kendall's tau parameters, which are strictly increasing functions of the copula parameters, account for the dependence dominated by the middle of the data, and they are expected to be similar among different families of bivariate copulas. However, the tail dependence varies and it is a property to consider when choosing among different families of bivariate copulas (Nikoloulopoulos and Karlis 2008).

Estimation and Computational Details
For the set of all parameters, let θ = (a, θ g , δ g ) for the bi-factor copula model and θ = (a, θ g , δ) for the second-order copula model, where a = (a jg,k : The dimension of a, θ g , δ g and δ are d(K − 1), d, d and G, respectively. Hence, the dimension q of θ is d(K + 1) and d K + G for the bi-factor and second-order copula model, respectively.
With sample size n and data y 1 , . . . , y n , the joint log-likelihood of the bi-factor and secondorder copula is with π(y i ; θ ) as in (1) and (2), respectively. Maximum likelihood (ML) estimation, i.e., maximization of (7), is numerically possible but time-consuming for large d because the large number of univariate cutpoints and dependence parameters. Hence, we approach estimation using the twostep Inference Function of Margins (IFM) method (Joe and Xu 1996;Joe 1997). Joe (2005) has established its asymptotic efficiency and has shown that can efficiently, in the sense of computing time and asymptotic variance, estimate the univariate and dependence parameters.
In the first step of the IFM, the univariate parameters, i.e., the cutpoints, are estimated using the univariate sample proportions. The univariate cutpoints for the jth item in group g are estimated aŝ a jg,k = k y=0 p jg,y , where p jg,y , y = 0, . . . , K −1 for g = 1, . . . , G and j = 1, . . . , d g are the univariate sample proportions. In the second step of the IFM method, the joint log-likelihood in (7) is maximized over the copula parameters with the cutpoints fixed as estimated at the first step. That is for i = 1, . . . , n we start from a d-variate sample y i11 , . . . , y id 1 1 , . . . , y i1G , . . . , y We use these estimators, i.e., the cutpoints, to transform the y i11 , . . . , y id 1 1 , . . . , y i1G , . . . , y id G G sample to a uniform sampleα 11,y i11 +1 , . . . ,α d 1 1,y id 1 1 +1 , . . .α 1G,y i1G +1 , . . . ,α d G G,y id G G +1 on [0, 1] d and then fit the factor copula model at the second step. Hence, the IFM approach can be regarded as a two-step approach on the original data or simply as the standard one-step ML method on the transformed (copula) data. Note also in passing that compared to the ML, the IFM method is not as punishing for misspecification of the dependence structure (Joe and Xu 1996;Xu 1996).
For the bi-factor copula model, numerical evaluation of the joint pmf can be achieved with the following steps: 1. Calculate Gauss-Legendre quadrature (Stroud and Secrest 1966) points {v q : q = 1, . . . , n q } and weights {w q : q = 1, . . . , n q } in terms of standard uniform. 2. Numerically evaluate the joint pmf For the second-order copula model, numerical evaluation of the joint pmf can be achieved with the following steps: 1. Calculate Gauss-Legendre quadrature points {v q : q = 1, . . . , n q } and weights {w q : q = 1, . . . , n q } in terms of standard uniform. 2. Numerically evaluate the joint pmf where v q 2 |q 1 = C −1 Y jg |V g ;V 0 (v q 2 |v q 1 ; δ g ). Note that the independent quadrature points {v q 1 : q 1 = 1, . . . , n q } and {v q 2 : q 2 = 1, . . . , n q } have been converted to dependent quadrature points that have an one-factor copula distribution C X (·; δ).
The estimated copula parameters can be obtained by using a quasi-Newton (Nash 1990) method applied to the logarithm of the joint likelihood. With Gauss-Legendre quadrature, the same nodes and weights are used for different functions; this helps in yielding smooth numerical derivatives for numerical optimization via quasi-Newton. Our comparisons show that n q = 25 quadrature points are adequate with good precision.

Bivariate Copula Selection
In the following subsections, we describe simple diagnostics based on semi-correlations and a heuristic method that automatically selects the bivariate parametric copula families that build either the bi-factor or the second-order copula model.
Choices of copulas with upper or lower tail dependence are better if the items have more probability in joint lower or upper tail than would be expected with the BVN copula. This can be shown with summaries of polychoric correlations in the upper and lower joint tail (Kadhem and Nikoloulopoulos 2021). In the context of items that can be split into G non-overlapping groups, such that there is homogeneous dependence within each group, it is sufficient to (a) summarize the average of the polychoric semi-correlations for all pairs within each of the G groups and for all pairs of items, and (b) not mix bivariate copulas for a single factor; hence, for both the bi-factor and second-order copula models we allow G + 1 different copula families, one for each group specific factor V g and one for V 0 .
We distinguish the simple descriptives, i.e., the semi-correlations, from the heuristic algorithm and model fitting. On the one hand, the descriptive statistics can suggest more probability to the lower or upper tail for many pairs of items, but bi-factor and second-order copula models with asymmetrical dependence can be used to check whether the two tails are significantly different.

Simple Diagnostics Based on Semi-correlations
Consider again the underlying N (0, 1) latent variables Z jg 's of the ordinal variables Y jg 's. The correlations of Z jg 's in the upper and lower tail, hereafter semi-correlations, are defined as (Joe 2014, p. 71): From the above expressions, it is clear that the semi-correlations depend only on the copula C of (Z jg ), (Z j g ) ; C 2|1 is the conditional copula cdf. For the BVN and t ν copulas ρ − N = ρ + N , while for the Gumbel and s.Gumbel copulas ρ − N < ρ + N and ρ − N > ρ + N , respectively. The sample versions of ρ + N , ρ − N for item response data are the polychoric correlations in the joint lower and upper quadrants of Y jg and Y j g (Kadhem and Nikoloulopoulos 2021).

Selection Algorithm
We propose a heuristic method that selects appropriate bivariate copulas for each factor of the bi-factor and second-order copula models. It starts with an initial assumption, that all bivariate linking copulas are BVN copulas, i.e. the starting model is either the Gaussian bi-factor or second-order model, and then, sequentially other copulas with lower or upper tail dependence are assigned to the factors where necessary to account for more probability in one or both joint tails. The selection algorithm involves the following steps: 1. Fit the bi-factor or second-order copula model with BVN copulas. 2. Fit all the possible bi-factor or second-order copula models, iterating over all the copula candidates that link all items Y jg 's in group g or each group-specific factor V g , respectively, to V 0 .
3. Select the copula family that corresponds to the lowest Akaike information criterion (AIC), that is, AIC = −2 × + 2 × #copula parameters. 4. Fix the selected copula family that links the observed (bi-factor model) or latent (secondorder model) variables to V 0 . 5. For g = 1, . . . , G: (a) Fit all the possible models, iterating over all the copula candidates that link all the items in group g to the group-specific factor V g . (b) Select the copula family that corresponds to the lowest AIC. (c) Fix the selected linking copula family for all the items in group g with V g .
For vine copula models (bi-factor and second-order copula models are vine copula models that involve both observed and latent variables), Dissmann et al. (2013) also found that bivariate copula selection based on AIC seems to be better than even using bivariate goodness-of-fit tests. The goodness-of-fit procedures involve a global distance measure between the model-based and empirical distribution; hence, they might not be sensitive to tail behaviours and are not diagnostics in the sense of suggesting improved parametric models in the case of small p-values (Joe 2014, p. 254). A smaller AIC indicates a model that better approximates both the dependence structure of the data and the strength of dependence in the tails.

Goodness of Fit
We will use the limited information M 2 statistic proposed by Maydeu-Olivares and Joe (2006) to evaluate the overall fit of the proposed bi-factor and second-order copula models. The M 2 statistic is based on a quadratic form of the deviations of sample and model-based proportions over all bivariate margins. For the bi-factor and second-order copula models with parameter vector θ of dimension q, let π 2 (θ) = π 1 (θ ) ,π 2 (θ ) be the column vector of the univariate and bivariate model-based marginal probabilities that do not include category 0 with sample counterpart p 2 = (ṗ 1 ,ṗ 2 ) . The total number of the univariate and bivariate residuals p 2 − π 2 (θ ) is where d(K − 1) is the dimension of the univariate residuals and d 2 (K − 1) 2 is the dimension of the bivariate residuals excluding category 0.

Simulations
An extensive simulation study is conducted to (a) gauge the small-sample efficiency of the IFM estimation method and investigate the misspecification of the bivariate pair-copulas, (b) examine the reliability of using the heuristic algorithm to select the true (simulated) bivariate linking copulas, and (c) study the small-sample performance of the M 2 statistic.
The Kendall's tau parameters τ (θ g ) and τ (δ g ) as described above are common for each group; hence, Table 1 (Table 2) contains the group estimated average biases, root mean square errors (RMSE), and standard deviations (SD), scaled by n, for the IFM (ML) estimates under different pair-copulas from the bi-factor and second-order copula models. In the true (simulated) models, the linking copulas are Gumbel copulas. Given the large number of cutpoints as the number of categories K increases, for ML estimation we restrict ourselves to K = 3 categories.
Conclusions from the values in the tables are the following: • IFM with the true bi-factor or second-order model is highly efficient according to the simulated biases, SDs and RMSEs. • The IFM estimates of τ 's are not robust under bivariate copula misspecification and their biases increase when the assumed bivariate copula has tail dependence of opposite direction from the true bivariate copula. For example, in Table 1 the scaled biases for the IFM estimates increase substantially when the linking copulas are the s.Gumbel copulas. Table   1.
Small sample of size n = 500 simulations (10 3 replications) from the bi-factor and second-order copula models with Gumbel copulas and group estimated average biases, root mean square errors (RMSE), and standard deviations (SD), scaled by n, for the IFM estimates under different pair-copulas from the bi-factor and second-order copula models.
Bi-factor copula model Second-order copula model  Small sample of size n = 500 simulations (10 3 replications) from the bi-factor and second-order copula models with Gumbel copulas and group estimated average biases, root mean square errors (RMSE), and standard deviations (SD), scaled by n, for the ML estimates under different pair-copulas from the bi-factor and second-order copula models.
Bi-factor copula model τ (θ g ), g = 1, . . . , 4 τ (δ g ), g = 1, . • IFM is not as punishing for bivariate copula misspecification as ML estimation. For example, the scaled biases for the ML estimates are even larger when the bivariate linking copulas are misspecified to the s.Gumbel copulas.
To examine the reliability of using the heuristic algorithm to select the true (simulated) bivariate linking copulas, samples of size 500 were generated from various bi-factor and secondorder copula models. Table 3 presents the number of times that the true (simulated) bivariate linking copulas were chosen over 1000 simulation runs. It is revealed that the model selection Table   3.
Small sample of size n = 500 simulations (10 3 replications) from the bi-factor and second-order copula models with various linking copulas and frequencies of the true bivariate copula identified using the model selection algorithm.
Bi-factor copula model M 2 algorithm performs extremely well for various bi-factor and second-order copulas models with different choices of linking copulas as the number of categories K increases. For a small K dependence in the tails cannot be easily quantified. Hence, for example, when the true copula is the t 5 which has the same upper and lower tail dependence, the algorithm selected either t 5 or BVN which has zero lower and upper tail dependence, because both copulas provide reflection symmetric dependence.
To check whether the χ 2 s−q is a good approximation for the distribution of the M 2 statistic under the null hypothesis, samples of sizes 500 and 1000 were generated from various bi-factor second-order copula models. Table 4 contains four common nominal levels of the M 2 statistic under the bi-factor and second-order copula models with different bivariate copulas. As can be seen in the table, the observed levels of M 2 are close to the nominal α levels and remain accurate even for extremely sparse tables (d = 16 and K = 5).

Application
The Toronto Alexithymia Scale (TAS) is the most utilized measure of alexithymia in empirical research (e.g., Bagby et al. 1994;Taylor et al. 2003;Parker et al. 2003;Gignac et al. 2007; Reise Average observed polychoric correlations and semi-correlations for all pairs within each group and for all pairs of items for the Toronto Alexithymia Scale (TAS), along with the corresponding theoretical semi-correlations for BVN, t 5 , Frank, Gumbel , and survival Gumbel (s.Gumbel) copulas.

All items
Items in group 1 Items in group 2 Items in group 3  Tuliao et al. 2020;Carnovale et al. 2021) and is composed of d = 20 items. The aforementioned works suggest that the items measure 3 facets of alexithymia, namely Difficulty Identifying Feelings (DIF; d 1 = 7 items), Difficulty Describing Feelings (DDF; d 2 = 5 items), Externally Oriented Thinking (EOT; d 3 = 8 items), where each facet represents different nonoverlapping items. Therefore, a 3-factor model was initially called, but given the hypothesized association among the three facets of the alexithymia construct, oblique (correlated) factor or bi-factor models have been used (e.g., Bagby et al. 1994;Parker et al. 2003;Gignac et al. 2007). Tuliao et al. (2020) has demonstrated that a bi-factor model outperforms any other competing factor model for the TAS scale. To this end, recent studies adopted the bi-factor structure for the TAS scale (e.g., Carnovale et al. 2021) and further supported a general alexithymia factor and group-specific factors (DIF, DDf and EOT) that account for homogeneous dependence amongst the non-overlapping items. Note also in passing that estimating a 3-factor or an oblique 3-factor model is computationally demanding as it requires 3-dimensional integration. This is not case for the bi-factor or second-order (an oblique 3-factor model where the group-specific factors are linked to another latent variable via a 1-factor model) models. In spite of the fact they involve G + 1 = 4 latent variables, only require one-dimensional integrals of a function which in turn is a product of 3 one-dimensional integrals.
We use a dataset of 1925 university students from the French-speaking region of Belgium (Briganti and Linkowski 2020). Students were 17 to 25 years old, and 58% of them were female and 42% were male. They were asked to respond to each item using one of K = 5 categories: "1 = completely disagree", "2 = disagree", "3 = neutral, "4 = agree", "5 = completely agree". The dataset and full description of the items can be found in the R package BGGM (Williams and Mulder 2020).
For these items, a respondent might be thinking about the average "sensation" of many past relevant events, leading to latent means. That is, based on the item descriptions, this seems more natural than a discretized maxima or minima. Since the sample is a mixture (male and female students), we can expect a priori that a bi-factor or second-order copula model with t ν copulas might be plausible, as in this case the items can be considered as mixtures of discretized means.
In Table 5, we summarize the averages of polychoric semi-correlations for all pairs within each facet of alexithymia and for all pairs of items along with the theoretical semi-correlations in (8) under different choices of copulas. For a BVN/t ν copula, the copula parameter is the sample polychoric correlation, while for a Gumbel/s.Gumbel copula the polychoric correlation was converted to Kendall's tau with the relation in (5) and then from Kendall's τ to Gumbel/s.Gumbel copula parameter via the functional inverse in (6). The summary of findings from the diagnostics in the table show that the items appear to be a mixed selection between discretized means and minima. For the indicators of the DIF factor (items in group 1) there is more correlation in the joint lower tail, i.e., the items are based on discretizations of latent variables that are minima and have more probability in the joint lower tail, suggesting the use of s.Gumbel linking copulas when modelling the responses to these items. All the other items have stronger correlation in both the joint upper and joint lower tail than with the BVN, i.e., the items are based on discretizations of latent variables that are means and have more probability in both the joint lower and upper tail, suggesting the use of t ν bivariate linking copulas as the respondents consist of a "mixture" population (different genders), Hence, a bi-factor or second-order copula model with the aforementioned linking copulas might provide a better fit than the (Gaussian) models with BVN copulas.
Then, we fit the bi-factor and second-order models with the bivariate copulas selected by the heuristic algorithm in Sect. 3.2. For a baseline comparison, we also fit their special cases; these are the one-and two-factor copula models where we have also selected the bivariate copulas using the heuristic algorithm proposed by Kadhem and Nikoloulopoulos (2021). To show the improvement of the copula models over their Gaussian analogues, we have also fitted all the classes of copula models with BVN copulas. The fitted models are compared via the AIC, since the number of parameters is not the same between the models. In addition, we use Vuong's test (Vuong 1989) to show if (a) the best fitted model according to the AICs provides better fit than the other fitted models and (b) a model with the selected copulas provides better fit than the one with BVN copulas. The Vuong's test is the sample version of the difference in Kullback-Leibler divergence between two models and can be used to differentiate two parametric models which could be non-nested. For the Vuong's test we provide the 95% confidence interval of the test statistic (Joe 2014, p. 258). If the interval does not contain 0, then the best fitted model according to the AICs is better if the interval is completely above 0. To assess the overall goodness-of-fit of the bi-factor and second-order copula models, we use the M 2 statistic, along with the Root Mean Square Error of Approximation based on M 2 (Maydeu-Olivares and Joe 2014), viz. Table 6 gives the AICs, the 95% CIs of Vuong's tests and the M 2 statistics for all the fitted models. The best fitted model, based on AIC values, is the bi-factor copula model obtained from the selection algorithm. The best-fitted bi-factor copula model results when we use s.Gumbel for the DIF factor, t 3 for both the DDF and EOT factors and t 2 for the common factor (alexithymia). This is in line with the preliminary analyses based on the interpretations of items as mixtures of means and the diagnostics in Table 5. The proposed model selection algorithm has selected the t ν copula that has the same lower and upper tail dependence for the common and all the group specific factors except the group specific factor in group 1 for which the survival Gumbel copula has been selected. For the items in group 1, the largest differenceρ − N −ρ + N = 0.07 is found showing more dependence in the lower tail and the fact that for this group the survival Gumbel copula is selected it shows that this difference is statistically significant. No other difference is statistically significant. It is revealed that the DIF items and DIF factor are discretized and latent minima, respectively, as the participants seem to reflect that they "disagree" or "completely disagree" having difficulty identifying feelings. From the Vuong's 95% Cls and M 2 statistics, it is shown that factor copula models provide a big improvement over their Gaussian analogues and that the selected bi-factor copula model outperforms all the fitted models.
The highly statistical significant M 2 statistics are not surprising since one should expect discrepancies between the postulated parametric model and the population probabilities, when the sample size or dimension is sufficiently large (Maydeu-Olivares and Joe 2014) as in our case; none should expect a model with 3000 df to fit exactly. To further show that the fit has been improved we have calculated the maximum deviations of observed and model-based counts for each bivariate margin, that is, D j 1 j 2 = n max y 1 ,y 2 | p j 1 , j 2 ,y 1 ,y 2 − π j 1 , j 2 ,y 1 ,y 2 (θ )|. In Table 6, we AICs, Vuong's 95% CIs, and M 2 statistics for the 1-factor, 2-factor, bi-factor and second-order copula models with BVN copulas and selected copulas, along with the maximum deviations of observed and expected counts for all pairs within each group and for all pairs of items for the Toronto Alexithymia Scale. summarize the averages of these deviations for all pairs within each group and for all pairs of items. Overall, the maximum discrepancies have been sufficiently reduced in the selected bi-factor model. Table 7 gives the copula parameter estimates in Kendall's τ scale and their standard errors (SE) for the selected bi-factor copula model and the Gaussian bi-factor model as the benchmark model. The SEs of the estimated parameters are obtained by the inversion of the Hessian matrix at the second step of the IFM method. These SEs are adequate to assess the flatness of the log-likelihood. Proper SEs that account for the estimation of cutpoints can be obtained by jackknifing the twostage estimation procedure. The loading parameters (τ 's converted to BVN copula parameters via the functional inverse in (5) and then to loadings using the relations in Section 2.3) show that the common alexithymia factor is mostly loaded on DIF and DDF items, suggesting that items in the domains DIF and DDF are good indicators for alexithymia. The items in the EOT although they loaded on the EOT latent factor, they had poor loadings in the common alexithymia factor.

Discussion
For items from several domains, we have proposed bi-factor and second-order copula models where we replace BVN distributions, between observed and latent variables, with bivariate copulas. Our copula constructions include the Gaussian bi-factor and second-order models as special cases and can provide a substantial improvement over the Gaussian models based on AIC, Vuong's and goodness-of-fit statistics. Hence, superior statistical inference for the loadings can be achieved. We have demonstrated that the Kendall's τ 's or loading parameters are not robust under bivariate linking copula misspecification and their biases increase when the assumed bivariate copula has tail dependence of opposite direction from the true bivariate copula.
The improvement relies on the fact that when we use appropriate bivariate copulas other than BVN copulas in the construction, there is an interpretation of latent variables that can be maxima/minima or mixture of means instead of means. The bi-factor and second-order copula Table   7.
Estimated copula parameters and their standard errors (SE) in Kendall's τ scale for the bi-factor copula models with BVN copulas and selected copulas for the Toronto Alexithymia Scale.

Items
Bi-factor copula model with BVN copulas Bi-factor copula model with selected copulas models, if other than BVN copulas are called, have a latent structure that is not additive as in (3) and (4), respectively. The bi-factor copula (dependence) parameters are interpretable as dependence of an observed variable with the common factor, or conditional dependence of an observed variable with the group-specific latent variable given the common factor, i.e., the bi-factor copula model permits conditional dependence within identified subsets of items.
Both the bi-factor and second-order copula models lead to substantial simplification of the joint likelihood. The joint pmfs in (1) and (2) reduce to one-dimensional integrals of a function which in turn is a product of G one-dimensional integrals. Hence, the evaluation of the joint likelihood requires only low-dimensional integration, as in the one-and two-factor copula models, regardless of the dimension G + 1 of the factors. This is an advantage over the p-factor ( p > 2) copula models where the joint pmf requires p-dimensional integration and becomes intractable as the number of factors increases. Hence, the proposed structured multidimensional factor models provide parsimonious factor solutions without any computational deficiencies as in the p-factor copula models when p increases.
We have proposed a numerically stable likelihood estimation technique based on Gauss-Legendre quadrature. The use of independent Gauss-Legendre quadrature points for this kind of models has been proposed in Krupskii and Joe (2015). For the bi-factor copula models for item response the integrants are bounded and thus independent Gauss-Legendre points are fine. For the second-order copula models for item response the integrants can be unbounded as copula densities can be unbounded, hence we have proposed the novel use of dependent Gauss-Legendre quadrature points that have an 1-factor copula distribution.
Building on the models proposed in this paper, there are several extensions that can be implemented. The adoption of the structure of the Gaussian tri-factor and third-order models (e.g., Rijmen et al. 2014), to account for any additional layer of dependence, is feasible using the notion of truncated vine copulas that involve both observed and latent variables.

Software
R functions for estimation, simulation, model selection and goodness-of-fit of the bi-factor and second-order copula models are part of the R package FactorCopula (Kadhem and Nikoloulopoulos 2022). All the analyses presented in Sect. 6 are given as code examples in the package.