Microscopic phase separation in the overdoped region of high-Tc cuprate superconductors

We propose a phenomenological model for high-$T_{c}$ superconductors (HTSC) assuming: (1) a microscopic phase separation between superconducting and normal-metal areas in the overdoped region; and (2) existence of a homogeneous superconducting phase only below the pseudo-gap $T^{*}$ line, which shows a sharp reduction towards $T^{*}\sim 0$ at a mildly overdoped critical concentration $x_{c}$. This model explains anomalous doping and temperature dependences of $n_{s}/m^{*}$ (superconducting carrier density / effective mass) observed in several overdoped HTSC systems. We point out an analogy to superfluid $^{4}$He/$^{3}$He films, and discuss an energetic origin of microscopic phase separation.Comment: 5 pages, 4 figure

A General Framework for the Semantics of Type Theory

We propose an abstract notion of a type theory to unify the semantics of various type theories including Martin-L\"{o}f type theory, two-level type theory and cubical type theory. We establish basic results in the semantics of type theory: every type theory has a bi-initial model; every model of a type theory has its internal language; the category of theories over a type theory is bi-equivalent to a full sub-2-category of the 2-category of models of the type theory

Fibred Fibration Categories

We introduce fibred type-theoretic fibration categories which are fibred categories between categorical models of Martin-L\"{o}f type theory. Fibred type-theoretic fibration categories give a categorical description of logical predicates for identity types. As an application, we show a relational parametricity result for homotopy type theory. As a corollary, it follows that every closed term of type of polymorphic endofunctions on a loop space is homotopic to some iterated concatenation of a loop

What can we learn from comparison between cuprates and He films ? : phase separation and fluctuating superfluidity

In the underdoped, overdoped, Zn-doped or stripe-forming regions of high-$T_{c}$ cuprate superconductors (HTSC), the superfluid density $n_{s}/m^{*}$ at $T\to 0$ shows universal correlations with $T_{c}$. Similar strong correlations exist between 2-dimensional superfluid density and superfluid transition temperature in thin films of $^{4}$He in non-porous or porous media, and $^{4}$He/$^{3}$He film adsorbed on porous media. Based on analogy between HTSC and He film systems, we propose a model for cuprates where: (1) the overdoped region is characterized by a phase separation similar to $^{4}$He/$^{3}$He; and (2) pair (boson) formation and fluctuating superconductivity occur at separate temperatures above $T_{c}$ in the underdoped region.Comment: 8 pages, 5 figures. Invited paper presented at the third international conference on stripes and high-Tc superconductivity (STRIPE-2000), Sept. 25-30th, 2000, Rome, Italy. To be published in the International Journal of Modern Physics

Jump-type Hunt processes generated by lower bounded semi-Dirichlet forms

Let $E$ be a locally compact separable metric space and $m$ be a positive Radon measure on it. Given a nonnegative function $k$ defined on $E\times E$ off the diagonal whose anti-symmetric part is assumed to be less singular than the symmetric part, we construct an associated regular lower bounded semi-Dirichlet form $\eta$ on $L^2(E;m)$ producing a Hunt process $X^0$ on $E$ whose jump behaviours are governed by $k$. For an arbitrary open subset $D\subset E$, we also construct a Hunt process $X^{D,0}$ on $D$ in an analogous manner. When $D$ is relatively compact, we show that $X^{D,0}$ is censored in the sense that it admits no killing inside $D$ and killed only when the path approaches to the boundary. When $E$ is a $d$-dimensional Euclidean space and $m$ is the Lebesgue measure, a typical example of $X^0$ is the stable-like process that will be also identified with the solution of a martingale problem up to an $\eta$-polar set of starting points. Approachability to the boundary $\partial D$ in finite time of its censored process $X^{D,0}$ on a bounded open subset $D$ will be examined in terms of the polarity of $\partial D$ for the symmetric stable processes with indices that bound the variable exponent $\alpha(x)$.Comment: Published in at http://dx.doi.org/10.1214/10-AOP633 the Annals of Probability (http://www.imstat.org/aop/) by the Institute of Mathematical Statistics (http://www.imstat.org

Period Analysis using the Least Absolute Shrinkage and Selection Operator (Lasso)

We introduced least absolute shrinkage and selection operator (lasso) in obtaining periodic signals in unevenly spaced time-series data. A very simple formulation with a combination of a large set of sine and cosine functions has been shown to yield a very robust estimate, and the peaks in the resultant power spectra were very sharp. We studied the response of lasso to low signal-to-noise data, asymmetric signals and very closely separated multiple signals. When the length of the observation is sufficiently long, all of them were not serious obstacles to lasso. We analyzed the 100-year visual observations of delta Cep, and obtained a very accurate period of 5.366326(16) d. The error in period estimation was several times smaller than in Phase Dispersion Minimization. We also modeled the historical data of R Sct, and obtained a reasonable fit to the data. The model, however, lost its predictive ability after the end of the interval used for modeling, which is probably a result of chaotic nature of the pulsations of this star. We also provide a sample R code for making this analysis.Comment: 9 pages, 13 figures, accepted for publication in PAS

Approximate cross-validation formula for Bayesian linear regression

Cross-validation (CV) is a technique for evaluating the ability of statistical models/learning systems based on a given data set. Despite its wide applicability, the rather heavy computational cost can prevent its use as the system size grows. To resolve this difficulty in the case of Bayesian linear regression, we develop a formula for evaluating the leave-one-out CV error approximately without actually performing CV. The usefulness of the developed formula is tested by statistical mechanical analysis for a synthetic model. This is confirmed by application to a real-world supernova data set as well.Comment: 5 pages, 2 figures, invited paper for Allerton2016 conferenc

Modular symmetry in magnetized/intersecting D-brane models

We study the modular symmetry in four-dimensional low-energy effective field theory, which is derived from type IIB magnetized D-brane models and type IIA intersecting D-brane models. We analyze modular symmetric behaviors of perturbative terms and non-perturbative terms induced by D-brane instanton effects. Anomalies are also investigated and such an analysis on anomalies suggests corrections in effective field theory.Comment: 18 page

Systematic investigations of transient response of nuclear spins in the presence of polarized electrons

We electrically probed the transient response of nuclear spins in an n-GaAs channel by performing Hanle signal and spin-valve signal measurements on an all-electrical spin-injection device having a half-metallic spin source of Co2MnSi. Furthermore, we simulated the Hanle and spin-valve signals by using the time evolution of nuclear-spin polarization under the presence of polarized electron spins by taking both T-1e and T-1 into consideration, where T-1e(-1) is the polarization rate of nuclear spins through the transfer of angular momentum from polarized electron spins and T-1(-1) is the depolarization rate of nuclear spins through the interaction with the lattice. The simulation results reproduced our experimental results on all the nuclear-spin-related phenomena appearing in the Hanle and spin-valve signals at different measurement conditions, providing quantitative explanation for the transient response of nuclear spins in GaAs to a change in magnetic fields and an estimate of the time scales of T-1e and T-1. These experimental and simulated results will deepen the understanding of nuclear-spin dynamics in semiconductors