Tind Technologies (Norway)

IUScholarWorks Open
Not a member yet
    2995 research outputs found

    A theory of finite structures

    No full text
    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τ\tau Experiment

    No full text
    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

    No full text
    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 D+KS0π+π+πD^{+} \rightarrow K_{S}^{0} \pi^{+} \pi^{+} \pi^{-}

    No full text
    The decay D+KS0π+π+πD^{+} \rightarrow K_{S}^{0} \pi^{+} \pi^{+} \pi^{-} is studied with an amplitude analysis using a data set of 2.93fb1^{-1} of e+ee^+e^- collisions at the ψ(3770)\psi(3770) 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 KS0a1(1260)+K_{S}^{0} a_{1}(1260)^{+}, Kˉ1(1270)0π+\bar{K}_{1}(1270)^{0} \pi^{+}, Kˉ1(1400)0π+\bar{K}_{1}(1400)^{0} \pi^{+}, Kˉ1(1650)0π+\bar{K}_{1}(1650)^{0} \pi^{+}, and Kˉ(1460)0π+\bar{K}(1460)^{0} \pi^{+}, a three-body decays KS0π+ρ0K_{S}^{0}\pi^{+}\rho^{0} as well as a non-resonant component KS0π+π+πK_{S}^{0}\pi^{+}\pi^{+}\pi^{-}. The dominant amplitude is KS0a1(1260)+K_{S}^{0} a_{1}(1260)^{+}, , 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 Ds+π+π0ηD_{s}^{+} \rightarrow \pi^{+}\pi^{0}\eta and first observation of the pure WW-annihilation decays Ds+a0(980)+π0D_{s}^{+} \rightarrow a_{0}(980)^{+}\pi^{0} and Ds+a0(980)0π+D_{s}^{+} \rightarrow a_{0}(980)^{0}\pi^{+}

    No full text
    We present the first amplitude analysis of the decay Ds+π+π0ηD_{s}^{+} \rightarrow \pi^{+}\pi^{0}\eta. We use an e+ee^+e^− collision data sample corresponding to an integrated luminosity of 3.19fb1^{−1} collected with the BESIII detector at a center-of-mass energy of 4.178 GeV. We observe for the first time the pure WW-annihilation decays Ds+a0(980)+π0D_{s}^{+} \rightarrow a_{0}(980)^{+}\pi^{0} and Ds+a0(980)0π+D_{s}^{+} \rightarrow a_{0}(980)^{0}\pi^{+}. We measure the absolute branching fractions B(Ds+a0(980)+(0)π0(+),a0(980)+(0)π+(0)η)=(1.46±0.15stat.±0.23sys.)\mathcal{B}(D_{s}^{+} \rightarrow a_{0}(980)^{+(0)}\pi^{0^(+)}, a_{0}(980)^{+(0)} \to \pi^{+(0)}\eta) = (1.46\pm0.15_{\rm stat.}\pm0.23_{\rm sys.}), which is larger than the branching fractions of other measured pure WW-annihilation decays by at least one order of magnitude. In addition, we measure the branching fraction of Ds+π+π0ηD_{s}^{+} \rightarrow \pi^{+}\pi^{0}\eta with significantly improved precision

    First observation of the decay χcJΣ+pˉKS0+c.c. (J=0,1,2)\chi_{cJ}\to \Sigma^{+}\bar{p}K_{S}^{0}+c.c. ~(J = 0, 1, 2)

    No full text
    Using E1 radiative transitions ψ(3686)γχcJ\psi(3686) \to \gamma\chi_{cJ} from a sample of (448.1±2.9)×106ψ(3686)(448.1 \pm 2.9)\times10^{6} \psi(3686) events collected with the BESIII detector, the decays χcJΣ+pˉKS0+c.c. (J=0,1,2)\chi_{cJ}\to \Sigma^{+}\bar{p}K_{S}^{0}+c.c.~(J = 0, 1, 2) are studied. The decay branching fractions are measured to be B(χc0Σ+pˉKS0+c.c.)=(3.52±0.19±0.21)×104\mathcal{B}(\chi_{c0}\to \Sigma^{+}\bar{p}K_{S}^{0}+c.c.) = (3.52 \pm 0.19\pm 0.21)\times10^{-4}, B(χc1Σ+pˉKS0+c.c.)=(1.53±0.10±0.08)×104\mathcal{B}(\chi_{c1}\to \Sigma^{+}\bar{p}K_{S}^{0}+c.c.) = (1.53 \pm 0.10\pm 0.08)\times10^{-4}, and B(χc2Σ+pˉKS0+c.c.)=(8.25±0.83±0.49)×105\mathcal{B}(\chi_{c2}\to \Sigma^{+}\bar{p}K_{S}^{0}+c.c.) = (8.25 \pm 0.83 \pm 0.49)\times10^{-5}, 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 ψ(3686)ϕη,ϕf1(1285)\psi(3686)\to \phi\eta^\prime, \phi f_1(1285) and ϕη(1405)\phi \eta(1405)

    No full text
    Using a sample of 448.1×106ψ(3686)448.1×10^6 \psi(3686) events collected with the BESIII detector, we perform a study of the decay ψ(3686)ϕπ+πη\psi(3686) \rightarrow \phi \pi^{+}\pi^{-}\eta. The branching fraction of ψ(3686)ϕη\psi(3686)\rightarrow\phi\eta^\prime is determined to be (1.51±0.16±0.12)×105(1.51\pm0.16\pm0.12)\times 10^{-5}, which is consistent with the previous measurement but with significantly improved precision. The resonances f1(1285)f_1(1285) and η(1405)\eta(1405) are clearly observed in the π+πη\pi^{+}\pi^{-}\eta mass spectrum with statistical significances of 18σ\sigma and 9.7σ\sigma, respectively. The corresponding product branching fractions are measured to be B(ψ(3686)ϕf1(1285),f1(1285)π+πη)=(1.03±0.10±0.09)×105\mathcal{B}(\psi(3686)\rightarrow\phi f_{1}(1285),f_{1}(1285)\rightarrow\pi^{+}\pi^{-}\eta) =(1.03\pm0.10\pm0.09)\times 10^{-5} and B(ψ(3686)ϕη(1405),η(1405)π+πη)=(8.46±1.37±0.92)×106\mathcal{B}(\psi(3686)\rightarrow\phi\eta(1405),\eta(1405)\rightarrow\pi^{+}\pi^{-}\eta) =(8.46\pm1.37\pm0.92)\times 10^{-6}

    Measurement of the phase between strong and electromagnetic amplitudes of J/ψJ/\psi decays

    No full text
    Using 16 energy points of e+ee^+e^− annihilation data collected in the vicinity of the J/ψJ/\psi resonance with the BESIII detector and with a total integrated luminosity of around 100 pb1^{−1}, we study the relative phase between the strong and electromagnetic amplitudes of J/ψJ/\psi decays. The relative phase between Jψ electromagnetic decay and the continuum process (e+ee^+e^− annihilation without the J/ψJ/\psi resonance) is confirmed to be zero by studying the cross section lineshape of μ+μ\mu^{+}\mu^{-} production. The relative phase between J/ψJ/\psi strong and electromagnetic decays is then measured to be (84.9±3.6)(84.9\pm3.6)^\circ or (84.7±3.1)(-84.7\pm3.1)^\circ for the 2(π+π)π02(\pi^{+}\pi^{-})\pi^{0} final state by investigating the interference pattern between the J/ψJ/\psi decay and the continuum process. This is the first measurement of the relative phase betweenJ/ψJ/\psi 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 ηπ+π\eta\pi^{+}\pi^{-} with ηπ+ππ0\eta\to\pi^{+}\pi^{-}\pi^{0}, which provides additional information about the phase between the J/ψJ/\psi electromagnetic decay amplitude and the continuum process. Additionally, the branching fraction of J/ψ2(π+π)π0J/\psi\to 2(\pi^{+}\pi^{-})\pi^{0} is measured to be (4.73±0.44)% or (4.85±0.45)%, and the branching fraction of J/ψηπ+πJ/\psi\to\eta\pi^{+}\pi^{-} is measured to be (3.78±0.68)×104^{−4}. 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 Ds+γe+νeD_s^+\rightarrow \gamma e^+\nu_e

    No full text
    A search for the rare radiative leptonic decay Ds+γe+νeD_s^+\to\gamma e^+\nu_e is performed for the first time using electron-positron collision data corresponding to an integrated luminosity of 3.19 fb1^{−1}, collected with the BESIII detector at a center-of-mass energy of 4.178 GeV. No evidence for the Ds+γe+νeD_s^+\to\gamma e^+\nu_e decay is seen and an upper limit of B(Ds+γe+νe)0.01\mathcal B(D_s^+\to\gamma e^+\nu_e)0.01 GeV

    685

    full texts

    2,995

    metadata records
    Updated in last 30 days.
    IUScholarWorks Open
    Access Repository Dashboard
    Do you manage Open Research Online? Become a CORE Member to access insider analytics, issue reports and manage access to outputs from your repository in the CORE Repository Dashboard! 👇