ACC Neuro-over-Connectivity Is Associated with Mathematically Modeled Additional Encoding Operations of Schizophrenia Stroop-Task Performance

Functional magnetic resonance imaging at 7.0 Tesla was undertaken among Schizophrenia participants (Sz), and clinical (major mood disorder; MDD) and healthy controls (HC), during performance of the Stoop task. Stroop conditions included congruent and incongruent word color items, color-only items, and word-only items. Previous modeling results extended to this most widely used selective-attention task. All groups executed item-encoding operations (subprocesses of the item encoding process) at the same rate (performance accuracy being similarly high throughout), thus displaying like processing capacity; Sz participants, however, employed more subprocesses for item completions than did the MDD participants, who in turn used more subprocesses than the HC group. The reduced efficiency in deploying cognitive-workload capacity among the Sz participants was paralleled by more diffuse neuroconnectivity (Blood-Oxygen-Level-Dependent co-activation) with the anterior cingulate cortex (ACC) (Broadman Area 32), spreading away from this encoding-intensive region; and by less evidence of network dissociation across Stroop conditions. Estimates of cognitive work done to accomplish item completion were greater for the Sz participants, as were estimates of entropy in both the modeled trial-latency distribution, and its associated neuro-circuitry. Findings are held to be symptom and assessment significant, and to have potential implications for clinical intervention.


INTRODUCTION
Because of the prominence of thought disorder in the symptom picture of schizophrenia (Sz), performance on cognitive tasks has long been a focus of investigation in the clinical science of this disorder (e.g., Maher, 1966). Deviations in neural circuitry unique to Sz likewise have compelled substantial research attention, at an accelerated rate with contemporary neuroimaging technology (Williamson and Allman, 2011). Mathematical modeling of Sz cognitive performance has indicated cognitive processes spared by the disorder (e.g., scanning and manipulation of material in short-term, or working memory; responseregistration processes), and those that are disorder-affected (notably stimulus encoding, or the cognitive transforming of presenting stimulation into a format facilitating collateral processes; reviewed in Neufeld, 2007a) Analytical mathematical modeling moreover has set about identifying spared and affected constituent parameters of disorder-affected processes, and estimating associated neural circuitry through both fMRI (Neufeld et al., 2010), and fMRS (functional Magnetic Resonance Spectroscopy; Taylor et al., 2015).
The Stroop cognitive task, in turn, is arguably the most widely used selective attention task in cognitive science (Eidels et al., 2010). Its ascendant popularity extends to clinical cognitive science (Macleod, 2010), including that directed to cognition in Sz (e.g., Minzenberg et al., 2009). In a typical Stroop task as used in clinical cognitive science, performance requires the naming of a color in which a word is written. Performance is impaired when the named color, and the ink in which the name is written, are mismatched. Recent developments in mathematical modeling of Stroop performance (Eidels et al., 2010) have invited similar analysis of its performance in Sz.
Here we extend previous modeling of Sz cognitive functioning to that on this widely used task. Altogether, we examine if previous formal modeling of Sz cognition also characterizes their Stroop performance. We bring results of Eidels et al. (2010) to bear on findings for the current groups of Sz participants and controls [those with major depressive disorder (MDD) and healthy controls (HC)]. We use a typical clinicalscience Stroop paradigm, but one that is extended in light of mathematical Systems Factorial Technology (Eidels et al., 2010). We also examine whether neurocircuitry over-connectivity and its diversion away from encoding-intensive sites in Sz are seen with the present analytically-modeled Stroop task.

Mathematically Modeled Cognitive Deviation in Sz
Experimental cognitive paradigms, such as those addressing memory and visual search (late-and early-target paradigms; Townsend and Ashby, 1983), have been used to triage processes that are disorder-affected 1 . Convergent experimental evidence and accompanying modeling have implicated stimulus encoding as a Sz-affected process, potentially adversely affecting other processes for which encoding is necessary. Stimulus encoding refers to the conversion of presenting stimulation, such as an alphanumeric probe of a memory-search task, into a cognitive format entering into collateral processes, such as scanning for the probe's presence in a set of previously memorized alphanumeric items (e.g., through memorial template matching). Experimental isolation of this process, and its elongation in Sz, has exploited 1 A review of mathematical modeling of schizophrenia cognition, along with distinctions among analytical (mathematical), computational (with an emphasis on computer simulation), and statistical modeling in clinical science, are available in Neufeld (2015). divergent paradigms (reviewed in Neufeld, 2007a;Neufeld et al., 2010). Symptom significance of this source of cognitive deficit also has been formally explored (e.g., Neufeld et al., 1993;Neufeld, 2007a).
Sources of Sz encoding elongation have been examined using parametric stochastic models (e.g., Neufeld et al., 1993). Modeling results have reliably indicated that the speed of transacting constituent encoding operations (i.e., encoding subprocesses, such as implementing individual alphanumeric features) is spared; the number of subprocesses undertaken, however, is increased. By this account, cognitive workload capacity at the subprocess level is preserved, but efficiency of its deployment has suffered. Using a race horse analogy, running speed is unaffected, but running takes place closer to the outside rail, demanding more strides to complete the extra distance.
Possible contributors to added subprocesses (enumerated in Neufeld et al., 2010) include, for example, initial preparatory activity, that ramps up, or primes the encoding apparatus; Bluhm et al. (2007) have documented abnormal restingstate, intrinsic-network neural circuitry in Sz, a finding compatible with potential stalling of resource recruitment to the service of encoding. Williamson and Allman (2012), moreover, cite evidence for reduced suppression of the default network, potentially exacerbating task-network activation.
The above combination of spared and affected encodingprocess parameters can be expressed in selected stochastic latency distributions. One such distribution is the Erlang (e.g., Evans et al., 2000). Its density function is f (t) is with mean E (t) Erlang = k ′ v and variance, where the shape parameter, k ′ , represents the number of subprocesses, and the scale parameter, v, represents their rate of completion. The diagnostic status of Sz is associated with increased k ′ , but no difference in v. Support for this parametric account has converged from several paradigms and model variants (reviewed in Neufeld et al., 2007aNeufeld et al., , 2010. The additional-subprocess account has also been extended (elsewhere) to mixture-model structures, providing for individual differences in values of the above parameters (e.g., Neufeld et al., 2010). For example, mixing the parameter k ′ on a Poisson distribution with parameter m, and mixing the rate parameter, v, on a gamma distribution, with scale and shape parameters r and k, produces a density function, f (t) Mixture;Poisson, m(k ′ ); Erlang, r, k(v)  Here, the sole parameter to change with the occurrence of Sz diagnostic status is that of m, whose increase moves the distribution of k ′ upward. A further mixture-this time of m via gamma R,K. , allowing for individual differences in a Poisson process that randomly distributes k ′ over trials of individual performance (e.g., Neufeld et al., 2007b; see also Busemeyer and Diederich, 2010, pp. 169-170)-also accommodates an account of increased subprocesses with intact subprocess-level processing rate. It too accords with empirical-performance patterns of task encoding demands, and diagnostic status 2 .
The expression of Sz encoding performance as an elevation in subprocesses with intact speed of subprocess execution is expected to extend to Stroop performance. The Stroop task is considered to be encoding intensive in its requirements for extracting task-prescribed properties from a stimulus complex, and more so when a color word and the ink in which it is written are incongruent. This condition demands the segregation of imperative from detracting stimulus features. If subprocess incrementation is the agent of increased latency, modeling Sz performance by releasing the subprocess parameter but fixing the subprocess-rate parameter (or their mixing distributions), across groups, should fit empirical performance data. Furthermore, diagnostic specifically of increased subprocesses, changes in the additivity of performance latency should be observed with increased encoding load (word-color incongruency) and the entry of Sz diagnostic status.
2 An additional mixture model, incorporating geometric and gamma distributions, with similar accommodation of performance patterns tied to incremental subprocesses, has been developed by Cutler (2015) and Cutler and Neufeld (2015).

Neuroconnectivity of Sz Deviations in Stimulus Encoding
Abnormalities in fMRI-monitored neuro-activation during stimulus encoding have centered on the anterior cingulate cortex (ACC). Relative to controls, the pattern of activation in Sz has consisted of more diffuse, less ACC-channeled responding (Boksman et al., 2005;Neufeld et al., 2010;Ungar et al., 2010). Less ACC activation and more widespread co-activation at less ACC-proximal locations, has indicated diversion away from normal encoding-intensive sites. Encodingrich tasks, or task segments, have involved the summoning of lexical associations to presented consonants (Word-Fluency task; Boksman et al., 2005); Stroop performance (Ungar et al., 2010); and encoding probe items, for memorial comparison to a set of memorized items (memory-search task; Neufeld et al., 2010).
The link between stimulus encoding and less ACCcentered neuro-activation has been relatively robust across Sz-groups-extending to first-episode, never-treated participants (Boksman et al., 2005). It furthermore has been associated with subtle dynamical differences in 7.0 Tesla measured ACC glutamatergic activity occurring to repeated blocks of Stroop-performance and rest periods (Taylor et al., 2015). For example, healthy controls have generated increased glutamate but not glutamine upon an initial block of randomized Stroop conditions, the opposite increase occurring for Sz participants.

Overview
The Stroop task was performed during Blood Oxygenation Level Dependent (BOLD) neuro-imaging of functional activation at 7.0 Tesla for Sz, MDD, and HC participant groups. The Stroop paradigm combined selected conditions typically used in clinical studies (e.g., Perlstein et al., 1998), elaborated upon in light of Systems Factorial Technology (SFT; Townsend and Nozawa, 1995), as applied to analysis of Stroop performance (Eidels et al., 2010). Clinical science studies often include three conditions: the naming of the ink in which a word corresponding with the color is written (e.g., "green" written in green ink; congruent condition); the naming of the ink color in which a differentcolor word is written (e.g., "red" written in green; incongruent condition); and the reading of a non-color word, written in a color (e.g., "sheep" written in green; neutral condition).
Three conditions of the present paradigm required participants to name the color of the ink in which a colorword was written. In the congruent condition, the word and ink-color matched, and in the incongruent condition, they mismatched. In a third condition, the color of a color-patch, consisting of a row of 5 "x's, " was to be named (color only). A fourth condition (word only; red, green, blue, or yellow) required the reading of a word printed in white against a black background.

Participants
There were 16 participants in the Sz and each of the control (HC and MDD) groups who gave informed written consent according to local Ethics Board Approval Guidelines. Prospective volunteers with neurological or major medical illnesses, clinically significant head injury, other psychiatric disorders, MRI contraindications, or substance abuse within the previous year were excluded from the study. Any healthy volunteer with a known family history of psychiatric disorder in a first or second degree relative was also excluded. A Stroop-task recording failure for one of the Sz participants reduced to 15 the number contributing to the cognitive-behavioral analysis for that group. The fMRI analyses, however, were applied to data from the original 16 Sz participants, on the reasonable assumption (supported below) that results from the remaining 15 participants nevertheless would generalize.
A consensus diagnosis was established on all participants by a psychiatrist and trained assistant with the Structured Clinical Interview for DSM-IV (First et al., 1997). Sz subjects were rated with the Scale for Assessment of Negative Symptoms and the Scale for the Assessment of Positive Symptoms (Andreasen, 1984a,b) and MDD patients were assessed with the Montgomery Asberg Depression Scale (Montgomery and Asberg, 1979) and the Young Mania Rating Scale (Young et al., 1978). Thirteen Sz patients were receiving atypical neuroleptics with Chlorpromazine Equivalent 426 ± 299 mg (2 taking olanzapine; quetiapine/venlafaxine; 2 taking risperidone; quetiapine/paliperidone/escitalopram; 4 taking paliperidone; clozapine; risperidone/escitalopram; quetiapine/escitalopram); and 2 patients were not medicated. Ten of the 16 MDD patients were receiving antidepressant medications at the time of the scan (bupropion/citalopram/ methylphenidate; venlafaxine; lamotrigine; desvenlafaxine; bupropion/citalopram; escitalopram; citalopram; sertraline; citalopram/mirtazapine/quetiapine; levothyroxine/melatonin). While it is possible that some of the medications will affect glutamatergic function, the actual functions of many of the above prescribed medications is unknown. Demographic information including age, handedness, education, parental education, clinical rating scores, and length of illness were collected in accordance with methods described in our previous study (Aoyama et al., 2011) and are shown in Table 1.

Stroop Task
The stimuli (described above) were presented for 2 s and the subjects were asked to respond as quickly and accurately as possible within this time frame. A trial began with 1 s of cross fixation ("+") in the center of the screen. All visuals were presented with a black background. Every participant practiced outside the scanner until they achieved 80% correct responses. Participants then underwent an MRI protocol that consisted of a total of 8 min of the Stroop Task activity for the purpose of examining glutamatergic activity in the ACC (Taylor et al., 2015). The participants were then removed from the MRI scanner for a 30 min break before re-entering to complete the fMRI component (providing the current functional connectivity analysis), which consisted of nine, 1-min blocks whose trials cycled between cross fixation and Stroop-Task presentations, for a total of 4 min of Stroop activation during the fMRI. A total of 80 Stroop stimuli were presented, twenty from each condition (i.e., congruent, incongruent, word-only, and color-only) presented pseudo-randomly throughout the session (consistent order between participants). The paradigm was written and presented using PsychoPy (Peirce, 2007).

MRI Signal Acquisition and Pre-processing
All data was acquired on a 7.0 Tesla Agilent/Magnex headonly MRI (Agilent, Inc., Walnut Creek, California, USA) with a Siemens AC84 head gradient coil (Siemens, Erlangen, Germany), located at the Center for Functional and Metabolic Mapping at the University of Western Ontario's Robarts Research Institute. A transmit-only/receive-only head coil with 15 transmitters and 23 receivers and a built in mirror was used for all scans (Gilbert et al., 2011). A transmit-field shimming approach facilitated optimized homogeneity of the transmit field for each scan (Curtis et al., 2012). The magnetic field uniformity was adjusted automatically using RASTAMAP (Klassen and Menon, 2004). The fMRI volumes were localized using anatomical MRI images acquired with fast low-angle shot 2D (FLASH2D) images [5 slices, repetition time (TR) = 6.3 ms, echo time (TE) = 3.5 ms, flip-angle = 11 • , gap between slices = 1 mm, thickness = 2 mm, field-of-view = 30 × 30 cm, matrix size = 128 × 128] in each of the sagittal, transverse, and coronal orientations. The fMRI images were then acquired using an echo-planar imaging (EPI) sequence (45 slices, interleaved sliced order, repetition time (TR) = 3 s, echo time (TE) = 18 ms, flip-angle = 90 • , gap between slices = 0.2 mm, thickness = 2 mm, field-of-view = 22 × 22 cm, matrix size = 110 × 110, GRAPPA = 3, 4 steady state scans), angled to the AP line and aligned with the top of the brain. Functional and anatomical data were preprocessed using Statistical Parametric Mapping 8 (SPM8, Wellcome Trust Centre for Neuroimaging, London, UK) implemented in MATLAB R2013a (Mathworks Inc., Sherborn, MA, USA). Individual functional images were corrected for motion by realignment to the first volume of the session. All images were spatially normalized (2 × 2 × 2 mm) to an EPI template in MNI space and spatially smoothed with a 6 mm full width at half maximum (FWHM) isotropic Gaussian kernel.

Connectivity Estimation and Statistical Criteria
Statistical analysis proceeded in four steps. In a first-level analysis, pre-processed fMRI data from each individual participant were entered in a voxel-wise general linear model with design matrices derived from the individualized instance of the Stroop paradigm (i.e., epoch-related regressors). In the second step of this firstlevel analysis, participant data obtained in the first step was entered in a full-factorial design with a between-participant factor of group (3 levels: HC, Sz, MDD) and a within-participant factor of stimulus encoding load (2 levels: Low, High; stipulated below). This step was used to identify brain regions activated during transaction of the Stroop task common to all groups and all stimulus encoding loads. In a third step, a secondlevel analysis used the maximally-activated clusters obtained in the previous step as seed regions of a functional connectivity analysis. Specifically, we identified regions with significant psychophysiological interactions (PPI) with the seed regions (Friston et al., 1997). The seed region's activity time-course was obtained by spatially averaging the activity of all imaging voxels within a sphere of 10 mm radius centered on the coordinates of the maximally activated voxel within the selected cluster at each time point. The results of this analysis represent regions whose BOLD fMRI time course of activity significantly covaried with the activity of the seed region during performance of the Stroop task, relative to the baseline conditions (cross fixation). These regions are said to be functionally connected to the seed region for the explicit purpose of Stroop task transaction.
Note that, for the purpose of the fMRI analysis, two stimulus encoding conditions-low and high-were constructed as follows. The high encoding load consisted of the color-word incongruent condition, for all groups. The low encoding load for the HC and MDD groups comprised an amalgamation of the color-word congruent and color-only conditions, and that for the Sz group comprised an amalgamation of the color-only and word-only conditions (elaborated upon below; Section Data Properties Narrowing Model Selection). In a final step, the results of the PPI analysis were entered in a second-level full factorial design with group as a between subject factor and encoding load as a within-subject factor, to identify brain regions connected to the seed region in a group-and load-specific manner.
To distinguish common protuberant regions of functional activation (second step of our analysis), we adopted a whole-brain family-wise error (FWE) rate of 0.05. To balance Type-I error protection against false negatives in our functional-connectivity analysis (third step, above), our SPM t-maps were thresholded at p < 0.001 (voxel-level) with minimal cluster size k = 10 (Lieberman and Cunningham, 2009; see also, Ahn et al., 2011). Our SPM8 analysis used a within-cell error term (df = 90) throughout, with its potential increase in Type-I error protection for all contrasts involving the High-Low encoding-load factor (Kirk, 2013, chapters 10, 12).

Cognitive-Behavioral Data Organization and Analytical Methods
Means and inter-trial variances for responses within the 2 s trialtime window were computed and adjusted for movement time. A value of 0.160 s was subtracted from the means, and (0.036 s) 2 was subtracted from inter-trial variances (Woodworth and Schlossberg, 1954;Townsend, 1984; cf. endnote 4 of Townsend and Wenger, 2004).
Because trial numbers had to accommodate reasonable demands on clinical participants performing in an MRI environment, it was necessary to aggregate data across participants, while avoiding the conflation of systematic individual differences (Estes, 1956;Neufeld and Gardner, 1990). As previously done in clinical cognitive science, significant heterogeneity could be accommodated through mixture-model structures, allowing for inter-participant differences in model properties (e.g., Batchelder, 1998Batchelder, , 2007Riefer et al., 2002). With relative homogeneity of performance, on the other hand, a group could be represented as a homogeneous participant according to the data centroid (e.g., Townsend, 1984;Carter and Neufeld, 1999;Neufeld et al., 2007b).
Tacks to modeling comprised a combination of parametric and nonparametric methods. Estimation of mixture-model hyper-parameters and tests of empirical fit for the current candidate architectures have been described elsewhere (Neufeld et al., , 2010. Alternatively, given contraindication of systematic individual differences, parameter estimates for candidate architectures were directly available through the method of moments (moment matching; e.g., Evans et al., 2000). Numerical simulation indicated that moment-matching estimates equalled those of maximum likelihood, within a constant of proportionality. Estimates also agreed with those from direct solutions, where manageable subsets of predictions were equated to corresponding empirical values, followed by solving simultaneously (moment fitting).
Testing of model predictions against observed latencies, and mean inter-trial variances, used the following ANOVA-based χ 2 formats (Snodgrass and Townsend, 1980;Carter and Neufeld, 1999;see, Kirk, 2013). The first was with df = W − (number of parameter estimates), where W is the total number of combinations of groups and performance conditions contributing to model-predicted empirical values. Here, the term χ observed w is either the wth empirical-sample mean latency, or inter-trial-latency variance; µ model−predicted w is the corresponding modeled mean, or inter-trial variance; and σ 2 model−predicted w is the model-prescribed variance of the sample mean or inter-trial variance. In the case of mean latency, σ 2 model−predicted w becomes (model-predicted inter-trial variance w )/q w , where q w is the number of task trials making up χ observed w . Where χ observed w consists of inter-trial variance, Division is by q w rather than q w -1 because maximum-likelihood estimates were used for sample estimates (e.g., Evans et al., 2000). It is assumed that sample values are normally distributed, which is defensible in view of the Central Limit Theorem.
A second version of χ 2 was Here, the individual latencies χ iw observed in the double summation are less likely to be normally distributed. In actual testing, both Equations (1) and (2) nevertheless had to agree on tenability of model fit. Essentially, Equations (1) and (2) address the degree to which the proposed model specifies a population whose summary statistics are coherent with empirical values. Results from these equations also agreed with those from selected applications of multinomial-likelihood G 2 (≈ χ 2 ), and Pearson χ 2 applied to proportions of responses binned into 5 equally-spaced latency intervals (exemplified below).

Participant Characteristics
Significant differences occurred with respect to participant education, but not parental education (parent with the higher education-level; Table 1). Although the proportion of males in neither the Sz nor the MDD group differed significantly from that of the HC group, p > 0.10, the two patient groups differed significantly from each other, χ 2 (1) = 7.429, p = 0.0064. Overall, however, males responded significantly faster than females, t (141) = 3.8862, p < 0.001, partial η 2 = 0.269. Any effect of sex differences on response latency therefore would be in the direction of increased speed in the Sz group. Note, as well, that individuals with Sz, especially those with paranoid symptomatology (all but 3 of the present sample) tend more often to be male. The ratio of female to male prevalence rates for MDD, in turn is 1.64 (Romans et al., 2007). Eliminating such (intrinsic) group differences risks the introduction of other, more intractable issues of interpretation (e.g., Cochran, 1957;Evans and Anastasio, 1968;Meehl, 1971).
There were no significant correlations between Chlorpromazine (CPZ) daily-dosage equivalents (mg. per day) and any of the performance variables (e.g., r CPZ, all response latencies = −0.179, p = 0.522).

Data Overview
Results from analyses of all latency responses, and those from analyses of correct-only responses were highly similar throughout, and analyses of correct-only responses yielded no additional information (proportion correct generally exceeded 0.90, and in no case were there significant group differences on proportion correct). Therefore, only results based on all responses are reported (cf. Link, 1982). Table 2 presents adjusted latency means and inter-trial variances, in each case along with corresponding inter-participant standard deviations-taking into account all responses occurring inside the 2-s trial intervals. Also listed are the percent of correct trials and their inter-participant standard deviations. Table 3 presents latency means and inter-trial variances, along with inter-participant standard deviations, but for correct responses only.
Note that mean latencies reported in Tables 2, 3 were computed directly from all values, rather than as the average of participant-wise means. Data ensembles from individual participants therefore de facto were weighted according to their numbers of valid observations. Likewise, inter-trial variances were computed as the sum of squared deviations from the grand mean, above, of all observations in the group-condition combination, divided by the total number in that combination (maximum-likelihood estimate; e.g., Evans et al., 2000). Like mean latency values, individual participants' data ensembles were consequently weighted according to their numbers of valid observations. Although such variance estimates included between-participant variance in mean latencies, they were logically coherent with a homogeneous-participant approach to data treatment (further elaborated upon, below; Section Within-Group Performance Homogeneity), including relative homogeneity of mean latencies.
One HC participant reported having accidentally reversed green and yellow response buttons during the experimental trials (despite meeting the 80% correct criterion on practice trials). Values for percent correct, and their standard deviations, with this participant excluded, are presented in the last two columns of Table 2. It was decided to retain this individual's latency data throughout, because apart from the response-button reversal, Stroop-item processing of principle interest was deemed to have occurred. Again, results from analyses of all responses within the 2-s trial time interval, and those from correct responses only, essentially were interchangeable.

Within-group Performance Homogeneity
It was first examined as to whether mean latencies and inter-trial variances, across participants within groups, tenably emanated from a single population, according to conformity to an hypothesized normal distribution. To this end, Kolmogorov-Smirnov (Lillifors corrected) and Shapiro-Wilks tests were applied (as done, e.g., in Neufeld et al., 2010). None of these 24 tests-4 Stroop conditions per group, on each of the above quantities-were significant, despite appreciable statistical power (Wilcox, 1997).  With performance data tenably emanating from a single population per group, questions remain regarding relative homogeneity of inter-participant performance within each group. This possibility was initially examined according to coefficients of variation (c of v). Results generally did not indicate any over-dispersion that would signal systematic individual differences in model operation (see, e.g., Batchelder and Riefer, 2007). For example, the c of v calculated on the inter-participant standard deviation, pooled across conditions and groups, divided by the grand mean was 0.1518. This value was significantly lower than that of a provisional benchmark of 0.297 for mixture-model status of response latencies (Neufeld et al.,  = 3.27, p = 0.9977. An additional assessment of performance data, for evidence of inter-participant heterogeneity in model operation, appropriated a version of coefficient alpha that addressed homogeneity of response proportions over the 5 bins of adjusted-latency intervals (2 s divided into 0.4 s segments). This version of coefficient alpha was 1 − (Mean-square participants × bins /Meansquare bins ) (e.g., Neufeld and McCarty, 1994). Homogeneity of values was supported according to an overall mean value, taken across conditions and groups, of 0.985. Similar support was obtained according to computations of the proportion of variance accounted for by the bins in each group's bins × participant layout (cf. Schmitt, 1996). Note that a χ 2 test on the bin-by-participant frequencies was contraindicated by sparseness of some individuals' cell frequencies (Delucchi, 1993;Tollenaar and Mooijaart, 2003). Altogether, these preliminary analyses indicated that group centroids were not unrepresentative of data configurations for the separate participants.

Data Properties Narrowing Model Selection
Given the uniform temporal properties of responding, attention is turned to the stochastic cognitive modeling of performance and its accounting for differences across groups. With a tenable stochastic model in hand, cognitive-process dynamics are poised for projection onto those of neuro-connectivity monitored during task trials.
Examination of the pattern of latencies in Table 2 discloses marked similarities and differences in values across groups and conditions. Mean latencies for the color-only and congruent conditions were highly similar, for both the HC and MDD groups (2-tailed p's ≥ 0.455). In the case of the Sz group, those for the color-only and word-only conditions were nearly identical (2-tailed p = 0.981).
Also apparent was the similarity in differences between the color-only (≈congruent) and incongruent condition means for the HC group, and that between the color-only (≈wordonly) and incongruent means for the Sz group. When the HC color-only and congruent means were amalgamated, and the Sz color-only and word-only means were amalgamated, the group difference in the contrast for the incongruent condition (i.e., the 2nd-order difference) was only 0.00633, t (Huynh-Feldt-epsilon-corrected df = 124) = 0.24011, p = 0.798, 2tailed. Therefore, although these groups differed significantly from each other in their latency values (e.g., 2-tailed p = 0.039 and 0.012 for the incongruent and color-only conditions), and differences between the incongruent and other conditions were highly significant throughout (2-tailed p = 0.003), the effects on latency of HC-Sz group status, and higher (incongruent condition)-vs. lower-encoding load (color only ≈ congruent HC ; color only ≈ word only Sz ), were highly additive. Such additivity shrinks considerably the set of eligible model structures and parameter changes across groups.
The equivalent latency of color-only and word-only conditions was unique to the Sz group. Note that this result was not observed in the earlier session on fMRS, where 40 trials had been performed under each Stroop condition (Taylor et al., 2015). The present equivalence therefore was specific to the Sz group in the second session of task performance.
Also unique to the Sz group was a seeming reduction in latency under the congruent condition, relative to the coloronly (≈word-only) condition. A more pronounced congruentcondition facilitation effect for Sz participants has been previously indicated in the literature on their Stroop performance (e.g., Perlstein et al., 1998). In SFT terms, "target-redundancy gain" under the congruent condition may have specially benefited the Sz group. Stochastic mechanisms endowing redundancy gain include "statistical advantage, " occurring to an independent parallel-channel architecture (see e.g., Townsend et al., 2007;Khodadadi and Townsend, 2015); transition to a highly efficient capacity-workload architecture, (notably a co-active parallelchannel structure, e.g., Townsend et al., 2007); or a structure with cross-channel facilitation (e.g., Johnson et al., 2010, their Equation A.1.1, Box II); or possibly transition to a Gestalt-model structure (Townsend and Ashby, 1983, chapter 13;Snodgrass and Townsend, 1980). Certain inter-condition differences in latency means were in keeping with such possibilities. Specifically, unlike the HC group, with little evidence of redundancy gain, the Sz group displayed significantly lower latencies under the congruent condition than under their color-only≈wordonly conditions (2-tailed p = 0.037). The second-order difference (mean color-only-word-only amalgam − mean congruent ) Sz − (mean color only − mean congruent ) HC , however, fell short of significance, t (124) = 1.3413, p = 0.0911, one-tailed. This marginal evidence from mean latencies for Sz-specific congruency facilitation nevertheless is formally probed (below), in terms of estimated differences in the presence of redundancy-gain mechanisms. Table 2 is a more pronounced coloronly-incongruent latency difference for the MDD group (0.24 s) than for the HC or Sz groups (0.18 s). The test on the second-order difference, (mean color-only-congruent amalgam − mean incongruent ) MDD − (mean color-only-congruent amalgam − mean incongruent ) HC , t (Huynh-Feldt corrected df = 124) = 2.486, p = 0.0143, dz = 0.507, signaled a possible disproportionate MDD cognitive workload-capacity reduction. Across-channel (colorword) impedance may have occurred in the MDD processing system operative during their incongruent trials. The MDD group's performance data is also evaluated, expressly for this possibility, below.

Mean Diagnostics
Focusing initially on the Sz and HC groups, the preliminary analysis on latency data, above, was mean diagnostic of eligible models. Candidate model structures and parameter changes were required to generate additive effects on mean latencies of elevation in encoding load-transition from color-only, and its congruent or word-only equivalent, to the incongruent condition-and Sz diagnostic status. This additivity corresponds to the associated near-zero second-order difference (0.00633), above.
A model generating mean additivity with increased encoding load and Sz clinical diagnosis is the Erlang distribution, above. With mean k ′ /v, k ′ being the number of constituent processing operations (subprocesses), and v their rate of dispatch (subprocess-level capacity), elevation in k ′ across encoding load and Sz diagnosis produces the requisite mean additivity.
Other structures (reviewed in Neufeld et al., 2010) also produce the requisite configuration of latency means. One such structure is the Independent Parallel Moderately Limited Capacity structure (IPMLC; Townsend and Ashby, 1983), whose E(T) is Another, is a parallel structure with unlimited capacity during completion of the first subprocess, followed by a decline and then partial recovery-known as the First-Stage Unlimited Capacity Parallel model (FSUCP; Neufeld et al., 2010;originating with Townsend, 1984). For this model, E(T) is . These expectations emanate from density functions f (t) that are instances of the General Gamma distribution (McGill and Gibbon, 1965). The density function of the General Gamma distribution is and c i is the exponential-distribution rate parameter for the ith stage of processing, i = 1.2, . . . k ′ . For the IPMLC model, c i is and for the FSUC model, c i is .
Each of the above candidates is considered further in the next section.

Inter-Trial Variance Considerations
Like latency means, inter-trial variances in principle can contribute to the selection of eligible model structures and their parameter changes across experimental factors. For example, inter-trial variance of the Erlang distribution is k ′ /v 2 , which, again, increases linearly with an increase in k ′ . The variance of the FSUCP model is which to all intents and purposes is also linear on k ′ . That for the IPMLC model is , which accelerates on k ′ . A difficulty with the diagnostic significance of inter-trial variances, and those of higher-order moments, is the instability of their empirical estimates [e.g., Ratcliff, 1979; consider the modelpredicted variances of empirical means vs. those of inter-trial variances of Equation (1), above].
To illustrate, using the mean and inter-participant standard deviation averaged across all groups and conditions, the c of v for the mean latency (0.1585) was almost ¼ that of the variances (0.5935). Likewise, taken as a representative surrogate for population values the mean and inter-trial variance of the HC group under the incongruent condition, the c of v for the sample mean latencies (0.081479) once again was roughly ¼ that of the variances (0.32444).
With these qualifications in mind, sample variances somewhat decelerated opposite to theoretical variances of the IPMLC model when supposing a progressive increase in k ′ with greater encoding load and Sz group membership. The linear increases in variances of the Erlang and FSUCP structures at minimum were not opposite to the sample values' second-order difference for encoding-condition and diagnostic groups.
The empirical variances' relative instability presents a challenge to models in which variances figure into parameter estimation and tests of empirical fit. On balance, the Erlang distribution was selected as the structure to be tested for empirical fit given the random departure of sample variances from model linearity on k ′ , and considering its straightforward composition. Although this selection was spawned by the Sz and HC groups' performance data, in the interests of parsimony, it was also tested against data of the MDD group.

Hazard-Function Considerations
Note that the Erlang distribution's hazard function h(t) = f (t)/S(t), f (t) being the density function and S(t) the survivor function, increases monotonically over t. Here, the density function is that stated in Section Mathematically Modeled Cognitive Deviation in Sz, and the survivor function is Empirical estimates of h(t), however, have been non-monotonic, first increasing, then decreasing over t (Bloxom, 1984(Bloxom, , 1985Luce, 1986). Note that latency aggregates, such as those emphasized in the current work, nevertheless can be functions of h(t), with values of these functions themselves being similar for monotonic and non-monotonic shapes. For example, S(t), a function that bears directly on the binning of proportions of empirical latencies according to intervals of t, can be expressed for any continuous distribution as Simulation of S(t)'s from monotonic and non-monotonic h(t)'sthe latter created via probability mixtures (Barlow and Proschan, 1975)-shows that their trajectories across t can essentially converge.
Observe, as well, that the nth moment E(T n ) is equal to Inferences from S(t) and E(T n ) generated by monotonic h(t)'s, as opposed to certain non-monotonic extensions, therefore, are arguably not imperiled given acceptable model fit at this level of analysis.

Parameter Estimation and Tests of Empirical Fit
Results of parameter estimation and tests of empirical fit were similar for the Sz and HC groups whether considered separately or alongside the MDD group. For brevity, therefore, we report those for all three groups taken together.
Parameter estimation commenced with moment-matching solutions for the subprocess-rate parameter, v, separately at each combination of group and encoding-load condition (e.g., Evans et al., 2000). For all three groups, higher encoding-load was represented by the incongruent condition; again, the color-only and congruent conditions were amalgamated as low-encoding load for the HC and MDD groups, and likewise the color-only and word-only conditions for the Sz group. These estimates of v were then simply averaged, with the resulting value provisionally fixed for all groups. Subprocess number k ′ was estimated using the mean and inter-trial variance, for each group and encoding load. The estimates were then, in turn, averaged at each groupencoding-load combination, and fixed at those combinations. The parameter v was subsequently re-estimated at each of these combinations, with its overall mean in turn being fixed for all groups. As estimates essentially converged at this point, they were retained for subsequent tests of empirical fit.
Parameter estimates were 12.0698 for v. The estimate of k ′ for the HC group was 7. This value was incremented for all three groups under the incongruent condition by an estimated constant h = 3. The added subprocess-number for the Sz group was g = 2, and that for the MDD group was g ′ = 1. Estimated subprocesses thus ranged from k ′ = 7 to k ′ + h + g = 12.

Formal Analysis of Possible Sz Word-Color Congruency Facilitation
The possible Sz-specific performance facilitation under the congruent word-color condition was examined using a combination of parametric and distribution-general (SFT) strategies. Mechanisms of stochastic-model structures that are potentially responsible for congruency facilitation are those of redundancy gain, occurring when multiple targets are co-present on a given trial. Both the word and color can be considered candidate stimulus features to the extent that reporting either one is an eligible response, as is the case for their solo appearance. In this way, the congruent condition potentially qualifies as a double target relative to the wordonly and color-only conditions 3 . Candidate mechanisms of redundancy gain include the following: statistical advantage accompanying the operation of an independent (regular) parallel model, with unlimited processing-channel capacity (UCIP  model); transition to a highly efficient, super workload-capacity structure, (notably represented by co-active, or cross-channel facilitative parallel structures); and transition to a Gestaltmodel structure. Each of these possibilities now is taken up in turn.

Statistical Advantage, Super-Capacity, and Related Model Structures
Statistical advantage occurs in a redundant-target condition when two independent target-processing channels sum their workload capacity together toward attaining a single sufficient completion. Statistical advantage can be quantified as the sum of the individual channels' integrated hazard functions in view of the equality S (t) = e − t 0 h(t ′ )dt ′ . This sum is also expressed as, "the Capacity Index for color, added to the Capacity Index for word, " denoted CI color + CI word. The Capacity Index for the double target condition, in turn, is denoted CI color, word .
Capacity properties of the processing system can be assessed according to the SFT's Capacity-OR-Coefficient, C OR T ≡ CI color,word CI color + CI word , (Townsend and Nozawa, 1995).
Statistical advantage, a property of the UCIP model structure, is identified as a C OR T value of 1.0. In line with the expressions, above, this value indicates that channel processing-capacity is unaffected when channels are added to the processing system. Values of C OR T exceeding 1.0 imply system super-capacity, and those less than 1.0 signify limited capacity. Super-capacity occurs when channel-level processing speed actually increases with additional channels, or when a highly efficient system architecture is operative. In contrast, limited capacity occurs when channel-level speed diminishes with additional channels. As a special case, capacity is said to be "fixed" if singletarget values are spread across target-processing channels in a redundant-target condition. The C OR T of a fixed, limitedchannel system is 0.5. As a possible agent of congruency facilitation, super-capacity can take place with highly efficient processing structures. In the case of a co-active parallel structure applied to redundant targets, the signals (aligned, e.g., with subprocess completions) of each independent processing channel are pooled with those of the other channel-as tributaries to a common conduit-with the trial being finalized when the required complement is reached. A cross-channel facilitative super-capacity system, on the other hand, terminates when completions of one or the other targetprocessing channel reaches a criterial level. The channels in this case are not independent; for instance, either or both channels can share their completed elements (e.g., subprocesses) with the other, boosting the recipient's progress toward the requisite amount.
We first test for Sz congruency facilitation through a parametric UCIP structure, specifically a simultaneous Erlang system. Other facilitation mechanisms then are briefly considered, followed by the application of distribution-general assessments of system capacity. The latter include C OR T, and related indexes known as the Race-Model Inequality (RMI) and Grice Inequality (GI; see, e.g., Eidels et al., 2010).

Unlimited-Capacity, Independent Parallel Process
The simultaneous Poisson process can be used as a parametric expression of an unlimited-capacity, independent parallel architecture (e.g., Townsend, 1984; cf. clinical-science implementations of Carter and Neufeld, 1999). Its distribution analytically provides mean latencies and inter-trial variances of redundant-target trials. It was conjectured that channels of color-only and word-only single-target presentations would simultaneously be operative during redundant-target trials. Because their latencies were nearly identical, color-only and word-only values again were amalgamated for parameter estimation. These estimates were now derived specifically from the Sz data. The value of v was 10.00076, and that of k ′ + g was 7, the Sz-isolated values each being correspondingly lower than their counterparts in the 3-group analysis. These parameter values were assigned to each of the simultaneous processes.
The predicted mean for the congruent word-color condition was Expressed here is Pr(color-channel first-completion) E(T|colorchannel first-completion) + Pr(word-channel first-completion) E(T|word-channel first-completion); Equation (3) shows that the terms of the left-and right-hand side of this summation are assumed to be identical. By similar reasoning, the predicted variance was In Equation (4), each conditional expectation of T 2 is weighted by the probability of the condition (color first or word first), and summed; subtraction of the squared value of the predicted mean yields the predicted variance. This model seriously under-predicted observations. The predicted mean was 0.553327, vs. the observed 0.664508, and the predicted variance was 0.03383, vs. the observed 0.079147. For Equation (1), the obtained χ 2 (2) was 17.939, and for Equation (2), the χ 2 (20) was 49.791, p → 0 in each case. Considering the failure of predictions even at the level of statistical advantage, those of a super-capacity variation can be dismissed out of hand.

Gestalt Parallel Model
In a Gestalt parallel model, redundant targets are merged into a single unit. An Erlang structure again was applied, with k ′ + g = 7. A unique Gestalt-rate value v g was estimated from the Sz color-word-congruent data itself by allowing the color and word targets to be combined into a single unit. As expected, this model's predictions closely fit the empirical data. They nevertheless did not fit better than the predictions that were constructed using parameter values estimated and imported from the Sz group's color-only (≈word only) data. The estimated value of v g was 9.96925, almost identical to the imported value of 10.00076.
The fit was similarly acceptable in each case. For example, Equation (2)'s Gestalt-model χ 2 (1) was 0.5633, p = 0.4599, and that for the color-only (≈word only) imported parameter values was χ 2 (2) = 0.52956, p = 0.7673. A tendered Gestalt model therefore did not improve predictions of the congruentcondition observations over those of the Erlang distribution using the Sz group's color-only (≈word-only) parameter values.
The tests of fit for the Erlang distribution importing the color-only (≈word-only) parameter values, using Equations (1) and (2), were augmented by binning response frequencies according to latency intervals (described in Section Within-Group Performance Homogeneity, above), and computing Pearson χ 2 and multinomial G 2 (≈ χ 2 ) values.
The imported parameter values' validity was also probed through parameter-sensitivity analysis. Departure from estimates led to marked elevation in the present statistics. For example, with v = 10.00076 (as estimated from the Sz group's color-only [≈word-only] data), and k ′ + g raised from 7 to 10, Pearson χ 2 (4) became 9.09, and G 2 (4) rose to 9.356.

Distribution-General Indexes
The Sz performance data was further assessed for possible congruent-condition facilitation according to distributiongeneral measures of system capacity. Three indexes were computed from the binned latency frequencies, described above. The race-model inequality (RMI) is stated as follows: where S(t) is the empirically-estimated survivor function at t. Inequality violations (negative values) indicate super-capacity. The GI, in turn is Violations indicate highly limited capacity. Values for these indexes, along with C OR T, are presented for the Sz and HC groups in Table 4. Changes over intervals of t resemble those reported by Eidels et al. (2010). Values of RMI increased, and those of C OR T tended to decrease. In all, capacity dynamics of trial completion were roughly similar across these groups. There was no evidence of super-capacity for either group.
The index, C OR T nevertheless was lower than 1.0 throughout. The mean for the Sz group was 0.596, and that for the HC group was 0.670. Taken together, the GI and C OR T values indicate that for the HC group, single-channel processing, as expressed under the color-only condition, arguably was transferred to the colorword congruent condition. Considering the structure of C OR T, a value exceeding 0.5 would be expected for this group. Unlike the Sz group, targets were not strictly redundant, in that CI color > CI word was observed for each bin. For the Sz group, color or word single-channel processing, as expressed in their color-only ≈ word-only condition data, again is supported. The values of GI and C OR T together also indicate the possibility that system capacity was divided between the color and word channels in the congruent condition. This possibility is empirically equivalent to single-channel processing, given first-completion termination, and the requisite complement of subprocess completions.

Formal Analysis of Possible Disproportionate MDD Word-Color Incongruency Impairment
The possibility of disproportionate MDD impairment under the incongruent condition also was examined with a more finegrained analysis. Estimates of CI were computed separately for the MDD and HC groups under each bin for the color-only (≈congruent) and incongruent conditions ( Table 5).
Also presented in Table 5 are capacity ratios (Wenger and Townsend, 2000). Computations addressed intercondition ratios, CI incongruren /CI color-only ≈ congruent or CR incongruent/color-only ≈ congruent for each group. Inter-group ratios, CI MDD /CI HC (CR MDD/HC ), were computed separately for the color-only (≈congruent), and the color-word incongruent conditions.
The mean CR incongruent/color-only ≈ congruent for the MDD group was 0.5358, highly similar to that of the HC group's 0.5486, contraindicating a more pronounced MDD incongruity impairment. The mean CR MDD/HC for the color-only (≈congruent) condition was 0.8536, and that for the incongruent condition was 0.7719. Overall, the configuration of CI and CR values were not out of keeping with an Erlang structure, above, that has a single value of v; an incremented subprocess number attending higher encoding load, shared by both groups; and an incremented subprocess number with MDD diagnostic status, occurring to both encoding loads.

Performance Accuracy
Tests on group differences in performance accuracy were negative throughout (Section Data Overview). A more pronounced accuracy reduction under incongruent conditions among Sz participants (Sz impairment), however, has been obtained in selected studies (e.g., Perlstein et al., 1998). Such accuracy differences, where found, are interpretable within the present theoretical formulation of additional subprocesses. This account is presented in Appendix A.1. Performance Accuracy. Where significant accuracy differences have not been obtained, as in the present case, some investigators (e.g., Barch et al., 2004) have opted for so-called Process-Dissociation analysis of correct response proportions at various times t following trial onset (Lindsay and Jacoby, 1994). Using this analysis, group differences signifying Sz deficit purportedly have been revealed with respect to probabilities of color and word completions by a time t. It is questionable whether this analysis is coherent with the present developments, and indeed with analytical validity of the Process-Dissociation measurement model altogether. Taken up in Appendix A.2. Evaluation of Process-Dissociation Analysis, these issues contraindicate the use of this analysis in clinical cognitive science (or elsewhere).

Integration of Modeled Functional, and Hemodynamic Response Function Dynamics
We precede our presentation and discussion of our fMRI findings with an exposition of our model-based measurement strategy, emanating from the above developments. Cognitivetask performance dynamics, and those of the hrf (see Ashby, 2011), proceeds as follows. We first construct a model-informed representation of the dynamical trajectory of Stroop-item processing for each combination of encoding load and diagnostic group. Considered alongside are dynamical aspects of the hrf, as set against the model-estimated trajectories of Stroop-item processing. This combination, in turn, guides our selection of MRI-signal analysis-specifically Psychophysiological Interaction Analysis (Friston et al., 1997;SPM8, http://www. fil.ion.ucl.ac.uk/spm). Differences across encoding load and diagnostic groups in time-series covariance are addressed between a theoretically-specified "seed voxel, " and other (searched) voxels residing within an a-priori determined brain region. This form of MRI-signal treatment is considered advantageous in the present context, for reasons stated below.
When implementing the Erlang distribution (Sections Mathematically Modeled Cognitive Deviation in Sz; Candidate Model Structures; Parameter Estimation and Tests of Empirical Fit), the modeled probability of continued processing over t is its survivor function, S(t). Model values of S(t) for the three diagnostic groups, under the lower and higher encoding load conditions, are presented in Figures 3A,B. Superposed onto these S(t) trajectories is a modeled hrf [i.e., hrf(t)], along with its time derivative [d(hrf(t))/dt]. The latter are the 0-2 s segments extracted from the protracted hrf and its derivative, presented in Figure 3C. The juxtaposition of hrf(t), d(hrf(t))/dt, and S(t) contours indicate methods of choice for MRI data analysis in the present context.
Note first that that the time derivative of hrf(t) increases earlier than the hrf(t) signal itself. Note as well that the time-series covariance between a seed and searched voxel (C s,h;t ) exploits this increased temporal resolution. Consider the time derivatives of hrf-estimated seed-and searchedvoxel activation, d(hrf(t) s )/dt, and, d( the momentary change at t of the searched-voxel hrf to that of the seed-voxel hrf. To the degree that their non-linear relations to t align with each other, the linear covariance between hrf(t) h and hrf(t) s increases, and vice versa. Change in hrf contours elevate more quickly than the contours themselves, promoting the relatively early hrf-covariance estimation of seed-searched voxel association (Neufeld, 2012). More formally, the expectation of temporal change in the searched voxel to that in the seed voxel over a trial-wise measurement period T (=2 s), and w is an increasing function.
Bringing forward the estimation of neuro-connectivity, in principle, increases measurement sensitivity to neuro-circuitry associated with targeted processing by stochastically favoring the intersection of high intra-trial process likelihood S(t) and estimated voxel co-activation. This asset has been of demonstrable value in the context of rapid-processing paradigms in clinical cognitive neuroscience (e.g., Boksman et al., 2005;Neufeld et al., 2010). It squarely is coherent with the goal of selecting cognitive processes per se as the events of express interest in event-related fMRI.

Functional MRI Findings
As described in Section Connectivity Estimation and Statistical Criteria, we conducted a search for Stroop-activated regions common to all groups and encoding conditions in the second step of our functional connectivity analysis. Large clusters of significantly activated voxels were found mainly in the parietal lobes (bilaterally), in the dorsal ACC (bilaterally) and in the motor cortex (mostly left sided). Detailed cluster-wise results are presented in Table 6.
In the third step of the analysis, we recruited regions presented in Table 6 to conduct our functional connectivity analysis. Again, our focus is on connectivity and differential connectivity associated with our Sz and control groups and task encoding load, specifically for the seed region located in the dorsal ACC (Broadmann area 32). This area is of particular interest in the cognitive neuroscience of Sz, including that of Stroop performance (Taylor et al., 2015). Figure 4 presents a glass brain representation of the distribution of connectivity clusters for each group and encoding condition, along with directional encodingload differences within groups. Cluster details are presented in Table S1 of the online supplement. Figure 5 similarly presents the distribution of clusters for group differences under the more challenging high encoding load condition. Also presented are second-order contrasts, addressing patterns of between-group changes in encoding-load differences. Details of these latter contrasts are presented in Table S2 of the online supplement.

Stroop Modeling
A parsimonious account of Stroop-task performance comprises the operation of a single process (color-processing channel). This process is expressed as a parametric Erlang distribution having a single rate parameter, but whose subprocess parameter is incremented under word-color incongruent conditions and with the occurrence of clinical diagnostic status. Cognitiveworkload capacity, operationalized as the rate of subprocess transaction, is preserved with Sz, and MDD. Its deployment efficiency, however, is disorder-affected. This account agrees with previous formal modeling of Sz cognition (e.g., Neufeld et al., 2010). The present findings indicate a tenable extension of this parametric combination to MDD (the p-values for separate MDD  (Friston et al., 1998;Glover, 1999). (B) As in (A), except S(t) are for higher encoding load. (C) Modeled hrf(t), and its time derivative d(hrf(t))/dt, from t = 0 to t = 50 s, whose extracted 0-2 s segments are inserted into (A,B); hrf(t) and d(hrf(t))/dt are scaled by a constant (=22), for visualization. The time derivative in (C) is scaled by c = 4.05, for visualization. All entries represent an exhaustive list of clusters with p-values reaching FWE-corrected statistical significance p < 0.001.
Frontiers in Psychology | www.frontiersin.org χ 2 's provided by Equation (2) were 0.49 and 0.55, for lower (color-only ≈ congruent) and higher (incongruent) encoding loads, respectively). The ordering on the subprocess parameter of the HC, MDD, and Sz groups is in keeping with previous findings of their positions in encoding-intensive cognitive performance (e.g., Highgate-Maynard and Neufeld, 1986;George and Neufeld, 1987). Stroop performance across participants, within groups, was ascertained to be relatively homogeneous. The parallel participant performance profiles allowed for their aggregation, and within-group fixed-parameter status of subsequent modeling (Neufeld and Gardner, 1990;Neufeld, 2007b). The present homogeneity differs from performance on other paradigms, where mixture models have been constructed to accommodate apparent systematic individual differences in parameter values (e.g., Neufeld et al., 2002Neufeld et al., , 2010. Requirements of such paradigms arguably have gone beyond the current item-feature identification, instead comprising more involved item encoding in the service of memory search. The more basic Stroop-item encoding evidently was less permissive of variability in parameter values across individuals, within groups. Potentially important innovations to the Stroop task have been introduced by Eidels et al. (2014). In their developments, word reading is ensured by requiring statement of an item's ink color if and only if the carrier word itself is the name of a color (e.g., combination of "yellow" printed in green, but not "mellow" printed in green). The procedure is designed to reduce individual differences in word impingement on processing, and potentially to increase incongruent-condition interference. In the present case, performance nevertheless did not systematically differ across participants within groups or conditions. The incongruity-interference effect also was consistent throughout. Using Eidels et al. (2014) enhanced methodology, however, the latter may become more pronounced. The present modeling interpretation moreover should withstand such paradigmatic variation; clinical groups should be characterized specifically by elevation in encoding subprocesses.
Turning to the color-word congruent condition, for each group, processing could be understood as being the same as that occurring in the color-only (color-only Sz ≈word-only Sz ) condition. The result parsimoniously supports the operation of a self-terminating color-target process in the congruent condition (cf. Wenger et al., 2010). Implied is a specific version of the GI, namely MIN[S(t) color-only , S(t) word-only ] − S(t) congruent = 0. Values of GI approximating 0 are evident in Table 4, for both the Sz and HC groups. Recall, as well, that mean latency can be considered summarily to aggregate S(t), because E (T) = ∞ 0 S(t)dt, and there was no significant second-order HC-Sz difference in mean latencies involving the congruent, and color-only (color-only Sz ≈ word-only Sz ) conditions. Again, the apparent equivalence of the congruent-and color-only (coloronly Sz ≈ word-only Sz ) condition performance may change with the paradigmatic variation of Eidels et al. (2014).
The modeling results did not support Sz-specific, congruentcondition facilitation. The essential equivalence of color-only and word-only processing, however, was Sz specific. The mechanism(s) of such unique equivalence has yet to be understood. It is possible that these lower-encoding conditions were mutually affected by default-network continuance (Bluhm et al., 2007;Ongür et al., 2010;Williamson and Allman, 2012). Meanwhile, the result nevertheless suggests that neuroconnectivity for this condition amalgam may be different from that of the color-only-congruent amalgam, associated with the HC and MDD groups.
As stated at the outset, the Stroop task has been widely used in clinical-science studies, among various clinical groups. In metaanalytic reviews of cognitive deviation in ADHD, for example, a disproportionate susceptibility to word-feature interference has been noted (Boonstra et al., 2005;Lansbergen et al., 2007). Also observed has been greater across-study heterogeneity of abnormalities, which, contra our findings, may be an extension of within-group heterogeneity.
In their SFT analysis of the Stroop task among non-clinical participants, Eidels et al. (2010) used an incongruent-trial format for their designated single-target condition. Again, this format contrasts that of the current study, where color-only and wordonly trials represented the single-target condition. Also, rather than naming the presented color, Eidels et al.'s (2010) participants indicated the presence-absence of either a target ink-color, or target color name. For example, the color red, and word "red" each might be targets. A single-target incongruent condition could be the word "blue" written in red ink, or the word "red" written in blue ink. The word "red" written in red ink would constitute a double-target condition. Using such combinations of single and double targets, the SFT analysis of Eidels et al. (2010) supported the operation of an independent-channels unlimited capacity (i.e., UCIP) processing architecture.
Our paradigm's incongruent condition corresponds to Eidels et al.'s (2010) ink-color single-target condition. Allowing this condition also to stand as a surrogate for the word single target condition, we examined our performance data for the presence of a UCIP architecture. Treating our incongruent condition this way, results for our HC participants agreed with those found with Eidels et al.'s (2010) non-clinical sample. Like theirs, our C OR T values were close to the UCIP-prescribed 1.0 (averaging 0.9631 for latency frequencies binned over intervals appearing in Tables 4, 5). We also tested empirical fit of predictions from a simultaneous Poisson process (as described in Section Unlimited-Capacity, Independent Parallel Process), using Equations (1) and (2), as well as multinomial G 2 's and Pearson χ 2 's applied to congruent-condition binned frequencies.
Results again were uniformly supportive for the HC group (e.g., p for Pearson χ 2 was 0.5687). Results for the Sz and MDD groups, on the other hand, were non-supportive (e.g., Sz's p for Pearson χ 2 = 0.0001). Treating our incongruent trials as conveying a single target, then, an independent-channels unlimited capacity architecture is seen to be viable for our HC group. Such may or may not hold with the use of a bona fide incongruent-format single-target word condition, rather than its current incongruentformat single-target color surrogate.

MRI Findings
We consider first the functional connectivity differences associated with the low and high encoding conditions, for each of the HC, MDD, and Sz groups, presented in Figure 4. In the low-encoding condition, the HC group demonstrated prominent connectivity of the ACC seed region to the posterior cingulate with some connectivity in medial frontal areas. The MDD and Sz groups showed more distributed and smaller clusters of ACC connectivity in the low encoding condition.
In the high encoding condition, the healthy controls demonstrate prominent connectivity in bilateral parietal lobes, with significant clusters of temporal lobe activity. This pattern is in contrast to the functional connectivity observed in the MDD and Sz groups, where the activity is scattered and larger numbers of co-activated clusters are present. The majority of the MDD activity is located in posterior regions, particularly on the left side of the brain, whereas the Sz group demonstrates mostly medial activity, throughout the cingulate and into the thalamus. An increase in the co-activation in the MDD and Sz groups is consistent with the notion of increased subprocesses or constituent operations and less optimal deployment of processing resources. The more encoding intensive incongruent condition elucidates the further elevation of encoding subprocesses present in the diseased state at the neuro-connectivity level of analysis. These observations are consistent with previous findings of more diffuse over-connectivity in the ACC of people with Sz, using word-fluency, and memory-search tasks (Boksman et al., 2005;Boksman, 2006;Neufeld et al., 2010).
It is interesting to note that healthy controls show two areas of statistically greater ACC connectivity when comparing the high stimulus encoding load to the low stimulus encoding load. Such differences between high and low encoding loads persist in the MDD group and involve a more posterior region of the brain. Also of note is the absence of statistically registered differences between ACC connectivity in the high and low encoding conditions in patients with Sz.
Group comparisons under high encoding and second-order differences, comprising changes in high-minus-low encodingload contrasts across groups, are presented in Figure 5. Although impairments in brain circuitry appear to be present in both the Sz and the MDD groups, the spatial distribution patterns do appear to be different when looking at the within-condition group comparisons (upper panel of Figure 5). Specifically, there is more frontal and prefrontal ACC connectivity in the Sz group compared to the MDD group, and increased but diffuse connectivity with posterior regions of the brain in the MDD group compared to the Sz group.
The second-order differences of encoding-load conditions and groups (lower panel of Figure 5) are considered in light of the other results presented in Figures 4, 5. First, the second-order difference (High-Low Encoding Load) Sz -(High-Low Encoding Load) HC occurs amidst no statistical ascendancy of high vs. low encoding differences among the Sz participants (Figure 4, lower right frame). By its structure, the second-order difference nevertheless can be positive if the HC group has locations of ACC co-activation that are elevated under low encoding relative to high encoding. Such locations may be selectively attenuated by a network of connectivity recruited specifically to the high encoding condition. In this case, the network evidently also includes high-encoding specific sites, as seen in the reverse second order difference (High-Low Encoding Load) HC − (High-Low Encoding Load) Sz .
This pattern is absent from the MDD control group. First, Figure 5's (High-Low Encoding Load) MDD − (High-Low Encoding Load) HC comparison indicates no perseveration of low-encoding ACC co-activation with the transition to high encoding relative to the HC group. Second, there is once again evidence of HC-unique recruitment of sites according to the reverse second-order difference.
Results from the second-order contrasts involving the Sz and MDD groups resemble those of the Sz and HC groups, as follows. Certain regions of ACC co-activation under low encoding evidently give way to a different set of regions under high encoding for the MDD group, but perseverate in the Sz group. Altogether, there is "multiple-dissociation" evidence of a reduced separation between low-and high-encoding networks among the Sz group, relative to both the HC and MDD control groups.
Note that, in general, participant motion can raise difficulties with functional connectivity analyses as any departure from the orientation at t = 0 (very first image acquisition) could introduce an artifact in the time-courses of signal-intensity at each voxel. Although post-processing methods are available and do help reduce the artifact, it has previously been demonstrated that subject motion is still a significant issue (Power et al., 2012). It may be expected that between the psychiatric conditions and the healthy controls there may be a tendency for decreased (or increased) subject motion. For this reason, the average translational (X, Y, Z) and rotational (pitch, yaw, roll) measures throughout the fMRI acquisition of each individual were compared among groups. No significant differences were observed [Pillai-Bartlett-V approximate F (2, 70) = 0.867, p = 0.643], suggesting that there was no systematic variation in movement that would be expected to influence the connectivity analysis.

Model-Guided MRI Inferences
The presenting picture of Sz neuro-connectivity, paralleling that of parameterized reduction in cognitive encoding efficiency, is one of apparent dis-inhibition of ACC co-activated regions, especially under the higher cognitive encoding demands. The less concentrated pattern of co-activation resembles previous findings, including specific locations of increased spread, notably in medial and frontal and parietal positions (e.g., Boksman et al., 2005;Boksman, 2006;Neufeld et al., 2010).
Part and parcel of the more diffuse co-activation is reduced attenuation under higher encoding demands, of regions coactivated with the ACC under lower encoding demands. Altogether, the comparative neuro-circuitry of the Sz group appears expressly isomorphic with the identified quantitative properties of cognitive performance. Less evident in this group is the strategic deployment of ACC neuro-connectivity, including selective adaptation of networks specifically to encountered encoding conditions. A consequence of lower encoding efficiency, and its associated neuro-circuitry, is an increase in work-output for completing a given encoding task. The number of discrete events (subprocesses) completed by time t for an Erlang distribution is vt (e.g., Townsend and Ashby, 1978). The across-trial expected value is From this perspective, elevated E(T) implies additional outlay of cognitive work done in Sz to achieve a normal encoding result. The less channeled neuro-circuitry observed in Sz suggests the possibility of more entropy in their modeled encoding-latency distribution. Computation of Shannon-Weaver entropy was carried out using the probability values for the five bin intervals described above. Shannon-Weaver bits of uncertainty for the HC, MDD, and Sz groups, under the low encoding load, were 1.365, 1.467, and 1.455. Those under the high encoding-load condition were 1.499, 1.586, and 1.640. In this way, the more entropic patterns of ACC connectivity, seen in Figures 4, 5, were co-extensive with quantitatively greater entropy of modeled cognitive performance.

GENERAL DISCUSSION
A mandate of clinical cognitive modeling is to broker symptom significance to deviations in functional neuro-circuitry among clinical groups. To that end, a quantitative account of potential symptom significance of elevation in encoding subprocesses, notably for thought-content disorder (delusions and thematic hallucinations), has been developed. Detailed elsewhere (Neufeld, 2007a;Neufeld et al., 2010), the crux of the development is that such encoding elongation disproportionately jeopardizes the input to working memory of cues that signal the objective significance of other successfully encoded material. Without being flanked by contextualizing information, the surviving material is subject to false, if internally coherent, inferences (cf. Yates, 1966;Maher, 1988). The present developments extend formally modeled symptom-significant encoding deficit to perhaps the most widely used selective-attention task in cognitive science, and have ferreted out associated functional neuro-circuitry via high-field MRI. Findings for Sz moreover are separable from those of both healthy and clinical controls, and are founded on a common formal-model platform. Results add to the cognitive neuro-science arsenal on Sz, including recent findings on fMRS of glutamatergic functioning of the ACC (Taylor et al., 2015).
The mental architecture indicated by the selected Erlang distribution of trial latencies is the standard serial (sequential) model of subprocess completion, or a mimicking parallel (concurrent processing) counterpart. The latter include a fixedcapacity parallel model, with reallocation of the processing capacity released by (stochastically) completed subprocesses to those still in progress (Townsend and Ashby, 1983); as well as a first-stage unlimited capacity parallel model (FSUCP, above;Townsend, 1984). Cognitive-behavioral model selection in turn has led to estimation of its functional neuro-circuitry. Illustrated here is the pre-establishing of a prevailing mental architecture, which avoids difficulties of inferring its structure from the very neuro-circuitry being charted (Neufeld, 2007b;cf. Poldrack, 2011).
Identifying encoding elongation, specifically with incremented subprocesses, stands to have certain implications for clinical intervention as follows. The speed of subprocess transaction, v, tenably is more aligned with network neurodynamics than is the Erlang shape parameter, k ′ , which defensibly relates more to efficiency of their implementation (see Carter and Neufeld, 2007, for neuro-connectionist-model analogs of v and k ′ ). As such, an increase in k ′ may signal more ultimate tractability of encoding deficit to therapeutic correction than reduction in v.
Furthermore, to intervention, fine-tuned analyses of intratrial encoding dynamics have been undertaken by Taylor et al. (in press). The additional subprocesses are shown to take their main toll during earlier time windows of processing trials, where the likelihood of successful encoding by Sz participants lags behind that of controls. Interventions depending on information intake thus might exploit the closing of the gap in control-Sz encoding success as the processing opportunity is extended.
The concept of efficiency has had a longstanding role in clinical science (Wishner, 1955). Psychopathology has been characterized in part as an unfavorable ratio of focused to diffuse behavior, analogous to a reduced amount of work accomplished by a machine, relative to its energy consumption. In the current work, this concept has been tied to cognitive neuro-science specifics, including cognitive work transacted, cognitive system entropy, neuro-circuitry diffuseness, and reduced matching of network connectivity to processing conditions.

AUTHOR CONTRIBUTIONS
RT: research design, neuroimaging and cognitive-behavioral data acquisition and analysis; co-primary responsibility for manuscript preparation. JT: research design; neuroimaging data analysis; manuscript preparation. PW: research design; oversight of participant recruitment; manuscript preparation. MD: neuroimaging signal processing; analysis of neuroimaging summary statistics. RN: mathematical modeling and interpretation of cognitive-behavioral data; co-primary responsibility for manuscript preparation. F(t). More specifically, with Equation (A.2.1) modeling Pr(T cor ≤ t) congruent and Equation (A.2.3) modeling Pr(T cor ≤ t), positive values of the PD-estimated F(t) word , (evident in Lindsay and Jacoby's, 1994; Figure 3), require only that empirical Pr(T cor ≤ t) congruent > Pr(T cor ≤ t) incongruent , as indeed is seen in their Figure 2. For PD-estimated F(t) word then to actually decrease over time, the empirical Pr(T cor ≤ t) incongruent must increase with t more than does the empirical Pr(T cor ≤ t) congruent , again as is seen in Figure 2. The implausible decrease in estimated F(t) word once more presents itself as a product of a mis-specified measurement model.
Turning to higher estimated F(t) word and lower estimated F(t) color among Sz participants (Barch et al., 2004), such a result is compatible with model mis-specification combined with lower empirical Pr(T cor ≤ t) incongruent . The PD expression of F(t) word as Equations (A.2.1) and (A.2.3), obviously is a decreasing function of Equation (A.2.3). The same combination is sufficient to generate a reduction in estimated F(t) color . The PD equations are combined to estimate F(t) color as Pr(T cor ≤ t ) incongruent = 1 1−Pr(Tcor≤t) congruent Pr(Tcor≤t) incongruent + 1 which is seen to be an increasing function of Pr(T cor ≤ t) incongruent.