Showing 1–21 of 21 results for author: Irie, K

Quantifying uncertainty in the numerical integration of evolution equations based on Bayesian isotonic regression

Authors: Yuto Miyatake, Kaoru Irie, Takeru Matsuda

Abstract: This paper presents a new Bayesian framework for quantifying discretization errors in numerical solutions of ordinary differential equations. By modelling the errors as random variables, we impose a monotonicity constraint on the variances, referred to as discretization error variances. The key to our approach is the use of a shrinkage prior for the variances coupled with variable transformations.… ▽ More This paper presents a new Bayesian framework for quantifying discretization errors in numerical solutions of ordinary differential equations. By modelling the errors as random variables, we impose a monotonicity constraint on the variances, referred to as discretization error variances. The key to our approach is the use of a shrinkage prior for the variances coupled with variable transformations. This methodology extends existing Bayesian isotonic regression techniques to tackle the challenge of estimating the variances of a normal distribution. An additional key feature is the use of a Gaussian mixture model for the $\log$-$χ^2_1$ distribution, enabling the development of an efficient Gibbs sampling algorithm for the corresponding posterior. △ Less

Submitted 13 November, 2024; originally announced November 2024.

A conjectural chain model for positive $S^1$-equivariant symplectic homology of star-shaped toric domains in $\mathbb{C}^2$

Authors: Kei Irie

Abstract: For any star-shaped toric domain in $\mathbb{C}^2$, we define a filtered chain complex which conjecturally computes positive $S^1$-equivariant symplectic homology of the domain. Assuming this conjecture, we show that the limit $\lim_{k \to \infty} c^{\mathrm{GH}}_k(X)/k$ exists for any star-shaped toric domain $X \subset \mathbb{C}^2$, where $c^{\mathrm{GH}}_k$ denotes the $k$-th Gutt-Hutchings ca… ▽ More For any star-shaped toric domain in $\mathbb{C}^2$, we define a filtered chain complex which conjecturally computes positive $S^1$-equivariant symplectic homology of the domain. Assuming this conjecture, we show that the limit $\lim_{k \to \infty} c^{\mathrm{GH}}_k(X)/k$ exists for any star-shaped toric domain $X \subset \mathbb{C}^2$, where $c^{\mathrm{GH}}_k$ denotes the $k$-th Gutt-Hutchings capacity. △ Less

Submitted 18 April, 2023; originally announced April 2023.

Comments: 13 pages

MSC Class: 53D40

Posterior Robustness with Milder Conditions: Contamination Models Revisited

Authors: Yasuyuki Hamura, Kaoru Irie, Shonosuke Sugasawa

Abstract: Robust Bayesian linear regression is a classical but essential statistical tool. Although novel robustness properties of posterior distributions have been proved recently under a certain class of error distributions, their sufficient conditions are restrictive and exclude several important situations. In this work, we revisit a classical two-component mixture model for response variables, also kno… ▽ More Robust Bayesian linear regression is a classical but essential statistical tool. Although novel robustness properties of posterior distributions have been proved recently under a certain class of error distributions, their sufficient conditions are restrictive and exclude several important situations. In this work, we revisit a classical two-component mixture model for response variables, also known as contamination model, where one component is a light-tailed regression model and the other component is heavy-tailed. The latter component is independent of the regression parameters, which is crucial in proving the posterior robustness. We obtain new sufficient conditions for posterior (non-)robustness and reveal non-trivial robustness results by using those conditions. In particular, we find that even the Student-$t$ error distribution can achieve the posterior robustness in our framework. A numerical study is performed to check the Kullback-Leibler divergence between the posterior distribution based on full data and that based on data obtained by removing outliers. △ Less

Submitted 3 April, 2024; v1 submitted 1 March, 2023; originally announced March 2023.

Comments: 19 pages, 1 figure

Strong closing property of contact forms and action selecting functors

Authors: Kei Irie

Abstract: We introduce a notion of strong closing property of contact forms, inspired by the $C^\infty$ closing lemma for Reeb flows in dimension three. We then prove a sufficient criterion for strong closing property, which is formulated by considering a monoidal functor from a category of manifolds with contact forms to a category of filtered vector spaces. As a potential application of this criterion, we… ▽ More We introduce a notion of strong closing property of contact forms, inspired by the $C^\infty$ closing lemma for Reeb flows in dimension three. We then prove a sufficient criterion for strong closing property, which is formulated by considering a monoidal functor from a category of manifolds with contact forms to a category of filtered vector spaces. As a potential application of this criterion, we propose a conjecture which says that a standard contact form on the boundary of any symplectic ellipsoid satisfies strong closing property. △ Less

Submitted 8 March, 2024; v1 submitted 23 January, 2022; originally announced January 2022.

Comments: 22 pages, revised following referee comments

MSC Class: 70H12; 53D42

On the relationship between beta-Bartlett and Uhlig extended processes

Authors: Víctor Peña, Kaoru Irie

Abstract: Stochastic volatility processes are used in multivariate time-series analysis to track time-varying patterns in covariance matrices. Uhlig extended and beta-Bartlett processes are especially convenient for analyzing high-dimensional time-series because they are conjugate with Wishart likelihoods. In this article, we show that Uhlig extended and beta-Bartlett are closely related, but not equivalent… ▽ More Stochastic volatility processes are used in multivariate time-series analysis to track time-varying patterns in covariance matrices. Uhlig extended and beta-Bartlett processes are especially convenient for analyzing high-dimensional time-series because they are conjugate with Wishart likelihoods. In this article, we show that Uhlig extended and beta-Bartlett are closely related, but not equivalent: their hyperparameters can be matched so that they have the same forward-filtered posteriors and one-step ahead forecasts, but different joint (smoothed) posterior distributions. Under this circumstance, Bayes factors can't discriminate the models and alternative approaches to model comparison are needed. We illustrate these issues in a retrospective analysis of volatilities of returns of foreign exchange rates. Additionally, we provide a backward sampling algorithm for the beta-Bartlett process, for which retrospective analysis had not been developed. △ Less

Submitted 4 May, 2021; v1 submitted 24 June, 2020; originally announced June 2020.

Symplectic homology of fiberwise convex sets and homology of loop spaces

Authors: Kei Irie

Abstract: For any nonempty, compact and fiberwise convex set $K$ in $T^*\mathbb{R}^n$, we prove an isomorphism between symplectic homology of $K$ and a certain relative homology of loop spaces of $\mathbb{R}^n$. We also prove a formula which computes symplectic homology capacity (which is a symplectic capacity defined from symplectic homology) of $K$ using homology of loop spaces. As applications, we prove… ▽ More For any nonempty, compact and fiberwise convex set $K$ in $T^*\mathbb{R}^n$, we prove an isomorphism between symplectic homology of $K$ and a certain relative homology of loop spaces of $\mathbb{R}^n$. We also prove a formula which computes symplectic homology capacity (which is a symplectic capacity defined from symplectic homology) of $K$ using homology of loop spaces. As applications, we prove (i) symplectic homology capacity of any convex body is equal to its Ekeland-Hofer-Zehnder capacity, (ii) a certain subadditivity property of the Hofer-Zehnder capacity, which is a generalization of a result previously proved by Haim-Kislev. △ Less

Submitted 13 June, 2021; v1 submitted 23 July, 2019; originally announced July 2019.

Comments: 40 pages. Revised following comments by the referee. Proposition 1.11 added

MSC Class: 70H12; 53D40; 52A20

Equidistributed periodic orbits of $C^\infty$-generic three-dimensional Reeb flows

Authors: Kei Irie

Abstract: We prove that, for a $C^\infty$-generic contact form $λ$ adapted to a given contact distribution on a closed three-manifold, there exists a sequence of periodic Reeb orbits which is equidistributed with respect to $dλ$. This is a quantitative refinement of the $C^\infty$-generic density theorem for three-dimensional Reeb flows, which was previously proved by the author. The proof is based on the v… ▽ More We prove that, for a $C^\infty$-generic contact form $λ$ adapted to a given contact distribution on a closed three-manifold, there exists a sequence of periodic Reeb orbits which is equidistributed with respect to $dλ$. This is a quantitative refinement of the $C^\infty$-generic density theorem for three-dimensional Reeb flows, which was previously proved by the author. The proof is based on the volume theorem in embedded contact homology (ECH) by Cristofaro-Gardiner, Hutchings, Ramos, and inspired by the argument of Marques-Neves-Song, who proved a similar equidistribution result for minimal hypersurfaces. We also discuss a question about generic behavior of periodic Reeb orbits "representing" ECH homology classes, and give a partial affirmative answer to a toy model version of this question which concerns boundaries of star-shaped toric domains. △ Less

Submitted 7 March, 2019; v1 submitted 5 December, 2018; originally announced December 2018.

Comments: 22 pages. Section 6 expanded

MSC Class: 70H12; 53D42

Chain level loop bracket and pseudo-holomorphic disks

Authors: Kei Irie

Abstract: Let $L$ be a Lagrangian submanifold in a symplectic vector space which is closed, oriented and spin. Using virtual fundamental chains of moduli spaces of nonconstant pseudo-holomorphic disks with boundaries on $L$, one can define a Maurer-Cartan element of a Lie bracket operation in string topology (the loop bracket) defined at chain level. This observation is due to Fukaya, who also pointed out i… ▽ More Let $L$ be a Lagrangian submanifold in a symplectic vector space which is closed, oriented and spin. Using virtual fundamental chains of moduli spaces of nonconstant pseudo-holomorphic disks with boundaries on $L$, one can define a Maurer-Cartan element of a Lie bracket operation in string topology (the loop bracket) defined at chain level. This observation is due to Fukaya, who also pointed out its important consequences in symplectic topology. The goal of this paper is to work out details of this observation. Our argument is based on a string topology chain model previously introduced by the author, and the theory of Kuranishi structures on moduli spaces of pseudo-holomorphic disks, which has been developed by Fukaya-Oh-Ohta-Ono. △ Less

Submitted 27 October, 2023; v1 submitted 14 January, 2018; originally announced January 2018.

Comments: added a link to an erratum to the published version

MSC Class: 53D12; 53D40; 55P50

Density of minimal hypersurfaces for generic metrics

Authors: Kei Irie, Fernando C. Marques, André Neves

Abstract: For almost all Riemannian metrics (in the $C^\infty$ Baire sense) on a closed manifold $M^{n+1}$, $3\leq (n+1)\leq 7$, we prove that the union of all closed, smooth, embedded minimal hypersurfaces is dense. This implies there are infinitely many minimal hypersurfaces thus proving a conjecture of Yau (1982) for generic metrics. For almost all Riemannian metrics (in the $C^\infty$ Baire sense) on a closed manifold $M^{n+1}$, $3\leq (n+1)\leq 7$, we prove that the union of all closed, smooth, embedded minimal hypersurfaces is dense. This implies there are infinitely many minimal hypersurfaces thus proving a conjecture of Yau (1982) for generic metrics. △ Less

Submitted 9 February, 2018; v1 submitted 29 October, 2017; originally announced October 2017.

Comments: Revised version. To appear in Annals of Mathematics

A $C^\infty$ closing lemma for Hamiltonian diffeomorphisms of closed surfaces

Authors: Masayuki Asaoka, Kei Irie

Abstract: We prove a $C^\infty$ closing lemma for Hamiltonian diffeomorphisms of closed surfaces. This is a consequence of a $C^\infty$ closing lemma for Reeb flows on closed contact three-manifolds, which was recently proved as an application of spectral invariants in embedded contact homology. A key new ingredient of this paper is an analysis of an area-preserving map near its fixed point, which is based… ▽ More We prove a $C^\infty$ closing lemma for Hamiltonian diffeomorphisms of closed surfaces. This is a consequence of a $C^\infty$ closing lemma for Reeb flows on closed contact three-manifolds, which was recently proved as an application of spectral invariants in embedded contact homology. A key new ingredient of this paper is an analysis of an area-preserving map near its fixed point, which is based on some classical results in Hamiltonian dynamics: existence of KAM invariant circles for elliptic fixed points, and convergence of the Birkhoff normal form for hyperbolic fixed points. △ Less

Submitted 14 September, 2016; v1 submitted 20 December, 2015; originally announced December 2015.

Comments: 9 pages; revised following referee comments, accepted for publication in GAFA

MSC Class: 37J10; 37E30; 37J45

Dense existence of periodic Reeb orbits and ECH spectral invariants

Authors: Kei Irie

Abstract: In this paper, we prove (1): for any closed contact three-manifold with a $C^\infty$-generic contact form, the union of periodic Reeb orbits is dense, (2): for any closed surface with a $C^\infty$-generic Riemannian metric, the union of closed geodesics is dense. The key observation is $C^\infty$-closing lemma for 3D Reeb flows, which follows from the fact that the embedded contact homology (ECH)… ▽ More In this paper, we prove (1): for any closed contact three-manifold with a $C^\infty$-generic contact form, the union of periodic Reeb orbits is dense, (2): for any closed surface with a $C^\infty$-generic Riemannian metric, the union of closed geodesics is dense. The key observation is $C^\infty$-closing lemma for 3D Reeb flows, which follows from the fact that the embedded contact homology (ECH) spectral invariants recover the volume. △ Less

Submitted 22 October, 2015; v1 submitted 30 August, 2015; originally announced August 2015.

Comments: 7 pages, minor revisions and a reference added

MSC Class: 70H12; 53D42

A chain level Batalin-Vilkovisky structure in string topology and decorated cacti

Authors: Kei Irie

Abstract: We show that a model of chain complex of the free loop space of a $C^\infty$-manifold, which is proposed in arxiv:1404.0153, admits an action of a certain dg operad. This is a chain level structure under the Chas-Sullivan BV structure on loop space homology. Our dg operad is a variant of the cacti operad, and we introduce combinatorial objects called "decorated cacti" to define it. We also define… ▽ More We show that a model of chain complex of the free loop space of a $C^\infty$-manifold, which is proposed in arxiv:1404.0153, admits an action of a certain dg operad. This is a chain level structure under the Chas-Sullivan BV structure on loop space homology. Our dg operad is a variant of the cacti operad, and we introduce combinatorial objects called "decorated cacti" to define it. We also define a chain level Gerstenhaber structure on Hochschild cochains of any differential graded algebra. Applied to the dga of differential forms, this structure is compatible with our chain level structure in string topology. △ Less

Submitted 4 September, 2015; v1 submitted 1 March, 2015; originally announced March 2015.

Comments: This paper has been withdrawn and become part of 1404.0153v4

MSC Class: 55P50; 55P48; 18D50

A chain level Batalin-Vilkovisky structure in string topology via de Rham chains

Authors: Kei Irie

Abstract: The aim of this paper is to define a chain level refinement of the Batalin-Vilkovisky (BV) algebra structure on the homology of the free loop space of a closed, oriented $C^\infty$-manifold. For this purpose, we define a (nonsymmetric) cyclic dg operad which consists of "de Rham chains" of free loops with marked points. A notion of de Rham chains, which is a certain hybrid of the notions of singul… ▽ More The aim of this paper is to define a chain level refinement of the Batalin-Vilkovisky (BV) algebra structure on the homology of the free loop space of a closed, oriented $C^\infty$-manifold. For this purpose, we define a (nonsymmetric) cyclic dg operad which consists of "de Rham chains" of free loops with marked points. A notion of de Rham chains, which is a certain hybrid of the notions of singular chains and differential forms, is a key ingredient in our construction. Combined with a generalization of cyclic Deligne's conjecture, this dg operad produces a chain model of the free loop space which admits an action of a chain model of the framed little disks operad, recovering the string topology BV algebra structure on the homology level. △ Less

Submitted 12 February, 2017; v1 submitted 1 April, 2014; originally announced April 2014.

Comments: 70 pages, largely revised, to appear in IMRN

MSC Class: 55P50; 57N75; 18D50

Periodic billiard trajectories and Morse theory on loop spaces

Authors: Kei Irie

Abstract: We study periodic billiard trajectories on a compact Riemannian manifold with boundary, by applying Morse theory to Lagrangian action functionals on the loop space of the manifold. Based on the approximation method due to Benci-Giannoni, we prove that nonvanishing of relative homology of a certain pair of loop spaces implies the existence of a periodic billiard trajectory. We also prove a parallel… ▽ More We study periodic billiard trajectories on a compact Riemannian manifold with boundary, by applying Morse theory to Lagrangian action functionals on the loop space of the manifold. Based on the approximation method due to Benci-Giannoni, we prove that nonvanishing of relative homology of a certain pair of loop spaces implies the existence of a periodic billiard trajectory. We also prove a parallel result for path spaces. We apply those results to show the existence of short billiard trajectories and short geodesic loops. We also recover two known results on the length of a shortest periodic billiard trajectory on a convex body: Ghomi's inequality, and Brunn-Minkowski type inequality due to Artstein-Ostrover. △ Less

Submitted 8 March, 2014; originally announced March 2014.

Comments: 26 pages

Symplectic homology of disc cotangent bundles of domains in Euclidean space

Authors: Kei Irie

Abstract: Let $V$ be a bounded domain with smooth boundary in $\R^n$, and $D^*V$ denote its disc cotangent bundle. We compute symplectic homology of $D^*V$, in terms of relative homology of loop spaces on the closure of $V$. We use this result to show that Floer-Hofer capacity of $D^*V$ is between $2r(V)$ and $2(n+1)r(V)$, where $r(V)$ denotes inradius of $V$. As an application, we study periodic billiard t… ▽ More Let $V$ be a bounded domain with smooth boundary in $\R^n$, and $D^*V$ denote its disc cotangent bundle. We compute symplectic homology of $D^*V$, in terms of relative homology of loop spaces on the closure of $V$. We use this result to show that Floer-Hofer capacity of $D^*V$ is between $2r(V)$ and $2(n+1)r(V)$, where $r(V)$ denotes inradius of $V$. As an application, we study periodic billiard trajectories on $V$. △ Less

Submitted 17 June, 2013; v1 submitted 9 November, 2012; originally announced November 2012.

Comments: minor changes reflecting referee comments

MSC Class: 53D40; 70H12

Hofer-Zehnder capacity and a Hamiltonian circle action with noncontractible orbits

Authors: Kei Irie

Abstract: Let $(M,ω)$ be an aspherical symplectic manifold, which is closed or convex. Let $U$ be an open set in $M$, which admits a circle action generated by an autonomous Hamiltonian $H \in C^\infty(U)$, such that each orbit of the circle action is not contractible in $M$. Under these assumptions, we prove that the Hofer-Zehnder capacity of $U$ is bounded by the Hofer norm of $H$. The proof uses a varian… ▽ More Let $(M,ω)$ be an aspherical symplectic manifold, which is closed or convex. Let $U$ be an open set in $M$, which admits a circle action generated by an autonomous Hamiltonian $H \in C^\infty(U)$, such that each orbit of the circle action is not contractible in $M$. Under these assumptions, we prove that the Hofer-Zehnder capacity of $U$ is bounded by the Hofer norm of $H$. The proof uses a variant of the energy-capacity inequality, which is proved by the theory of action selectors. △ Less

Submitted 22 December, 2011; originally announced December 2011.

Comments: 6pages

MSC Class: 53D40; 70H12

Hofer-Zehnder capacity of unit disk cotangent bundles and the loop product

Authors: Kei Irie

Abstract: We prove the finiteness of the Hofer-Zehnder capacity of unit disk cotangent bundles of closed Riemannian manifolds, under some simple topological assumptions on the manifolds. The key ingredient of the proof is a computation of the pair-of-pants product on Floer homology of cotangent bundles. We reduce it to a simple computation of the loop product, making use of results of A.Abbondandolo- M.Schw… ▽ More We prove the finiteness of the Hofer-Zehnder capacity of unit disk cotangent bundles of closed Riemannian manifolds, under some simple topological assumptions on the manifolds. The key ingredient of the proof is a computation of the pair-of-pants product on Floer homology of cotangent bundles. We reduce it to a simple computation of the loop product, making use of results of A.Abbondandolo- M.Schwarz. △ Less

Submitted 10 October, 2011; originally announced October 2011.

Comments: 28 pages

MSC Class: 53D40; 70H12

VC dimension of ellipsoids

Authors: Yohji Akama, Kei Irie

Abstract: We will establish that the VC dimension of the class of d-dimensional ellipsoids is (d^2+3d)/2, and that maximum likelihood estimate with N-component d-dimensional Gaussian mixture models induces a geometric class having VC dimension at least N(d^2+3d)/2. Keywords: VC dimension; finite dimensional ellipsoid; Gaussian mixture model We will establish that the VC dimension of the class of d-dimensional ellipsoids is (d^2+3d)/2, and that maximum likelihood estimate with N-component d-dimensional Gaussian mixture models induces a geometric class having VC dimension at least N(d^2+3d)/2. Keywords: VC dimension; finite dimensional ellipsoid; Gaussian mixture model △ Less

Submitted 20 September, 2011; originally announced September 2011.

Displacement energy of unit disk cotangent bundles

Authors: Kei Irie

Abstract: We give an upper bound of a Hamiltonian displacement energy of a unit disk cotangent bundle $D^*M$ in a cotangent bundle $T^*M$, when the base manifold $M$ is an open Riemannian manifold. Our main result is that the displacement energy is not greater than $C r(M)$, where $r(M)$ is the inner radius of $M$, and $C$ is a dimensional constant. As an immediate application, we study symplectic embedding… ▽ More We give an upper bound of a Hamiltonian displacement energy of a unit disk cotangent bundle $D^*M$ in a cotangent bundle $T^*M$, when the base manifold $M$ is an open Riemannian manifold. Our main result is that the displacement energy is not greater than $C r(M)$, where $r(M)$ is the inner radius of $M$, and $C$ is a dimensional constant. As an immediate application, we study symplectic embedding problems of unit disk cotangent bundles. Moreover, combined with results in symplectic geometry, our main result shows the existence of short periodic billiard trajectories and short geodesic loops. △ Less

Submitted 15 October, 2013; v1 submitted 11 June, 2011; originally announced June 2011.

Comments: Title slightly changed. Close to the version published online in Math Zeit

MSC Class: 53D35; 57R17

Symplectic capacity and short periodic billiard trajectory

Authors: Kei Irie

Abstract: We prove that a bounded domain $Ω$ in $\R^n$ with smooth boundary has a periodic billiard trajectory with at most $n+1$ bounce times and of length less than $C_n r(Ω)$, where $C_n$ is a positive constant which depends only on $n$, and $r(Ω)$ is the supremum of radius of balls in $Ω$. This result improves the result by C.Viterbo, which asserts that $Ω$ has a periodic billiard trajectory of length l… ▽ More We prove that a bounded domain $Ω$ in $\R^n$ with smooth boundary has a periodic billiard trajectory with at most $n+1$ bounce times and of length less than $C_n r(Ω)$, where $C_n$ is a positive constant which depends only on $n$, and $r(Ω)$ is the supremum of radius of balls in $Ω$. This result improves the result by C.Viterbo, which asserts that $Ω$ has a periodic billiard trajectory of length less than $C'_n \vol(Ω)^{1/n}$. To prove this result, we study symplectic capacity of Liouville domains, which is defined via symplectic homology. △ Less

Submitted 6 February, 2012; v1 submitted 15 October, 2010; originally announced October 2010.

Comments: 32 pages, final version with minor modifications. Published online in Mathematische Zeitschrift

MSC Class: 34C25; 53D40

Handle attaching in wrapped Floer homology and brake orbits in classical Hamiltonian systems

Authors: Kei Irie

Abstract: The objective of this note is to prove an existence result for brake orbits in classical Hamiltonian systems (which was first proved by S.V.Bolotin) by using Floer theory. To this end, we compute an open string analogue of symplectic homology (so called wrapped Floer homology) of some domains in cotangent bundles, which appear naturally in the study of classical Hamiltonian systems. The main part… ▽ More The objective of this note is to prove an existence result for brake orbits in classical Hamiltonian systems (which was first proved by S.V.Bolotin) by using Floer theory. To this end, we compute an open string analogue of symplectic homology (so called wrapped Floer homology) of some domains in cotangent bundles, which appear naturally in the study of classical Hamiltonian systems. The main part of the computations is to show invariance of wrapped Floer homology under certain handle attaching to domains. △ Less

Submitted 19 July, 2013; v1 submitted 11 August, 2010; originally announced August 2010.

Comments: 31 pages, close to the published version

MSC Class: 34C25; 53D40

Journal ref: Osaka J. Math. 50(2013), 363--396