Searcharxiv⌕ Search

arXiv subjects

Takeshi Miura

Publications and source records attributed to Takeshi Miura.

At least 19 recordsLinked to original sources
arXiv2026

Autoware in Construction: Gap Analysis and LiDAR Perception Toward Off-Road Autonomous Driving

Autoware is an open-source autonomous driving software platform widely adopted by researchers and industry developers. Originally developed primarily for public-road applications, including passenger vehicles, taxis, and buses, Autoware is increasingly being extended to off-road environments such as construction and agricultural sites. Construction sites, however, differ fundamentally from public roads and challenge many assumptions underlying conventional autonomous driving systems. They are characterized by unstructured terrain, airborne dust, continuously evolving site conditions, and construction-specific objects. This paper presents lessons learned from ongoing efforts to extend an Autoware-based autonomous driving system to large dump trucks operating at construction sites. We identify gaps between public-road and off-road construction applications across the sensing, mapping, localization, perception, planning, and control modules of the Autoware stack. We then discuss potential solutions for addressing these gaps, with particular emphasis on ongoing LiDAR-based perception pipeline development and findings from field testing. Finally, we propose a roadmap toward end-to-end autonomous driving for construction vehicles.

cs.RO↗
arXiv2026

Norm-Additive Maps on the Positive Unit Sphere of $C^1([0,1])$

Let $C^1(I)$ denote the space of all continuously differentiable real-valued functions on the closed unit interval $I=[0,1]$. For $1\le p\le\infty$, we equip $C^1(I)$ with the norm \[ \Vert{f}\Vert_{(p)} := \begin{cases} \left(|f(0)|^p+\Vert{f'}\Vert_{I}^p\right)^{1/p}, & 1\le p<\infty, \\ \max\{|f(0)|,\Vert{f'}\Vert_{I}\}, & p=\infty, \end{cases} \qquad (f\in C^1(I)), \] where $\Vert{\cdot}\Vert_I$ denotes the supremum norm on $I$. Let $\mathcal{S}_p^+:=\{f\in C^1(I):f(0)\ge0,\,f'\ge0,\,\Vert{f}\Vert_{(p)}=1\}$ be the positive unit sphere of $C^1(I)$. A map $T:\mathcal{S}_p^+\to \mathcal{S}_p^+$ is called norm-additive if \[ \|T(f)+T(g)\|_{(p)}=\|f+g\|_{(p)} \qquad (f,g\in \mathcal{S}_p^+). \] For $1 1$ is essential.

math.FA↗
arXiv2026

Ring isomorphisms in norm between Banach algebras of continuous functions

Let $X$ and $Y$ be locally compact Hausdorff spaces and let $\mathbb{K}\in \{\mathbb{R},\mathbb{C}\}$. We say that a bijection $T\colon C_0(X,\mathbb{K})\to C_0(Y,\mathbb{K})$ is a ring isomorphism in norm if \[ \|T(f+g)\|=\|T(f)+T(g)\|,\qquad \|T(fg)\|=\|T(f)T(g)\| \] for every $f,g\in C_0(X,\mathbb{K})$. We determine the form of such maps. When $\mathbb{K}=\mathbb{C}$, under the additional assumption that $\|T(\overline f)\|=\|T(f)\|$ for every $f\in C_0(X,\mathbb{C})$, there exist a continuous function $w\colon Y\to\{λ\in\mathbb{C}:|λ|=1\}$, a homeomorphism $φ\colon Y\to X$, and a closed and open subset $Y_0\subset Y$ such that \[ T(f)(y)= \begin{cases} w(y)f(φ(y)),& y\in Y_0,\\ w(y)\overline{f(φ(y))},& y\in Y\setminus Y_0, \end{cases} \] for every $f\in C_0(X,\mathbb{C})$ and $y\in Y$. When $\mathbb{K}=\mathbb{R}$, there exist a continuous function $w\colon Y\to\{\pm1\}$ and a homeomorphism $φ\colon Y\to X$ such that \[ T(f)(y)=w(y)f(φ(y)) \] for every $f\in C_0(X,\mathbb{R})$ and $y\in Y$. In particular, the real case extends the norm version of the Gelfand--Kolmogoroff theorem to the locally compact setting.

math.FA↗
arXiv2026

Order Isomorphisms between Positive Cones of $C_0(X)$

Let $X$ and $Y$ be locally compact Hausdorff spaces. We study order isomorphisms \[ T:C_0^+(X)\to C_0^+(Y), \] where $C_0(X)$ denotes the Banach space of all real-valued continuous functions on $X$ vanishing at infinity, and \[ C_0^+(X)=\{f\in C_0(X):f\ge0\} \] is its positive cone. We assume that $T$ is positive homogeneous. That is, \[ T(rf)=rT(f) \qquad (r>0,\,f\in C_0^+(X)). \] Under this assumption, we prove that $T$ is represented as a weighted composition operator induced by a homeomorphism from $Y$ onto $X$ and a bounded continuous weight function. Moreover, we show that $T$ extends uniquely to a linear order isomorphism between $C_0(X)$ and $C_0(Y)$.

math.FA↗
arXiv2026

Globalization of local sign structures for phase-isometries on uniform algebras

We study surjective phase-isometries between the unit spheres of uniform algebras. Although such maps preserve maximal convex sets up to signs, the resulting local sign ambiguity prevents a direct application of the usual Banach--Stone type arguments for isometries. The main point of the paper is to prove that these local sign structures can be globalized on the Choquet boundary. To this end, we refine an additive Bishop-type construction and use it to propagate the sign information among the maximal convex sets associated with boundary points. As a consequence, every surjective phase-isometry admits a boundary representation by means of a global sign function, a unimodular weight, a homeomorphism between the Choquet boundaries, and a clopen decomposition into complex-linear and conjugate-linear parts. We then extend this representation to the maximal ideal spaces and obtain the corresponding real-algebraic Banach--Stone type representation.

math.FA↗
arXiv2026

A novel sustainable role of compost as a universal protective substitute for fish, chicken, pig, and cattle, and its estimation by structural equation modeling

Natural decomposition of organic matter is essential in food systems, and compost is used worldwide as an organic fermented fertilizer. However, as a feature of the ecosystem, its effects on the animals are poorly understood. Here we show that oral administration of compost and/or its derived thermophilic Bacillaceae, i.e., Caldibacillus hisashii and Weizmannia coagulans, can modulate the prophylactic activities of various industrial animals. The fecal omics analyses in the modulatory process showed an improving trend dependent upon animal species, environmental conditions, and administration. However, structural equation modeling (SEM) estimated the grouping candidates of bacteria and metabolites as standard key components beyond the animal species. In particular, the SEM model implied a strong relationship among partly digesting fecal amino acids, increasing genus Lactobacillus as inhabitant beneficial bacteria and 2-aminoisobutyric acid involved in lantibiotics. These results highlight the potential role of compost for sustainable protective control in agriculture, fishery, and livestock industries.

q-bio.QM↗
arXiv2026

Norm additive mappings between the positive cones of continuous function algebras

We study bijections between the positive cones of spaces of continuous functions vanishing at infinity that satisfy a norm additive condition. Such maps arise naturally in the study of nonlinear functional equations and norm-preserving structures on function spaces. While in the compact (unital) case these maps can often be analyzed via linear extension techniques, the non-unital setting $C_0(X)$ requires a different approach due to the absence of a distinguished unit element. In this paper, we show that every bijection $T:C_0^+(X)\to C_0^+(Y)$ between the positive cones of $C_0(X)$ and $C_0(Y)$ satisfying \[ \|T(f+g)\|=\|Tf+Tg\| \] for all $f,g\in C_0^+(X)$ admits a representation of the form \[ Tf(y)=h(y)f(τ(y)), \] where $τ:Y\to X$ is a homeomorphism and $h$ is a bounded continuous function from $Y$ to $(0,\infty)$. This yields a complete characterization of norm additive bijections on positive cones of $C_0^+(X)$.

math.FA↗
arXiv2026

Additive and multiplicative maps in norm on the positive cone of continuous function algebras

Let $X$ and $Y$ be locally compact Hausdorff spaces. We denote by $C_0^+(X)$ the positive cone of all real-valued continuous functions on $X$ vanishing at infinity. In this paper, we consider a bijection $T\colon C_0^+(X) \to C_0^+(Y)$ satisfying the following two norm conditions for all $f, g \in C_0^+(X)$: \[ \|T(f+g)\| = \|T(f)+T(g)\|,\qquad \|T(f \cdot g)\| = \|T(f) \cdot T(g)\|. \] The main result of this paper is that such a map $T$ is a composition operator of the form $T(f) = f \circ τ$, induced by a homeomorphism $τ\colon Y \to X$.

math.FA↗
arXiv2026

A variant of Tingley's problem for positive unit spheres of continuous functions that vanish at infinity

Let $S(C_0(X))^+$ and $S(C_0(Y))^+$ denote the positive parts of the unit spheres of $C_0(X)$ and $C_0(Y)$, where $X$ and $Y$ are locally compact Hausdorff spaces. We prove that every surjective isometry from $S(C_0(X))^+$ onto $S(C_0(Y))^+$ is a composition operator induced by a homeomorphism between $X$ and $Y$ . As a consequence, such a map extends to a surjective reallinear isometry from $C_0(X)$ onto $C_0(Y)$. We also characterize surjective phase-isometries on the positive unit sphere.

math.FA↗
arXiv2025

Surjective isometries on function spaces with derivatives

Let $A$ be a complex Banach space with a norm $\|f\|=\|f\|_X+\|d(f)\|_Y$ for $f\in A$, where $d$ is a complex linear map from $A$ onto a Banach space $B$, and $\|\cdot\|_K$ represents the supremum norm on a compact Hausdorff space $K$. In this paper, we characterize surjective isometries on $(A,\|\cdot\|)$, which may be nonlinear. This unifies former results on surjective isometries between specific function spaces.

math.FA↗
arXiv2024

Phase-isometries between the positive cones of the Banach space of continuous real-valued functions

For a locally compact Hausdorff space $L$, we denote by $C_0(L,\mathbb{R})$ the Banach space of all continuous real-valued functions on $L$ vanishing at infinity equipped with the supremum norm. We prove that every surjective phase-isometry $T\colon C_0^+(X,\mathbb{R}) \to C_0^+(Y,\mathbb{R})$ between the positive cones of $C_0(X,\mathbb{R})$ and $C_0(Y,\mathbb{R})$ is a composition operator induced by a homeomorphism between $X$ and $Y$. Furthermore, we show that any surjective phase-isometry $T\colon C_0^+(X,\mathbb{R}) \to C_0^+(Y,\mathbb{R})$ extends to a surjective linear isometry from $C_0(X,\mathbb{R})$ onto $C_0(Y,\mathbb{R})$.

math.FA↗
arXiv2024

Time-resolved force microscopy using delay-time modulation method

We developed a time-resolved force microscopy technique by integrating atomic force microscopy using a tuning-fork-type cantilever with the delay time modulation method for optical pump-probe light. We successfully measured the dynamics of surface recombination and diffusion of photoexcited carriers in bulk WSe2, which is challenging owing to the effect of tunneling current in time-resolved scanning tunneling microscopy. The obtained results were comprehensively explained with the model based on the dipole-dipole interaction induced by photo illumination.

physics.app-ph↗
arXiv2023

Tingley's problem for complex Banach spaces which do not satisfy the Hausdorff distance condition

In 2022, Hatori gave a sufficient condition for complex Banach spaces to have the complex Mazur--Ulam property. In this paper, we introduce a class of complex Banach spaces $B$ that do not satisfy the condition but enjoy the property that every surjective isometry on the unit sphere of such $B$ admits an extension to a surjective real linear isometry on the whole space $B$. Typical examples of Banach spaces studied in this note are the spaces ${\rm Lip}([0,1])$ of all Lipschitz complex-valued functions on $[0,1]$ and $C^1([0,1])$ of all continuously differentiable complex-valued functions on $[0,1]$ equipped with the norm $|f(0)|+\|f'\|_\infty$.

math.FA↗
arXiv2022

Surjective isometries on a Banach space of analytic functions with bounded derivatives

Let $H(\mathbb{D})$ be the linear space of all analytic functions on the open unit disc $\mathbb{D}$ and $H^p(\mathbb{D})$ the Hardy space on $\mathbb{D}$. The characterization of complex linear isometries on $\mathcal{S}^p=\{f\in H(\mathbb{D}):f'\in H^p(\mathbb{D})\}$ was given for $1\leq p<\infty$ by Novinger and Oberlin in 1985. Here, we characterize surjective, not necessarily linear, isometries on $\mathcal{S}^\infty$.

math.FA↗
arXiv2022

Every commutative JB$^*$-triple satisfies the complex Mazur--Ulam property

We prove that every commutative JB$^*$-triple satisfies the complex Mazur--Ulam property. Thanks to the representation theory, we can identify commutative JB$^*$-triples as spaces of complex-valued continuous functions on a principal $\mathbb{T}$-bundle $L$ in the form $$C_0^\mathbb{T}(L):=\{a\in C_0(L):a(λt)=λa(t)\text{ for every } (λ,t)\in\mathbb{T}\times L\}.$$ We prove that every surjective isometry from the unit sphere of $C_0^\mathbb{T}(L)$ onto the unit sphere of any complex Banach space admits an extension to a surjective real linear isometry between the spaces.

math.FA↗
arXiv2021

Exploring new solutions to Tingley's problem for function algebras

In this note we present two new positive answers to Tingley's problem in certain subspaces of function algebras. In the first result we prove that every surjective isometry between the unit spheres, $S(A)$ and $S(B)$, of two uniformly closed function algebras $A$ and $B$ on locally compact Hausdorff spaces can be extended to a surjective real linear isometry from $A$ onto $B$. In a second goal we study surjective isometries between the unit spheres of two abelian JB$^*$-triples represented as spaces of continuous functions of the form $$C^{\mathbb{T}}_0 (X) := \{ a \in C_0(X) : a (λt) = λa(t) \hbox{ for every } (λ, t) \in \mathbb{T}\times X\},$$ where $X$ is a (locally compact Hausdorff) principal $\mathbb{T}$-bundle. We establish that every surjective isometry $Δ: S(C_0^{\mathbb{T}}(X))\to S(C_0^{\mathbb{T}}(Y))$ admits an extension to a surjective real linear isometry between these two abelian JB$^*$-triples.

math.FA↗
arXiv2021

Surjective isometries between unitary sets of unital JB$^*$-algebras

This paper is, in a first stage, devoted to establish a topological--algebraic characterization of the principal component, $\mathcal{U}^0 (M)$, of the set of unitary elements, $\mathcal{U} (M)$, in a unital JB$^*$-algebra $M$. We arrive to the conclusion that, as in the case of unital C$^*$-algebras, $$\begin{aligned}\mathcal{U}^0(M) &= M^{-1}_{\textbf{1}}\cap\mathcal{U} (M) =\left\lbrace U_{e^{i h_n}}\cdots U_{e^{i h_1}}(\textbf{1}) \colon \begin{array}{c} n\in \mathbb{N}, \ h_j\in M_{sa} \forall\ 1\leq j \leq n \end{array} \right\rbrace \end{aligned}$$ is analytically arcwise connected. Our second goal is to provide a complete description of the surjective isometries between the principal components of two unital JB$^*$-algebras $M$ and $N$. Contrary to the case of unital C$^*$-algebras, we shall deduce the existence of connected components in $\mathcal{U} (M)$ which are not isometric as metric spaces. We shall also establish necessary and sufficient conditions to guarantee that a surjective isometry $Δ: \mathcal{U}(M)\to \mathcal{U} (N)$ admits an extension to a surjective linear isometry between $M$ and $N$, a conclusion which is not always true. Among the consequences it is proved that $M$ and $N$ are Jordan $^*$-isomorphic if, and only if, their principal components are isometric as metric spaces if, and only if, there exists a surjective isometry $Δ: \mathcal{U}(M)\to \mathcal{U}(N)$ mapping the unit of $M$ to an element in $\mathcal{U}^0(N)$. These results provide an extension to the setting of unital JB$^*$-algebras of the results obtained by O. Hatori for unital C$^*$-algebras.

math.OA↗