Cyclic Universe and Infinite Past

We address two questions about the past for infinitely cyclic cosmology. The first is whether it can contain an infinite length null geodesic into the past in view of the Borde-Guth-Vilenkin (BGV) "no-go" theorem, The second is whether, given that a small fraction of spawned universes fail to cycle, there is an adequate probability for a successful universe after an infinite time. We give positive answers to both questions then show that in infinite cyclicity the total number of universes has been infinite for an arbitrarily long time.Comment: 7 pages. Clarification in discussion of infinite pas

Terminal deoxynucleotidyl transferase is found in prothymocytes

Terminal deoxynucleotidyl transferase is an enzyme which has the unique property of polymerizing polydeoxynucleotides onto a primer in the absence of a template (1,2). This enzyme is found both in the thymus and the bone marrow of birds, rodents, and humans (3-7). Whether the marrow cells that contain terminal transferase are related to thymocytes, or are on a separate pathway of differentiation, is not yet known (7,8). To determine the lineage of the murine bone marrow cells that have terminal transferase, we have investigated whether these cells have the antigen Thy-1 induced on the cells by treatment with thymopoietin (9). Thymopoietin is known to induce a set of characteristic T-cell markers including the Thy-1 alloantigen on the surface of a subpopulation of bone marrow cells committed to T-cell differentiation (prothymocytes) (10). Destruction of Thy- 1-positive cells after exposure to thymopoietin allows elimination of a substantial fraction of those bone marrow cells that can repopulate an irradiated thymus (11). We find that such an elimination after induction with the thymic polypeptide removes a substantial amount of terminal transferase from the bone marrow cell population, suggesting that at least one-half of the marrow cells bearing this enzyme are related to those found in the thymus

Cloned mouse cells with natural killer function and cloned suppressor T cells express ultrastructural and biochemical features not shared by cloned inducer T cells.

We have examined the morphology, cytochemistry, and biochemistry of mouse leukocyte subsets by analyzing cloned leukocyte populations specialized to perform different immunologic functions. Cloned cells expressing high-affinity plasma membrane receptors for IgE and mediating natural killer (NK) lysis and cloned antigen-specific suppressor T cells contained prominent osmiophilic cytoplasmic granules similar by ultrastructure to those of mouse basophils. Both clones also incorporated 35SO4 into granule-associated sulfated glycosaminoglycans, expressed a characteristic ultrastructural pattern of nonspecific esterase activity, incorporated exogenous [3H]5-hydroxytryptamine, and contained cytoplasmic deposits of particulate glycogen. By contrast, cloned inducer T cells lacked cytoplasmic granules and glycogen, incorporated neither 35SO4 nor [3H]5-hydroxytryptamine, and differed from the other clones in pattern of nonspecific esterase activity. These findings establish that certain cloned cells with NK activity and cloned suppressor T cells express morphologic and biochemical characteristics heretofore associated with basophilic granulocytes. However, these clones differ in surface glycoprotein expression and immunologic function, and the full extent of the similarities and differences among these populations and basophils remains to be determined

Mast cell clones: a model for the analysis of cellular maturation.

Cloned mouse mast cells resemble, by ultrastructure, immature mast cells observed in vivo. These mast cell clones can be grown in the absence of any other cells, facilitating direct investigations of their biochemistry and function. We find that cloned mast cells express plasma membrane receptors (Fc epsilon R) that bind mouse IgE with an equilibrium constant (KA) similar to that of normal mouse peritoneal mast cells. In addition, cloned mast cells do not display detectable la antigens and cannot enhance lg secretion when added to lymphocyte cultures or mediate natural killer lysis. In the presence of 1 mM sodium butyrate, cloned mast cells stop dividing and acquire abundant electron-dense cytoplasmic granules similar to those of mature mast cells. Their histamine content increases concomitant with cytoplasmic granule maturation and may exceed that of untreated mast cells by 50-fold. Unlike peritoneal mast cells, cloned mast cells incorporate 35SO4 into chondroitin sulfates rather than heparin. These findings demonstrate that, unlike fully differentiated mouse peritoneal mast cells, cloned immature mouse mast cells contain no heparin and low levels of histamine. In addition, they establish that high-affinity Fc epsilon R are expressed early in mast cell maturation, well before completion of cytoplasmic granule synthesis and mediator storage

Modular termination verification for non-blocking concurrency

© Springer-Verlag Berlin Heidelberg 2016.We present Total-TaDA, a program logic for verifying the total correctness of concurrent programs: that such programs both terminate and produce the correct result. With Total-TaDA, we can specify constraints on a thread’s concurrent environment that are necessary to guarantee termination. This allows us to verify total correctness for nonblocking algorithms, e.g. a counter and a stack. Our specifications can express lock- and wait-freedom. More generally, they can express that one operation cannot impede the progress of another, a new non-blocking property we call non-impedance. Moreover, our approach is modular. We can verify the operations of a module independently, and build up modules on top of each other

A Titanium Nitride Absorber for Controlling Optical Crosstalk in Horn-Coupled Aluminum LEKID Arrays for Millimeter Wavelengths

We discuss the design and measured performance of a titanium nitride (TiN) mesh absorber we are developing for controlling optical crosstalk in horn-coupled lumped-element kinetic inductance detector arrays for millimeter-wavelengths. This absorber was added to the fused silica anti-reflection coating attached to previously-characterized, 20-element prototype arrays of LEKIDs fabricated from thin-film aluminum on silicon substrates. To test the TiN crosstalk absorber, we compared the measured response and noise properties of LEKID arrays with and without the TiN mesh. For this test, the LEKIDs were illuminated with an adjustable, incoherent electronic millimeter-wave source. Our measurements show that the optical crosstalk in the LEKID array with the TiN absorber is reduced by 66\% on average, so the approach is effective and a viable candidate for future kilo-pixel arrays.Comment: 7 pages, 5 figures, accepted for publication in the Journal of Low Temperature Physic

Horn-Coupled, Commercially-Fabricated Aluminum Lumped-Element Kinetic Inductance Detectors for Millimeter Wavelengths

We discuss the design, fabrication, and testing of prototype horn-coupled, lumped-element kinetic inductance detectors (LEKIDs) designed for cosmic microwave background (CMB) studies. The LEKIDs are made from a thin aluminum film deposited on a silicon wafer and patterned using standard photolithographic techniques at STAR Cryoelectronics, a commercial device foundry. We fabricated twenty-element arrays, optimized for a spectral band centered on 150 GHz, to test the sensitivity and yield of the devices as well as the multiplexing scheme. We characterized the detectors in two configurations. First, the detectors were tested in a dark environment with the horn apertures covered, and second, the horn apertures were pointed towards a beam-filling cryogenic blackbody load. These tests show that the multiplexing scheme is robust and scalable, the yield across multiple LEKID arrays is 91%, and the noise-equivalent temperatures (NET) for a 4 K optical load are in the range 26\thinspace\pm6 \thinspace \mu \mbox{K} \sqrt{\mbox{s}}

The diagonalization method in quantum recursion theory

As quantum parallelism allows the effective co-representation of classical mutually exclusive states, the diagonalization method of classical recursion theory has to be modified. Quantum diagonalization involves unitary operators whose eigenvalues are different from one.Comment: 15 pages, completely rewritte

The Role of Patient Activation in Preferences for Shared Decision Making: Results From a National Survey of US Adults

Financial support for this study was provided by a contract with UnitedHealthcare, Optum Institute. The funding agreement ensured our independence in designing the study, interpreting the data, and writing and publishing the report. Samuel G. Smith is supported by a Cancer Research UK Postdoctoral Fellowship (C42785=A17965). Carol J. Simon and Steven R. Rush are employed by the sponsor