Spin-Orbit Scattering and Time-Reversal Symmetry: Detection of a Spin by Tunneling

We consider the possibility of detecting spin precession in a magnetic field by nonequilibrium transport processes. We find that time reversal symmetry imposes strong constraints on the problem. Suppose the tunneling occurs directly between systems at two different chemical potentials, rather than sequentially via a third system at an intermediate chemical potential. Then, unless the magnetic fields are extremely strong or spin polarized electrons are used, the periodic signal in the current results from beating together two different precession frequencies, so that observing a signal near the Larmor frequency in this case requires having some cluster with a $g$ factor close to zero.Comment: 4 pages, 1 figur

Measurement of the fraction of t-tbar production via gluon-gluon fusion in p-pbar collisions at sqrt(s)=1.96 TeV

We present a measurement of the ratio of t-tbar production cross section via gluon-gluon fusion to the total t-tbar production cross section in p-pbar collisions at sqrt{s}=1.96 TeV at the Tevatron. Using a data sample with an integrated luminosity of 955/pb recorded by the CDF II detector at Fermilab, we select events based on the t-tbar decay to lepton+jets. Using an artificial neural network technique we discriminate between t-tbar events produced via q-qbar annihilation and gluon-gluon fusion, and find Cf=(gg->ttbar)/(pp->ttbar)<0.33 at the 68% confidence level. This result is combined with a previous measurement to obtain the most precise measurement of this quantity, Cf=0.07+0.15-0.07.Comment: submitted to Phys. Rev.

Measurement of Resonance Parameters of Orbitally Excited Narrow B^0 Mesons

We report a measurement of resonance parameters of the orbitally excited (L=1) narrow B^0 mesons in decays to B^{(*)+}\pi^- using 1.7/fb of data collected by the CDF II detector at the Fermilab Tevatron. The mass and width of the B^{*0}_2 state are measured to be m(B^{*0}_2) = 5740.2^{+1.7}_{-1.8}(stat.) ^{+0.9}_{-0.8}(syst.) MeV/c^2 and \Gamma(B^{*0}_2) = 22.7^{+3.8}_{-3.2}(stat.) ^{+3.2}_{-10.2}(syst.) MeV/c^2. The mass difference between the B^{*0}_2 and B^0_1 states is measured to be 14.9^{+2.2}_{-2.5}(stat.) ^{+1.2}_{-1.4}(syst.) MeV/c^2, resulting in a B^0_1 mass of 5725.3^{+1.6}_{-2.2}(stat.) ^{+1.4}_{-1.5}(syst.) MeV/c^2. This is currently the most precise measurement of the masses of these states and the first measurement of the B^{*0}_2 width.Comment: 7 pages, 1 figure, 1 table. Submitted to Phys.Rev.Let

A Reduction-Preserving Completion for Proving Confluence of Non-Terminating Term Rewriting Systems

We give a method to prove confluence of term rewriting systems that contain non-terminating rewrite rules such as commutativity and associativity. Usually, confluence of term rewriting systems containing such rules is proved by treating them as equational term rewriting systems and considering E-critical pairs and/or termination modulo E. In contrast, our method is based solely on usual critical pairs and it also (partially) works even if the system is not terminating modulo E. We first present confluence criteria for term rewriting systems whose rewrite rules can be partitioned into a terminating part and a possibly non-terminating part. We then give a reduction-preserving completion procedure so that the applicability of the criteria is enhanced. In contrast to the well-known Knuth-Bendix completion procedure which preserves the equivalence relation of the system, our completion procedure preserves the reduction relation of the system, by which confluence of the original system is inferred from that of the completed system

Composition with Target Constraints

It is known that the composition of schema mappings, each specified by source-to-target tgds (st-tgds), can be specified by a second-order tgd (SO tgd). We consider the question of what happens when target constraints are allowed. Specifically, we consider the question of specifying the composition of standard schema mappings (those specified by st-tgds, target egds, and a weakly acyclic set of target tgds). We show that SO tgds, even with the assistance of arbitrary source constraints and target constraints, cannot specify in general the composition of two standard schema mappings. Therefore, we introduce source-to-target second-order dependencies (st-SO dependencies), which are similar to SO tgds, but allow equations in the conclusion. We show that st-SO dependencies (along with target egds and target tgds) are sufficient to express the composition of every finite sequence of standard schema mappings, and further, every st-SO dependency specifies such a composition. In addition to this expressive power, we show that st-SO dependencies enjoy other desirable properties. In particular, they have a polynomial-time chase that generates a universal solution. This universal solution can be used to find the certain answers to unions of conjunctive queries in polynomial time. It is easy to show that the composition of an arbitrary number of standard schema mappings is equivalent to the composition of only two standard schema mappings. We show that surprisingly, the analogous result holds also for schema mappings specified by just st-tgds (no target constraints). This is proven by showing that every SO tgd is equivalent to an unnested SO tgd (one where there is no nesting of function symbols). Similarly, we prove unnesting results for st-SO dependencies, with the same types of consequences.Comment: This paper is an extended version of: M. Arenas, R. Fagin, and A. Nash. Composition with Target Constraints. In 13th International Conference on Database Theory (ICDT), pages 129-142, 201

Finitely generated free Heyting algebras via Birkhoff duality and coalgebra

Algebras axiomatized entirely by rank 1 axioms are algebras for a functor and thus the free algebras can be obtained by a direct limit process. Dually, the final coalgebras can be obtained by an inverse limit process. In order to explore the limits of this method we look at Heyting algebras which have mixed rank 0-1 axiomatizations. We will see that Heyting algebras are special in that they are almost rank 1 axiomatized and can be handled by a slight variant of the rank 1 coalgebraic methods

Angular Momentum Profiles of Warm Dark Matter Halos

We compare the specific angular momentum profiles of virialized dark halos in cold dark matter (CDM) and warm dark matter (WDM) models using high-resolution dissipationless simulations. The simulations were initialized using the same set of modes, except on small scales, where the power was suppressed in WDM below the filtering length. Remarkably, WDM as well as CDM halos are well-described by the two-parameter angular momentum profile of Bullock et al. (2001), even though the halo masses are below the filtering scale of the WDM. Although the best-fit shape parameters change quantitatively for individual halos in the two simulations, we find no systematic variation in profile shapes as a function of the dark matter type. The scatter in shape parameters is significantly smaller for the WDM halos, suggesting that substructure and/or merging history plays a role producing scatter about the mean angular momentum distribution, but that the average angular momentum profiles of halos originate from larger-scale phenomena or a mechanism associated with the virialization process. The known mismatch between the angular momentum distributions of dark halos and disk galaxies is therefore present in WDM as well as CDM models. Our WDM halos tend to have a less coherent (more misaligned) angular momentum structure and smaller spin parameters than do their CDM counterparts, although we caution that this result is based on a small number of halos.Comment: 5 pages, 1 figure, Submitted to ApJ

Search for lepton flavor violating decays of a heavy neutral particle in p-pbar collisions at root(s)=1.8 TeV

We report on a search for a high mass, narrow width particle that decays directly to e+mu, e+tau, or mu+tau. We use approximately 110 pb^-1 of data collected with the Collider Detector at Fermilab from 1992 to 1995. No evidence of lepton flavor violating decays is found. Limits are set on the production and decay of sneutrinos with R-parity violating interactions.Comment: Figure 2 fixed. Reference 4 fixed. Minor changes to tex

Angular distribution of photoluminescence as a probe of Bose Condensation of trapped excitons

Recent experiments on two-dimensional exciton systems have shown the excitons collect in shallow in-plane traps. We find that Bose condensation in a trap results in a dramatic change of the exciton photoluminescence (PL) angular distribution. The long-range coherence of the condensed state gives rise to a sharply focussed peak of radiation in the direction normal to the plane. By comparing the PL profile with and without Bose Condensation we provide a simple diagnostic for the existence of a Bose condensate. The PL peak has strong temperature dependence due to the thermal order parameter phase fluctuations across the system. The angular PL distribution can also be used for imaging vortices in the trapped condensate. Vortex phase spatial variation leads to destructive interference of PL radiation in certain directions, creating nodes in the PL distribution that imprint the vortex configuration.Comment: 4 pages, 3 figure

Behavioural coping patterns in Parkinson's patients with visual hallucinations

Visual Hallucinations are considered to affect about 20%-40% of patients with Parkinson's disease. They are generally seen as a side effect of this long-term illness and can severely affect the daily quality of life of patients. The aim of this study was to determine the coping patterns or strategies used by patients and establish whether the phenomenology and behaviours used by patients enabled control of the phenomenon. Demographic and clinical variables were recorded, including motor measures, cognitive status, and depressive symptoms. Patient with hallucinations were at a more advance stage of the disease and displayed more depressive symptoms than their non-hallucinating counterparts. Most patients used more than one constructive coping strategy, the most common were simple behavioural strategies based around motor action or cognitive approaches resulting in visual modification. In addition, humour was a common technique used by the patients to deal with the phenomenon. Emotional responses varied between patients, but it was found that the actual content of the hallucination was not directly associated with whether it caused trouble to the patient, but perceived stress was strongly correlated with the subjective disturbing nature of visual hallucinations (VHs). This study gives insight into the role of cognitive-behavioural approaches when dealing with VHs and opens up avenues for future studies in helping patient to deal with hallucinations