Neural and computational representations of decision variables

These studies explore how, where, and when representations of variables critical to decision-making are represented in the brain. In order to produce a decision, humans must first determine the relevant stimuli, actions, and possible outcomes before applying an algorithm that will select an action from those available. When choosing amongst alternative stimuli, the framework of value-based decision-making proposes that values are assigned to the stimuli and that these values are then compared in an abstract “value space” in order to produce a decision. Despite much progress, in particular regarding the pinpointing of ventromedial prefrontal cortex (vmPFC) as a region that encodes the value, many basic questions remain. In Chapter 2, I show that distributed BOLD signaling in vmPFC represents the value of stimuli under consideration in a manner that is independent of the type of stimulus it is. Thus the open question of whether value is represented in abstraction, a key tenet of value-based decision-making, is confirmed. However, I also show that stimulus-dependent value representations are also present in the brain during decision-making and suggest a potential neural pathway for stimulus-to-value transformations that integrates these two results.

More broadly speaking, there is both neural and behavioral evidence that two distinct control systems are at work during action selection. These two systems compose the “goal-directed system”, which selects actions based on an internal model of the environment, and the “habitual” system, which generates responses based on antecedent stimuli only. Computational characterizations of these two systems imply that they have different informational requirements in terms of input stimuli, actions, and possible outcomes. Associative learning theory predicts that the habitual system should utilize stimulus and action information only, while goal-directed behavior requires that outcomes as well as stimuli and actions be processed. In Chapter 3, I test whether areas of the brain hypothesized to be involved in habitual versus goal-directed control represent the corresponding theorized variables.

The question of whether one or both of these neural systems drives Pavlovian conditioning is less well-studied. Chapter 4 describes an experiment in which subjects were scanned while engaged in a Pavlovian task with a simple non-trivial structure. After comparing a variety of model-based and model-free learning algorithms (thought to underpin goal-directed and habitual decision-making, respectively), it was found that subjects’ reaction times were better explained by a model-based system. In addition, neural signaling of precision, a variable based on a representation of a world model, was found in the amygdala. These data indicate that the influence of model-based representations of the environment can extend even to the most basic learning processes.

Knowledge of the state of hidden variables in an environment is required for optimal inference regarding the abstract decision structure of a given environment and therefore can be crucial to decision-making in a wide range of situations. Inferring the state of an abstract variable requires the generation and manipulation of an internal representation of beliefs over the values of the hidden variable. In Chapter 5, I describe behavioral and neural results regarding the learning strategies employed by human subjects in a hierarchical state-estimation task. In particular, a comprehensive model fit and comparison process pointed to the use of "belief thresholding". This implies that subjects tended to eliminate low-probability hypotheses regarding the state of the environment from their internal model and ceased to update the corresponding variables. Thus, in concert with incremental Bayesian learning, humans explicitly manipulate their internal model of the generative process during hierarchical inference consistent with a serial hypothesis testing strategy.

Neural routing circuits for forming invariant representations of visual objects

This thesis presents a biologically plausible model of an attentional mechanism for forming position- and scale-invariant representations of objects in the visual world. The model relies on a set of control neurons to dynamically modify the synaptic strengths of intra-cortical connections so that information from a windowed region of primary visual cortex (Vl) is selectively routed to higher cortical areas. Local spatial relationships (i.e., topography) within the attentional window are preserved as information is routed through the cortex, thus enabling attended objects to be represented in higher cortical areas within an object-centered reference frame that is position and scale invariant. The representation in V1 is modeled as a multiscale stack of sample nodes with progressively lower resolution at higher eccentricities. Large changes in the size of the attentional window are accomplished by switching between different levels of the multiscale stack, while positional shifts and small changes in scale are accomplished by translating and rescaling the window within a single level of the stack. The control signals for setting the position and size of the attentional window are hypothesized to originate from neurons in the pulvinar and in the deep layers of visual cortex. The dynamics of these control neurons are governed by simple differential equations that can be realized by neurobiologically plausible circuits. In pre-attentive mode, the control neurons receive their input from a low-level "saliency map" representing potentially interesting regions of a scene. During the pattern recognition phase, control neurons are driven by the interaction between top-down (memory) and bottom-up (retinal input) sources. The model respects key neurophysiological, neuroanatomical, and psychophysical data relating to attention, and it makes a variety of experimentally testable predictions.

Ordinary mod p representations of the metaplectic cover of p-adic SL_2

We classify the genuine ordinary mod p representations of the metaplectic group SL(2,F)-tilde, where F is a p-adic field, and compute its genuine mod p spherical and Iwahori Hecke algebras. The motivation is an interest in a possible correspondence between genuine mod p representations of SL(2,F)-tilde and mod p representations of the dual group PGL(2,F), so we also compare the two Hecke algebras to the mod p spherical and Iwahori Hecke algebras of PGL(2,F). We show that the genuine mod p spherical Hecke algebra of SL(2,F)-tilde is isomorphic to the mod p spherical Hecke algebra of PGL(2,F), and that one can choose an isomorphism which is compatible with a natural, though partial, correspondence of unramified ordinary representations via the Hecke action on their spherical vectors. We then show that the genuine mod p Iwahori Hecke algebra of SL(2,F)-tilde is a subquotient of the mod p Iwahori Hecke algebra of PGL(2,F), but that the two algebras are not isomorphic. This is in contrast to the situation in characteristic 0, where by work of Savin one can recover the local Shimura correspondence for representations generated by their Iwahori fixed vectors from an isomorphism of Iwahori Hecke algebras.

Special Frobenius Traces in Galois Representations

This thesis studies Frobenius traces in Galois representations from two different directions. In the first problem we explore how often they vanish in Artin-type representations. We give an upper bound for the density of the set of vanishing Frobenius traces in terms of the multiplicities of the irreducible components of the adjoint representation. Towards that, we construct an infinite family of representations of finite groups with an irreducible adjoint action.

In the second problem we partially extend for Hilbert modular forms a result of Coleman and Edixhoven that the Hecke eigenvalues a_p of classical elliptical modular newforms f of weight 2 are never extremal, i.e., a_p is strictly less than 2[square root]p. The generalization currently applies only to prime ideals p of degree one, though we expect it to hold for p of any odd degree. However, an even degree prime can be extremal for f. We prove our result in each of the following instances: when one can move to a Shimura curve defined by a quaternion algebra, when f is a CM form, when the crystalline Frobenius is semi-simple, and when the strong Tate conjecture holds for a product of two Hilbert modular surfaces (or quaternionic Shimura surfaces) over a finite field.

Anomalous electric dipole internal conversion

Electric dipole internal conversion has been experimentally studied for several nuclei in the rare earth region. Anomalies in the conversion process have been interpreted in terms of nuclear structure effects. It was found that all the experimental results could be interpreted in terms of the j ∙ r type of penetration matrix element; the j ∙ ∇ type of penetration matrix element was not important. The ratio λ of the El j ∙ r penetration matrix element to the El gamma-ray matrix element was determined from the experiments to be:

Lu¹⁷⁵,396 keV, λ = - 1000 ± 100;

282 keV, λ = 500 ± 100;

144 keV, λ = 500 ± 250;

Hf¹⁷⁷, 321 keV λ = - 1400 ± 200;

208 keV λ = - 90 ± 40;

72 keV |λ| ≤ 650;

Gd¹⁵⁵, 86 keV λ = - 150 ± 100;

Tm¹⁶⁹, 63 keV λ = - 100 ± 100;

W¹⁸², 152 keV, λ = - 160 ±80;

67 keV, λ = - 100 ± 100.

Predictions for λ are made using the unified nuclear model.

Nuclear structure effects in internal conversion

Experimental studies of nuclear effects in internal conversion in Ta¹⁸¹ and Lu¹⁷⁵ have been performed. Nuclear structure effects (“penetration” effects), in internal conversion are described in general. Calculation of theoretical conversion coefficients are outlined. Comparisons with the theoretical conversion coefficient tables of Rose and Sliv and Band are made. Discrepancies between our results and those of Rose and Sliv are noted. The theoretical conversion coefficients of Sliv and Band are in substantially better agreement with our results than are those of Rose. The ratio of the M1 penetration matrix element to the M1 gamma-ray matrix element, called λ, is equal to + 175 ± 25 for the 482 keV transition in Ta¹⁸¹ . The results for the 343 keV transition in Lu¹⁷⁵ indicate that λ may be as large as – 8 ± 5. These transitions are discussed in terms of the unified collective model. Precision L subshell measurements in Tm¹⁶⁹ (130keV), W¹⁸² (100 keV), and Ta¹⁸¹ (133 keV) show definite systematic deviations from the theoretical conversion coefficients. The possibility of explaining these deviations by penetration effects is investigated and is shown to be excluded. Other explanations of these anomalies are discussed.

I. Nuclear spin-internal-rotation-coupling. II. Fluorine spin-rotation interaction and magnetic shielding in fluorobenzene

Part I.

The interaction of a nuclear magnetic moment situated on an internal top with the magnetic fields produced by the internal as well as overall molecular rotation has been derived following the method of Van Vleck for the spin-rotation interaction in rigid molecules. It is shown that the Hamiltonian for this problem may be written

H_SR = Ῑ · M · Ĵ + Ῑ · M” · Ĵ”

Where the first term is the ordinary spin-rotation interaction and the second term arises from the spin-internal-rotation coupling.

The F¹⁹ nuclear spin-lattice relaxation time (T₁) of benzotrifluoride and several chemically substituted benzotrifluorides, have been measured both neat and in solution, at room temperature by pulsed nuclear magnetic resonance. From these experimental results it is concluded that in benzotrifluoride the internal rotation is crucial to the spin relaxation of the fluorines and that the dominant relaxation mechanism is the fluctuating spin-internal-rotation interaction.

Part II.

The radiofrequency spectrum corresponding to the reorientation of the F¹⁹ nuclear moment in flurobenzene has been studied by the molecular beam magnetic resonance method. A molecular beam apparatus with an electron bombardment detector was used in the experiments. The F¹⁹ resonance is a composite spectrum with contributions from many rotational states and is not resolved. A detailed analysis of the resonance line shape and width by the method of moments led to the following diagonal components of the fluorine spin-rotational tensor in the principal inertial axis system of the molecule:

F/Caa = -1.0 ± 0.5 kHz

F/Cbb = -2.7 ± 0.2 kHz

F/Ccc = -1.9 ± 0.1 kHz

From these interaction constants, the paramagnetic contribution to the F¹⁹ nuclear shielding in C₆H₅F was determined to be -284 ± ppm. It was further concluded that the F¹⁹ nucleus in this molecule is more shielded when the applied magnetic field is directed along the C-F bond axis. The anisotropy of the magnetic shielding tensor, σ_” - σ_⊥, is +160 ± 30 ppm.

Relativistic quark models and the current algebra

In this thesis we are concerned with finding representations of the algebra of SU(3) vector and axial-vector charge densities at infinite momentum (the "current algebra") to describe the mesons, idealizing the real continua of multiparticle states as a series of discrete resonances of zero width. Such representations would describe the masses and quantum numbers of the mesons, the shapes of their Regge trajectories, their electromagnetic and weak form factors, and (approximately, through the PCAC hypothesis) pion emission or absorption amplitudes.

We assume that the mesons have internal degrees of freedom equivalent to being made of two quarks (one an antiquark) and look for models in which the mass is SU(3)-independent and the current is a sum of contributions from the individual quarks. Requiring that the current algebra, as well as conditions of relativistic invariance, be satisfied turns out to be very restrictive, and, in fact, no model has been found which satisfies all requirements and gives a reasonable mass spectrum. We show that using more general mass and current operators but keeping the same internal degrees of freedom will not make the problem any more solvable. In particular, in order for any two-quark solution to exist it must be possible to solve the "factorized SU(2) problem," in which the currents are isospin currents and are carried by only one of the component quarks (as in the K meson and its excited states).

In the free-quark model the currents at infinite momentum are found using a manifestly covariant formalism and are shown to satisfy the current algebra, but the mass spectrum is unrealistic. We then consider a pair of quarks bound by a potential, finding the current as a power series in 1/m where m is the quark mass. Here it is found impossible to satisfy the algebra and relativistic invariance with the type of potential tried, because the current contributions from the two quarks do not commute with each other to order 1/m³. However, it may be possible to solve the factorized SU(2) problem with this model.

The factorized problem can be solved exactly in the case where all mesons have the same mass, using a covariant formulation in terms of an internal Lorentz group. For a more realistic, nondegenerate mass there is difficulty in covariantly solving even the factorized problem; one model is described which almost works but appears to require particles of spacelike 4-momentum, which seem unphysical.

Although the search for a completely satisfactory model has been unsuccessful, the techniques used here might eventually reveal a working model. There is also a possibility of satisfying a weaker form of the current algebra with existing models.