A feasible theory of truth over combinatory algebra

We define an applicative theory of truth TPT which proves totality exactly for the polynomial time computable functions. TPT has natural and simple axioms since nearly all its truth axioms are standard for truth theories over an applicative framework. The only exception is the axiom dealing with the word predicate. The truth predicate can only reflect elementhood in the words for terms that have smaller length than a given word. This makes it possible to achieve the very low proof-theoretic strength. Truth induction can be allowed without any constraints. For these reasons the system TPT has the high expressive power one expects from truth theories. It allows embeddings of feasible systems of explicit mathematics and bounded arithmetic. The proof that the theory TPT is feasible is not easy. It is not possible to apply a standard realisation approach. For this reason we develop a new realisation approach whose realisation functions work on directed acyclic graphs. In this way, we can express and manipulate realisation information more efficiently.

Numerical corrections to the strong coupling effective Polyakov-line action for finite T Yang-Mills theory

We consider a three-dimensional effective theory of Polyakov lines derived previously from lattice Yang-Mills theory and QCD by means of a resummed strong coupling expansion. The effective theory is useful for investigations of the phase structure, with a sign problem mild enough to allow simulations also at finite density. In this work we present a numerical method to determine improved values for the effective couplings directly from correlators of 4d Yang-Mills theory. For values of the gauge coupling up to the vicinity of the phase transition, the dominant short range effective coupling are well described by their corresponding strong coupling series. We provide numerical results also for the longer range interactions, Polyakov lines in higher representations as well as four-point interactions, and discuss the growing significance of non-local contributions as the lattice gets finer. Within this approach the critical Yang-Mills coupling β c is reproduced to better than one percent from a one-coupling effective theory on N τ = 4 lattices while up to five couplings are needed on N τ = 8 for the same accuracy.

The benefits of one-dimensional detectors for high-pressure powder X-ray diffraction

High-pressure powder X-ray diffraction is a fundamental technique for investigating structural responses to externally applied force. Synchrotron sources and two-dimensional detectors are required. In contrast to this conventional setup, high-resolution beamlines equipped with one-dimensional detectors could offer much better resolved peaks but cannot deliver accurate structure factors because they only sample a small portion of the Debye rings, which are usually inhomogeneous and spotty because of the small amount of sample. In this study, a simple method to overcome this problem is presented and successfully applied to solving the structure of an L-serine polymorph from powder data. A comparison of the obtained high-resolution high-pressure data with conventional data shows that this technique, providing up to ten times better angular resolution, can be of advantage for indexing, for lattice parameter refinement, and even for structure refinement and solution in special cases.

Three-dimensional culture and characterization of mononuclear cells from human bone marrow

BACKGROUND AIMS The diverse phenotypic changes and clinical and economic disadvantages associated with the monolayer expansion of bone marrow-derived mesenchymal stromal cells (MSCs) have focused attention on the development of one-step intraoperative cells therapies and homing strategies. The mononuclear cell fraction of bone marrow, inclusive of discrete stem cell populations, is not well characterized, and we currently lack suitable cell culture systems in which to culture and investigate the behavior of these cells. METHODS Human bone marrow-derived mononuclear cells were cultured within fibrin for 2 weeks with or without fibroblast growth factor-2 supplementation. DNA content and cell viability of enzymatically retrieved cells were determined at days 7 and 14. Cell surface marker profiling and cell cycle analysis were performed by means of multi-color flow cytometry and a 5-ethynyl-2'-deoxyuridine incorporation assay, respectively. RESULTS Total mononuclear cell fractions, isolated from whole human bone marrow, was successfully cultured in fibrin gels for up to 14 days under static conditions. Discrete niche cell populations including MSCs, pericytes and hematopoietic stem cells were maintained in relative quiescence for 7 days in proportions similar to that in freshly isolated cells. Colony-forming unit efficiency of enzymatically retrieved MSCs was significantly higher at day 14 compared to day 0; and in accordance with previously published works, it was fibroblast growth factor-2-dependant. CONCLUSIONS Fibrin gels provide a simple, novel system in which to culture and study the complete fraction of bone marrow-derived mononuclear cells and may support the development of improved bone marrow cell-based therapies.