Using Geant4 to create 3D maps of dosage received within a MinPET diamond sorting facility

Abstract: The MinPET project aims to locate diamonds within kimberlite by activating carbon within kimberlite, then using Positron Emission Tomorography (PET) to image carbon density. Although calculations suggest that long-term activation is not significant, modelling is required to determine the dose received by workers operating close to recently activated material at different positions within a hypothetical MinPET sorting unit. Two modelling techniques are deployed to investigate received dose. The first is a full simulation of energy absorbed, using the CERN Geant4 particle tracking toolkit. The results for this are validated against a numerical computation of the attenuation of outgoing radiation. The result is a set of 3-dimensional dosage maps. These can be used to set guidelines around where and for how long workers could operate, and to identify areas that need additional radiation shielding. The techniques developed are not limited to MinPET, and could prove useful for any situation requiring the simulation of dose received by workers operating near radioactive material

Differential Forms and Wave Equations for General Relativity

Recently, Choquet-Bruhat and York and Abrahams, Anderson, Choquet-Bruhat, and York (AACY) have cast the 3+1 evolution equations of general relativity in gauge-covariant and causal ``first-order symmetric hyperbolic form,'' thereby cleanly separating physical from gauge degrees of freedom in the Cauchy problem for general relativity. A key ingredient in their construction is a certain wave equation which governs the light-speed propagation of the extrinsic curvature tensor. Along a similar line, we construct a related wave equation which, as the key equation in a system, describes vacuum general relativity. Whereas the approach of AACY is based on tensor-index methods, the present formulation is written solely in the language of differential forms. Our approach starts with Sparling's tetrad-dependent differential forms, and our wave equation governs the propagation of Sparling's 2-form, which in the ``time-gauge'' is built linearly from the ``extrinsic curvature 1-form.'' The tensor-index version of our wave equation describes the propagation of (what is essentially) the Arnowitt-Deser-Misner gravitational momentum.Comment: REVTeX, 26 pages, no figures, 1 macr

Verifying proofs in constant depth

In this paper we initiate the study of proof systems where verification of proofs proceeds by NC circuits. We investigate the question which languages admit proof systems in this very restricted model. Formulated alternatively, we ask which languages can be enumerated by NC functions. Our results show that the answer to this problem is not determined by the complexity of the language. On the one hand, we construct NC proof systems for a variety of languages ranging from regular to NP-complete. On the other hand, we show by combinatorial methods that even easy regular languages such as Exact-OR do not admit NC proof systems. We also present a general construction of proof systems for regular languages with strongly connected NFA's

Quantum Trajectories and Quantum Measurement Theory

Beyond their use as numerical tools, quantum trajectories can be ascribed a degree of reality in terms of quantum measurement theory. In fact, they arise naturally from considering continuous observation of a damped quantum system. A particularly useful form of quantum trajectories is as linear (but non-unitary) stochastic Schrodinger equations. In the limit where a strong local oscillator is used in the detection, and where the system is not driven, these quantum trajectories can be solved. This gives an alternate derivation of the probability distributions for completed homodyne and heterodyne detection schemes. It also allows the previously intractable problem of real-time adaptive measurements to be treated. The results for an analytically soluble example of adaptive phase measurements are presented, and future developments discussed.Comment: 17 pages. A review article publihsed in 1996 which has been picking up some citations, so I thought I would post it her

Early Olfactory, but not Gustatory Processing, is Affected by the Selection of Heritable Cognitive Phenotypes in Honey Bee

Associative learning enables animals to predict rewards or punishments by their associations with predictive stimuli, while non-associative learning occurs without reinforcement. The latter includes latent inhibition (LI), whereby animals learn to ignore an inconsequential ‘familiar’ stimulus. Individual honey bees display heritable differences in expression of LI. We examined the behavioral and neuronal responses between honey bee genetic lines exhibiting high and low LI. We observed, as in previous studies, that high LI lines learned a familiar odor more slowly than low LI bees. By measuring gustatory responses to sucrose, we determined that perception of sucrose reward was similar between both lines, thereby not contributing to the LI phenotype. We then used extracellular electrophysiology to determine differences in neural responses of the antennal lobe (AL) to familiar and novel odors between the lines. Low LI bees responded significantly more strongly to both familiar and novel odors than the high LI bees, but the lines showed equivalent differences in response to the novel and familiar odors. This work suggests that some effects of genotype are present in early olfactory processing, and those effects could complement how LI is manifested at later stages of processing in brains of bees in the different lines

Group classification of the Sachs equations for a radiating axisymmetric, non-rotating, vacuum space-time

We carry out a Lie group analysis of the Sachs equations for a time-dependent axisymmetric non-rotating space-time in which the Ricci tensor vanishes. These equations, which are the first two members of the set of Newman-Penrose equations, define the characteristic initial-value problem for the space-time. We find a particular form for the initial data such that these equations admit a Lie symmetry, and so defines a geometrically special class of such spacetimes. These should additionally be of particular physical interest because of this special geometric feature.Comment: 18 Pages. Submitted to Classical and Quantum Gravit

Stability and collapse of rapidly rotating, supramassive neutron stars: 3D simulations in general relativity

We perform 3D numerical simulations in full general relativity to study the stability of rapidly rotating, supramassive neutron stars at the mass-shedding limit to dynamical collapse. We adopt an adiabatic equation of state with $\Gamma = 2$ and focus on uniformly rotating stars. We find that the onset of dynamical instability along mass-shedding sequences nearly coincides with the onset of secular instability. Unstable stars collapse to rotating black holes within about one rotation period. We also study the collapse of stable stars which have been destabilized by pressure depletion (e.g. via a phase transition) or mass accretion. In no case do we find evidence for the formation of massive disks or any ejecta around the newly formed Kerr black holes, even though the progenitors are rapidly rotating.Comment: 16 pages, to appear in Phys. Rev.

Trilingual conversations: a window into multicompetence

A recurrent theme in the literature on trilingual language use is the question of whether there is a specific “trilingual competence.” In this paper we consider this question in the light of codeswitching patterns in two dyadic trilingual conversations between a mother and daughter conducted in (Lebanese) Arabic, French, and English. Quantitative and qualitative analysis of codeswitching in both conversants shows that, despite the fact that both subjects are fluent in all three languages, uses of switching are significantly different for mother and daughter across a number of features, including relative frequency of different switch types, and the incidence of hybrid constructions involving items from two or more languages. The subjects appear to display qualitatively distinct profiles of competence in the trilingual mode. This in turn leads to the conclusion that the facts of trilingual language use are best characterized in terms of “multicompetence” (Cook, 1991). The paper concludes with some further reflections on the uniqueness of trilingual language use (an “old chestnut” in trilingualism research, cf. Klein, 1995)

Assessment of the effectiveness of head only and back-of-the-head electrical stunning of chickens

The study assesses the effectiveness of reversible head-only and back-of-the-head electrical stunning of chickens using 130–950 mA per bird at 50 Hz AC