2995 research outputs found
Sort by
A theory of finite structures
We develop a novel formal theory of finite structures, based on a view of finite structures as a fundamental artifact of computing and programming, forming a common platform for computing both within particular finite structures, and in the aggregate for computing over infinite data-types construed as families of finite structures. A "finite structure" is here a finite collection of finite partial-functions, over a common universe of atoms. The theory is second-order, as it uses quantification over finite functions. Our formal theory FS uses a small number of fundamental axiom-schemas, with finiteness enforced by a schema of induction on finite partial-functions. We show that computability is definable in the theory by existential formulas, generalizing Kleene's Theorem on the Sigma-1 definability of RE sets, and use that result to prove that FS is mutually interpretable with Peano Arithmetic
Monte Carlo Simulations of Trapped Ultracold Neutrons in the UCN Experiment
In the UCN τ experiment, ultracold neutrons (UCN) are confined by magnetic fields and the Earth's gravitational field. Field-trapping mitigates the problem of UCN loss on material surfaces, which caused the largest correction in prior neutron experiments using material bottles. However, the neutron dynamics in field traps differ qualitatively from those in material bottles. In the latter case, neutrons bounce off material surfaces with significant diffusivity and the population quickly reaches a static spatial distribution with a density gradient induced by the gravitational potential. In contrast, the field-confined UCN—whose dynamics can be described by Hamiltonian mechanics—do not exhibit the stochastic behaviors typical of an ideal gas model as observed in material bottles. In this report, we will describe our efforts to simulate UCN trapping in the UCN τ magnetogravitational trap. We compare the simulation output to the experimental results to determine the parameters of the neutron detector and the input neutron distribution. The tuned model is then used to understand the phase-space evolution of neutrons observed in the UCN τ experiment. We will discuss the implications of chaotic dynamics on controlling the systematic effects, such as spectral cleaning and microphonic heating, for a successful UCN lifetime experiment to reach a 0.01% level of precision
But What Does it Mean? Competition between Products Carrying Alternative Green Labels when Consumers are Active Acquirers of Information
Programs that certify the environmental (or other social) attributes of firms are common. But the proliferation of labeling schemes makes it difficult for consumers to know what each one means—what level of “greenness” does a particular label imply? We provide the first model in which consumers can expend effort to learn what labels mean. The relationship between information acquisition costs, firm pricing decisions, the market shares obtained by alternatively labeled goods and a brown “backstop” good, and total environmental impact proves complex. Consumer informedness can have perverse implications. In plausible cases a reduction in the cost of information damages environmental outcomes. Our results challenge the presumption that provision of environmental information to the public is necessarily good for welfare or the environment
Amplitude analysis of
The decay is studied with an amplitude analysis using a data set of 2.93fb of collisions at the peak accumulated by the BESIII detector. Intermediate states and non-resonant components, and their relative fractions and phases have been determined. The significant amplitudes, which contribute to the model that best fits the data, are composed of five quasi-two-body decays , , , , and , a three-body decays as well as a non-resonant component . The dominant amplitude is , , with a fit fraction of (40.3±2.1±2.9)%, where the first and second uncertainties are statistical and systematic, respectively
Amplitude analysis of and first observation of the pure -annihilation decays and
We present the first amplitude analysis of the decay . We use an collision data sample corresponding to an integrated luminosity of 3.19fb collected with the BESIII detector at a center-of-mass energy of 4.178 GeV. We observe for the first time the pure -annihilation decays and . We measure the absolute branching fractions , which is larger than the branching fractions of other measured pure -annihilation decays by at least one order of magnitude. In addition, we measure the branching fraction of with significantly improved precision
First observation of the decay
Using E1 radiative transitions from a sample of events collected with the BESIII detector, the decays are studied. The decay branching fractions are measured to be , , and , where the first and second uncertainties are the statistical and systematic ones, respectively. No evident intermediate resonances are observed in the studied processes
Measurement of branching fractions of and
Using a sample of events collected with the BESIII detector, we perform a study of the decay . The branching fraction of is determined to be , which is consistent with the previous measurement but with significantly improved precision. The resonances and are clearly observed in the mass spectrum with statistical significances of 18 and 9.7, respectively. The corresponding product branching fractions are measured to be and
Measurement of the phase between strong and electromagnetic amplitudes of decays
Using 16 energy points of annihilation data collected in the vicinity of the resonance with the BESIII detector and with a total integrated luminosity of around 100 pb, we study the relative phase between the strong and electromagnetic amplitudes of decays. The relative phase between Jψ electromagnetic decay and the continuum process ( annihilation without the resonance) is confirmed to be zero by studying the cross section lineshape of production. The relative phase between strong and electromagnetic decays is then measured to be or for the final state by investigating the interference pattern between the decay and the continuum process. This is the first measurement of the relative phase between strong and electromagnetic decays into a multihadron final state using the lineshape of the production cross section. We also study the production lineshape of the multihadron final state with , which provides additional information about the phase between the electromagnetic decay amplitude and the continuum process. Additionally, the branching fraction of is measured to be (4.73±0.44)% or (4.85±0.45)%, and the branching fraction of is measured to be (3.78±0.68)×10. Both of them are consistent with the world average values. The quoted uncertainties include both statistical and systematic uncertainties, which are mainly caused by the low statistics
Search for the decay
A search for the rare radiative leptonic decay is performed for the first time using electron-positron collision data corresponding to an integrated luminosity of 3.19 fb, collected with the BESIII detector at a center-of-mass energy of 4.178 GeV. No evidence for the decay is seen and an upper limit of GeV