-
Colimits in the $\infty$-category of $\infty$-topoi and étale morphisms
Authors:
Taichi Uemura
Abstract:
We provide an alternative proof of Lurie's result that the wide subcategory of the $\infty$-category of $\infty$-topoi spanned by the étale morphisms is closed under small colimits. Our proof is based on a new characterization of étale morphisms of $\infty$-topoi in relation to univalent families and does not rely on a larger universe. During the proof, we also give an elementary construction of u…
▽ More
We provide an alternative proof of Lurie's result that the wide subcategory of the $\infty$-category of $\infty$-topoi spanned by the étale morphisms is closed under small colimits. Our proof is based on a new characterization of étale morphisms of $\infty$-topoi in relation to univalent families and does not rely on a larger universe. During the proof, we also give an elementary construction of univalent completion.
△ Less
Submitted 12 June, 2025;
originally announced June 2025.
-
An elementary definition of opetopic sets
Authors:
Taichi Uemura
Abstract:
We propose elementary definitions of opetopes and opetopic sets. We directly define opetopic sets by a simple structure and several axioms. Opetopes are then opetopic sets satisfying one more axiom. We show that our definition is equivalent to the polynomial monad definition given by Kock, Joyal, Batanin, and Mascari. We also show that our category of opetopes is equivalent to the one given by Ho…
▽ More
We propose elementary definitions of opetopes and opetopic sets. We directly define opetopic sets by a simple structure and several axioms. Opetopes are then opetopic sets satisfying one more axiom. We show that our definition is equivalent to the polynomial monad definition given by Kock, Joyal, Batanin, and Mascari. We also show that our category of opetopes is equivalent to the one given by Ho Thanh.
△ Less
Submitted 21 April, 2025;
originally announced April 2025.
-
Slow Light Waveguides based on Bound States in the Continuum
Authors:
Yuta Tanimura,
Yuki Ishii,
Kenta Takata,
Takahiro Uemura,
Masaya Notomi,
Satoshi Iwamoto,
Yasutomo Ota
Abstract:
The concept of bound states in the continuum (BIC) has been advancing light confinement technology in leaky environments. In this letter, we propose and numerically demonstrate a slow light waveguide based on a BIC mode. We considered a waveguide with a polymer core loaded on a plane slab, which supports a leaky guided mode coupled to the radiation continuum in the slab. We found that periodic mod…
▽ More
The concept of bound states in the continuum (BIC) has been advancing light confinement technology in leaky environments. In this letter, we propose and numerically demonstrate a slow light waveguide based on a BIC mode. We considered a waveguide with a polymer core loaded on a plane slab, which supports a leaky guided mode coupled to the radiation continuum in the slab. We found that periodic modulation of the polymer core along the propagation direction can result in a high group index mode with a low propagation loss due to BIC confinement. The introduction of one-dimensional photonic crystals into the BIC waveguides will largely expand its functionality and applications in integrated photonics.
△ Less
Submitted 12 March, 2025;
originally announced March 2025.
-
EP restoration and fast-light edge states in photonic crystal waveguide with glide and time reversal symmetry
Authors:
Takahiro Uemura,
Taiki Yoda,
Yuto Moritake,
Shutaro Otsuka,
Kenta Takata,
Masaya Notomi
Abstract:
Exceptional points (EPs) in the propagation states give rise to the emergence of intriguing properties with the divergence of the group velocity. However, there have been no experimental reports due to the necessity of maintaining high levels of fabrication precision and the requisite high group velocity contrast. In our study, we propose a design of photonic crystal waveguide with glide and time…
▽ More
Exceptional points (EPs) in the propagation states give rise to the emergence of intriguing properties with the divergence of the group velocity. However, there have been no experimental reports due to the necessity of maintaining high levels of fabrication precision and the requisite high group velocity contrast. In our study, we propose a design of photonic crystal waveguide with glide and time reversal symmetry, and derive an effective Hamiltonian for edge states to realize fast-light edge states. We adopt a systematic method to generate EPs in edge states by introducing non-Hermitian perturbations to Dirac points guaranteed by glide symmetry, which ensures that EP modes are free from out-of-plane radiation losses. Then, our study reveals the conditions for the exact EP restoration and provides an analytical solution to offset the EP smoothing due to symmetry breaking, which drastically reduces the group velocity contrast. A good symmetry property of the photonic crystal waveguide allows us to derive the effective Hamiltonian as a simple form, and the EPs can be restored by adjusting the real part of the permittivity. Furthermore, we design a feasible photonic crystal slab waveguide incorporating graphene as the absorbing material, and numerically demonstrate a group velocity reaching $v_g = 3.3c$ near the EP, which is up to 25 times that of the original structure. Thanks to the short periodicity of photonic crystals, it's possible to reach the speed of light in vacuum with group velocity contrasts on the order of one digit. Our study paves an innovative way to manipulate the group velocity of light.
△ Less
Submitted 23 October, 2024;
originally announced October 2024.
-
Higher inductive types in $(\infty,1)$-categories
Authors:
Taichi Uemura
Abstract:
We propose a definition of higher inductive types in $(\infty,1)$-categories with finite limits. We show that the $(\infty,1)$-category of $(\infty,1)$-categories with higher inductive types is finitarily presentable. In particular, the initial $(\infty,1)$-category with higher inductive types exists. We prove a form of canonicity: the global section functor for the initial $(\infty,1)$-category w…
▽ More
We propose a definition of higher inductive types in $(\infty,1)$-categories with finite limits. We show that the $(\infty,1)$-category of $(\infty,1)$-categories with higher inductive types is finitarily presentable. In particular, the initial $(\infty,1)$-category with higher inductive types exists. We prove a form of canonicity: the global section functor for the initial $(\infty,1)$-category with higher inductive types preserves higher inductive types.
△ Less
Submitted 23 October, 2024;
originally announced October 2024.
-
Slowly generated anomalously large nuclear field in bulk n-AlGaAs
Authors:
A. Shen,
J. Chen,
R. Kaji,
S. Yamamoto,
H. Sasakura,
T. Uemura,
S. Adachi
Abstract:
This study investigated the dynamics of an electron--nuclear spin-coupled system using three Al$_x$Ga$_{1-x}$As bulk samples with different aluminum concentrations $x$ of 0, 0.05, and 0.15. The time-resolved Kerr rotation technique was primarily used. The samples with $x=$ 0.05 and 0.15 exhibited an anomalously large nuclear magnetic field of $\sim$1.1 T, which was twice the applied magnetic field…
▽ More
This study investigated the dynamics of an electron--nuclear spin-coupled system using three Al$_x$Ga$_{1-x}$As bulk samples with different aluminum concentrations $x$ of 0, 0.05, and 0.15. The time-resolved Kerr rotation technique was primarily used. The samples with $x=$ 0.05 and 0.15 exhibited an anomalously large nuclear magnetic field of $\sim$1.1 T, which was twice the applied magnetic field. This observation is unusual for bulk semiconductors, which typically exhibit weak hyperfine interactions. Further investigations revealed a long nuclear field formation time, which indicated clear two-stage formation dynamics. Thus, this study concluded that slow nuclear spin diffusion owing to the nuclear quadrupole interaction facilitates the formation process of the nuclear field.
△ Less
Submitted 6 August, 2024;
originally announced August 2024.
-
Photonic topological phase transition induced by material phase transition
Authors:
Takahiro Uemura,
Yuto Moritake,
Taiki Yoda,
Hisashi Chiba,
Yusuke Tanaka,
Masaaki Ono,
Eiichi Kuramochi,
Masaya Notomi
Abstract:
Photonic topological insulators (PTIs) have been proposed as an analogy to topological insulators in electronic systems. In particular, two-dimensional PTIs have gained attention for the integrated circuit applications. However, controlling the topological phase after fabrication is difficult because the photonic topology requires the built-in specific structures. This study experimentally demonst…
▽ More
Photonic topological insulators (PTIs) have been proposed as an analogy to topological insulators in electronic systems. In particular, two-dimensional PTIs have gained attention for the integrated circuit applications. However, controlling the topological phase after fabrication is difficult because the photonic topology requires the built-in specific structures. This study experimentally demonstrates the band inversion in two-dimensional PTI induced by the phase transition of deliberately-designed nanopatterns of a phase-change material, Ge2Sb2Te5 (GST), which indicates the first observation of the photonic topological phase transition with changes in the Chern number. This approach allows us to directly alter the topological invariants, which is achieved by symmetry-breaking perturbation through GST nanopatterns with different symmetry from original PTI. The success of our scheme is attributed to the ultrafine lithographic alignment technologies of GST nanopatterns. These results demonstrate to control photonic topological properties in a reconfigurable manner, providing an insight into new possibilities for reconfigurable photonic processing circuits.
△ Less
Submitted 12 June, 2024;
originally announced June 2024.
-
On a convergence of positive continuous additive functionals in terms of their smooth measures
Authors:
Yasuhito Nishimori,
Matsuyo Tomisaki,
Kaneharu Tsuchida,
Toshihiro Uemura
Abstract:
A compactness of the Revuz map is established in the sense that the locally uniform convergence of a sequence of positive continuous additive functionals is derived in terms of their smooth measures. To this end, we first introduce a metric on the space of measures of finite energy integrals and show some structures of the metric. Then, we show the compactness and give some examples of positive co…
▽ More
A compactness of the Revuz map is established in the sense that the locally uniform convergence of a sequence of positive continuous additive functionals is derived in terms of their smooth measures. To this end, we first introduce a metric on the space of measures of finite energy integrals and show some structures of the metric. Then, we show the compactness and give some examples of positive continuous additive functionals that the convergence holds in terms of the associated smooth measures.
△ Less
Submitted 6 May, 2024;
originally announced May 2024.
-
Fast Algorithm for Embedded Order Dependency Validation (Extended Version)
Authors:
Alejandro Ramos,
Takuya Uemura,
Daichi Amagata,
Ryo Shirai,
Takahiro Hara
Abstract:
Order Dependencies (ODs) have many applications, such as query optimization, data integration, and data cleaning. Although many works addressed the problem of discovering OD (and its variants), they do not consider datasets with missing values, a standard observation in real-world datasets. This paper introduces the novel notion of Embedded ODs (eODs) to deal with missing values. The intuition of…
▽ More
Order Dependencies (ODs) have many applications, such as query optimization, data integration, and data cleaning. Although many works addressed the problem of discovering OD (and its variants), they do not consider datasets with missing values, a standard observation in real-world datasets. This paper introduces the novel notion of Embedded ODs (eODs) to deal with missing values. The intuition of eODs is to confirm ODs only on tuples with no missing values on a given embedding (a set of attributes). In this paper, we address the problem of validating a given eOD. If the eOD holds, we return true. Otherwise, we search for an updated embedding such that the updated eOD holds. If such embedding does not exist, we return false. A trivial requirement is to consider an embedding such that the number of ignored tuples is minimized. We show that it is NP-complete to compute such embedding. We therefore propose an efficient heuristic algorithm for validating embedded ODs. We conduct experiments on real-world datasets, and the results confirm the efficiency of our algorithm.
△ Less
Submitted 28 December, 2023; v1 submitted 26 December, 2023;
originally announced December 2023.
-
Homogenization of diffusion processes with singular drifts and potentials via unfolding method
Authors:
Adisak Seesanea,
Toshihiro Uemura
Abstract:
This work is concerned with homogenization problems for elliptic equations of the type \[ \begin{cases} \mathfrak{L}_δ u_δ + λu_δ = f_δ \qquad \text{in} \;\; D, \\ \qquad \quad \;\, u = 0 \qquad \, \text{on} \;\; \partial D, \end{cases} \] where $δ> 0$, $λ\in \mathbb{R}$, $D$ is a bounded open set in $\mathbb{R}^{d}$, and $f_δ \in H^{-1}(D)$. The operator…
▽ More
This work is concerned with homogenization problems for elliptic equations of the type \[ \begin{cases} \mathfrak{L}_δ u_δ + λu_δ = f_δ \qquad \text{in} \;\; D, \\ \qquad \quad \;\, u = 0 \qquad \, \text{on} \;\; \partial D, \end{cases} \] where $δ> 0$, $λ\in \mathbb{R}$, $D$ is a bounded open set in $\mathbb{R}^{d}$, and $f_δ \in H^{-1}(D)$. The operator $ \mathfrak{L}_δ u = -{\rm div} \left( A^δ\nabla u + C^δu \right) + B^δ\nabla u +k^δu $ involved uniformly bounded diffusion coefficients $A^δ$, where drifts $B^δ$, $C^δ$ and potential $k^δ$ are possibly unbounded. An application to homogenization of the corresponding diffusion processes is also discussed.
△ Less
Submitted 25 June, 2023;
originally announced June 2023.
-
Dynkin games for Markov processes associated with semi-Dirichlet forms
Authors:
Takumu Ooi,
Toshihiro Uemura
Abstract:
We consider Dynkin games for Markov processes associated with semi-Dirichlet forms. Dynkin games are the optimal stopping games introduced as the models of zero-sum games by two players. We prove that the solution to the certain variational inequality with two obstacles is the equilibrium price of the Dynkin game. Moreover, we obtain the saddle point of the game.
We consider Dynkin games for Markov processes associated with semi-Dirichlet forms. Dynkin games are the optimal stopping games introduced as the models of zero-sum games by two players. We prove that the solution to the certain variational inequality with two obstacles is the equilibrium price of the Dynkin game. Moreover, we obtain the saddle point of the game.
△ Less
Submitted 24 April, 2023;
originally announced April 2023.
-
Normalization and coherence for $\infty$-type theories
Authors:
Taichi Uemura
Abstract:
We develop a technique for normalization for $\infty$-type theories. The normalization property helps us to prove a coherence theorem: the initial model of a given $\infty$-type theory is $0$-truncated. The coherence theorem justifies interpreting an ordinary type theory in $(\infty, 1)$-categorical structures.
We develop a technique for normalization for $\infty$-type theories. The normalization property helps us to prove a coherence theorem: the initial model of a given $\infty$-type theory is $0$-truncated. The coherence theorem justifies interpreting an ordinary type theory in $(\infty, 1)$-categorical structures.
△ Less
Submitted 22 December, 2022;
originally announced December 2022.
-
Homotopy type theory as a language for diagrams of $\infty$-logoses
Authors:
Taichi Uemura
Abstract:
We show that certain diagrams of $\infty$-logoses are reconstructed in homotopy type theory extended with some lex, accessible modalities, which enables us to use plain homotopy type theory to reason about not only a single $\infty$-logos but also a diagram of $\infty$-logoses. This also provides a higher dimensional version of Sterling's synthetic Tait computability -- a type theory for higher di…
▽ More
We show that certain diagrams of $\infty$-logoses are reconstructed in homotopy type theory extended with some lex, accessible modalities, which enables us to use plain homotopy type theory to reason about not only a single $\infty$-logos but also a diagram of $\infty$-logoses. This also provides a higher dimensional version of Sterling's synthetic Tait computability -- a type theory for higher dimensional logical relations.
△ Less
Submitted 21 November, 2024; v1 submitted 5 December, 2022;
originally announced December 2022.
-
$\infty$-type theories
Authors:
Hoang Kim Nguyen,
Taichi Uemura
Abstract:
We introduce $\infty$-type theories as an $\infty$-categorical generalization of the categorical definition of type theories introduced by the second named author. We establish analogous results to the previous work including the construction of initial models of $\infty$-type theories, the construction of internal languages of models of $\infty$-type theories, and the theory-model correspondence…
▽ More
We introduce $\infty$-type theories as an $\infty$-categorical generalization of the categorical definition of type theories introduced by the second named author. We establish analogous results to the previous work including the construction of initial models of $\infty$-type theories, the construction of internal languages of models of $\infty$-type theories, and the theory-model correspondence for $\infty$-type theories. Some structured $(\infty,1)$-categories are naturally regarded as models of some $\infty$-type theories. Thus, since every (1-categorical) type theory is in particular an $\infty$-type theory, $\infty$-type theories provide a unified framework for connections between type theories and $(\infty,1)$-categorical structures. As an application we prove Kapulkin and Lumsdaine's conjecture that the dependent type theory with intensional identity types gives internal languages for $(\infty,1)$-categories with finite limits.
△ Less
Submitted 2 May, 2022;
originally announced May 2022.
-
Criticality of Schrödinger Forms and Recurrence of Dirichlet Forms
Authors:
Masayoshi Takeda,
Toshihiro Uemura
Abstract:
Introducing the notion of extended Schrödinger spaces, we define the criticality and subcriticality of Schrödinger forms in the same manner as the recurrence and transience of Dirichlet forms, and give a sufficient condition for the subcriticality of Schrödinger forms in terms the bottom of spectrum. We define a subclass of Hardy potentials and prove that Schrödinger forms with potentials in this…
▽ More
Introducing the notion of extended Schrödinger spaces, we define the criticality and subcriticality of Schrödinger forms in the same manner as the recurrence and transience of Dirichlet forms, and give a sufficient condition for the subcriticality of Schrödinger forms in terms the bottom of spectrum. We define a subclass of Hardy potentials and prove that Schrödinger forms with potentials in this subclass are always critical, which leads us to optimal Hardy type inequality. We show that this definition of criticality and subcriticality is equivalent to that there exists an excessive function with respect to Schrödinger semigroup and its generating Dirichlet form through $h$-transform is recurrent and transient respectively. As an application, we can show the recurrence and transience of a family of Dirichlet forms by showing the criticality and subcriticaly of Schrödinger forms and show the other way around through $h$-transform, We give a such example with fractional Schrödinger operators with Hardy potential.
△ Less
Submitted 13 February, 2021;
originally announced February 2021.
-
The Universal Exponentiable Arrow
Authors:
Taichi Uemura
Abstract:
We show that the essentially algebraic theory of generalized algebraic theories, regarded as a category with finite limits, has a universal exponentiable arrow in the sense that any exponentiable arrow in any category with finite limits is the image of the universal exponentiable arrow by an essentially unique functor.
We show that the essentially algebraic theory of generalized algebraic theories, regarded as a category with finite limits, has a universal exponentiable arrow in the sense that any exponentiable arrow in any category with finite limits is the image of the universal exponentiable arrow by an essentially unique functor.
△ Less
Submitted 10 August, 2021; v1 submitted 27 January, 2020;
originally announced January 2020.
-
On Church's Thesis in Cubical Assemblies
Authors:
Andrew Swan,
Taichi Uemura
Abstract:
We show that Church's thesis, the axiom stating that all functions on the naturals are computable, does not hold in the cubical assemblies model of cubical type theory.
We show that nevertheless Church's thesis is consistent with univalent type theory by constructing a reflective subuniverse of cubical assemblies where it holds.
We show that Church's thesis, the axiom stating that all functions on the naturals are computable, does not hold in the cubical assemblies model of cubical type theory.
We show that nevertheless Church's thesis is consistent with univalent type theory by constructing a reflective subuniverse of cubical assemblies where it holds.
△ Less
Submitted 8 May, 2019;
originally announced May 2019.
-
A General Framework for the Semantics of Type Theory
Authors:
Taichi Uemura
Abstract:
We propose an abstract notion of a type theory to unify the semantics of various type theories including Martin-Lö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…
▽ More
We propose an abstract notion of a type theory to unify the semantics of various type theories including Martin-Lö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.
△ Less
Submitted 26 May, 2023; v1 submitted 8 April, 2019;
originally announced April 2019.
-
$W$-Types in Categories of Coalgebras
Authors:
Taichi Uemura
Abstract:
We construct $W$-types in the category of coalgebras for a cartesian comonad. It generalizes the constructions of $W$-types in presheaf toposes and gluing toposes.
We construct $W$-types in the category of coalgebras for a cartesian comonad. It generalizes the constructions of $W$-types in presheaf toposes and gluing toposes.
△ Less
Submitted 19 January, 2019;
originally announced January 2019.
-
Homogenization of Symmetric Lévy Processes on $\mathbb{R}^d$
Authors:
René L. Schilling,
Toshihiro Uemura
Abstract:
In this short note we study homogenization of symmetric $d$-dimensional Lévy processes. Homogenization of one-dimensional pure jump Markov processes has been investigated by Tanaka \emph{et al.} in 1992; their motivation was the work by Benssousan \emph{et al.}\ from 1975 on the homogenization of diffusion processes in $\mathbb{R}^d$. We investigate a similar problem for a class of symmetric pure-…
▽ More
In this short note we study homogenization of symmetric $d$-dimensional Lévy processes. Homogenization of one-dimensional pure jump Markov processes has been investigated by Tanaka \emph{et al.} in 1992; their motivation was the work by Benssousan \emph{et al.}\ from 1975 on the homogenization of diffusion processes in $\mathbb{R}^d$. We investigate a similar problem for a class of symmetric pure-jump Lévy processes on $\mathbb{R}^d$ and we identify -- using Mosco convergence -- the limit process.
△ Less
Submitted 12 January, 2021; v1 submitted 5 August, 2018;
originally announced August 2018.
-
Cubical Assemblies, a Univalent and Impredicative Universe and a Failure of Propositional Resizing
Authors:
Taichi Uemura
Abstract:
We construct a model of cubical type theory with a univalent and impredicative universe in a category of cubical assemblies. We show that this impredicative universe in the cubical assembly model does not satisfy a form of propositional resizing.
We construct a model of cubical type theory with a univalent and impredicative universe in a category of cubical assemblies. We show that this impredicative universe in the cubical assembly model does not satisfy a form of propositional resizing.
△ Less
Submitted 9 September, 2019; v1 submitted 18 March, 2018;
originally announced March 2018.
-
Homotopies for Free!
Authors:
Taichi Uemura
Abstract:
We show "free theorems" in the style of Wadler for polymorphic functions in homotopy type theory as consequences of the abstraction theorem. As an application, it follows that every space defined as a higher inductive type has the same homotopy groups as some type of polymorphic functions defined without univalence or higher inductive types.
We show "free theorems" in the style of Wadler for polymorphic functions in homotopy type theory as consequences of the abstraction theorem. As an application, it follows that every space defined as a higher inductive type has the same homotopy groups as some type of polymorphic functions defined without univalence or higher inductive types.
△ Less
Submitted 19 April, 2017; v1 submitted 26 January, 2017;
originally announced January 2017.
-
Fibred Fibration Categories
Authors:
Taichi Uemura
Abstract:
We introduce fibred type-theoretic fibration categories which are fibred categories between categorical models of Martin-Lö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 o…
▽ More
We introduce fibred type-theoretic fibration categories which are fibred categories between categorical models of Martin-Lö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.
△ Less
Submitted 19 April, 2017; v1 submitted 26 February, 2016;
originally announced February 2016.
-
Weak convergence of regular Dirichlet subspaces
Authors:
Liping Li,
Toshihiro Uemura,
Jiangang Ying
Abstract:
In this paper we shall prove the weak convergence of the associated diffusion processes of regular subspaces with monotone characteristic sets for a fixed Dirichlet form. More precisely, given a fixed 1-dimensional diffusion process and a sequence of its regular subspaces, if the characteristic sets of regular subspaces are decreasing or increasing, then their associated diffusion processes are we…
▽ More
In this paper we shall prove the weak convergence of the associated diffusion processes of regular subspaces with monotone characteristic sets for a fixed Dirichlet form. More precisely, given a fixed 1-dimensional diffusion process and a sequence of its regular subspaces, if the characteristic sets of regular subspaces are decreasing or increasing, then their associated diffusion processes are weakly convergent to another diffusion process. This is an extended result of [13].
△ Less
Submitted 6 September, 2015;
originally announced September 2015.
-
Spin transport and spin conversion in compound semiconductor with non-negligible spin-orbit interaction
Authors:
Akiyori Yamamoto,
Yuichiro Ando,
Teruya Shinjo,
Tetsuya Uemura,
Masashi Shiraishi
Abstract:
A quantitative investigation of spin-pumping-induced spin-transport in n-GaAs was conducted at room temperature (RT). GaAs has a non-negligible spin orbit interaction, so that electromotive force due to the inverse spin Hall effect (ISHE) of GaAs contributed to the electromotive force detected with a platinum (Pt) spin detector. The electromotive force detected by the Pt spin detector had opposite…
▽ More
A quantitative investigation of spin-pumping-induced spin-transport in n-GaAs was conducted at room temperature (RT). GaAs has a non-negligible spin orbit interaction, so that electromotive force due to the inverse spin Hall effect (ISHE) of GaAs contributed to the electromotive force detected with a platinum (Pt) spin detector. The electromotive force detected by the Pt spin detector had opposite polarity to that measured with a Ni80Fe20/GaAs bilayer due to the opposite direction of spin current flow, which demonstrates successful spin transport in the n-GaAs channel. A two-dimensional spin-diffusion model that considers the ISHE in the n-GaAs channel reveals an accurate spin diffusion length of t_s = 1.09 um in n-GaAs (NSi = 4x10^16 cm-3) at RT, which is approximately half that estimated by the conventional model.
△ Less
Submitted 27 January, 2015;
originally announced January 2015.
-
On instability of global path properties of symmetric Dirichlet forms under Mosco-convergence
Authors:
Kohei Suzuki,
Toshihiro Uemura
Abstract:
We give sufficient conditions for Mosco convergences for the following three cases: symmetric locally uniformly elliptic diffusions, symmetric Lévy processes, and symmetric jump processes in terms of the $L^1(\mathbb R;dx)$-local convergence of the (elliptic) coefficients, the characteristic exponents and the jump density functions,respectively. We stress that the global path properties of the cor…
▽ More
We give sufficient conditions for Mosco convergences for the following three cases: symmetric locally uniformly elliptic diffusions, symmetric Lévy processes, and symmetric jump processes in terms of the $L^1(\mathbb R;dx)$-local convergence of the (elliptic) coefficients, the characteristic exponents and the jump density functions,respectively. We stress that the global path properties of the corresponding Markov processes such as recurrence/transience, and conservativeness/explosion are not preserved under Mosco convergences and we give several examples where such situations indeed happen.
△ Less
Submitted 1 December, 2014;
originally announced December 2014.
-
Structural, chemical and electronic properties of the Co2MnSi(001)/MgO interface
Authors:
Roman Fetzer,
Jan-Peter Wüstenberg,
Tomoyuki Taira,
Tetsuya Uemura,
Masafumi Yamamoto,
Martin Aeschlimann,
Mirko Cinchetti
Abstract:
The performance of advanced magnetic tunnel junctions build of ferromagnetic (FM) electrodes and MgO as insulating barrier depends decisively on the properties of the FM/insulator interface. Here, we investigate interface formation between the half-metallic compound Co2MnSi (CMS) and MgO by means of Auger electron spectroscopy, low energy electron diffraction and low energy photoemission. The stud…
▽ More
The performance of advanced magnetic tunnel junctions build of ferromagnetic (FM) electrodes and MgO as insulating barrier depends decisively on the properties of the FM/insulator interface. Here, we investigate interface formation between the half-metallic compound Co2MnSi (CMS) and MgO by means of Auger electron spectroscopy, low energy electron diffraction and low energy photoemission. The studies are performed for different annealing temperatures TA and MgO layer coverages (4, 6, 10, 20 and 50 ML). Thin MgO top layers (t_MgO<=10 ML) show distinct surface crystalline distortions, which can only be partly healed out by annealing and furthermore lead to distinct adsorption of carbon species after the MgO surface is exposed to air. For t_MgO> 10 ML the MgO layer surface exhibits clearly improved crystalline structure and hence only marginal amounts of adsorbates. We attribute these findings to MgO misfit dislocations occurring at the interface, inducing further defects throughout the MgO layer for up to at least 10 ML. Furthermore, spin-polarized photoemission spectra of the CMS/MgO interface are obtained for MgO coverages up to 20 ML, showing a clear positive spin polarization near the Fermi energy in all cases.
△ Less
Submitted 24 September, 2012;
originally announced September 2012.
-
Revealing the spin and symmetry properties of the buried Co2MnSi/MgO interface by low energy spin-resolved photoemission
Authors:
Roman Fetzer,
Marcel Lösch,
Yusuke Ohdaira,
Hiroshi Naganuma,
Mikihiko Oogane,
Yasuo Ando,
Tomoyuki Taira,
Tetsuya Uemura,
Masafumi Yamamoto,
Martin Aeschlimann,
Mirko Cinchetti
Abstract:
We present a novel approach to study the spin and symmetry electronic properties of buried interfaces using low-energy spin-resolved photoemission spectroscopy. We show that this method is sensitive to interfaces buried below more than 20ML (~4nm) MgO, providing a powerful tool for the non-destructive characterization of spintronics interfaces. As a demonstration, we apply this technique to charac…
▽ More
We present a novel approach to study the spin and symmetry electronic properties of buried interfaces using low-energy spin-resolved photoemission spectroscopy. We show that this method is sensitive to interfaces buried below more than 20ML (~4nm) MgO, providing a powerful tool for the non-destructive characterization of spintronics interfaces. As a demonstration, we apply this technique to characterize the Co2MnSi/MgO interface, a fundamental building block of state-of-the-art magnetic tunnel junctions based on Heusler compounds. We find that a surface state with Δ1 symmetry and minority spin character dominating the electronic structure of the bare Co2MnSi(100) surface is quenched at the Co2MnSi(100)/MgO interface. As a result, the interface spin-dependent electronic structure resembles the theoretically expected Co2MnSi bulk band structure, with majority spin electronic states of both Δ1 and Δ5 symmetry. Furthermore we find an additional thermally-induced contribution in the minority channel, mirroring the Δ1/Δ5 asymmetry of the majority channel.
△ Less
Submitted 19 September, 2012;
originally announced September 2012.
-
On the conservativeness and the recurrence of symmetric jump-diffusions
Authors:
Jun Masamune,
Toshihiro Uemura,
Jian Wang
Abstract:
Sufficient conditions for a symmetric jump-diffusion process to be conservative and recurrent are given in terms of the volume of the state space and the jump kernel of the process. A number of examples are presented to illustrate the optimality of these conditions; in particular, the situation is allowed to be that the state space is topologically disconnected but the particles can jump from a co…
▽ More
Sufficient conditions for a symmetric jump-diffusion process to be conservative and recurrent are given in terms of the volume of the state space and the jump kernel of the process. A number of examples are presented to illustrate the optimality of these conditions; in particular, the situation is allowed to be that the state space is topologically disconnected but the particles can jump from a connected component to the other components.
△ Less
Submitted 28 April, 2012;
originally announced April 2012.
-
Jump-type Hunt processes generated by lower bounded semi-Dirichlet forms
Authors:
Masatoshi Fukushima,
Toshihiro Uemura
Abstract:
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 $η$ on $L^2(E;m)$ producing a Hunt process $X^0$ on $E$ whose jump behaviours are…
▽ More
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 $η$ 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 $η$-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 $α(x)$.
△ Less
Submitted 13 April, 2012;
originally announced April 2012.
-
Surface spin polarization of the non-stoichiometric Heusler compound Co2Mn(alpha)Si
Authors:
Jan-Peter Wüstenberg,
Mirko Cinchetti,
Martin Aeschlimann,
Jan Minár,
Jürgen Braun,
Hubert Ebert,
Takayuki Ishikawa,
Tetsuya Uemura,
Masafumi Yamamoto
Abstract:
Using a combined approach of spin-resolved photoemission spectroscopy, band structure and photoemission calculations we investigate the influence of bulk defects and surface states on the spin polarization of Co2Mn(alpha)Si thin films with bulk L21 order. We find that for Mn-poor alloys the spin polarization at EF is negative due to the presence of Co_Mn antisite and minority surface state contrib…
▽ More
Using a combined approach of spin-resolved photoemission spectroscopy, band structure and photoemission calculations we investigate the influence of bulk defects and surface states on the spin polarization of Co2Mn(alpha)Si thin films with bulk L21 order. We find that for Mn-poor alloys the spin polarization at EF is negative due to the presence of Co_Mn antisite and minority surface state contributions. In Mn-rich alloys, the suppression of Co(Mn) antisites leads to a positive spin polarization at the Fermi energy, and the influence of minority surface states on the photoelectron spin polarization is reduced.
△ Less
Submitted 28 October, 2011; v1 submitted 25 October, 2011;
originally announced October 2011.
-
Magnetic dichroism in angular-resolved hard X-ray photoelectron spectroscopy from buried layers
Authors:
Xeniya Kozina,
Gerhard H. Fecher,
Gregory Stryganyuk,
Siham Ouardi,
Benjamin Balke,
Claudia Felser,
Gerd Schoenhense,
Eiji Ikenaga,
Takeharu Sugiyama,
Naomi Kawamura,
Motohiro Suzuki,
Tomoyuki Taira,
Tetsuya Uemura,
Masafumi Yamamoto,
Hiroaki Sukegawa,
Wenhong Wang,
Koichiro Inomata,
Keisuke Kobayashi
Abstract:
This work reports the measurement of magnetic dichroism in angular-resolved photoemission from in-plane magnetized buried thin films. The high bulk sensitivity of hard X-ray photoelectron spectroscopy (HAXPES) in combination with circularly polarized radiation enables the investigation of the magnetic properties of buried layers. HAXPES experiments with an excitation energy of 8 keV were performed…
▽ More
This work reports the measurement of magnetic dichroism in angular-resolved photoemission from in-plane magnetized buried thin films. The high bulk sensitivity of hard X-ray photoelectron spectroscopy (HAXPES) in combination with circularly polarized radiation enables the investigation of the magnetic properties of buried layers. HAXPES experiments with an excitation energy of 8 keV were performed on exchange-biased magnetic layers covered by thin oxide films. Two types of structures were investigated with the IrMn exchange-biasing layer either above or below the ferromagnetic layer: one with a CoFe layer on top and another with a Co$_2$FeAl layer buried beneath the IrMn layer. A pronounced magnetic dichroism is found in the Co and Fe $2p$ states of both materials. The localization of the magnetic moments at the Fe site conditioning the peculiar characteristics of the Co$_2$FeAl Heusler compound, predicted to be a half-metallic ferromagnet, is revealed from the magnetic dichroism detected in the Fe $2p$ states.
△ Less
Submitted 24 June, 2011;
originally announced June 2011.
-
Lp-Liouville Property for Non-Local Operators
Authors:
Jun Masamune,
Toshihiro Uemura
Abstract:
The Lp-Liouville property of a non-local operator A is investigated via the associated Dirichlet form. We will show that any non-negative continuous Lp E-subharmonic functions are constant under a quite mild assumption on the kernel of E if p is not less than 2. On the contrary, if 1 < p < 2, we need an additional assumption: either, the kernel has compact support; or f is Holder continuous.
The Lp-Liouville property of a non-local operator A is investigated via the associated Dirichlet form. We will show that any non-negative continuous Lp E-subharmonic functions are constant under a quite mild assumption on the kernel of E if p is not less than 2. On the contrary, if 1 < p < 2, we need an additional assumption: either, the kernel has compact support; or f is Holder continuous.
△ Less
Submitted 9 March, 2011;
originally announced March 2011.
-
Convergence of symmetric Markov chains on $\Z^d$
Authors:
R. F. Bass,
T. Kumagai,
T. Uemura
Abstract:
For each $n$ let $Y^n_t$ be a continuous time symmetric Markov chain with state space $n^{-1} \Z^d$. A condition in terms of the conductances is given for the convergence of the $Y^n_t$ to a symmetric Markov process $Y_t$ on $\R^d$. We have weak convergence of $\{Y^n_t: t\leq t_0\}$ for every $t_0$ and every starting point. The limit process $Y$ has a continuous part and may also have jumps.
For each $n$ let $Y^n_t$ be a continuous time symmetric Markov chain with state space $n^{-1} \Z^d$. A condition in terms of the conductances is given for the convergence of the $Y^n_t$ to a symmetric Markov process $Y_t$ on $\R^d$. We have weak convergence of $\{Y^n_t: t\leq t_0\}$ for every $t_0$ and every starting point. The limit process $Y$ has a continuous part and may also have jumps.
△ Less
Submitted 21 July, 2008;
originally announced July 2008.
