High-fidelity musculoskeletal modeling reveals that motor planning variability contributes to the speed-accuracy tradeoff
Abstract
A long-standing challenge in motor neuroscience is to understand the relationship between movement speed and accuracy, known as the speed-accuracy tradeoff. Here, we introduce a biomechanically realistic computational model of three-dimensional upper extremity movements that reproduces well-known features of reaching movements. This model revealed that the speed-accuracy tradeoff, as described by Fitts’ law, emerges even without the presence of motor noise, which is commonly believed to underlie the speed-accuracy tradeoff. Next, we analyzed motor cortical neural activity from monkeys reaching to targets of different sizes. We found that the contribution of preparatory neural activity to movement duration (MD) variability is greater for smaller targets than larger targets, and that movements to smaller targets exhibit less variability in population-level preparatory activity, but greater MD variability. These results propose a new theory underlying the speed-accuracy tradeoff: Fitts’ law emerges from greater task demands constraining the optimization landscape in a fashion that reduces the number of ‘good’ control solutions (i.e., faster reaches). Thus, contrary to current beliefs, the speed-accuracy tradeoff could be a consequence of motor planning variability and not exclusively signal-dependent noise.
Introduction
Elite tennis players are particularly skilled at striking a balance between the speed and the accuracy of their serves. If they only focus on placing the ball in a strategic location, they may inadvertently advantage their opponent by not paying close enough attention to the speed of their serve. On the other hand, serving the ball with as much speed as possible is not desirable as the ball may fail to clear the net or land in a location that is advantageous to their opponent. This relationship, commonly known as the ‘speed-accuracy tradeoff,’ is observed not only for purely motor, but also perceptual and cognitive tasks (e.g., Heitz, 2014; Wickelgren, 1977). In laboratory settings, the speed-accuracy tradeoff, quantified by Fitts’ law (Fitts, 1954), is an empirical finding that movements that require greater accuracy tend to be slower than those that do not. Fitts’ law relates the width of the target (W), the movement distance (A), and the movement duration (MD):
where a and b are subject-specific scalar parameters. The term is known as the ‘index of difficulty’.
A widely held theory, initially proposed by Harris and Wolpert, posits that signal-dependent noise (i.e., ‘motor noise’ present at the neuromuscular junction) that scales with the size of the control signal is a sufficient theory to explain Fitts’ law (Harris and Wolpert, 1998; Lunardini et al., 2015; McCrea and Eng, 2005; Peternel et al., 2017). The theory proposes that if motor noise increases with the size of the control signal, then moving rapidly, which requires large control signals, increases the variability in the final movement position. Conversely, reaching to a smaller target, with low variability in the final position, requires smaller control signals that consequently produce slower movements. Thus, this theory provides an explanation for the speed-accuracy tradeoff. In the present work, we show that the speed-accuracy tradeoff, as described by Fitts’ law, emerges even without the presence of motor noise.
In support of this theory, a large body of prior work has employed simple one-dimensional linear systems or torque-driven two-joint models of the arm that are restricted to moving in a plane to study the speed-accuracy tradeoff (e.g., Flash and Hogan, 1985; Fagg et al., 2002; Harris and Wolpert, 1998; Alexander, 1997; DeWolf et al., 2016; Sketch et al., 2017). While it certainly is not the case that the mechanical properties of the plant being controlled explain phenomena such as Fitts’ law, the patterns of neural activity required to drive goal-directed movements are necessarily constrained by the dynamics of the plant. When musculoskeletal dynamics are modeled with sufficient fidelity, and these musculoskeletal dynamics are controlled in an optimal fashion, motor behavior that is consistent with Fitts’ law emerges and thus provides a parsimonious theory of the speed-accuracy tradeoff.
Thus, a primary innovation in this work is the development of a computational model of upper extremity movements with a more realistic model of the musculoskeletal system than previously described (three-dimensional, 47 muscles and five degrees-of-freedom [Saul et al., 2015]). The musculoskeletal model proposed by Saul and colleagues was previously used to track experimental kinematics, but not synthesize movements de novo. Our computational model synthesizes three-dimensional point-to-point reaching movements that reproduce features reported in motor control studies and in our experimental data. We focus on point-to-point movements because normal voluntary movements can be described as holding still after moving from one pose to another (Shadmehr, 2017). The movements are synthesized by minimizing a cost function based on end-point accuracy and squared muscle activation terms. We use the squared muscle activation term as an approximation to metabolic power consumption (Millard et al., 2013). We show that the asymmetry in the velocity profile with movement speed can be explained in terms of optimal control theory, as opposed to it either representing some unexplained feature, or resulting from constraints in the neural architecture (Bullock and Grossberg, 1988), or a learned strategy when approaching a target (Beggs and Howarth, 1972), or time-varying cost constraints (Nagasaki, 1989), or signal-dependent noise with a minimum variance model (Tanaka et al., 2004).
Guided by this computational model, we propose a new theory based on motor planning variability: Fitts’ law emerges as a consequence of the difficulty associated with finding good control solutions for challenging tasks. Concretely, our theory results from the observation that during learning of a new task, the search space for finding the control solutions is very high-dimensional and contains many local minima. In our model, we use a stochastic optimizer, which attempts to find appropriate motor plans (i.e., reach trajectories) in this search space. As a consequence of the high dimensionality of the search space and the presence of local minima, the optimizer is more likely to find locally optimal solutions (or solutions that are near locally optimal solutions) in lieu of globally optimal solutions. Our theory suggests that for more challenging tasks (e.g., reaching to smaller targets), the trajectory optimizer tends to find less effective solutions (i.e., slower reaches) than other undiscovered but possible solutions. For less challenging tasks (e.g., reaching to larger targets), the optimizer tends to find more effective solutions (i.e., faster reaches). With more challenging tasks, previously effective solutions are discarded as they do not produce trajectories that reach the target; the smaller set of effective solutions makes it more likely for the optimizer to converge to a less effective solution.
The crux of our theory is that some features of human movement are attributable to planning variability rather than execution noise (e.g., Figure 4 and Churchland et al., 2006a for related evidence). We analyze motor cortical neural activity from monkeys reaching to targets of different sizes. We hypothesized that if motor planning variability has a contribution to the speed-accuracy tradeoff, then we should observe a statistically significant difference in motor planning variability when reaching to large and small targets; this is not expected if the speed-accuracy tradeoff is only the result of execution noise. Furthermore, we hypothesized that the contribution of planning variability to MD variability should increase for smaller targets (i.e., as sensitivity to the motor plan increases for more challenging tasks). We test both hypotheses in this work and show that the neural analyses are consistent with our theory.
A realistic musculoskeletal model allows us to study human movement variability with greater resolution. Our theory highlights the role of motor planning rather than execution noise to explain features of human movement. That is not to say that signal-dependent noise does not exist or could not play a part in Fitts’ law. Rather, given the results here, we must re-examine the assumption that signal-dependent noise is the only factor that gives rise to Fitts’ law. Reaching to a smaller target may exhibit smaller velocities to minimize the effects of signal-dependent noise. Alternatively, slower reach trajectories for smaller targets might be ‘easier’ to find from an optimal control theory perspective. We believe our new theory provides a more complete account of the empirical observations, both behaviorally and neurally, surrounding the speed-accuracy tradeoff, without having to rely on assumptions surrounding improvements in the signal-to-noise ratio.
Results
Model validation
We first evaluate whether the computational model reproduces important kinematic features reported in motor control studies. In Figure 1A and B, we compare the hand positions in a center-out fast reaching task from our model and the data reported in Beer et al., 2000. The simulations are synthesized with trajectory optimization (see the section Trajectory optimization), specifying only the final target position and the MD, which we set to 350 ms. Note that our simulations reproduce the observation that arm reach trajectories (in humans and non-human primates) are gently curved, particularly near the targets. In Figure 1C and D, we compare the velocity profile of our simulation with the data presented in Soechting, 1984. The maximum unnormalized speed in Figure 1D is 1.10 m/s, which falls in the range of maximal speeds reported in Soechting, 1984 (i.e., from 0.65 m/s to 1.35 m/s). We also compare the effect of the target size on the synthesized and experimental data in Figure 2A and B. Soechting reported that a smaller target causes the movement to have an earlier peak velocity and a velocity that decays more rapidly. We reproduce both of these features in our simulations. However, the experimental speed profiles of the large and small targets are more nearly parallel than the simulated ones. The areas of the small and large targets are 2.55 cm2 and 3.54 cm2. The velocity profiles of our computational model are determined from an average of 15 runs.
Several studies have shown that the velocity profile is symmetric for intermediate speeds and becomes asymmetric with changes in speed (e.g., Nagasaki, 1989; Ostry et al., 1987). The ratio of the time to the peak velocity to the entire movement time tends to be smaller with slower movements. To study this, we optimize for 20 fast (0.18 s MD), medium (0.22 s MD), and slow (0.26 s MD) reaches to the same target. In Figure 2C, we compare the normalized velocity profiles (with normalized time) between the best solutions (i.e., the trial with the lowest cost in Equation 1 in Materials and methods) for the movements at different speeds. Our model reproduces the speed-dependent asymmetry in the velocity profile. The relative peak velocities in Figure 2C are 0.66, 0.51, and 0.4 for the fast, medium, and slow movements, respectively. It has also been reported that the velocity profiles of slower movements tend to exhibit multiple local minima (e.g., Soechting, 1984; van der Wel et al., 2009); we replicate these findings in our simulations (see Figure 2—figure supplement 1 for the velocity profile asymmetry for MDs of 0.15 s, 0.25 s, and 0.45 s). We perform the same experiment with a torque-driven model for MDs of 0.2 s, 0.25 s, and 0.3 s. In Figure 2—figure supplement 2, we show that this simplified model does not reproduce the reported asymmetries in the velocity profiles.
In addition to the features reported in motor control studies, we collected three-dimensional reaching data (see the section Joint kinematics data). We compare the movements performed by a typical subject (Figure 2—figure supplement 3) and our computational model in Figure 2—figure supplement 4A and in Video 1. Qualitatively, we observe that the movements resemble each other, with some discrepancies such as excessive or insufficient elbow flexion. In Figure 2—figure supplement 4B, we compare the sagittal plane joint angles predicted by the model with our experimental data when subjects are asked to reach a shoulder flexion 180° pose with the elbow extended. The root mean square errors are 16.8° and 7° for the elbow and shoulder flexion angles.
Speed-accuracy tradeoff and Fitts’ law
Next, we solve trajectory optimization problems to targets of different sizes to study the speed-accuracy tradeoff. We keep the distance fixed to A = 0.15 m and vary the target width from 0.16 m to 0.0141 m, which corresponds to an index of difficulty from 0.9 to 4.41. After determining the MD for different widths, we perform a least-squares fit to determine parameters a and b in Fitts’ law, obtaining values of 0.0234 and 0.0550, respectively. These values are within the range of values a ∈ [0.0047, 0.5239] and b ∈ [0.0393,0.1987] determined from the experimental data in Goldberg et al., 2014, where subjects reach with a mouse to targets of various distances and widths on a computer screen.
In Figure 3C, we show that there is good agreement between the model’s predicted MD (averaged over 10 runs) and Fitts’ law (R2 = 0.974). Note that the MD becomes more variable when the target size decreases as the optimization becomes more likely to fall in local minima. This feature is also present in the experimental data (Figure 3A and B), although it is not predicted by previous models (Harris and Wolpert, 1998). Although the data in Goldberg et al., 2014 involves different experimental conditions than those of the simulated data of our center-out reach task, we expect some correlation when the index of difficulty is matched. This was verified as the correlation coefficient between our model’s mean predicted MD (as it varies with the index of difficulty) and the mean of the experimental data (Goldberg et al., 2014; Figure 3A) is 0.959 (p<0.001). The correlation coefficient between the standard deviations of our model and the experimental data is 0.70 (p=0.0167). We perform the same experiment with a torque-driven model (Figure 3—figure supplement 1). There is again good agreement between the model’s predicted mean MD (averaged over 10 runs) and Fitts’ law (R2 = 0.88). However, the correlations between the predicted means and standard deviations and the experimental data in Goldberg et al., 2014 (Figure 3A) are weak (R2 = 0.17 and R2 = 0.39, respectively) and not statistically significant.
We next evaluate the sensitivity of the results with respect to the trajectory optimizer. We repeat the experiments with a less effective trajectory optimizer by limiting the number of samples and iterations to 20 and 40 (see the section Trajectory optimization), respectively. This translates to using about 12 times fewer samples during the optimization, so the computation time is about 12 times shorter. In Figure 3—figure supplement 2, we see that model’s predicted MD means are still in close agreement with Fitts’ law (R2 = 0.969). The correlation coefficients between the predicted means and standard deviations with experimental data (Figure 3A) are significant: 0.82 (p=0.007) and 0.83 (p=0.006). Our model does not include reaction time; therefore, as expected, it predicts faster movements than those that are observed experimentally. However, the relative MDs (i.e., how the duration varies with the index of difficulty) in our model and the experimental data are still in close agreement. For example, the mean relative MD difference between an index of difficulty of 1.5 and 3.5 is about 1 s in both our model (Figure 3—figure supplement 2) and the experimental data (Figure 3A). Our cost function (Equation 1) includes a term to minimize the sum of muscle activations squared, which impacts the speed of reaching movements (but unlike signal-dependent noise, it does not predict different speeds based on target size). We performed an additional experiment (Figure 3—figure supplement 3) to show that Fitts’ law emerges even without this term in the cost function. We also tested the sensitivity of our results to the biomechanical model: we performed the experiments with a model with muscles having unrealistic active force–length relationships (i.e., where the force is constant with respect to the muscle length; Figure 3—figure supplement 4) and a model missing important muscles (e.g., deltoid anterior, deltoid posterior, infraspinatus, and teres minor; Figure 3—figure supplement 5). We found that these models produced MDs that are consistent with Fitts’ law, but the predictions were not correlated with the experimental data in Goldberg et al., 2014 (Table 1).
Motor cortical activity
Given the prior results regarding the potentially important role of preparatory neural activity during motor control (e.g., Afshar et al., 2011; Churchland et al., 2012; Ames et al., 2014; Shenoy et al., 2013; Vyas et al., 2020a), we examine the variability in the preparatory neural state during reaching movements to a small (0.75 cm) and a large (2 cm) target. We measure neural activity from premotor and primary motor cortex of a Rhesus monkey (192 simultaneously recorded channels; 96 from each brain region; see the section Neural recordings) as he makes reaching arm movements (Figure 4A and B). Behaviorally, we find that reaches to smaller targets are slower than those to larger targets, as predicted by Fitts’ law (Figure 4C). The MDs to smaller targets are more variable than to larger targets (i.e., a standard deviation of 0.257 s compared to 0.234 s; p=0.0262).
Neurally, we find that reaches to smaller targets exhibit less variability in the population-level motor cortical preparatory neural state than reaches to larger targets (Figure 4D). Intersecting this with findings that nearly half of movement variability can be attributed to preparatory variability for a highly practiced task (Churchland et al., 2006a), we find that the contribution of preparatory variability to movement variability is larger for smaller targets than larger targets (Figure 4E). Thus, these results establish an association (albeit correlative) between Fitts’ law and variability in neural activity during motor preparation.
Discussion
In this study, we investigate a fundamental phenomenon underlying goal-directed motor control. Fitts’ law formalizes the notion that movement time is a function of both the distance to a target and the size of that target. Taken together with a widely held theory initially proposed by Harris and Wolpert, 1998, Fitts’ law is thought to arise from the fact that signal-dependent noise governs a person’s ability to move with greater accuracy toward smaller targets by reducing movement speed. Signal-dependent noise or ‘motor noise’ has been shown across a variety of experiments, where noise scales in proportion to the size of the motor command being generated (e.g., Jones et al., 2002; Matthews, 1996). Thus, to a first-order approximation, signal-dependent noise is a sufficient theory to explain Fitts’ law. Here, we re-examine the assumption that Fitts’ law emerges primarily as a consequence of signal-dependent noise.
We develop a computational model of three-dimensional upper extremity movements that is more biomechanically realistic than previous work. Our model replicates kinematic features reported across several motor control studies. When solving the optimal control problem, we find that some of our simulations reproduce the empirical observation that arm movement paths are nearly straight and gently curved near the targets for fast reaches. The corresponding velocity profiles are bell-shaped and have a secondary, smaller peak near the target. These features are usually interpreted as discrete, open-loop corrections to acquire the target (Doeringer and Hogan, 1998). While our results are consistent with this interpretation, our analyses also show that these features are present in some local minima when solving the optimal control problem. Out of 20 trials during a reaching task, we consistently note that the second or third best solution (measured with respect to the cost; Equation 1) has these features, while the best solution consists of a nearly straight trajectory. The curve and the secondary velocity peak at the end of the movement are a consequence of the hand reaching the target with a high velocity; the final, gentle curve, brings the hand velocity toward zero, minimizes ‘effort’, and keeps the hand inside the target.
Bullock and Grossberg, 1988 proposed that the speed-dependent asymmetry in the velocity profile arises due to neural dynamics and that models based on optimal control always predict symmetric velocity profiles. Our work demonstrates that asymmetric velocity profiles in reaching movements arise from optimal control methods with realistic biomechanical models, without relying on other modeling assumptions such as time-varying jerk constraints (Nagasaki, 1989). This feature did not emerge in earlier work using simplified biomechanical models (Guigon et al., 2007; Harris and Wolpert, 1998). The upper extremity must decelerate when approaching the target to achieve zero velocity. The elbow flexors undergoing an eccentric contraction have a larger force generating capacity at higher speeds due to the force–velocity relationship of muscle (Millard et al., 2013). Our hypothesis is that this explains why faster movements have a later peak velocity. We have verified that this property does not arise in a torque-driven model (Figure 2—figure supplement 2), which supports the hypothesis.
Reaching involves feedback control, which we did not explicitly model as this is outside the scope of our study (we are not aware of any validated feedback models on realistic upper-extremity musculoskeletal models in the literature). We do not expect that explicitly modeling feedback would influence the results. Feedback would ensure that the hand successfully reaches the target in the presence of noise, but planning variability would still impact the MD.
During motor learning, there is a shift in performance that allows movements to be performed faster and more accurately. Previous studies hypothesize that this shift in performance is a result of improvements in the signal-to-noise ratio (i.e., the ability to use large control signals without large motor noise). This is perhaps possible due to expanded neural representations and/or the fine-tuning of individual neurons (Krakauer and Mazzoni, 2011; Shmuelof et al., 2012). Indeed, there is evidence of an improved signal-to-noise ratio during motor skill learning in rodents (Kargo and Nitz, 2004), but their mechanism proposes a reduction in signal-independent noise and pre-burst firing rates. If signal-dependent motor noise alone accounts for the speed-accuracy tradeoff, the mechanism that explains the shift in performance due to practice is not yet fully understood. Our analyses reveal that more stringent task constraints reduce the space of possible control solutions, thereby removing effective solutions from the search landscape (Figure 5). The controller (i.e., the central nervous system) is unable to find the global optimum solution for every task. Thus, for challenging tasks, the patterns of neural activity found during initial optimization (i.e., learning) correspond to ineffective solutions, leading to suboptimal behavior, e.g., reaching slower to smaller targets, consistent with Fitts’ law. Learning can force the motor system to explore different solutions, and if better ones are found, the internal models are updated accordingly resulting in behavioral improvements (Haith and Krakauer, 2018). Hence, our theory does not rely on assumptions regarding improvements in signal-to-noise ratio to explain the shift in performance with practice. A testable prediction of our theory is that the neural variability during motor planning should progressively decrease as the shift in performance occurs during practice (and as the central nervous system converges to better motor plans).
While our theory does not account for signal-dependent noise, the broader mechanism for motor control likely engages both the mechanism proposed here and certain aspects of signal-dependent noise. We exclude signal-dependent noise in our model to demonstrate that it is not necessary to explain the speed-accuracy tradeoff. Adding signal-dependent noise with the same cost function and optimization procedure (that includes motor planning variability) would also yield Fitts’ law-like solutions, but the signal-to-noise ratio would limit how fast the reach to the target can be achieved. One difficulty with modeling signal-dependent noise is that there is very little experimental data on the signal-to-noise ratio and how it changes with practice – if it changes at all. Future work exploring tasks where subjects learn a task across sessions could be quite useful in making more progress toward answering this question. We posit that a realistic biomechanical model, as described here, allows for more accurate estimation of the optimization landscape (i.e., how the local optima are situated with respect to the control solutions). This explains why the realistic biomechanical model produces results that are strongly correlated with prior experimental findings (Goldberg et al., 2014), while all of our simplified models (which includes the torque-driven, fewer muscles, unrealistic force-length relationships, and unrealistic cost function models) are not statistically correlated with prior experimental findings since they are more likely to synthesize unrealistic movements (Table 1).
Our experiments show that Fitts’ law emerges both with a standard and a less effective optimizer. This follows from the fact that for an optimizer with a given performance (i.e., measured by the number of samples and trials that it can explore), imposing progressively more stringent accuracy constraints removes good solutions from the optimization landscape, resulting in performance degradation and thus yielding Fitts’ law. Interesting questions for future work include finding the number of samples and trials in our stochastic optimizer and exploring other forms of stochastic optimization (e.g., Lillicrap et al., 2015) that yields solutions that best match the experimental data on the speed-accuracy tradeoff. A theory based purely on signal-dependent motor noise does not predict that more severe accuracy constraints cause more MD variability, as seen in the experimental data. From this perspective, our theory provides a more complete account of the speed-accuracy tradeoff.
If our theory is correct, then the muscle excitations, activations, and joint kinematics predicted for an ineffective solution should be consistent with what is empirically observed in naïve or ‘non-expert’ human participants. At the same time, our theory predicts that an effective solution would result in muscle patterns that are consistent with empirical observations of highly trained or ‘experts’ performing the task. Future studies can perform this stringent test of our theory by utilizing our modeling framework to find the control solutions for some subset of challenging tasks and compare them against muscle activity measured in a laboratory setting.
In addition to planning variability, limb dynamics play a role in the speed-accuracy tradeoff: one reason why the movement to a smaller target is slower than a larger target with the same center is that a longer distance is required to reach the smaller target; hence, the larger target contains both a larger set of feasible solutions and more effective solutions. The differences in durations between the fastest trials to the smallest and largest targets provide an indicator of the role of limb dynamics in the speed-accuracy tradeoff. The fastest trial approaches the limit of what is dynamically feasible given enough trials. In our computational experiments, this difference amounts to 0.04 s. The average difference from the experimental data is also 0.04 ± 0.03 s (Supplementary file 1). The difference between the mean durations to the two targets minus the difference between the fastest reaches (65% of the total difference in Figure 3C) is attributable to motor planning variability (as we have excluded the roles of limb dynamics and execution noise), which is the dominant factor behind the speed-accuracy tradeoff in our results. The proportions would likely be reversed if the target sizes were drastically different (e.g., comparing targets that were an order of magnitude apart in size).
Our analysis does not preclude the possibility that signal-dependent noise is a factor in the speed-accuracy tradeoff in addition to limb dynamics and planning variability, but it shows that it is not a necessary condition and may not be the dominant factor as previously thought. The data in Supplementary file 1 also shows that the subjects that achieved the smallest difference in durations between the two targets on their best trials also had the largest variability (see subjects 1, 2, and 3). We hypothesize that this variability could be attributed to exploration, which allows for finding better control solutions, consistent with the experimental data. This is also consistent with recent findings that learning is associated with increases in task-relevant variability (Wu et al., 2014).
Turning our attention to neural mechanisms underlying motor cortical function, a current theory suggests that movement period neural activity evolves from an initial condition (termed the neural population preparatory state) set in premotor and primary motor cortex (Shenoy et al., 2013; Vyas et al., 2020a). Different movements have different initial conditions and generating initial conditions closer to the optimal initial condition results in behavioral benefits (Afshar et al., 2011). Furthermore, trial-by-trial behavior variability is strongly linked to neural variability during motor preparation, even for highly practiced movements (Churchland et al., 2006a), and motor learning is strongly linked with systematic changes to neural activity during motor preparation, where neural activity during motor preparation plays a causal role in error-driven learning (Vyas et al., 2018; Vyas et al., 2020b). Given these findings, we introduce a computational model with planning variability and demonstrate its ability to accurately recapitulate many previous results and phenomenon, including Fitts’ law, which suggests a potential role in the speed-accuracy tradeoff. If movement planning variability is a dominant factor underlying the speed-accuracy tradeoff, then the proportion of MD variability explained by preparatory variability should increase with reaches to smaller targets (otherwise motor planning does not contribute to the speed-accuracy tradeoff). We have experimentally verified this prediction (Figure 4E). Our results show that nearly 60% of the MD variability is attributed to planning variability when reaching to the smaller target (and that the MD standard deviation is large relative to the mean with a coefficient of variation of 0.4). When combined with the observation that MD variability increases for smaller targets, this indicates that motor planning variability impacts the scalar parameters found in Fitts’ law (see the section Introduction). Our experiments here further show that reaches to smaller targets are slower and less variable in preparatory activity than reaches to larger targets (Figure 4D), while the MDs are more variable in smaller targets than in larger targets. If the speed-accuracy tradeoff was solely caused by execution noise, then we would expect MD variability to decrease when planning variability decreases. These results, however, are consistent with our theory (Figure 5), which suggests that some of the effective control solutions (i.e., motor plans for fast reaches) have to be discarded when reaching to smaller targets (i.e., variability in preparatory activity decreases, while MD variability increases). We can estimate the relative contribution of planning variability to the speed-accuracy tradeoff as follows. In Figure 4C, the mean difference in the MD to the large and small target is 200 ms, and the standard deviation of the MD to the small target is 258 ms. Given that planning variability explains 60% of the MD variability (Figure 4E), and if we assume a normal distribution around the mean MD, then motor planning can cause the movement to the small target to be 155 ms faster (i.e., one standard deviation from the mean). This suggests that planning variability can account for more than 75% of the MD difference when reaching to the large and small target (i.e., 0.6 × 258/200). We note that this is an initial theory, and future studies will need to evaluate its range of applications under additional experimental conditions.
Our results here (Figure 4D), and those by Churchland and colleagues (Churchland et al., 2006a; Churchland et al., 2006b; Churchland et al., 2006c), point to preparatory activity as also being a central source of movement variability, rather than execution noise alone being the key factor. Our work presumes that the movement variability resulting from motor planning variability can be modeled with the solutions found from stochastic optimization (but we do not claim that a stochastic optimization is actually being literally performed by the brain during motor planning). In other words, during stochastic optimization, many possible candidate motor plans will be explored before converging to a particular motor plan. Our account of Fitts’ law does not depend on the optimization time or of the candidate motor plans explored before convergence. Rather, our results show that, at convergence (i.e., the solutions from stochastic optimization), when reaching to smaller targets, the motor plans tend to be less effective (i.e., slower reaches) because of task constraints (Figure 5). When comparing the reaches to a large and a small target, we have empirically verified that the reaches to the large target that also do not reach the small target are on average faster than the reaches to the small target. Our computational model implements motor planning stochasticity with covariance matrix adaptation evolution strategy (CMA-ES), which operates by applying Gaussian noise on an initial motor plan. It is unknown how motor planning stochasticity arises at the individual neural and neural population level, but it could be as simple as noise on an initial motor plan (e.g., due to variability in the inputs from other brain regions [Vyas et al., 2020b]). We have approximated the trial-to-trial variability in the preparatory state in our model via sampling from a Gaussian distribution. Although we cannot describe the exact neurophysiological mechanism during preparation that produces differential effects on variability when reaching to targets of different size, our contribution lies in discovering this relationship. In summary, we know from neurophysiological findings that a large proportion of the behavioral variability occurring in highly practiced tasks can be attributed to motor planning variability (Churchland et al., 2006a). When implementing planning variability in a computational model, we obtain MDs that are consistent with Fitts' law and experimental findings on MD variability (Figure 3C). This indicates a potential role for planning variability in giving rise to the speed-accuracy tradeoff, which is supported by further neurophysiological evidence introduced here (Figure 4D and Figure 4E).
It is important to note a few important caveats and considerations regarding our theory. First, we do not have causal evidence linking neural variability during preparation and Fitts’ law (although we have a causal link between variability during preparation and Fitts’ law in our computational model). Second, we cannot assert that stochasticity in the model’s motor plan is a perfect proxy for variance in the motor cortical preparatory state, but our working hypothesis is that there is enough alignment for our theory to hold given that our simulations match well with experimental data (see the section Speed-accuracy tradeoff and Fitts’ law); future work will need to be done to explore the extent of this alignment. Finally, while the preparatory state does not encode the whole reach trajectory (as the model’s motor plan does), it does encode important parameters of the upcoming reach, such as distance, direction, and speed (Messier and Kalaska, 2000; Churchland et al., 2006b; Even-Chen et al., 2019; Vyas et al., 2020a). One tantalizing interpretation of our results is that Fitts’ law is tightly linked to movement planning (which includes many of the aspects of the preparatory activity analyzed here) and not just movement execution. The difficulty associated with finding optimal solutions for challenging tasks could then be akin to finding the optimal preparatory neural states (as well as learning the appropriate movement period dynamics), where task constraints govern the optimization landscape, as suggested by our theory. This provides a concrete avenue for future studies to further investigate the relative contribution of signal-dependent noise and motor planning in giving rise to the speed-accuracy tradeoff.
Materials and methods
Modeling and simulation
Request a detailed protocolOur computational model uses the upper extremity biomechanical model introduced by Saul et al., 2015 and available at https://simtk.org/projects/upexdyn. The model consists of 47 Hill-type muscle-tendon actuators (Zajac, 1989) with parameters and paths derived from experimental and anatomical studies. The skeletal model has five degrees-of-freedom representing the shoulder (elevation plane, elevation angle, and shoulder rotation), the elbow (flexion/extension), and the forearm (pronation/supination). We have locked the wrist and finger joints. The simulation was performed with OpenSim (Delp and Anderson, 2007) and the Simbody physics engine (Sherman et al., 2011) with a semi-explicit Euler integrator (accuracy 1e−2).
Trajectory optimization
Request a detailed protocolNumerical methods for solving trajectory optimization problems is an ongoing research topic (e.g., Al Borno and Lasa, 2012, Posa and Tedrake, 2013, Todorov and Li, 2005). Our work adapts the method of Al Borno et al. 2013 to optimize the movement of musculoskeletal systems. We optimize for a time-indexed cubic B-spline that provides the muscle excitations to produce movement. The optimization is performed with CMA-ES (Hansen, 2006). The free variables are the spline knots muscle excitations values at every 0.1 s interval in the movement. We use 500 iterations and a population size of 20 in CMA-ES, which takes about 3 hr of computation time (after parallelization) with two Intel Xeon CPU E5-4640 processors. We initialize the optimization with all the knots set to 0.1. Given excitations, we use a forward simulation to obtain a trajectory, which is evaluated with respect to the following cost function:
where and denote the actual and desired position of the center of the hand at the last time step of the trajectory, denotes the vector of muscle activations at time step , is a penalty on joint limit violations given pose , denotes the joint velocities at the last time step, is a term to encourage pronation of the forearm at the last time step, and ∥ · ∥ denotes the two-norm. We now give the details of the terms and . For a joint value with limits and (denoting the lower and upper bounds for the coordinate), denotes a quadratic penalty on joint limit violations:
The term is the sum of the penalties for each joint. The term is defined as:
where denotes the coordinate of the forearm and is the forearm value denoting pronation. When reaching, the position of the forearm is chosen based on the target object (e.g., a cup or a light bulb). Since we do not model object grasping, we chose to consistently reach with the forearm in pronation at the last time step. It is challenging to tune the weights in the cost function as objectives tend to ‘fight’ each other. For this reason, we introduce the function:
where we set the scalars to 0.025 and to 106 (i.e., ≫ ). This ensures that the optimization prioritizes finding a trajectory with the hand reaching close enough to the target (i.e., within m) before considering other objectives, namely minimizing the sum of activations squared and achieving a final zero velocity. We tuned the weights w1, w2, w3, w4, and w5 to 5, 1e−3, 1e−5, 0.15, and 0.5. The cost function encourages the hand to be as close as possible to a desired target with a small velocity and the forearm in pronation, while minimizing muscle activations and joint limit violations throughout the movement. When the objective is to reach a target anywhere within a radius κ, then we simply set w1 to zero when ∥ ∥ < κ.
The movement duration T is chosen based on experimental data or through optimization to study the speed-accuracy tradeoff. For the latter, we encourage the movement to reach the target as soon as possible by including the objective in the cost function (Equation 1). We set to 0 if the target is reached at time step i; otherwise, we set it to 1 (i.e., a penalty at each time step where the hand position is outside the target). We perform the trajectory optimization with a fixed temporal horizon and the MD is determined when the hand position is within the target. We performed experiments to verify that prescribing the muscle excitations at every 0.05 s interval (instead of 0.1 s interval) does not have a significant impact on the computed MDs. Haith et al., 2012 argue that a hyperbolic cost of time objective term better accounts for the durations of saccades, but this remains a topic of investigation for other body movements. After setting the duration of the movement T for the integration, the number of time steps N in the trajectory is chosen to achieve the desired accuracy in Simbody. For the experiments with our torque-driven model, we optimize for the torques, which we limit to ±50 nm, instead of muscle excitations.
Joint kinematics data
Request a detailed protocolTo validate our computational model, we collected three-dimensional upper extremity movement data. Right-handed subjects (n = 4, age = 27 ± 3, mean ± std, two males, two females) gave written informed consent approved by the Stanford University Institutional Review Board. The subjects are asked to reach for desired final end poses (e.g., with shoulder abduction 90°, shoulder flexion 90° and 180°, etc.) from different initial positions. In Figure 2—figure supplement 3, we show an example of an initial (A) and final position (B). Subjects are instructed to reach the target pose at a comfortable speed, without moving their trunk or feet. Upper extremity kinematics are measured with inertial motion capture (Roetenberg et al., 2009). MD and the final hand position (computed from forward kinematics) are then used for motion synthesis with trajectory optimization, using the final hand position for the target position .
Fast reaching task
Request a detailed protocolWe collected experimental data from five right-handed subjects (n = 5, age = 28 ± 4.9, mean ± std, four males, one female) that gave informed consent approved by the Stanford University Institutional Review Board. The subjects performed reaches to a target, always starting from the same initial pose with the hand on the table. Subjects were instructed to reach the target as fast as possible. The duration of the reach is measured from an accelerometer attached on their hand (Xsens MTw Awinda with a 1000 Hz sampling frequency). Subjects performed 10 reaches to a large square target (8 cm width) and to a small one (2 cm width). The movement amplitude was set to 15 cm. The data is presented in Supplementary file 1.
Neural recordings
Request a detailed protocolRecordings were made from the dorsal aspect of the premotor cortex (PMd) and the primary motor cortex (M1) of one male adult monkey (Macaca mulatta) who was 15 years old and weighed 16 kg at the time of these experiments. The monkey performed an instructed-delay cursor task (see Vyas et al., 2018 for the task design and standard parameters). The monkey had two chronic 96-electrode arrays (1 mm electrodes, 1.0 mm long, spaced 400 µm apart, Blackrock Microsystems Inc, Salt Lake City, UT), one implanted in PMd and one implanted in gyral M1. The arrays were implanted 7 years prior to these experiments. Voltage signals were band-pass filtered from each electrode channel (250 Hz to 7.5 KHz). The signals were processed to detect multi-unit ‘threshold crossing’ spikes. Spikes were detected any time the voltage crossed below a threshold of −4.5 times the root-mean-square voltage.
The standard methods for an instructed-delay reaching task, including the reward structure, arm-tracking system, inter-trial-intervals, etc. have been previously described (Vyas et al., 2018). The 40 targets that the animals made reaches to were arranged in ‘+’ configuration; however, only one target (chosen pseudo-randomly) was presented during each trial. The target presentations were chosen to ensure that the animal could not predict the next target and that the animal made an equal number of reaches to each target. For each of the 40 targets, two conditions were presented in a block-wise format. In one condition (block) the target had an acceptance window of size 2 cm (cyan in Figure 4), and in the other the acceptance window was of size 0.75 cm (red in Figure 4). That is to say, the animal had to bring the cursor he was controlling within the acceptance window and hold it there for 500 ms in order for the trial to succeed and for him to receive his liquid reward. A trial was failed if (1) the animal did not complete the trial in the allotted time (maximum of 2 s), (2) the animal did not hold the cursor in the center for the allotted period of time, or (3) the animal failed to initiate the trial within 500 ms. Each block contained 400 trials (10 trials per condition) and each experimental session contained about 10 blocks, 5 of each condition.
The analysis presented in Figure 4D was performed following the standard methods described in Vyas et al., 2018; Even-Chen et al., 2019; Vyas et al., 2020b. The analysis presented in Figure 4E was performed following the standard methods described in Churchland et al., 2006a.
Data availability
The source code for the computer simulations and our data are available at https://simtk.org/projects/ue-reaching. Users must first create a free account (https://simtk.org/account/register.php) before they can download the datasets from the site.
References
-
Trajectory optimization for full-body movements with complex contactsIEEE Transactions on Visualization and Computer Graphics 8:1405–1414.https://doi.org/10.1109/TVCG.2012.325
-
A minimum energy cost hypothesis for human arm trajectoriesBiological Cybernetics 76:97–105.https://doi.org/10.1007/s004220050324
-
The movement of the hand towards a targetQuarterly Journal of Experimental Psychology 24:448–453.https://doi.org/10.1080/14640747208400304
-
Preparatory activity in premotor and motor cortex reflects the speed of the upcoming reachJournal of Neurophysiology 96:3130–3146.https://doi.org/10.1152/jn.00307.2006
-
Neural variability in premotor cortex provides a signature of motor preparationJournal of Neuroscience 26:3697–3712.https://doi.org/10.1523/JNEUROSCI.3762-05.2006
-
OpenSim: open-source software to create and analyze dynamic simulations of movementIEEE Transactions on Biomedical Engineering 11:1940–1950.https://doi.org/10.1109/TBME.2007.901024
-
A spiking neural model of adaptive arm controlProceedings of the Royal Society B: Biological Sciences 283:20162134.https://doi.org/10.1098/rspb.2016.2134
-
Serial processing in human movement productionNeural Networks 11:1345–1356.https://doi.org/10.1016/S0893-6080(98)00083-5
-
Structure and variability of delay activity in premotor cortexPLOS Computational Biology 15:e1006808.https://doi.org/10.1371/journal.pcbi.1006808
-
A computational model of muscle recruitment for wrist movementsJournal of Neurophysiology 88:3348–3358.https://doi.org/10.1152/jn.00621.2002
-
The information capacity of the human motor system in controlling the amplitude of movementJournal of Experimental Psychology 47:381–391.https://doi.org/10.1037/h0055392
-
The coordination of arm movements: an experimentally confirmed mathematical modelThe Journal of Neuroscience 5:1688–1703.https://doi.org/10.1523/JNEUROSCI.05-07-01688.1985
-
Two large Open-Access datasets for Fitts’ Law of Human Motion and a Succinct Derivation of the Square-Root VariantIEEE Transactions on Human-Machine Systems 45:62–73.https://doi.org/10.1109/THMS.2014.2360281
-
Computational motor control: redundancy and invarianceJournal of Neurophysiology 97:331–347.https://doi.org/10.1152/jn.00290.2006
-
Evidence for hyperbolic temporal discounting of reward in control of movementsJournal of Neuroscience 32:11727–11736.https://doi.org/10.1523/JNEUROSCI.0424-12.2012
-
The multiple effects of practice: skill, habit and reduced cognitive loadCurrent Opinion in Behavioral Sciences 20:196–201.https://doi.org/10.1016/j.cobeha.2018.01.015
-
BookThe CMA evolution strategy: a comparing reviewIn: Lozano J, editors. Towards a New Evolutionary Computation. Springer. pp. 75–102.https://doi.org/10.1007/3-540-32494-1_4
-
The speed-accuracy tradeoff: history, physiology, methodology, and behaviorFrontiers in Neuroscience 8:150.https://doi.org/10.3389/fnins.2014.00150
-
Sources of signal-dependent noise during isometric force productionJournal of Neurophysiology 88:1533–1544.https://doi.org/10.1152/jn.2002.88.3.1533
-
Human sensorimotor learning: adaptation, skill, and beyondCurrent Opinion in Neurobiology 21:636–644.https://doi.org/10.1016/j.conb.2011.06.012
-
Relationship of firing intervals of human motor units to the trajectory of post-spike after-hyperpolarization and synaptic noiseThe Journal of Physiology 492 (Pt 2):597–628.https://doi.org/10.1113/jphysiol.1996.sp021332
-
Consequences of increased neuromotor noise for reaching movements in persons with strokeExperimental Brain Research 162:70–77.https://doi.org/10.1007/s00221-004-2106-8
-
Flexing computational muscle: modeling and simulation of musculotendon dynamicsJournal of Biomechanical Engineering 135:021005.https://doi.org/10.1115/1.4023390
-
Asymmetric velocity and acceleration profiles of human arm movementsExperimental Brain Research 74:319–326.https://doi.org/10.1007/BF00248865
-
Velocity curves of human arm and speech movementsExperimental Brain Research 68:37–46.https://doi.org/10.1007/BF00255232
-
Unifying Speed-Accuracy Trade-Off and Cost-Benefit Trade-Off in human reaching movementsFrontiers in Human Neuroscience 11:615.https://doi.org/10.3389/fnhum.2017.00615
-
BookDirect trajectory optimization of rigid body dynamical systems through contactIn: Frazzoli E, Lozano-Perez T, Roy N, Rus D, editors. Algorithmic Foundations of Robotics X. Springer. pp. 527–542.
-
ReportXsens MVN: Full 6dof Human Motion Tracking Using Miniature Inertial SensorsXsens Motion Technologies BV, Tech.
-
Benchmarking of dynamic simulation predictions in two software platforms using an upper limb musculoskeletal modelComputer Methods in Biomechanics and Biomedical Engineering 18:1445–1458.https://doi.org/10.1080/10255842.2014.916698
-
Distinct neural circuits for control of movement vs. holding stillJournal of Neurophysiology 117:1431–1460.https://doi.org/10.1152/jn.00840.2016
-
Cortical control of arm movements: a dynamical systems perspectiveAnnual Review of Neuroscience 36:337–359.https://doi.org/10.1146/annurev-neuro-062111-150509
-
Simbody: multibody dynamics for biomedical researchProcedia IUTAM 2:241–261.https://doi.org/10.1016/j.piutam.2011.04.023
-
How is a motor skill learned? change and invariance at the levels of task success and trajectory controlJournal of Neurophysiology 108:578–594.https://doi.org/10.1152/jn.00856.2011
-
ConferenceSimulating the impact of sensorimotor deficits on reaching performanceInternational Conference on Rehabilitation Robotics (ICORR). pp. 31–37.https://doi.org/10.1109/ICORR.2017.8009217
-
Effect of target size on spatial and temporal characteristics of a pointing movement in manExperimental Brain Research 54:121–132.https://doi.org/10.1007/BF00235824
-
ConferenceA generalized iterative LQG method for locally-optimal feedback control of constrained nonlinear stochastic systems.Proceedings of the 2005, American Control Conference. pp. 300–306.
-
Moving the arm at different rates: slow movements are avoidedJournal of Motor Behavior 42:29–36.https://doi.org/10.1080/00222890903267116
-
Computation through neural population dynamicsAnnual Review of Neuroscience 43:249–275.https://doi.org/10.1146/annurev-neuro-092619-094115
-
Speed-accuracy tradeoff and information processing dynamicsActa Psychologica 41:67–85.https://doi.org/10.1016/0001-6918(77)90012-9
-
On the variability of manual spike sortingIEEE Transactions on Biomedical Engineering 51:912–918.https://doi.org/10.1109/TBME.2004.826677
-
Muscle and tendon: properties, models, scaling, and application to biomechanics and motor controlCritical Reviews in Biomedical Engineering 4:359–411.
Article and author information
Author details
Funding
National Institutes of Health (U54EB020405)
- Scott L Delp
National Institute of Neurological Disorders and Stroke (R01NS076460)
- Krishna V Shenoy
National Institute of Mental Health (R01MH09964703)
- Krishna V Shenoy
Defense Advanced Research Projects Agency (N66001-10-C-2010)
- Krishna V Shenoy
National Institutes of Health (8DP1HD075623)
- Krishna V Shenoy
Simons Foundation (325380 and 543045)
- Krishna V Shenoy
Defense Advanced Research Projects Agency (W911NF-14-2-0013)
- Krishna V Shenoy
Howard Hughes Medical Institute
- Krishna V Shenoy
National Institutes of Health (5F31NS103409-02)
- Saurabh Vyas
National Science Foundation (Graduate Fellowship)
- Saurabh Vyas
Stanford University (Ric Weiland Stanford Graduate Fellowship)
- Saurabh Vyas
The funders had no role in study design, data collection and interpretation, or the decision to submit the work for publication.
Acknowledgements
We thank Adrian Haith for very helpful comments on the manuscript. We thank Mackenzie Risch and Michelle Wechsler for expert surgical assistance and veterinary care. We thank W L Gore Inc for donating Preclude artificial dura used as part of the chronic electrode array implantation procedure. We thank Dr. Stephen I Ryu for surgical assistance. SV was supported by an NIH F31 Ruth L Kirschstein National Research Service Award 5F31NS103409-02, an NSF Graduate Research Fellowship, and a Ric Weiland Stanford Graduate Fellowship. KVS was supported by the following awards: National Institutes of Health (NIH) National Institute of Neurological Disorders and Stroke (NINDS) Transformative Research Award R01NS076460, NIH National Institute of Mental Health Grant (NIMH) Transformative Research Award R01MH09964703, NIH Director’s Pioneer Award8DP1HD075623, Defense Advanced Research Projects Agency (DARPA) Biological Technology Office (BTO) ‘REPAIR’’ award N66001-10-C-2010, DARPABTO "NeuroFAST’’ award W911NF-14-2-0013, the Simons Foundation Collaboration on the Global Brain awards 325380 and 543045, ONR and the Howard Hughes Medical Institute. SLD was supported by the Mobilize Center, a National Institutes of Health Big Data to Knowledge (BD2K) Center of Excellence through Grant U54EB020405.
Ethics
Human subjects: Subjects gave written informed consent, and consent to publish, approved by the Stanford University Institutional Review Board (42787). The guidelines followed are specified in the Human Research Protection Program (HRPP Stanford University).
Animal experimentation: All surgical and animal care procedures were performed in accordance with National Institutes of Health guidelines and were approved by the Stanford University Institutional Animal Care and Use Committee (8856).
Copyright
© 2020, Al Borno et al.
This article is distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use and redistribution provided that the original author and source are credited.
Metrics
-
- 1,919
- views
-
- 247
- downloads
-
- 10
- citations
Views, downloads and citations are aggregated across all versions of this paper published by eLife.
Download links
Downloads (link to download the article as PDF)
Open citations (links to open the citations from this article in various online reference manager services)
Cite this article (links to download the citations from this article in formats compatible with various reference manager tools)
Further reading
-
- Developmental Biology
- Neuroscience
The blood-brain barrier (BBB) controls the movement of molecules into and out of the central nervous system (CNS). Since a functional BBB forms by mouse embryonic day E15.5, we reasoned that gene cohorts expressed in CNS endothelial cells (EC) at E13.5 contribute to BBB formation. In contrast, adult gene signatures reflect BBB maintenance mechanisms. Supporting this hypothesis, transcriptomic analysis revealed distinct cohorts of EC genes involved in BBB formation and maintenance. Here, we demonstrate that epigenetic regulator’s histone deacetylase 2 (HDAC2) and polycomb repressive complex 2 (PRC2) control EC gene expression for BBB development and prevent Wnt/β-catenin (Wnt) target genes from being expressed in adult CNS ECs. Low Wnt activity during development modifies BBB genes epigenetically for the formation of functional BBB. As a Class-I HDAC inhibitor induces adult CNS ECs to regain Wnt activity and BBB genetic signatures that support BBB formation, our results inform strategies to promote BBB repair.
-
- Neuroscience
Specialized chemosensory signals elicit innate social behaviors in individuals of several vertebrate species, a process that is mediated via the accessory olfactory system (AOS). The AOS comprising the peripheral sensory vomeronasal organ has evolved elaborate molecular and cellular mechanisms to detect chemo signals. To gain insight into the cell types, developmental gene expression patterns, and functional differences amongst neurons, we performed single-cell transcriptomics of the mouse vomeronasal sensory epithelium. Our analysis reveals diverse cell types with gene expression patterns specific to each, which we made available as a searchable web resource accessed from https://www.scvnoexplorer.com. Pseudo-time developmental analysis indicates that neurons originating from common progenitors diverge in their gene expression during maturation with transient and persistent transcription factor expression at critical branch points. Comparative analysis across two of the major neuronal subtypes that express divergent GPCR families and the G-protein subunits Gnai2 or Gnao1, reveals significantly higher expression of endoplasmic reticulum (ER) associated genes within Gnao1 neurons. In addition, differences in ER content and prevalence of cubic membrane ER ultrastructure revealed by electron microscopy, indicate fundamental differences in ER function.