-
Weak solutions to the parabolic $p$-Laplace equation in a moving domain under a Neumann type boundary condition
Authors:
Tatsu-Hiko Miura
Abstract:
This paper studies the parabolic $p$-Laplace equation with $p>2$ in a moving domain under a Neumann type boundary condition corresponding to the total mass conservation. We establish the existence and uniqueness of a weak solution by the Galerkin method in evolving Bochner spaces and a monotonicity argument. The main difficulty is in characterizing the weak limit of the nonlinear gradient term, wh…
▽ More
This paper studies the parabolic $p$-Laplace equation with $p>2$ in a moving domain under a Neumann type boundary condition corresponding to the total mass conservation. We establish the existence and uniqueness of a weak solution by the Galerkin method in evolving Bochner spaces and a monotonicity argument. The main difficulty is in characterizing the weak limit of the nonlinear gradient term, where we need to deal with a term which comes from the boundary condition and cannot be absorbed into a monotone operator. To overcome this difficulty, we prove a uniform-in-time Friedrichs type inequality on a moving domain with time-dependent basis functions and make use of it to get the strong convergence of approximate solutions. We also show that the time derivative exists in the $L^2$ sense when given data have a better regularity.
△ Less
Submitted 18 May, 2025;
originally announced May 2025.
-
Status of the International Linear Collider
Authors:
Y. Abe,
S. Arai,
S. Araki,
H. Araki,
Y. Arimoto,
A. Aryshev,
S. Asai,
R. Bajpai,
T. Behnke,
S. Belomestnykh,
I. Bozovic,
J. E. Brau,
K. Buesser,
P. N. Burrows,
N. Catalan-Lasheras,
E. Cenni,
S. Chen,
J. Clark,
D. Delikaris,
M. Demarteau,
D. Denisov,
S. Doebert,
T. Dohmae,
R. Dowd,
G. Dugan
, et al. (127 additional authors not shown)
Abstract:
This paper is not a proposal for a CERN future project but provides information on the International Linear Collider (ILC) considered for Japan in order to facilitate the European Strategy discussion in a global context. It describes progress to date, ongoing engineering studies, updated cost estimate for the machine at $\sqrt{s}=250~\rm GeV$ and the situation in Japan. The physics of the ILC is n…
▽ More
This paper is not a proposal for a CERN future project but provides information on the International Linear Collider (ILC) considered for Japan in order to facilitate the European Strategy discussion in a global context. It describes progress to date, ongoing engineering studies, updated cost estimate for the machine at $\sqrt{s}=250~\rm GeV$ and the situation in Japan. The physics of the ILC is not presented here, but jointly for all Linear Collider projects in a separate document ``A Linear Collider Vision for the Future of Particle Physics'' submitted for the forthcoming European Strategy deliberations.
△ Less
Submitted 5 June, 2025; v1 submitted 16 May, 2025;
originally announced May 2025.
-
Quantitative Analysis of Cell Membrane Tension in Time-Series Imaging and A Minimal Lattice Model of Single Cell Motion
Authors:
Hiroki Nishitani,
Takashi Miura
Abstract:
Cell membrane tension directly influences various cellular functions. In this study, we developed a method to estimate surface tension from time-series data. We obtained the curvature-velocity relationship from time-series of binarized cell shape images, and the effective surface tension term was calculated from linear regression.
During the process, we observed an S-shaped pattern in the curvat…
▽ More
Cell membrane tension directly influences various cellular functions. In this study, we developed a method to estimate surface tension from time-series data. We obtained the curvature-velocity relationship from time-series of binarized cell shape images, and the effective surface tension term was calculated from linear regression.
During the process, we observed an S-shaped pattern in the curvature-velocity relationship. To understand the dynamics, we constructed a minimal lattice model describing single-cell motion. The model consists of surface tension and protrusion formation, and the characteristic parameters are obtained from experimental observations. We found that similar patterns emerged in the curvature-velocity relationship.
△ Less
Submitted 21 April, 2025;
originally announced April 2025.
-
A new energy method for shortening and straightening complete curves
Authors:
Tatsuya Miura,
Fabian Rupp
Abstract:
We introduce a novel energy method that reinterprets ``curve shortening'' as ``tangent aligning''. This conceptual shift enables the variational study of infinite-length curves evolving by the curve shortening flow, as well as higher order flows such as the elastic flow, which involves not only the curve shortening but also the curve straightening effect. For the curve shortening flow, we prove co…
▽ More
We introduce a novel energy method that reinterprets ``curve shortening'' as ``tangent aligning''. This conceptual shift enables the variational study of infinite-length curves evolving by the curve shortening flow, as well as higher order flows such as the elastic flow, which involves not only the curve shortening but also the curve straightening effect. For the curve shortening flow, we prove convergence to a straight line under mild assumptions on the ends of the initial curve. For the elastic flow, we establish a global well-posedness theory, and investigate the precise long-time behavior of solutions. In fact, our method applies to a more general class of geometric evolution equations including the surface diffusion flow, Chen's flow, and the free elastic flow.
△ Less
Submitted 12 May, 2025; v1 submitted 4 April, 2025;
originally announced April 2025.
-
Surjective isometries on function spaces with derivatives
Authors:
M. G. Cabrera-Padilla,
A. Jiménez-Vargas,
Takeshi Miura,
Moisés Villegas-Vallecillos
Abstract:
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 specif…
▽ More
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.
△ Less
Submitted 6 March, 2025;
originally announced March 2025.
-
Thin-film limit of the Cahn-Hilliard equation in a curved thin domain
Authors:
Tatsu-Hiko Miura
Abstract:
We consider the Cahn-Hilliard equation with Neumann boundary conditions in a three-dimensional curved thin domain around a given closed surface. When the thickness of the curved thin domain tends to zero, we show that the weighted average in the thin direction of a weak solution to the thin-domain problem converges on the limit surface in an appropriate sense. Moreover, we rigorously derive a limi…
▽ More
We consider the Cahn-Hilliard equation with Neumann boundary conditions in a three-dimensional curved thin domain around a given closed surface. When the thickness of the curved thin domain tends to zero, we show that the weighted average in the thin direction of a weak solution to the thin-domain problem converges on the limit surface in an appropriate sense. Moreover, we rigorously derive a limit problem, which is the surface Cahn-Hilliard equation with weighted Laplacian, by characterizing the limit function as a unique weak solution to the limit problem. The proof is based on a detailed analysis of the weighted average and the use of Sobolev inequalities and elliptic regularity estimates on the curved thin domain with constants explicitly depending on the thickness. This is the first result on a rigorous thin-film limit of nonlinear fourth order equations in general curved thin domains.
△ Less
Submitted 1 February, 2025;
originally announced February 2025.
-
Regularity and structure of non-planar $p$-elasticae
Authors:
Florian Gruen,
Tatsuya Miura
Abstract:
We prove regularity and structure results for $p$-elasticae in $\mathbb{R}^n$, with arbitrary $p\in (1,\infty)$ and $n\geq2$. Planar $p$-elasticae are already classified and known to lose regularity. In this paper, we show that every non-planar $p$-elastica is analytic and three-dimensional, with the only exception of flat-core solutions of arbitrary dimensions. Subsequently, we classify pinned…
▽ More
We prove regularity and structure results for $p$-elasticae in $\mathbb{R}^n$, with arbitrary $p\in (1,\infty)$ and $n\geq2$. Planar $p$-elasticae are already classified and known to lose regularity. In this paper, we show that every non-planar $p$-elastica is analytic and three-dimensional, with the only exception of flat-core solutions of arbitrary dimensions. Subsequently, we classify pinned $p$-elasticae in $\mathbb{R}^n$ and, as an application, establish a Li-Yau type inequality for the $p$-bending energy of closed curves in $\mathbb{R}^n$. This extends previous works for $p=2$ and $n\geq2$ as well as for $p\in (1,\infty)$ and $n=2$.
△ Less
Submitted 15 January, 2025; v1 submitted 14 January, 2025;
originally announced January 2025.
-
Migrating elastic flows II
Authors:
Tatsuya Miura
Abstract:
We solve a variant of Huisken's problem for open curves: we construct migrating elastic flows under the natural boundary conditions, extending previous work from the nonlocal flow to the purely local flow.
We solve a variant of Huisken's problem for open curves: we construct migrating elastic flows under the natural boundary conditions, extending previous work from the nonlocal flow to the purely local flow.
△ Less
Submitted 2 June, 2025; v1 submitted 6 November, 2024;
originally announced November 2024.
-
Asymptotic circularity of immortal area-preserving curvature flows
Authors:
Tatsuya Miura
Abstract:
For a class of area-preserving curvature flows of closed planar curves, we prove that every immortal solution becomes asymptotically circular without any additional assumptions on initial data. As a particular corollary, every solution of zero enclosed area blows up in finite time. This settles an open problem posed by Escher--Ito in 2005 for Gage's area-preserving curve shortening flow, and moreo…
▽ More
For a class of area-preserving curvature flows of closed planar curves, we prove that every immortal solution becomes asymptotically circular without any additional assumptions on initial data. As a particular corollary, every solution of zero enclosed area blows up in finite time. This settles an open problem posed by Escher--Ito in 2005 for Gage's area-preserving curve shortening flow, and moreover extends it to the surface diffusion flow of arbitrary order. We also establish a general existence theorem for nontrivial immortal solutions under almost circularity and rotational symmetry.
△ Less
Submitted 17 November, 2024; v1 submitted 8 October, 2024;
originally announced October 2024.
-
Smooth compactness of elasticae
Authors:
Tatsuya Miura
Abstract:
We prove a smooth compactness theorem for the space of elasticae, unless the limit curve is a straight segment. As an application, we obtain smooth stability results for minimizers with respect to clamped boundary data.
We prove a smooth compactness theorem for the space of elasticae, unless the limit curve is a straight segment. As an application, we obtain smooth stability results for minimizers with respect to clamped boundary data.
△ Less
Submitted 20 October, 2024; v1 submitted 1 September, 2024;
originally announced September 2024.
-
Stable beam operation of approximately 1 mA beam under highly efficient energy recovery conditions at compact energy-recovery linac
Authors:
Hiroshi Sakai,
Dai Arakawa,
Takaaki Furuya,
Kaiichi Haga,
Masayuki Hagiwara,
Kentaro Harada,
Yosuke Honda,
Teruya Honma,
Eiji Kako,
Ryukou Kato,
Yuuji Kojima,
Taro Konomi,
Hiroshi Matsumura,
Taichi Miura,
Takako Miura,
Shinya Nagahashi,
Hirotaka Nakai,
Norio Nakamura,
Kota Nakanishi,
Kazuyuki Nigorikawa,
Takashi Nogami,
Takashi Obina,
Feng Qiu,
Hidenori Sagehashi,
Shogo Sakanaka
, et al. (15 additional authors not shown)
Abstract:
A compact energy-recovery linac (cERL) has been un-der construction at KEK since 2009 to develop key technologies for the energy-recovery linac. The cERL began operating in 2013 to create a high-current beam with a low-emittance beam with stable continuous wave (CW) superconducting cavities. Owing to the development of critical components, such as the DC gun, superconducting cavities, and the desi…
▽ More
A compact energy-recovery linac (cERL) has been un-der construction at KEK since 2009 to develop key technologies for the energy-recovery linac. The cERL began operating in 2013 to create a high-current beam with a low-emittance beam with stable continuous wave (CW) superconducting cavities. Owing to the development of critical components, such as the DC gun, superconducting cavities, and the design of ideal beam transport optics, we have successfully established approximately 1 mA stable CW operation with a small beam emittance and extremely small beam loss. This study presents the details of our key technologies and experimental results for achieving 100% energy recovery operation with extremely small beam loss during a stable, approximately 1 mA CW beam operation.
△ Less
Submitted 24 August, 2024;
originally announced August 2024.
-
WhisperMask: A Noise Suppressive Mask-Type Microphone for Whisper Speech
Authors:
Hirotaka Hiraki,
Shusuke Kanazawa,
Takahiro Miura,
Manabu Yoshida,
Masaaki Mochimaru,
Jun Rekimoto
Abstract:
Whispering is a common privacy-preserving technique in voice-based interactions, but its effectiveness is limited in noisy environments. In conventional hardware- and software-based noise reduction approaches, isolating whispered speech from ambient noise and other speech sounds remains a challenge. We thus propose WhisperMask, a mask-type microphone featuring a large diaphragm with low sensitivit…
▽ More
Whispering is a common privacy-preserving technique in voice-based interactions, but its effectiveness is limited in noisy environments. In conventional hardware- and software-based noise reduction approaches, isolating whispered speech from ambient noise and other speech sounds remains a challenge. We thus propose WhisperMask, a mask-type microphone featuring a large diaphragm with low sensitivity, making the wearer's voice significantly louder than the background noise. We evaluated WhisperMask using three key metrics: signal-to-noise ratio, quality of recorded voices, and speech recognition rate. Across all metrics, WhisperMask consistently outperformed traditional noise-suppressing microphones and software-based solutions. Notably, WhisperMask showed a 30% higher recognition accuracy for whispered speech recorded in an environment with 80 dB background noise compared with the pin microphone and earbuds. Furthermore, while a denoiser decreased the whispered speech recognition rate of these two microphones by approximately 20% at 30-60 dB noise, WhisperMask maintained a high performance even without denoising, surpassing the other microphones' performances by a significant margin.WhisperMask's design renders the wearer's voice as the dominant input and effectively suppresses background noise without relying on signal processing. This device allows for reliable voice interactions, such as phone calls and voice commands, in a wide range of noisy real-world scenarios while preserving user privacy.
△ Less
Submitted 22 August, 2024;
originally announced August 2024.
-
Elastic curves and self-intersections
Authors:
Tatsuya Miura
Abstract:
This is an expository note to give a brief review of classical elastica theory, mainly prepared for giving a more detailed proof of the author's Li--Yau type inequality for self-intersecting curves in Euclidean space. We also discuss some open problems in related topics.
This is an expository note to give a brief review of classical elastica theory, mainly prepared for giving a more detailed proof of the author's Li--Yau type inequality for self-intersecting curves in Euclidean space. We also discuss some open problems in related topics.
△ Less
Submitted 31 August, 2024; v1 submitted 6 August, 2024;
originally announced August 2024.
-
Thin-film limit of the Ginzburg-Landau heat flow in a curved thin domain
Authors:
Tatsu-Hiko Miura
Abstract:
We consider the Ginzburg-Landau heat flow without magnetic effect in a curved thin domain under the Naumann boundary condition. When the curved thin domain shrinks to a given closed hypersurface as the thickness of the thin domain tends to zero, we show that the weighted average of a weak solution to the thin-domain problem converges weakly on the limit surface under the assumption that the initia…
▽ More
We consider the Ginzburg-Landau heat flow without magnetic effect in a curved thin domain under the Naumann boundary condition. When the curved thin domain shrinks to a given closed hypersurface as the thickness of the thin domain tends to zero, we show that the weighted average of a weak solution to the thin-domain problem converges weakly on the limit surface under the assumption that the initial data is of class $L^\infty$ and satisfies some conditions. Moreover, under the same assumption, we derive a limit equation by characterizing the limit function as a weak solution, and prove a difference estimate on the limit surface of an averaged weak solution to the thin-domain problem and a weak solution to the limit problem explicitly in terms of the thickness of the thin domain. We also derive a difference estimate in the curved thin domain of weak solutions to the thin-domain problem and to the limit problem, but without requiring that the initial data of the thin-domain problem is of class $L^\infty$.
△ Less
Submitted 22 April, 2024;
originally announced April 2024.
-
The free elastic flow for closed planar curves
Authors:
Tatsuya Miura,
Glen Wheeler
Abstract:
The free elastic flow is the $L^2$-gradient flow for Euler's elastic energy, or equivalently the Willmore flow with translation invariant initial data. In contrast to elastic flows under length penalisation or preservation, it is more challenging to study the free elastic flow's asymptotic behavior, and convergence for closed curves is lost. In this paper, we nevertheless determine the asymptotic…
▽ More
The free elastic flow is the $L^2$-gradient flow for Euler's elastic energy, or equivalently the Willmore flow with translation invariant initial data. In contrast to elastic flows under length penalisation or preservation, it is more challenging to study the free elastic flow's asymptotic behavior, and convergence for closed curves is lost. In this paper, we nevertheless determine the asymptotic shape of the flow for initial curves that are geometrically close to circles, possibly multiply-covered, proving that an appropriate rescaling smoothly converges to a unique round circle.
△ Less
Submitted 20 May, 2025; v1 submitted 19 April, 2024;
originally announced April 2024.
-
Spline-Interpolated Model Predictive Path Integral Control with Stein Variational Inference for Reactive Navigation
Authors:
Takato Miura,
Naoki Akai,
Kohei Honda,
Susumu Hara
Abstract:
This paper presents a reactive navigation method that leverages a Model Predictive Path Integral (MPPI) control enhanced with spline interpolation for the control input sequence and Stein Variational Gradient Descent (SVGD). The MPPI framework addresses a nonlinear optimization problem by determining an optimal sequence of control inputs through a sampling-based approach. The efficacy of MPPI is s…
▽ More
This paper presents a reactive navigation method that leverages a Model Predictive Path Integral (MPPI) control enhanced with spline interpolation for the control input sequence and Stein Variational Gradient Descent (SVGD). The MPPI framework addresses a nonlinear optimization problem by determining an optimal sequence of control inputs through a sampling-based approach. The efficacy of MPPI is significantly influenced by the sampling noise. To rapidly identify routes that circumvent large and/or newly detected obstacles, it is essential to employ high levels of sampling noise. However, such high noise levels result in jerky control input sequences, leading to non-smooth trajectories. To mitigate this issue, we propose the integration of spline interpolation within the MPPI process, enabling the generation of smooth control input sequences despite the utilization of substantial sampling noises. Nonetheless, the standard MPPI algorithm struggles in scenarios featuring multiple optimal or near-optimal solutions, such as environments with several viable obstacle avoidance paths, due to its assumption that the distribution over an optimal control input sequence can be closely approximated by a Gaussian distribution. To address this limitation, we extend our method by incorporating SVGD into the MPPI framework with spline interpolation. SVGD, rooted in the optimal transportation algorithm, possesses the unique ability to cluster samples around an optimal solution. Consequently, our approach facilitates robust reactive navigation by swiftly identifying obstacle avoidance paths while maintaining the smoothness of the control input sequences. The efficacy of our proposed method is validated on simulations with a quadrotor, demonstrating superior performance over existing baseline techniques.
△ Less
Submitted 16 April, 2024;
originally announced April 2024.
-
Phase-isometries between the positive cones of the Banach space of continuous real-valued functions
Authors:
Daisuke Hirota,
Izuho Matsuzaki,
Takeshi Miura
Abstract:
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 induc…
▽ More
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})$.
△ Less
Submitted 9 April, 2024;
originally announced April 2024.
-
Mid-career pitfall of consecutive success in science
Authors:
Noriyuki Higashide,
Takahiro Miura,
Yuta Tomokiyo,
Kimitaka Asatani,
Ichiro Sakata
Abstract:
The creativity of scientists often manifests as localized hot streaks of significant success. Understanding the underlying mechanisms of these influential phases can enhance the effectiveness of support systems and funding allocation, fostering groundbreaking discoveries worthy of accolades. Historically, analyses have suggested that hot streaks occur randomly over time. However, our research, thr…
▽ More
The creativity of scientists often manifests as localized hot streaks of significant success. Understanding the underlying mechanisms of these influential phases can enhance the effectiveness of support systems and funding allocation, fostering groundbreaking discoveries worthy of accolades. Historically, analyses have suggested that hot streaks occur randomly over time. However, our research, through meticulous examination, reveals that these phases are not flatly distributed but are more frequent at the early and late stages of scientists' careers. Notably, both early and late hot streaks are marked by dense tie collaborations, with the former typically involving close partnerships with particular authors and the latter being characterized by involvement in large-scale projects compared with single-top or ordinary papers. This pattern indicates that mid-career researchers lack both intimate relations and resources to keep big projects, leading to``mid-career pitfal'' of consecutive success. This insight holds profound implications for the development of policies and initiatives aimed at bolstering innovative research and discovery.
△ Less
Submitted 9 March, 2024;
originally announced March 2024.
-
Uniqueness and minimality of Euler's elastica with monotone curvature
Authors:
Tatsuya Miura,
Glen Wheeler
Abstract:
For an old problem of Euler's elastica we prove the novel global property that every planar elastica with non-constant monotone curvature is uniquely minimal subject to the clamped boundary condition. We also partly extend this unique minimality to the length-penalised case; this result is new even in view of local minimality. As an application we prove uniqueness of global minimisers in the strai…
▽ More
For an old problem of Euler's elastica we prove the novel global property that every planar elastica with non-constant monotone curvature is uniquely minimal subject to the clamped boundary condition. We also partly extend this unique minimality to the length-penalised case; this result is new even in view of local minimality. As an application we prove uniqueness of global minimisers in the straightening problem for generic boundary angles.
△ Less
Submitted 28 March, 2025; v1 submitted 20 February, 2024;
originally announced February 2024.
-
Time-resolved force microscopy using delay-time modulation method
Authors:
Hiroyuki Mogi,
Rin Wakabayashi,
Shoji Yoshida,
Yusuke Arashida,
Atsushi Taninaka,
Katsuya Iwaya,
Takeshi Miura,
Osamu Takeuchi,
Hidemi Shigekawa
Abstract:
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 scanni…
▽ More
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.
△ Less
Submitted 11 January, 2024;
originally announced January 2024.
-
Variational stabilization of degenerate p-elasticae
Authors:
Tatsuya Miura,
Kensuke Yoshizawa
Abstract:
A new stabilization phenomenon induced by degenerate diffusion is discovered in the context of pinned planar $p$-elasticae. It was known that in the non-degenerate regime $p\in(1,2]$, including the classical case of Euler's elastica, there are no local minimizers other than unique global minimizers. Here we prove that, in stark contrast, in the degenerate regime $p\in(2,\infty)$ there emerge uncou…
▽ More
A new stabilization phenomenon induced by degenerate diffusion is discovered in the context of pinned planar $p$-elasticae. It was known that in the non-degenerate regime $p\in(1,2]$, including the classical case of Euler's elastica, there are no local minimizers other than unique global minimizers. Here we prove that, in stark contrast, in the degenerate regime $p\in(2,\infty)$ there emerge uncountably many local minimizers with diverging energy.
△ Less
Submitted 26 March, 2025; v1 submitted 11 October, 2023;
originally announced October 2023.
-
Remarks on overestimating the effects of inhomogeneities on the Hubble constant
Authors:
Taishi Miura,
Takahiro Tanaka
Abstract:
The Hubble constant is one of the most important parameters in cosmology. Discrepancies in values of the Hubble constant estimated from various measurements, the so-called Hubble tension, are a serious problem. In this paper, we study the effects of small-scale inhomogeneities of structure formation on the measurement of the Hubble constant using the luminosity distance-redshift relation. By adopt…
▽ More
The Hubble constant is one of the most important parameters in cosmology. Discrepancies in values of the Hubble constant estimated from various measurements, the so-called Hubble tension, are a serious problem. In this paper, we study the effects of small-scale inhomogeneities of structure formation on the measurement of the Hubble constant using the luminosity distance-redshift relation. By adopting the adhesion model in Newtonian cosmology as the model of structure formation, we investigate whether or not the effects of inhomogeneities can be sufficiently large to affect the current observations of the Hubble constant. We show that inappropriate treatment of the effects of inhomogeneities can cause a large deviation of the measured value of the Hubble constant from the background value, whose magnitude is comparable with the Hubble tension. Our main message is the importance of adopting an appropriate model of structure formation to investigate the effects of inhomogeneities. We also add discussion on the spatial averaging approach used to estimate the measured Hubble constant in the inhomogeneous universe.
△ Less
Submitted 31 January, 2025; v1 submitted 5 September, 2023;
originally announced September 2023.
-
Approximation of a solution to the stationary Navier-Stokes equations in a curved thin domain by a solution to thin-film limit equations
Authors:
Tatsu-Hiko Miura
Abstract:
We consider the stationary Navier-Stokes equations in a three-dimensional curved thin domain around a given closed surface under the slip boundary conditions. Our aim is to show that a solution to the bulk equations is approximated by a solution to limit equations on the surface appearing in the thin-film limit of the bulk equations. To this end, we take the average of the bulk solution in the thi…
▽ More
We consider the stationary Navier-Stokes equations in a three-dimensional curved thin domain around a given closed surface under the slip boundary conditions. Our aim is to show that a solution to the bulk equations is approximated by a solution to limit equations on the surface appearing in the thin-film limit of the bulk equations. To this end, we take the average of the bulk solution in the thin direction and estimate the difference of the averaged bulk solution and the surface solution. Then we combine an obtained difference estimate on the surface with an estimate for the difference of the bulk solution and its average to get a difference estimate for the bulk and surface solutions in the thin domain, which shows that the bulk solution is approximated by the surface one when the thickness of the thin domain is sufficiently small.
△ Less
Submitted 23 August, 2023; v1 submitted 9 August, 2023;
originally announced August 2023.
-
On Rényi Differential Privacy in Statistics-Based Synthetic Data Generation
Authors:
Takayuki Miura,
Toshiki Shibahara,
Masanobu Kii,
Atsunori Ichikawa,
Juko Yamamoto,
Koji Chida
Abstract:
Privacy protection with synthetic data generation often uses differentially private statistics and model parameters to quantitatively express theoretical security. However, these methods do not take into account privacy protection due to the randomness of data generation. In this paper, we theoretically evaluate Rényi differential privacy of the randomness in data generation of a synthetic data ge…
▽ More
Privacy protection with synthetic data generation often uses differentially private statistics and model parameters to quantitatively express theoretical security. However, these methods do not take into account privacy protection due to the randomness of data generation. In this paper, we theoretically evaluate Rényi differential privacy of the randomness in data generation of a synthetic data generation method that uses the mean vector and the covariance matrix of an original dataset. Specifically, for a fixed $α> 1$, we show the condition of $\varepsilon$ such that the synthetic data generation satisfies $(α, \varepsilon)$-Rényi differential privacy under a bounded neighboring condition and an unbounded neighboring condition, respectively. In particular, under the unbounded condition, when the size of the original dataset and synthetic datase is 10 million, the mechanism satisfies $(4, 0.576)$-Rényi differential privacy. We also show that when we translate it into the traditional $(\varepsilon, δ)$-differential privacy, the mechanism satisfies $(4.00, 10^{-10})$-differential privacy.
△ Less
Submitted 31 March, 2023;
originally announced March 2023.
-
Migrating elastic flows
Authors:
Tomoya Kemmochi,
Tatsuya Miura
Abstract:
Huisken's problem asks whether there is an elastic flow of closed planar curves that is initially contained in the upper half-plane but `migrates' to the lower half-plane at a positive time. Here we consider variants of Huisken's problem for open curves under the natural boundary condition, and construct various migrating elastic flows both analytically and numerically.
Huisken's problem asks whether there is an elastic flow of closed planar curves that is initially contained in the upper half-plane but `migrates' to the lower half-plane at a positive time. Here we consider variants of Huisken's problem for open curves under the natural boundary condition, and construct various migrating elastic flows both analytically and numerically.
△ Less
Submitted 17 April, 2024; v1 submitted 22 March, 2023;
originally announced March 2023.
-
Transient photocurrent and optical absorption of disordered thin-film semiconductors: in-depth injection and nonlinear response
Authors:
Kazuhiko Seki,
Naoya Muramatsu,
Tomoaki Miura,
Tadaaki Ikoma
Abstract:
The time-of-flight method is a fundamental approach for characterizing the transport properties of semiconductors. Recently, the transient photocurrent and optical absorption kinetics have been simultaneously measured for thin films; pulsed-light excitation of thin films should give rise to non-negligible in-depth carrier injection. Yet, the effects of in-depth carrier injection on the transient c…
▽ More
The time-of-flight method is a fundamental approach for characterizing the transport properties of semiconductors. Recently, the transient photocurrent and optical absorption kinetics have been simultaneously measured for thin films; pulsed-light excitation of thin films should give rise to non-negligible in-depth carrier injection. Yet, the effects of in-depth carrier injection on the transient currents and optical absorption have not yet been elucidated theoretically. Here, by considering the in-depth carrier injection in simulations, we found a 1/t^{1-alpha/2} initial time (t) dependence rather than the conventional $1/t^{1-alpha}$ dependence under a weak external electric field, where alpha<1 is the index of dispersive diffusion.The asymptotic transient currents are not influenced by the initial in-depth carrier injection and follow the conventional 1/t^{1+alpha} time dependence. We also present the relation between the field-dependent mobility coefficient and the diffusion coefficient when the transport is dispersive. The field dependence of the transport coefficients influences the transit time in the photocurrent kinetics dividing two power-law decay regimes. The classical Scher--Montroll theory predicts a_1+a_2=2 when the initial photocurrent decay is given by 1/t^{a_1} and the asymptotic photocurrent decay is given by 1/t^{a_2}. The results shed light on the interpretation of the power-law exponent of 1/t^{a_1} when a_1+a_2neq 2.
△ Less
Submitted 20 February, 2023; v1 submitted 19 February, 2023;
originally announced February 2023.
-
Membership Inference Attacks against Diffusion Models
Authors:
Tomoya Matsumoto,
Takayuki Miura,
Naoto Yanai
Abstract:
Diffusion models have attracted attention in recent years as innovative generative models. In this paper, we investigate whether a diffusion model is resistant to a membership inference attack, which evaluates the privacy leakage of a machine learning model. We primarily discuss the diffusion model from the standpoints of comparison with a generative adversarial network (GAN) as conventional model…
▽ More
Diffusion models have attracted attention in recent years as innovative generative models. In this paper, we investigate whether a diffusion model is resistant to a membership inference attack, which evaluates the privacy leakage of a machine learning model. We primarily discuss the diffusion model from the standpoints of comparison with a generative adversarial network (GAN) as conventional models and hyperparameters unique to the diffusion model, i.e., time steps, sampling steps, and sampling variances. We conduct extensive experiments with DDIM as a diffusion model and DCGAN as a GAN on the CelebA and CIFAR-10 datasets in both white-box and black-box settings and then confirm if the diffusion model is comparably resistant to a membership inference attack as GAN. Next, we demonstrate that the impact of time steps is significant and intermediate steps in a noise schedule are the most vulnerable to the attack. We also found two key insights through further analysis. First, we identify that DDIM is vulnerable to the attack for small sample sizes instead of achieving a lower FID. Second, sampling steps in hyperparameters are important for resistance to the attack, whereas the impact of sampling variances is quite limited.
△ Less
Submitted 22 March, 2023; v1 submitted 7 February, 2023;
originally announced February 2023.
-
General rigidity principles for stable and minimal elastic curves
Authors:
Tatsuya Miura,
Kensuke Yoshizawa
Abstract:
For a wide class of curvature energy functionals defined for planar curves under the fixed-length constraint, we obtain optimal necessary conditions for global and local minimizers. Our results extend Maddocks' and Sachkov's rigidity principles for Euler's elastica by a new, unified and geometric approach. This in particular leads to complete classification of stable closed $p$-elasticae for all…
▽ More
For a wide class of curvature energy functionals defined for planar curves under the fixed-length constraint, we obtain optimal necessary conditions for global and local minimizers. Our results extend Maddocks' and Sachkov's rigidity principles for Euler's elastica by a new, unified and geometric approach. This in particular leads to complete classification of stable closed $p$-elasticae for all $p\in(1,\infty)$ and of stable pinned $p$-elasticae for $p\in(1,2]$. Our proof is based on a simple but robust `cut-and-paste' trick without computing the energy nor its second variation, which works well for planar periodic curves but also extends to some non-periodic or non-planar cases. An analytically remarkable point is that our method is directly valid for the highly singular regime $p\in(1,\frac{3}{2}]$ in which the second variation may not exist even for smooth variations.
△ Less
Submitted 30 March, 2024; v1 submitted 19 January, 2023;
originally announced January 2023.
-
Tingley's problem for complex Banach spaces which do not satisfy the Hausdorff distance condition
Authors:
David Cabezas,
María Cueto-Avellaneda,
Yuta Enami,
Takeshi Miura,
Antonio M. Peralta
Abstract:
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 Ban…
▽ More
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$.
△ Less
Submitted 2 June, 2023; v1 submitted 31 October, 2022;
originally announced October 2022.
-
Pinned planar p-elasticae
Authors:
Tatsuya Miura,
Kensuke Yoshizawa
Abstract:
Building on our previous work, we classify all planar $p$-elasticae under the pinned boundary condition, and then obtain uniqueness and geometric properties of global minimizers. As an application we establish a Li--Yau type inequality for the $p$-bending energy, and in particular discover a unique exponent $p \simeq 1.5728$ for full optimality. We also prove existence of minimal $p$-elastic netwo…
▽ More
Building on our previous work, we classify all planar $p$-elasticae under the pinned boundary condition, and then obtain uniqueness and geometric properties of global minimizers. As an application we establish a Li--Yau type inequality for the $p$-bending energy, and in particular discover a unique exponent $p \simeq 1.5728$ for full optimality. We also prove existence of minimal $p$-elastic networks, extending a recent result of Dall'Acqua--Novaga--Pluda.
△ Less
Submitted 26 June, 2023; v1 submitted 13 September, 2022;
originally announced September 2022.
-
Error estimate for classical solutions to the heat equation in a moving thin domain and its limit equation
Authors:
Tatsu-Hiko Miura
Abstract:
We consider the Neumann type problem of the heat equation in a moving thin domain around a given closed moving hypersurface. The main result of this paper is an error estimate in the sup-norm for classical solutions to the thin domain problem and a limit equation on the moving hypersurface which appears in the thin-film limit of the heat equation. To prove the error estimate, we show a uniform a p…
▽ More
We consider the Neumann type problem of the heat equation in a moving thin domain around a given closed moving hypersurface. The main result of this paper is an error estimate in the sup-norm for classical solutions to the thin domain problem and a limit equation on the moving hypersurface which appears in the thin-film limit of the heat equation. To prove the error estimate, we show a uniform a priori estimate for a classical solution to the thin domain problem based on the maximum principle. Moreover, we construct a suitable approximate solution to the thin domain problem from a classical solution to the limit equation based on an asymptotic expansion of the thin domain problem and apply the uniform a priori estimate to the difference of the approximate solution and a classical solution to the thin domain problem.
△ Less
Submitted 2 August, 2022;
originally announced August 2022.
-
Achievement of 200,000 hours of operation at KEK 7-GeV electron 4-GeV positron injector linac
Authors:
Kazuro Furukawa,
Mitsuo Akemoto,
Dai Arakawa,
Yoshio Arakida,
Yusei Bando,
Hiroyasu Ego,
Yoshinori Enomoto,
Toshiyasu Higo,
Hiroyuki Honma,
Naoko Iida,
Kazuhisa Kakihara,
Takuya Kamitani,
Hiroaki Katagiri,
Masato Kawamura,
Shuji Matsumoto,
Toshihiro Matsumoto,
Hideki Matsushita,
Katsuhiko Mikawa,
Takako Miura,
Fusashi Miyahara,
Hiromitsu Nakajima,
Takuya Natsui,
Yujiro Ogawa,
Satoshi Ohsawa,
Yuichi Okayasu
, et al. (17 additional authors not shown)
Abstract:
KEK electron positron injector LINAC initiated the injection operation into Photon Factory (PF) light source in 1982. Since then for 39 years, it has served for multiple projects, namely, TRISTAN, PF-AR, KEKB, and SuperKEKB. Its total operation time has accumulated 200 thousand hours on May 7, 2020. We are extremely proud of the achievement following continuous efforts by our seniors. The construc…
▽ More
KEK electron positron injector LINAC initiated the injection operation into Photon Factory (PF) light source in 1982. Since then for 39 years, it has served for multiple projects, namely, TRISTAN, PF-AR, KEKB, and SuperKEKB. Its total operation time has accumulated 200 thousand hours on May 7, 2020. We are extremely proud of the achievement following continuous efforts by our seniors. The construction of the injector LINAC started in 1978, and it was commissioned for PF with 2.5 GeV electron in 1982. In parallel, the positron generator linac was constructed for the TRISTAN collider project. The slow positron facility was also commissioned in 1992. After the KEKB asymmetric-energy collider project was commissioned in 1998 with direct energy injections, the techniques such as two-bunch acceleration and simultaneous injection were developed. As the soft structure design of the LINAC was too weak against the great east Japan earthquake, it took three years to recover. Then the construction and commissioning for the SuperKEKB project went on, and the simultaneous top-up injection into four storage rings contributes to the both elementary particle physics and photon science.
△ Less
Submitted 4 July, 2022;
originally announced July 2022.
-
Fairing of planar curves to log-aesthetic curves
Authors:
Sebastián Elías Graiff Zurita,
Kenji Kajiwara,
Kenjiro T. Miura
Abstract:
We present an algorithm to fair a given planar curve by a log-aesthetic curve (LAC). We show how a general LAC segment can be uniquely characterized by seven parameters and present a method of parametric approximation based on this fact. This work aims to provide tools to be used in reverse engineering for computer aided geometric design. Finally, we show an example of usage by applying this algor…
▽ More
We present an algorithm to fair a given planar curve by a log-aesthetic curve (LAC). We show how a general LAC segment can be uniquely characterized by seven parameters and present a method of parametric approximation based on this fact. This work aims to provide tools to be used in reverse engineering for computer aided geometric design. Finally, we show an example of usage by applying this algorithm to the point data obtained from 3D scanning a car's roof.
△ Less
Submitted 1 June, 2022;
originally announced June 2022.
-
Simulation of Lindblad equations for quarkonium in the quark-gluon plasma
Authors:
Takahiro Miura,
Yukinao Akamatsu,
Masayuki Asakawa,
Yukana Kaida
Abstract:
We study the properties of the Lindbladian quantum mechanical evolution of quarkonia with non-Abelian charges (color-singlet and octet) in the quark-gluon plasma. We confirm that heavy quark recoils in the Lindblad equation correctly thermalize quarkonium colorful states within statistical errors from the simulation method. We also demonstrate that the Lindblad equation in the dipole limit can pro…
▽ More
We study the properties of the Lindbladian quantum mechanical evolution of quarkonia with non-Abelian charges (color-singlet and octet) in the quark-gluon plasma. We confirm that heavy quark recoils in the Lindblad equation correctly thermalize quarkonium colorful states within statistical errors from the simulation method. We also demonstrate that the Lindblad equation in the dipole limit can provide an efficient alternative method, which is applicable to a finite time evolution before thermalization and dramatically reduces the numerical cost. Our findings will serve as a foundation for large-scale simulation of quarkonium dynamics in the relativistic heavy-ion collisions.
△ Less
Submitted 11 August, 2022; v1 submitted 31 May, 2022;
originally announced May 2022.
-
Nonlinear stability of the two-jet Kolmogorov type flow on the unit sphere under a perturbation with nondissipative part
Authors:
Tatsu-Hiko Miura
Abstract:
We consider the vorticity form of the Navier-Stokes equations on the two-dimensional unit sphere and study the nonlinear stability of the two-jet Kolmogorov type flow which is a stationary solution given by the zonal spherical harmonic function of degree two. In particular, we assume that a perturbation contains a nondissipative part given by a linear combination of the spherical harmonics of degr…
▽ More
We consider the vorticity form of the Navier-Stokes equations on the two-dimensional unit sphere and study the nonlinear stability of the two-jet Kolmogorov type flow which is a stationary solution given by the zonal spherical harmonic function of degree two. In particular, we assume that a perturbation contains a nondissipative part given by a linear combination of the spherical harmonics of degree one and investigate the effect of the nondissipative part on the long-time behavior of the perturbation through the convection term. We show that the nondissipative part of a weak solution to the nonlinear stability problem is preserved in time for all initial data. Moreover, we prove that the dissipative part of the weak solution converges exponentially in time towards an equilibrium which is expressed explicitly in terms of the nondissipative part of the initial data and does not vanish in general. In particular, it turns out that the asymptotic behavior of the weak solution is finally determined by a system of linear ordinary differential equations. To prove these results, we make use of properties of Killing vector fields on a manifold. We also consider the case of a rotating sphere.
△ Less
Submitted 31 May, 2022; v1 submitted 30 May, 2022;
originally announced May 2022.
-
Storyteller: The papers co-citing Sleeping Beauty and Prince before awakening
Authors:
Takahiro Miura,
Ichiro Sakata
Abstract:
In the Cumulative Advantage(CA) model, which is one of the most fundamental approaches to understand the mechanism of citation dynamics, papers receive citations depending on how much they have been already cited. On the other hand, a substantial effect not included in CA is that some surprising discoveries suddenly acquire citations after a long time from publishing. This phenomenon is known as S…
▽ More
In the Cumulative Advantage(CA) model, which is one of the most fundamental approaches to understand the mechanism of citation dynamics, papers receive citations depending on how much they have been already cited. On the other hand, a substantial effect not included in CA is that some surprising discoveries suddenly acquire citations after a long time from publishing. This phenomenon is known as Sleeping Beauty(SB). Since disrupting discoveries need long-time discussion by the research community to accept, SBs can capture innovative findings and reveal the nature of disruptive scientific knowledge production. To research SBs citation burst mechanism, bibliometricians consider the existence of the Prince(PR) for each SBs, which can be the trigger of SBs awakeness. For example, the discovery of Green Fluorescent Protein(GFP), which got Nobel prize in chemistry, had been overlooked for 30 years until Chalfie and Tsien, who also received the prize, developed a method to use GFP as a marker protein in genetic engineering. However, how does Chalfies and Tsiens research relight the hidden knowledge in the research community? If we can clarify such a mechanism rediscovering from nearly nothing, it can be helpful in science support and policy decision-making. This study proposes a Storyteller that focuses on the connection between SB and PR before SB gets citation burst by co-citation. PR is found to be the paper awakening SB in retrospect, but it is not easy to detect it as the trigger of SBs awakeness at the time of PR submission. We named the papers which co-cites SB and PR before the citation burst of SB as Storyteller(ST) and analyze (1) how ST contributes to broadening the novelty of SB&PR connections and (2) how much ST leads the citation burst after awakening.
△ Less
Submitted 2 May, 2022;
originally announced May 2022.
-
Delta-convex structure of the singular set of distance functions
Authors:
Tatsuya Miura,
Minoru Tanaka
Abstract:
For the distance function from any closed subset of any complete Finsler manifold, we prove that the singular set is equal to a countable union of delta-convex hypersurfaces up to an exceptional set of codimension two. In addition, in dimension two, the whole singular set is equal to a countable union of delta-convex Jordan arcs up to isolated points. These results are new even in the standard Euc…
▽ More
For the distance function from any closed subset of any complete Finsler manifold, we prove that the singular set is equal to a countable union of delta-convex hypersurfaces up to an exceptional set of codimension two. In addition, in dimension two, the whole singular set is equal to a countable union of delta-convex Jordan arcs up to isolated points. These results are new even in the standard Euclidean space and shown to be optimal in view of regularity.
△ Less
Submitted 2 March, 2024; v1 submitted 21 April, 2022;
originally announced April 2022.
-
Complete classification of planar p-elasticae
Authors:
Tatsuya Miura,
Kensuke Yoshizawa
Abstract:
Euler's elastica is defined by a critical point of the total squared curvature under the fixed length constraint, and its $L^p$-counterpart is called $p$-elastica. In this paper we completely classify all $p$-elasticae in the plane and obtain their explicit formulae as well as optimal regularity. To this end we introduce new types of $p$-elliptic functions which streamline the whole argument and r…
▽ More
Euler's elastica is defined by a critical point of the total squared curvature under the fixed length constraint, and its $L^p$-counterpart is called $p$-elastica. In this paper we completely classify all $p$-elasticae in the plane and obtain their explicit formulae as well as optimal regularity. To this end we introduce new types of $p$-elliptic functions which streamline the whole argument and result. As an application we also classify all closed planar $p$-elasticae.
△ Less
Submitted 30 March, 2024; v1 submitted 16 March, 2022;
originally announced March 2022.
-
A novel sustainable role of compost as a universal protective substitute for fish, chicken, pig, and cattle, and its estimation by structural equation modeling
Authors:
Hirokuni Miyamoto,
Wataru Suda,
Hiroaki Kodama,
Hideyuki Takahashi,
Yumiko Nakanishi,
Shigeharu Moriya,
Kana Adachi,
Nao Kiriyama,
Masaya Wada,
Daisuke Sudo,
Shunsuke Ito,
Shunsuke Ito,
Minami Shibata,
Shinji Wada,
Takako Murano,
Hitoshi Taguchi,
Chie Shindo,
Arisa Tsuboi,
Naoko Tsuji,
Makiko Matsuura,
Chitose Ishii,
Teruno Nakaguma,
Toshiyuki Ito,
Toru Okada,
Teruo Matsushita
, et al. (18 additional authors not shown)
Abstract:
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 prophyla…
▽ More
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.
△ Less
Submitted 27 November, 2022; v1 submitted 26 January, 2022;
originally announced January 2022.
-
Every commutative JB$^*$-triple satisfies the complex Mazur--Ulam property
Authors:
David Cabezas,
María Cueto-Avellaneda,
Daisuke Hirota,
Takeshi Miura,
Antonio M. Peralta
Abstract:
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 is…
▽ More
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.
△ Less
Submitted 17 January, 2022;
originally announced January 2022.
-
Analyzing the effect of cell rearrangement on Delta-Notch pattern formation
Authors:
Toshiki Oguma,
Hisako Takigawa-Imamura,
Tomoyasu Shinoda,
Shuntaro Ogura,
Akiyoshi Uemura,
Takaki Miyata,
Philip K. Maini,
Takashi Miura
Abstract:
The Delta-Notch system plays a vital role in a number of areas in biology and typically forms a salt and pepper pattern in which cells strongly expressing Delta and cells strongly expressing Notch are alternately aligned via lateral inhibition. Although the spatial arrangement of the cells is important to the Delta-Notch pattern, the effect of cell rearrangement is not often considered. In this st…
▽ More
The Delta-Notch system plays a vital role in a number of areas in biology and typically forms a salt and pepper pattern in which cells strongly expressing Delta and cells strongly expressing Notch are alternately aligned via lateral inhibition. Although the spatial arrangement of the cells is important to the Delta-Notch pattern, the effect of cell rearrangement is not often considered. In this study, we provide a framework to analytically evaluate the effect of cell mixing and proliferation on Delta-Notch pattern formation in one spatial dimension. We model cell rearrangement events by a Poisson process and analyze the model while preserving the discrete properties of the spatial structure. We find that the homogeneous expression pattern is stabilized if the frequency of cell rearrangement events is sufficiently large. We analytically obtain the critical frequencies of the cell rearrangement events where the decrease of the pattern amplitude as a result of cell rearrangement is balanced by the increase in amplitude due to the Delta-Notch interaction dynamics. Our theoretical results are qualitatively consistent with experimental results, supporting the notion that the heterogeneity of expression patterns is inversely correlated with cell rearrangement \textit{in vivo}. Our framework, while applied here to the specific case of the Delta-Notch system, is applicable more widely to other pattern formation mechanisms.
△ Less
Submitted 30 November, 2021;
originally announced December 2021.
-
Nonequilibrium evolution of quarkonium in medium
Authors:
Yukinao Akamatsu,
Takahiro Miura
Abstract:
We review recent progress in open quantum system approach to the description of quarkonium in the quark-gluon plasma. A particular emphasis is put on the Lindblad equations for quarkonium and its numerical simulations.
We review recent progress in open quantum system approach to the description of quarkonium in the quark-gluon plasma. A particular emphasis is put on the Lindblad equations for quarkonium and its numerical simulations.
△ Less
Submitted 30 November, 2021;
originally announced November 2021.
-
Exploring new solutions to Tingley's problem for function algebras
Authors:
María Cueto-Avellaneda,
Daisuke Hirota,
Takeshi Miura,
Antonio M. Peralta
Abstract:
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…
▽ More
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.
△ Less
Submitted 21 October, 2021;
originally announced October 2021.
-
Rate of the enhanced dissipation for the two-jet Kolmogorov type flow on the unit sphere
Authors:
Yasunori Maekawa,
Tatsu-Hiko Miura
Abstract:
We study the enhanced dissipation for the two-jet Kolmogorov type flow which is a stationary solution to the Navier-Stokes equations on the two-dimensional unit sphere given by the zonal spherical harmonic function of degree two. Based on the pseudospectral bound method developed by Ibrahim, Maekawa, and Masmoudi [15] and a modified version of the Gearhart-Prüss type theorem shown by Wei [48], we…
▽ More
We study the enhanced dissipation for the two-jet Kolmogorov type flow which is a stationary solution to the Navier-Stokes equations on the two-dimensional unit sphere given by the zonal spherical harmonic function of degree two. Based on the pseudospectral bound method developed by Ibrahim, Maekawa, and Masmoudi [15] and a modified version of the Gearhart-Prüss type theorem shown by Wei [48], we derive an estimate for the resolvent of the linearized operator along the imaginary axis and show that a solution to the linearized equation rapidly decays at the rate $O(e^{-\sqrtν\,t})$ when the viscosity coefficient $ν$ is sufficiently small as in the case of the plane Kolmogorov flow.
△ Less
Submitted 27 September, 2021;
originally announced September 2021.
-
MEGEX: Data-Free Model Extraction Attack against Gradient-Based Explainable AI
Authors:
Takayuki Miura,
Satoshi Hasegawa,
Toshiki Shibahara
Abstract:
The advance of explainable artificial intelligence, which provides reasons for its predictions, is expected to accelerate the use of deep neural networks in the real world like Machine Learning as a Service (MLaaS) that returns predictions on queried data with the trained model. Deep neural networks deployed in MLaaS face the threat of model extraction attacks. A model extraction attack is an atta…
▽ More
The advance of explainable artificial intelligence, which provides reasons for its predictions, is expected to accelerate the use of deep neural networks in the real world like Machine Learning as a Service (MLaaS) that returns predictions on queried data with the trained model. Deep neural networks deployed in MLaaS face the threat of model extraction attacks. A model extraction attack is an attack to violate intellectual property and privacy in which an adversary steals trained models in a cloud using only their predictions. In particular, a data-free model extraction attack has been proposed recently and is more critical. In this attack, an adversary uses a generative model instead of preparing input data. The feasibility of this attack, however, needs to be studied since it requires more queries than that with surrogate datasets. In this paper, we propose MEGEX, a data-free model extraction attack against a gradient-based explainable AI. In this method, an adversary uses the explanations to train the generative model and reduces the number of queries to steal the model. Our experiments show that our proposed method reconstructs high-accuracy models -- 0.97$\times$ and 0.98$\times$ the victim model accuracy on SVHN and CIFAR-10 datasets given 2M and 20M queries, respectively. This implies that there is a trade-off between the interpretability of models and the difficulty of stealing them.
△ Less
Submitted 19 July, 2021;
originally announced July 2021.
-
On the Cyclicity of the Unramified Iwasawa Modules of the Maximal Multiple $\mathbb{Z}_p$-Extensions Over Imaginary Quadratic Fields
Authors:
Takashi Miura,
Kazuaki Murakami,
Keiji Okano,
Rei Otsuki
Abstract:
For an odd prime number $p$, we study the number of generators of the unramified Iwasawa modules of the maximal multiple $\mathbb{Z}_p$-extensions over Iwasawa algebra. In a previous paper of the authors, under several assumptions for an imaginary quadratic field, we obtain a necessary and sufficient condition for the Iwasawa module to be cyclic as a module over the Iwasawa algebla. Our main resul…
▽ More
For an odd prime number $p$, we study the number of generators of the unramified Iwasawa modules of the maximal multiple $\mathbb{Z}_p$-extensions over Iwasawa algebra. In a previous paper of the authors, under several assumptions for an imaginary quadratic field, we obtain a necessary and sufficient condition for the Iwasawa module to be cyclic as a module over the Iwasawa algebla. Our main result is to give methods for computation and numerical examples about the results. We remark that our results do not need the assumption that Greenberg's generalized conjecture holds.
△ Less
Submitted 14 July, 2021; v1 submitted 12 July, 2021;
originally announced July 2021.
-
Construction and Commissioning of Mid-Infrared SASE FEL at cERL
Authors:
Yosuke Honda,
Masahiro Adachi,
Shu Eguchi,
Masafumi Fukuda,
Ryoichi Hajima,
Nao Higashi,
Masayuki Kakehata,
Ryukou Kato,
Takako Miura,
Tsukasa Miyajima,
Shinya Nagahashi,
Norio Nakamura,
Kazuyuki Nigorikawa,
Takashi Nogami,
Takashi Obina,
Hidenori Sagehashi,
Hiroshi Sakai,
Tadatake Sato,
Miho Shimada,
Tatsuro Shioya,
Ryota Takai,
Olga Tanaka,
Yasunori Tanimoto,
Kimichika Tsuchiya,
Takashi Uchiyama
, et al. (4 additional authors not shown)
Abstract:
The mid-infrared range is an important spectrum range where materials exhibit a characteristic response corresponding to their molecular structure. A free-electron laser (FEL) is a promising candidate for a high-power light source with wavelength tunability to investigate the nonlinear response of materials. Although the self-amplification spontaneous emission (SASE) scheme is not usually adopted…
▽ More
The mid-infrared range is an important spectrum range where materials exhibit a characteristic response corresponding to their molecular structure. A free-electron laser (FEL) is a promising candidate for a high-power light source with wavelength tunability to investigate the nonlinear response of materials. Although the self-amplification spontaneous emission (SASE) scheme is not usually adopted in the mid-infrared wavelength range, it may have advantages such as layout simplicity, the possibility of producing a single pulse, and scalability to a short-wavelength facility. To demonstrate the operation of a mid-infrared SASE FEL system in an energy recovery linac (ERL) layout, we constructed an SASE FEL setup in cERL, a test facility of the superconducting linac with the ERL configuration. Despite the adverse circumstance of space charge effects due to the given boundary condition of the facility, we successfully established the beam condition at the undulators, and observed FEL emission at a wavelength of 20 $μ$m. The results show that the layout of cERL has the potential for serving as a mid-infrared light source.
△ Less
Submitted 24 June, 2021;
originally announced June 2021.
-
Optimal thresholds for preserving embeddedness of elastic flows
Authors:
Tatsuya Miura,
Marius Müller,
Fabian Rupp
Abstract:
We consider elastic flows of closed curves in Euclidean space. We obtain optimal energy thresholds below which elastic flows preserve embeddedness of initial curves for all time. The obtained thresholds take different values between codimension one and higher. The main novelty lies in the case of codimension one, where we obtain the variational characterization that the thresholding shape is a min…
▽ More
We consider elastic flows of closed curves in Euclidean space. We obtain optimal energy thresholds below which elastic flows preserve embeddedness of initial curves for all time. The obtained thresholds take different values between codimension one and higher. The main novelty lies in the case of codimension one, where we obtain the variational characterization that the thresholding shape is a minimizer of the bending energy (normalized by length) among all nonembedded planar closed curves of unit rotation number. It turns out that a minimizer is uniquely given by a nonclassical shape, which we call ``elastic two-teardrop''.
△ Less
Submitted 13 May, 2023; v1 submitted 17 June, 2021;
originally announced June 2021.
-
Surjective isometries between unitary sets of unital JB$^*$-algebras
Authors:
María Cueto-Avellaneda,
Yuta Enami,
Daisuke Hirota,
Takeshi Miura,
Antonio M. Peralta
Abstract:
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,…
▽ More
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.
△ Less
Submitted 31 May, 2021;
originally announced May 2021.
-
Linear stability and enhanced dissipation for the two-jet Kolmogorov type flow on the unit sphere
Authors:
Tatsu-Hiko Miura
Abstract:
We consider the Navier-Stokes equations on the two-dimensional unit sphere and study the linear stability of the two-jet Kolmogorov type flow which is a stationary solution given by the zonal spherical harmonic function of degree two. We prove the linear stability of the two-jet Kolmogorov type flow for an arbitrary viscosity coefficient by showing the exponential decay of a solution to the linear…
▽ More
We consider the Navier-Stokes equations on the two-dimensional unit sphere and study the linear stability of the two-jet Kolmogorov type flow which is a stationary solution given by the zonal spherical harmonic function of degree two. We prove the linear stability of the two-jet Kolmogorov type flow for an arbitrary viscosity coefficient by showing the exponential decay of a solution to the linearized equation towards an equilibrium which grows as the viscosity coefficient tends to zero. The main result of this paper is the nonexistence of nonzero eigenvalues of the perturbation operator appearing in the linearized equation. By making use of the mixing property of the perturbation operator which is expressed by a recurrence relation for the spherical harmonics, we show that the perturbation operator does not have not only nonreal but also nonzero real eigenvalues. As an application of this result, we get the enhanced dissipation for the two-jet Kolmogorov type flow in the sense that a solution to the linearized equation rescaled in time decays arbitrarily fast as the viscosity coefficient tends to zero.
△ Less
Submitted 28 November, 2021; v1 submitted 17 May, 2021;
originally announced May 2021.
