Phase space spinor amplitudes for spin 1/2 systems

The concept of phase space amplitudes for systems with continuous degrees of freedom is generalized to finite-dimensional spin systems. Complex amplitudes are obtained on both a sphere and a finite lattice, in each case enabling a more fundamental description of pure spin states than that previously given by Wigner functions. In each case the Wigner function can be expressed as the star product of the amplitude and its conjugate, so providing a generalized Born interpretation of amplitudes that emphasizes their more fundamental status. The ordinary product of the amplitude and its conjugate produces a (generalized) spin Husimi function. The case of spin-\half is treated in detail, and it is shown that phase space amplitudes on the sphere transform correctly as spinors under under rotations, despite their expression in terms of spherical harmonics. Spin amplitudes on a lattice are also found to transform as spinors. Applications are given to the phase space description of state superposition, and to the evolution in phase space of the state of a spin-\half magnetic dipole in a time-dependent magnetic field.Comment: 19 pages, added new results, fixed typo

Transport Theory beyond Binary Collisions

Using the Schwinger-Keldysh technique, we derive the transport equations for a system of quantum scalar fields. We first discuss the general structure of the equations and then their collision terms. Taking into account up to three-loop diagrams in \phi^3 model and up to four-loop diagrams in \phi^4 model, we obtain the transport equations which include the contributions of multi-particle collisions and particle production processes, in addition to mean-field effects and binary interactions.Comment: 30 pages, 21 figures, minor changes, to appear in Phys. Rev.

Genetic Parameters and Responses of Linear Type, Yield Traits, and Somatic Cell Scores to Divergent Selection for Predicted Transmitting Ability for Type in Holsteins

The objective was to examine the direct and correlated responses of linear type, yield traits, and somatic cell scores (SCS) to divergent selection for predicted transmitting ability for type (PTAT) in Holsteins, while maintaining selection for yield traits across lines. For four generations, one-half of the University of Nebraska research Holstein herd was bred to Holstein sires with PTAT -1.50 and the other half to sires with PTAT - 1.25, with nearly equal predicted transmitting abilities for yield traits for both groups. Estimates of genetic and residual correlations and heritabilities were obtained from REML estimates of (co)variance components. Model for type traits included fixed effect of date cows were classified, effects of age in days at freshening, and stage of lactation at classification. Year-season when cows freshened was fixed effect in model for yield and SCS. Animal genetic and residual effects were random. Final score, milk, fat, and protein yields, and SCS had heritability estimates of 0.38, 0.13, 0.22, 0.09, and 0.38, respectively. Heritability estimates for type traits ranged from 0.04 to 0.52. Estimates of genetic correlations of final score with SCS and milk, fat, and protein yields were -0.64, 0.01, -0.18, and 0.06, respectively. Estimates of genetic correlations among linear type traits ranged from -0.77 to 1.00. Means of estimated breeding values for final score, stature, strength, body depth, fore udder attachment, rear udder height and width, udder cleft, udder depth, and front teat placement were significantly different between lines in the third generation. Milk, fat, and protein yields were not significantly different between lines in third generation, whereas SCS was significantly different. Estimate of genetic correlation between final score and SCS suggest that selection on PTAT would result in a change for SCS. In this study, divergent selection on PTAT of sires had a significant effect on udder and body traits, but little or no effect on feet and leg traits

Estimation of a probability in inverse binomial sampling under normalized linear-linear and inverse-linear loss

Sequential estimation of the success probability $p$ in inverse binomial sampling is considered in this paper. For any estimator $\hat p$, its quality is measured by the risk associated with normalized loss functions of linear-linear or inverse-linear form. These functions are possibly asymmetric, with arbitrary slope parameters $a$ and $b$ for $\hat pp$ respectively. Interest in these functions is motivated by their significance and potential uses, which are briefly discussed. Estimators are given for which the risk has an asymptotic value as $p$ tends to $0$, and which guarantee that, for any $p$ in $(0,1)$, the risk is lower than its asymptotic value. This allows selecting the required number of successes, $r$, to meet a prescribed quality irrespective of the unknown $p$. In addition, the proposed estimators are shown to be approximately minimax when $a/b$ does not deviate too much from $1$, and asymptotically minimax as $r$ tends to infinity when $a=b$.Comment: 4 figure

Kepler Presearch Data Conditioning I - Architecture and Algorithms for Error Correction in Kepler Light Curves

Kepler provides light curves of 156,000 stars with unprecedented precision. However, the raw data as they come from the spacecraft contain significant systematic and stochastic errors. These errors, which include discontinuities, systematic trends, and outliers, obscure the astrophysical signals in the light curves. To correct these errors is the task of the Presearch Data Conditioning (PDC) module of the Kepler data analysis pipeline. The original version of PDC in Kepler did not meet the extremely high performance requirements for the detection of miniscule planet transits or highly accurate analysis of stellar activity and rotation. One particular deficiency was that astrophysical features were often removed as a side-effect to removal of errors. In this paper we introduce the completely new and significantly improved version of PDC which was implemented in Kepler SOC 8.0. This new PDC version, which utilizes a Bayesian approach for removal of systematics, reliably corrects errors in the light curves while at the same time preserving planet transits and other astrophysically interesting signals. We describe the architecture and the algorithms of this new PDC module, show typical errors encountered in Kepler data, and illustrate the corrections using real light curve examples.Comment: Submitted to PASP. Also see companion paper "Kepler Presearch Data Conditioning II - A Bayesian Approach to Systematic Error Correction" by Jeff C. Smith et a

Revealing a signaling role of phytosphingosine-1-phosphate in yeast

Perturbing metabolic systems of bioactive sphingolipids with genetic approachMultiple types of “omics” data collected from the systemSystems approach for integrating multiple “omics” informationPredicting signal transduction information flow: lipid; TF activation; gene expressio

Independence in CLP Languages

Studying independence of goals has proven very useful in the context of logic programming. In particular, it has provided a formal basis for powerful automatic parallelization tools, since independence ensures that two goals may be evaluated in parallel while preserving correctness and eciency. We extend the concept of independence to constraint logic programs (CLP) and prove that it also ensures the correctness and eciency of the parallel evaluation of independent goals. Independence for CLP languages is more complex than for logic programming as search space preservation is necessary but no longer sucient for ensuring correctness and eciency. Two additional issues arise. The rst is that the cost of constraint solving may depend upon the order constraints are encountered. The second is the need to handle dynamic scheduling. We clarify these issues by proposing various types of search independence and constraint solver independence, and show how they can be combined to allow dierent optimizations, from parallelism to intelligent backtracking. Sucient conditions for independence which can be evaluated \a priori" at run-time are also proposed. Our study also yields new insights into independence in logic programming languages. In particular, we show that search space preservation is not only a sucient but also a necessary condition for ensuring correctness and eciency of parallel execution

Bose-Einstein Condensation in a Harmonic Potential

We examine several features of Bose-Einstein condensation (BEC) in an external harmonic potential well. In the thermodynamic limit, there is a phase transition to a spatial Bose-Einstein condensed state for dimension D greater than or equal to 2. The thermodynamic limit requires maintaining constant average density by weakening the potential while increasing the particle number N to infinity, while of course in real experiments the potential is fixed and N stays finite. For such finite ideal harmonic systems we show that a BEC still occurs, although without a true phase transition, below a certain ``pseudo-critical'' temperature, even for D=1. We study the momentum-space condensate fraction and find that it vanishes as 1/N^(1/2) in any number of dimensions in the thermodynamic limit. In D less than or equal to 2 the lack of a momentum condensation is in accord with the Hohenberg theorem, but must be reconciled with the existence of a spatial BEC in D=2. For finite systems we derive the N-dependence of the spatial and momentum condensate fractions and the transition temperatures, features that may be experimentally testable. We show that the N-dependence of the 2D ideal-gas transition temperature for a finite system cannot persist in the interacting case because it violates a theorem due to Chester, Penrose, and Onsager.Comment: 34 pages, LaTeX, 6 Postscript figures, Submitted to Jour. Low Temp. Phy

Classical Equations for Quantum Systems

The origin of the phenomenological deterministic laws that approximately govern the quasiclassical domain of familiar experience is considered in the context of the quantum mechanics of closed systems such as the universe as a whole. We investigate the requirements for coarse grainings to yield decoherent sets of histories that are quasiclassical, i.e. such that the individual histories obey, with high probability, effective classical equations of motion interrupted continually by small fluctuations and occasionally by large ones. We discuss these requirements generally but study them specifically for coarse grainings of the type that follows a distinguished subset of a complete set of variables while ignoring the rest. More coarse graining is needed to achieve decoherence than would be suggested by naive arguments based on the uncertainty principle. Even coarser graining is required in the distinguished variables for them to have the necessary inertia to approach classical predictability in the presence of the noise consisting of the fluctuations that typical mechanisms of decoherence produce. We describe the derivation of phenomenological equations of motion explicitly for a particular class of models. Probabilities of the correlations in time that define equations of motion are explicitly considered. Fully non-linear cases are studied. Methods are exhibited for finding the form of the phenomenological equations of motion even when these are only distantly related to those of the fundamental action. The demonstration of the connection between quantum-mechanical causality and causalty in classical phenomenological equations of motion is generalized. The connections among decoherence, noise, dissipation, and the amount of coarse graining necessary to achieve classical predictability are investigated quantitatively.Comment: 100pages, 1 figur