Soundness of Unravelings for Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity

Unravelings are transformations from a conditional term rewriting system (CTRS, for short) over an original signature into an unconditional term rewriting systems (TRS, for short) over an extended signature. They are not sound w.r.t. reduction for every CTRS, while they are complete w.r.t. reduction. Here, soundness w.r.t. reduction means that every reduction sequence of the corresponding unraveled TRS, of which the initial and end terms are over the original signature, can be simulated by the reduction of the original CTRS. In this paper, we show that an optimized variant of Ohlebusch's unraveling for a deterministic CTRS is sound w.r.t. reduction if the corresponding unraveled TRS is left-linear or both right-linear and non-erasing. We also show that soundness of the variant implies that of Ohlebusch's unraveling. Finally, we show that soundness of Ohlebusch's unraveling is the weakest in soundness of the other unravelings and a transformation, proposed by Serbanuta and Rosu, for (normal) deterministic CTRSs, i.e., soundness of them respectively implies that of Ohlebusch's unraveling.Comment: 49 pages, 1 table, publication in Special Issue: Selected papers of the "22nd International Conference on Rewriting Techniques and Applications (RTA'11)

Universality of Phases in QCD and QCD-like Theories

We argue that the whole or the part of the phase diagrams of QCD and QCD-like theories should be universal in the large-N_c limit through the orbifold equivalence. The whole phase diagrams, including the chiral phase transitions and the BEC-BCS crossover regions, are identical between SU(N_c) QCD at finite isospin chemical potential and SO(2N_c) and Sp(2N_c) gauge theories at finite baryon chemical potential. Outside the BEC-BCS crossover region in these theories, the phase diagrams are also identical to that of SU(N_c) QCD at finite baryon chemical potential. We give examples of the universality in some solvable cases: (i) QCD and QCD-like theories at asymptotically high density where the controlled weak-coupling calculations are possible, (ii) chiral random matrix theories of different universality classes, which are solvable large-N (large volume) matrix models of QCD. Our results strongly suggest that the chiral phase transition and the QCD critical point at finite baryon chemical potential can be studied using sign-free theories, such as QCD at finite isospin chemical potential, in lattice simulations.Comment: v1: 35 pages, 6 figures; v2: 37 pages, 6 figures, minor improvements, conclusion unchanged; v3: version published in JHE

Human Fibroblast Sheet Promotes Human Pancreatic Islet Survival and Function In Vitro

In previous work, we engineered functional cell sheets using bone marrow-derived mesenchymal stem cells (BM-MSCs) to promote islet graft survival. In the present study, we hypothesized that a cell sheet using dermal fibroblasts could be an alternative to MSCs, and then we aimed to evaluate the effects of this cell sheet on the functional viability of human islets. Fibroblast sheets were fabricated using temperature-responsive culture dishes. Human islets were seeded onto fibroblast sheets. The efficacy of the fibroblast sheets was evaluated by dividing islets into three groups: the islets-alone group, the coculture with fibroblasts group, and the islet culture on fibroblast sheet group. The ultrastructure of the islets cultured on each fibroblast sheet was examined by electron microscopy. The fibroblast sheet expression of fibronectin (as a component of the extracellular matrix) was quantified by Western blotting. After 3 days of culture, islet viabilities were 70.2 ± 9.8%, 87.4 ± 5.8%, and 88.6 ± 4.5%, and survival rates were 60.3 ± 6.8%, 65.3 ± 3.0%, and 75.8 ± 5.6%, respectively. Insulin secretions in response to high-glucose stimulation were 5.1 ± 1.6, 9.4 ± 3.8, and 23.5 ± 12.4 μIU/islet, and interleukin-6 (IL-6) secretions were 3.0 ± 0.7, 5.1 ± 1.2, and 7.3 ± 1.0 ng/day, respectively. Islets were found to incorporate into the fibroblast sheets while maintaining a three-dimensional structure and well-preserved extracellular matrix. The fibroblast sheets exhibited a higher expression of fibronectin compared to fibroblasts alone. In conclusion, human dermal fibroblast sheets fabricated by tissue-engineering techniques could provide an optimal substrate for human islets, as a source of cytokines and extracellular matrix

Search for gravitational-lensing signatures in the full third observing run of the LIGO-Virgo network

Gravitational lensing by massive objects along the line of sight to the source causes distortions of gravitational wave-signals; such distortions may reveal information about fundamental physics, cosmology and astrophysics. In this work, we have extended the search for lensing signatures to all binary black hole events from the third observing run of the LIGO--Virgo network. We search for repeated signals from strong lensing by 1) performing targeted searches for subthreshold signals, 2) calculating the degree of overlap amongst the intrinsic parameters and sky location of pairs of signals, 3) comparing the similarities of the spectrograms amongst pairs of signals, and 4) performing dual-signal Bayesian analysis that takes into account selection effects and astrophysical knowledge. We also search for distortions to the gravitational waveform caused by 1) frequency-independent phase shifts in strongly lensed images, and 2) frequency-dependent modulation of the amplitude and phase due to point masses. None of these searches yields significant evidence for lensing. Finally, we use the non-detection of gravitational-wave lensing to constrain the lensing rate based on the latest merger-rate estimates and the fraction of dark matter composed of compact objects

Search for eccentric black hole coalescences during the third observing run of LIGO and Virgo

Despite the growing number of confident binary black hole coalescences observed through gravitational waves so far, the astrophysical origin of these binaries remains uncertain. Orbital eccentricity is one of the clearest tracers of binary formation channels. Identifying binary eccentricity, however, remains challenging due to the limited availability of gravitational waveforms that include effects of eccentricity. Here, we present observational results for a waveform-independent search sensitive to eccentric black hole coalescences, covering the third observing run (O3) of the LIGO and Virgo detectors. We identified no new high-significance candidates beyond those that were already identified with searches focusing on quasi-circular binaries. We determine the sensitivity of our search to high-mass (total mass M>70 M⊙) binaries covering eccentricities up to 0.3 at 15 Hz orbital frequency, and use this to compare model predictions to search results. Assuming all detections are indeed quasi-circular, for our fiducial population model, we place an upper limit for the merger rate density of high-mass binaries with eccentricities 0<e≤0.3 at 0.33 Gpc−3 yr−1 at 90\% confidence level

Ultralight vector dark matter search using data from the KAGRA O3GK run

Among the various candidates for dark matter (DM), ultralight vector DM can be probed by laser interferometric gravitational wave detectors through the measurement of oscillating length changes in the arm cavities. In this context, KAGRA has a unique feature due to differing compositions of its mirrors, enhancing the signal of vector DM in the length change in the auxiliary channels. Here we present the result of a search for U(1)B−L gauge boson DM using the KAGRA data from auxiliary length channels during the first joint observation run together with GEO600. By applying our search pipeline, which takes into account the stochastic nature of ultralight DM, upper bounds on the coupling strength between the U(1)B−L gauge boson and ordinary matter are obtained for a range of DM masses. While our constraints are less stringent than those derived from previous experiments, this study demonstrates the applicability of our method to the lower-mass vector DM search, which is made difficult in this measurement by the short observation time compared to the auto-correlation time scale of DM