Perturbative analysis of the Wess-Zumino flow

We investigate an interacting supersymmetric gradient flow in the Wess-Zumino model. Thanks to the non-renormalization theorem and an appropriate initial condition, we find that any correlator of flowed fields is ultraviolet finite. This is shown at all orders of the perturbation theory using the power counting theorem for 1PI supergraphs. Since the model does not have the gauge symmetry, the mechanism of realizing the ultraviolet finiteness is quite different from that of the Yang-Mills flow, and this could provide further understanding of the gradient flow approach.Comment: 30 pages, 2 figure

Imaging of Ultraweak Spontaneous Photon Emission from Human Body Displaying Diurnal Rhythm

The human body literally glimmers. The intensity of the light emitted by the body is 1000 times lower than the sensitivity of our naked eyes. Ultraweak photon emission is known as the energy released as light through the changes in energy metabolism. We successfully imaged the diurnal change of this ultraweak photon emission with an improved highly sensitive imaging system using cryogenic charge-coupled device (CCD) camera. We found that the human body directly and rhythmically emits light. The diurnal changes in photon emission might be linked to changes in energy metabolism

A Calculus with Partially Dynamic Records for Typeful Manipulation of JSON Objects

This paper investigates language constructs for high-level and type-safe manipulation of JSON objects in a typed functional language. A major obstacle in representing JSON in a static type system is their heterogeneous nature: in most practical JSON APIs, a JSON array is a heterogeneous list consisting of, for example, objects having common fields and possibly some optional fields. This paper presents a typed calculus that reconciles static typing constraints and heterogeneous JSON arrays based on the idea of partially dynamic records originally proposed and sketched by Buneman and Ohori for complex database object manipulation. Partially dynamic records are dynamically typed records, but some parts of their structures are statically known. This feature enables us to represent JSON objects as typed data structures. The proposed calculus smoothly extends with ML-style pattern matching and record polymorphism. These results yield a typed functional language where the programmer can directly import JSON data as terms having static types, and can manipulate them with the full benefits of static polymorphic type-checking. The proposed calculus has been embodied in SML#, an extension of Standard ML with record polymorphism and other practically useful features. This paper also reports on the details of the implementation and demonstrates its feasibility through examples using actual Web APIs. The SML# version 3.1.0 compiler includes JSON support presented in this paper, and is available from Tohoku University as open-source software under a BSD-style license

Cryopreservation of Induced Pluripotent Stem Cell-Derived Dopaminergic Neurospheres for Clinical Application

[Background:] Pluripotent stem cell (PSC)-derived dopaminergic (DA) neurons are an expected source of cell therapy for Parkinson’s disease. The transplantation of cell aggregates or neurospheres, instead of a single cell suspension has several advantages, such as keeping the 3D structure of the donor cells and ease of handling. For this PSC-based therapy to become a widely available treatment, cryopreservation of the final product is critical in the manufacturing process. However, cryopreserving cell aggregates is more complicated than cryopreserving single cell suspensions. Previous studies showed poor survival of the DA neurons after the transplantation of cryopreserved fetal ventral-mesencephalic tissues. [Objective:] To achieve the cryopreservation of induced pluripotent stem cell (iPSC)-derived DA neurospheres toward clinical application. [Methods:] We cryopreserved iPSC-derived DA neurospheres in various clinically applicable cryopreservation media and freezing protocols and assessed viability and neurite extension. We evaluated the population and neuronal function of cryopreserved cells by the selected method in vitro. We also injected the cells into 6-hydroxydopamine (6-OHDA) lesioned rats, and assessed their survival, maturation and function in vivo. [Results:] The iPSC-derived DA neurospheres cryopreserved by Proton Freezer in the cryopreservation medium Bambanker hRM (BBK) showed favorable viability after thawing and had equivalent expression of DA-specific markers, dopamine secretion, and electrophysiological activity as fresh spheres. When transplanted into 6-OHDA-lesioned rats, the cryopreserved cells survived and differentiated into mature DA neurons, resulting in improved abnormal rotational behavior. [Conclusion:] These results show that the combination of BBK and Proton Freezer is suitable for the cryopreservation of iPSC-derived DA neurospheres