- Open Access
How Uncertainty Bounds the Shape Index of Simple Cells
© D. Barbieri et al.; licensee Springer 2014
- Received: 28 February 2013
- Accepted: 4 June 2013
- Published: 17 April 2014
We propose a theoretical motivation to quantify actual physiological features, such as the shape index distributions measured by Jones and Palmer in cats and by Ringach in macaque monkeys. We will adopt the uncertainty principle associated to the task of detection of position and orientation as the main tool to provide quantitative bounds on the family of simple cells concretely implemented in primary visual cortex.
Mathematics Subject Classification (2000)2010:62P10, 43A32, 81R15.
- Visual cortex
- Uncertainty principle
- Lie groups
- Receptive profiles
In this paper, we will focus on the task of position and orientation detection, and propose theoretical motivations based on the uncertainty principle for the corresponding geometry to explain such confinement. In general, the uncertainty principle is indeed a tool that gives information on the possible localization of functions with respect to competing symmetries that in this case are those of the well-known group of translations and rotations of the Euclidean plane. The role of symmetries in the mechanisms of visual perception in V1 is a well recognized point [9–11], as well as the uncertainty principle was already invoked to explain relevant cortical morphologies [12, 13]. Here, we will use such concepts to characterize the resolution that can be obtained with joint spatial and angular measurements, based on the localization properties of receptive profiles. In terms of such characterizations, we will deduce the bounds observed in Fig. 1 as the result of intrinsic notions of balance between joint measurements resolutions.
with parameters , , . Each V1 simple cell is assumed to perform a linear filtering with a function shaped as in (1), so that it can be characterized by these parameters. Their mapping on the two dimensional cortical layers are referred to as cortical maps . In particular, the centers q of receptive fields are in a so-called retinotopic correspondence on the cortex , while the size σ is in average larger at the periphery and smaller close to the fovea . The frequency parameters p are generally considered in polar coordinates , where is called spatial frequency and the angle θ up to a factor of π is called preferred orientation, and their cortical maps are also well studied [11, 13, 16].
but it will be sufficient for our purposes to deal with the full complex function as a whole.
2.1 Groups of Transformations
translations: , ,
modulations: , ,
dilations: , ,
rotations: , ,
In this work, we will deal with the localization properties of (1) with respect to translations and local rotations, i.e., making use of the symmetries (i) and (iv), since they constitute two fundamental symmetries related to the mechanisms of visual perception in V1 (see, e.g.,  and references therein).
where is a rotation of the Euclidean plane around point q, and with respect to these transformations we have the following.
so (4) follows since rotations commute with dilations and is isotropic, i.e., . □
where , so another way to characterize the system of functions (1) is to consider a family and rotate and translate each of its members. The aim of next section is actually to deduce properties on the localization of with respect to the parameters q and θ, expressed in terms of the parameters and σ.
In this section, we characterize the uncertainty associated to joint measurements of positions and local orientations in terms of the properties of the measurement devices, expressed by functions, and quantify such uncertainties for the case of receptive profiles.
We will measure averages and variances using the standard definitions for operators on , denoting with the scalar product and with the associated norm.
and the imaginary constant is merely a convention to ensure the result to be real. With this averaging, the variance (8) has the usual meaning of strength of the fluctuations of f under the considered transformations that corresponds to the second moment of the distribution . This means then that the variance (8) provides a measure of the localization of f with respect to the symmetry .
When applied to the operators (5) and (6) of linear and rotational derivatives, these variances correspond respectively to a measure of linear and rotational fluctuations of a function f. The more f is insensitive to translations (f smooth and close to a constant function), the smaller is its P variance, while a small variance means that f has little sensitivity to rotations around q.
The notion of localization in orientation that arises indicates that a function consisting of a set of parallel stripes, independently on their widths, is maximally localized in orientation, while a function that is circular symmetric around q is minimally localized.
In this case, if the operators and do not commute, then the second moments of the distribution (9) are influenced by their commutator. Such an effect of competing symmetries is quantified by the uncertainty principle.
3.1 The Uncertainty Principle
These commutators define the algebra of the group (see, e.g.,  and references therein), and for them the following generalized uncertainty principle holds [13, 21], with respect to the quantities of Definition 3.1. Since we are dealing with densely defined operators, we will skip in what follows the technicalities related to operator domains, and refer the statements simply to . For more details, see .
Theorem 3.2 ( uncertainty principle)
These inequalities play the same role for the noncommutative symmetries of rotations and translations as the one played by the ordinary uncertainty inequality for the noncommutativity of quantum mechanical operators. The main difference is that in this case if we consider separately each of the two inequalities, we cannot obtain a constant lower bound. Indeed for a function f the product of variances of an infinitesimal rotations and a translations along one axis can be arbitrarily small, provided that the average of translations along the other axis on f is small. This effect disappears when we consider translations on both axis, which is natural whenever we do not want to discriminate one direction over the other. In this case, we can actually recast the two inequalities (11) into one inequality with a constant lower bound.
The following definition is closely related to that of , and for this reason we use the same notation Angv.
With this definition, a direct consequence of the uncertainty principle is the following.
This inequality resembles the ordinary Heisenberg uncertainty inequality, since the presence of a constant lower bound provides a clear constraint on the joint localizations quantified by and . However, as first noted in , the uncertainty inequalities (11) cannot be simultaneously minimized, so also (13) does not admit minimizers. This is related to the issue of nonexistence of a canonically conjugate observable for angular momentum [24, 25]. Indeed, if we had a well defined self-adjoint operator canonically commuting with angular momentum, we would end up with a well-known complex equation defining minimal uncertainty states , while in this case we have two such equations, whose solutions provide CR function functions on the for two noncompatible almost complex structures .
We pass now to the study of the properties of the distribution (9) applied to the symmetries under study, that we call autocorrelation since it has the form of the autocorrelation of a function with respect to the group of rotations and translations, and extends naturally the ordinary definition of autocorrelation with respect to translations. We will actually restrict the analysis to the square modulus of correlations, since as we will see it contains enough information for the present purposes. In particular, we will show that such correlations can be used to characterize the uncertainty in the detection of position and local preferred angle associated to a function.
so we have that by Young inequality and the Riemann–Lebesgue lemma is bounded and goes to 0 as ξ becomes large. Moreover, by the usual uncertainty principle, we have that when f is well localized in space, then is broadly localized, hence passing under another Fourier transform will decay rapidly, uniformly on q, and vice versa.
essentially the same argument applies to the decay of correlations for functions that are localized with respect to rotations.
Remark 3.6 (What does “essentially the same argument” mean)
where and the last transition is Parseval identity.
and now strictly the same argument used for (15) applies.
3.3 Uncertainty Associated to Measurements with Receptive Profiles
When specialized to receptive profiles, the introduced uncertainties can be explicitly computed. In the proofs, we will use the shorthand notation , and θ will be the polar angle of p.
and we will call it angular momentum variance.
We have then obtained the following proposition, which shows that for receptive profiles the angular momentum variance is inversely proportional to the angular uncertainty quantified in terms of Angv.
We will now consider autocorrelations of receptive profiles, and see that they indeed contain precisely the desired joint information on localizations in space and local orientation associated to the uncertainties we computed.
so the result follows since . □
In particular, as we will see in next section, typical values of in the filters encountered in V1 are around 1.7, where the difference between these two notions of variance is around .
In this section, we will use the measures of uncertainty referred to receptive profiles (18) and (19) to deduce relevant features about the physiological data measured in  and depicted in Fig. 1. In particular, we will see how the information provided by the analysis of uncertainty relations of Sect. 3 are sufficient to establish bounds on the number of subregions observed in the family of filters implemented in V1, and permit to reobtain characteristic sampling rates commonly used in image analysis.
This quantity is related to the number of subregions defining a receptive profiles, since if we let be the number of half wavelength of receptive profile’s oscillation within k standard deviations σ, we obtain . As it is apparent from the data measured in , we see that approximately standard deviations are sufficient to represent the main content of the filters, so that we can relate the effective subregions N to n as .
4.1 Lower Bound for Orientation Measurements
As we can see in Fig. 1 and by the discussions in , cells which show a selectivity in orientation all lie above this threshold. Moreover, we note that for indexes , it can be a hard task to distinguish an even cell from being represented only by a Gaussian, while odd cells under this threshold all appear identical up to a multiplicative factor, so the parametric fit of the Gabor model (1) is quite delicate in this region. We can then interpret the bunch of broadly tuned cells around the zero value of the shape index n as generally below the minimal uncertainty bound that allows a consistent detection of orientations.
4.2 Upper Bound
In order to discuss the upper bound, we introduce a notion of characteristic length associated to a specific level set of the correlations (1), intrinsically related to the task of detection of positions and local orientations. Its purpose is to quantify the minimum distance that one needs to cover in order to decorrelate a function f as much as f is decorrelated when compared at orthogonal directions.
If we apply this notion to receptive profiles (1), we obtain the following.
so (24) follows by the relation (21) between and the shape index. □
On the other hand, as discussed when dealing with the relation between the shape index and the number of subregions, we have also that the effective field of influence of a receptive profile can be set within two standard deviations σ. From this point of view, we can then assume that the distance d at which a receptive profile is effectively spatially uncorrelated corresponds to the distance that one has to cover in order to let its effective field of influence not intersect with its translation at a distance d, i.e., .
To compare this bound with Fig. 1, we recall that here we are dealing with the simplified model of isotropic receptive fields, while in  the analysis is performed considering two anisotropic indexes and . In terms of such indexes, we can see that the largest part of the population lies within two bounds and , and looks in good accordance with their mean value.
The question of whether this identification of characteristic distances is truly implemented in the cortex cannot be answered at this point, but we note that a cortical scale related to the symmetries under study that is possibly compatible with the proposed relation is the mean correlation length of orientation preference maps (see, e.g., [13, 14] and references therein). Indeed, by the measurements performed in , we see that such scale is comparable with the size of a so-called cortical point image, that is, the cortical region that is activated after a highly spatially localized stimulus, and at least when we reduce to linear behavior of cells this notion corresponds to what we have indicated as effective field of influence.
4.3 Sampling on Orientations
With respect to Gabor filters possessing such n, one way to use such result is to consider that the detection of orientations at angles that are closer than this uncertainty do not provide an actual improvement in the resolution of the local orientation present in the stimulus, so that it can be sufficient to cover the interval of orientations with a sampling having a spacing. This actually compares well with the notions of optimal sampling adopted in image analysis tasks (see, e.g., in  and references therein), generally justified with independent arguments. Moreover, this uncertainty analysis permits to set clear sampling spacings depending on the shape index of the filter used.
In this paper, we have studied theoretical aspects of an analytic characterization of uncertainty that generalizes the well-known Heisenberg uncertainty principle to the symmetries associated with the task of joint measurements of position and local orientation. The implications of this analysis, together with an hypothesis of balance between characteristic correlation distances, allowed us to obtain bounds comparable with experimental data on the shape index of the V1 simple cells that are selective for orientation, and to separate them from broadly tuned cells, which lie below the uncertainty bound for consistent orientation detection.
We remark that this was possible even if our working assumptions on the functional behavior of simple cells were reduced to linear filtering with symmetric receptive fields, and the only considered task is the one associated to the sole symmetries of rotations and translations.
Whether such elementary principles could be directly responsible of the observed distribution of receptive profiles is a question that can hardly find an answer. Nevertheless, the present study shows that they are sufficient to describe many of the relevant features that concern the shape of simple cells.
The research of the first author was supported by Grant DIM2011—Région Île de France. The research of the second author was supported by Project AGAPE.
- Hubel DH, Wiesel TN: Functional architecture of macaque monkey visual cortex. Proc R Soc Lond B 1977, 198: 1–59. 10.1098/rspb.1977.0085View ArticleGoogle Scholar
- Graham NV: Beyond multiple pattern analyzers modeled as linear filters (as classical V1 simple cells): useful additions of the last 25 years. Vis Res 2011, 51: 1397–1430. 10.1016/j.visres.2011.02.007View ArticleGoogle Scholar
- Ringach DL: Spatial structure and symmetry of simple cell receptive fields in macaque primary visual cortex. J Neurophysiol 2002, 88: 455–463.Google Scholar
- Jones JP, Palmer LA: The two-dimensional spatial structure of simple receptive fields in cat striate cortex. J Neurophysiol 1987, 58: 1187–1211.Google Scholar
- Jones JP, Palmer LA: An evaluation of the two-dimensional Gabor filter model of simple receptive fields in cat striate cortex. J Neurophysiol 1987, 58: 1233–1258.Google Scholar
- Olshausen BA, Field DJ: Sparse coding with an overcomplete basis set: a strategy employed by V1? Vis Res 1997, 37: 3311–3325. 10.1016/S0042-6989(97)00169-7View ArticleGoogle Scholar
- Shelton J, Sterne P, Bornschein J, Sheikh AS, Luecke J: Why MCA? Nonlinear sparse coding with spike-and-slab prior for neurally plausible image encoding. Adv Neural Inf Process Syst 2012, 25: 2285–2293.Google Scholar
- Hosoya H: Multinomial Bayesian learning for modeling classical and nonclassical receptive field properties. Neural Comput 2012, 24: 2119–2150. 10.1162/NECO_a_00310MathSciNetView ArticleGoogle Scholar
- Citti G, Sarti A: A cortical based model of perceptual completion in the roto-translation space. J Math Imaging Vis 2006, 24: 307–326. 10.1007/s10851-005-3630-2MathSciNetView ArticleGoogle Scholar
- Chossat P, Faugeras O: Hyperbolic planforms in relation to visual edges and textures perception. PLoS Comput Biol 2009, 5: 1–16.MathSciNetView ArticleGoogle Scholar
- Keil W, Wolf F: Coverage, continuity and visual cortical architecture. Neural Syst Circuits 2011. 10.1186/2042-1001-1-17Google Scholar
- Daugman JG: Uncertainty relation for resolution in space, spatial frequency, and orientation optimized by two dimensional visual cortical filters. J Opt Soc Am A 1985, 2: 1160–1169. 10.1364/JOSAA.2.001160View ArticleGoogle Scholar
- Barbieri D, Citti G, Sanguinetti G, Sarti A: An uncertainty principle underlying the functional architecture of V1. J Physiol (Paris) 2012, 106: 183–193. 10.1016/j.jphysparis.2012.03.001View ArticleGoogle Scholar
- Basole A, White LE, Fitzpatrick D: Mapping multiple features in the population response of visual cortex. Nature 2003, 423: 986–990. 10.1038/nature01721View ArticleGoogle Scholar
- Hubel DH, Wiesel TN: Uniformity of monkey striate cortex: a parallel relationship between field size, scatter, and magnification factor. J Comp Neurol 1974, 158: 295–305. 10.1002/cne.901580305View ArticleGoogle Scholar
- Ohki K, Chung S, Kara P, Hubener M, Bonhoeffer T, Reid RC: Highly ordered arrangement of single neurons in orientation pinwheels. Nature 2006, 442: 925–928. 10.1038/nature05019View ArticleGoogle Scholar
- Córdoba A, Fefferman C: Wave packets and Fourier integral operators. Commun Partial Differ Equ 1978, 3: 979–1005. 10.1080/03605307808820083MATHView ArticleGoogle Scholar
- Kalisa C, Torrésani B: N-dimensional affine Weyl–Heisenberg wavelets. Ann Inst Henri Poincaré. Phys Théor 1993, 59: 201–236.MATHGoogle Scholar
- Labate D, Weiss G, Wilson E: An approach to the study of wave packet systems. Contemporary Mathematics 345. In Wavelets, Frames and Operator Theory. Birkhäuser, Basel; 2004:215–235.View ArticleGoogle Scholar
- Carruthers P, Nieto MM: Phase and angle variables in quantum mechanics. Rev Mod Phys 1968, 40: 411–440. 10.1103/RevModPhys.40.411View ArticleGoogle Scholar
- Folland GB, Sitaram A: The uncertainty principle: a mathematical survey. J Fourier Anal Appl 1997, 3: 207–238. 10.1007/BF02649110MATHMathSciNetView ArticleGoogle Scholar
- Breitenberger E: Uncertainty measures and uncertainty relations for angle observables. Found Phys 1985, 15: 353–364. 10.1007/BF00737323MathSciNetView ArticleGoogle Scholar
- Jackiw R: Minimum uncertainty product, number phase uncertainty product and coherent states. J Math Phys 1968., 9: Article ID 339 Article ID 339Google Scholar
- Dubin DA, Hennings MA, Smith TB: Quantization in polar coordinates and the phase operator. Publ Res Inst Math Sci 1994, 30: 479–532. 10.2977/prims/1195165908MATHMathSciNetView ArticleGoogle Scholar
- Kastrup HA: Quantization of the canonically conjugate pair angle and orbital angular momentum. Phys Rev A 2006., 73: Article ID 052104 Article ID 052104Google Scholar
- arXiv: http://arxiv.org/abs/arXiv:1301.3783 Barbieri D, Citti G: Reproducing kernel Hilbert spaces of CR functions for the Euclidean Motion group. arXiv:1301.3783.
- Hradil Z, Řehác̆ek J, Bouchal Z, C̆elechovský R, Sánchez-Coto LL: Minimum uncertainty measurement of angle and angular momentum. Phys Rev Lett 2006., 97: Article ID 243601 Article ID 243601Google Scholar
- Swindale NV: Orientation tuning curves: empirical description and estimation of parameters. Biol Cybern 1998, 78: 45–56. 10.1007/s004220050411MATHView ArticleGoogle Scholar
- Mooser F, Bosking WH, Fitzpatrick D: A morphological basis for orientation tuning in primary visual cortex. Nat Neurosci 2004, 7: 872–879. 10.1038/nn1287View ArticleGoogle Scholar
- Jammalamadaka SR, Sengupta A: Topics in Circular Statistics. World Scientific, Singapore; 2001.MATHGoogle Scholar
- Bosking WH, Crowley JC, Fitzpatrick D: Spatial coding of position and orientation in primary visual cortex. Nat Neurosci 2009, 5: 874–882.View ArticleGoogle Scholar
- Lee TS: Image representation using 2D Gabor wavelets. IEEE Trans Pattern Anal Mach Intell 1996, 18: 959–971. 10.1109/34.541406View ArticleGoogle Scholar
This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.