Showing 1–37 of 37 results for author: Koike, T

A potential-theoretic approach to optimal stopping in a spectrally Lévy Model

Authors: Masahiko Egami, Tomohiro Koike

Abstract: We present a systematic solution method for optimal stopping problem of one-dimensional spectrally negative Lévy processes. Our main tools are based on potential theory, particularly the Riesz decomposition and the maximum principle. This novel approach allows us to handle a broad class of reward functions. That is, we solve the problem in a general setup without relying on specific form of the re… ▽ More We present a systematic solution method for optimal stopping problem of one-dimensional spectrally negative Lévy processes. Our main tools are based on potential theory, particularly the Riesz decomposition and the maximum principle. This novel approach allows us to handle a broad class of reward functions. That is, we solve the problem in a general setup without relying on specific form of the reward function or on the fluctuation identities. We provide a step-by-step solution procedure, which is applicable to complex solution structures including multiple double-sided continuation regions. △ Less

Submitted 12 June, 2025; originally announced June 2025.

Comments: 34 pages, 8 figures

MSC Class: Primary 60G40; Secondary 60J76

On neighborhoods of projective space bundles over elliptic curves

Authors: Takayuki Koike, Laurent Stolovitch

Abstract: We give conditions ensuring that a neighborhood of an embedded projective space bundle over an elliptic curve is holomorphically equivalent to a neighborhood of the zero section of its normal bundle. We give conditions ensuring that a neighborhood of an embedded projective space bundle over an elliptic curve is holomorphically equivalent to a neighborhood of the zero section of its normal bundle. △ Less

Submitted 20 January, 2025; originally announced January 2025.

Formal principle for line bundles on neighborhoods of an analytic subset of a compact Kähler manifold

Authors: Takayuki Koike

Abstract: We investigate the formal principle for holomorphic line bundles on neighborhoods of an analytic subset of a complex manifold mainly when it can be realized as an open subset of a compact Kähler manifold. We investigate the formal principle for holomorphic line bundles on neighborhoods of an analytic subset of a complex manifold mainly when it can be realized as an open subset of a compact Kähler manifold. △ Less

Submitted 23 December, 2024; v1 submitted 30 September, 2024; originally announced September 2024.

Comments: Small modifications

MSC Class: Primary 32J25; Secondary 32F10

Uniform $L^2$-estimates for flat nontrivial line bundles on compact complex manifolds

Authors: Yoshinori Hashimoto, Takayuki Koike, Shin-ichi Matsumura

Abstract: In this paper, we extend the uniform $L^2$-estimate of $\bar{\partial}$-equations for flat nontrivial line bundles, proved for compact Kähler manifolds in the previous work, to compact complex manifolds. In the proof, by tracing the Dolbeault isomorphism in detail, we derive the desired $L^2$-estimate directly from Ueda's lemma. In this paper, we extend the uniform $L^2$-estimate of $\bar{\partial}$-equations for flat nontrivial line bundles, proved for compact Kähler manifolds in the previous work, to compact complex manifolds. In the proof, by tracing the Dolbeault isomorphism in detail, we derive the desired $L^2$-estimate directly from Ueda's lemma. △ Less

Submitted 8 September, 2024; originally announced September 2024.

MSC Class: 32W05 (Primary); 53C07 (Secondary)

Neighborhood of a rational curve with an ordinary cusp

Authors: Takayuki Koike, Takato Uehara

Abstract: We investigate complex analytic properties of a neighborhood of a reduced rational curve with an ordinary cusp embedded in a non-singular complex surface whose self-intersection number is zero. We investigate complex analytic properties of a neighborhood of a reduced rational curve with an ordinary cusp embedded in a non-singular complex surface whose self-intersection number is zero. △ Less

Submitted 1 July, 2024; originally announced July 2024.

Comments: 21 pages

MSC Class: 32C25; 32J15

Cohomology groups with compact support for flat line bundles on certain complex Lie groups

Authors: Takayuki Koike, Jinichiro Tanaka

Abstract: Let $X$ be a complex surface obtained as the quotient of the complex Euclidean space $\mathbb{C}^2$ by a discrete subgroup of rank $3$. We investigate the cohomology group $H_0^1(X, E)$ with compact support for a unitary flat line bundle $E$ over $X$. We show the vanishing of $H_0^1(X, E)$ for a certain class of such pairs $(X, E)$, which includes infinitely many examples such that $H^1(X, E)$ is… ▽ More Let $X$ be a complex surface obtained as the quotient of the complex Euclidean space $\mathbb{C}^2$ by a discrete subgroup of rank $3$. We investigate the cohomology group $H_0^1(X, E)$ with compact support for a unitary flat line bundle $E$ over $X$. We show the vanishing of $H_0^1(X, E)$ for a certain class of such pairs $(X, E)$, which includes infinitely many examples such that $H^1(X, E)$ is non-Hausdorff and infinite dimensional. △ Less

Submitted 23 December, 2024; v1 submitted 15 February, 2024; originally announced February 2024.

Comments: 17 pages

MSC Class: 32F32; 53C55

Energy-Preserving Reduced Operator Inference for Efficient Design and Control

Authors: Tomoki Koike, Elizabeth Qian

Abstract: Many-query computations, in which a computational model for an engineering system must be evaluated many times, are crucial in design and control. For systems governed by partial differential equations (PDEs), typical high-fidelity numerical models are high-dimensional and too computationally expensive for the many-query setting. Thus, efficient surrogate models are required to enable low-cost com… ▽ More Many-query computations, in which a computational model for an engineering system must be evaluated many times, are crucial in design and control. For systems governed by partial differential equations (PDEs), typical high-fidelity numerical models are high-dimensional and too computationally expensive for the many-query setting. Thus, efficient surrogate models are required to enable low-cost computations in design and control. This work presents a physics-preserving reduced model learning approach that targets PDEs whose quadratic operators preserve energy, such as those arising in governing equations in many fluids problems. The approach is based on the Operator Inference method, which fits reduced model operators to state snapshot and time derivative data in a least-squares sense. However, Operator Inference does not generally learn a reduced quadratic operator with the energy-preserving property of the original PDE. Thus, we propose a new energy-preserving Operator Inference (EP-OpInf) approach, which imposes this structure on the learned reduced model via constrained optimization. Numerical results using the viscous Burgers' and Kuramoto-Sivashinksy equation (KSE) demonstrate that EP-OpInf learns efficient and accurate reduced models that retain this energy-preserving structure. △ Less

Submitted 7 February, 2024; v1 submitted 5 January, 2024; originally announced January 2024.

Comments: 17 pages, AIAA SciTech Forum 2024

$\overline{\partial}$ cohomology of the complement of a semi-positive anticanonical divisor of a compact surface

Authors: Takayuki Koike

Abstract: Let $X$ be a non-singular compact complex surface such that the anticanonical line bundle admits a smooth Hermitian metric with semi-positive curvature. For a non-singular hypersurface $Y$ which defines an anticanonical divisor, we investigate the $\overline{\partial}$ cohomology group $H^1(M, \mathcal{O}_M)$ of the complement $M=X\setminus Y$. Let $X$ be a non-singular compact complex surface such that the anticanonical line bundle admits a smooth Hermitian metric with semi-positive curvature. For a non-singular hypersurface $Y$ which defines an anticanonical divisor, we investigate the $\overline{\partial}$ cohomology group $H^1(M, \mathcal{O}_M)$ of the complement $M=X\setminus Y$. △ Less

Submitted 21 July, 2023; originally announced August 2023.

Comments: 30 pages

MSC Class: Primary 32C35; Secondary 32F10

Invariant correlation under marginal transforms

Authors: Takaaki Koike, Liyuan Lin, Ruodu Wang

Abstract: A useful property of independent samples is that their correlation remains the same after applying marginal transforms. This invariance property plays a fundamental role in statistical inference, but does not hold in general for dependent samples. In this paper, we study this invariance property on the Pearson correlation coefficient and its applications. A multivariate random vector is said to ha… ▽ More A useful property of independent samples is that their correlation remains the same after applying marginal transforms. This invariance property plays a fundamental role in statistical inference, but does not hold in general for dependent samples. In this paper, we study this invariance property on the Pearson correlation coefficient and its applications. A multivariate random vector is said to have an invariant correlation if its pairwise correlation coefficients remain unchanged under any common marginal transforms. For a bivariate case, we characterize all models of such a random vector via a certain combination of comonotonicity -- the strongest form of positive dependence -- and independence. In particular, we show that the class of exchangeable copulas with invariant correlation is precisely described by what we call positive Fréchet copulas. In the general multivariate case, we characterize the set of all invariant correlation matrices via the clique partition polytope. We also propose a positive regression dependent model that admits any prescribed invariant correlation matrix. Finally, we show that all our characterization results of invariant correlation, except one special case, remain the same if the common marginal transforms are confined to the set of increasing ones. △ Less

Submitted 15 August, 2024; v1 submitted 19 June, 2023; originally announced June 2023.

Ueda's lemma via uniform Hörmander estimates for flat line bundles

Authors: Yoshinori Hashimoto, Takayuki Koike

Abstract: We establish Hörmander-type $L^2$-estimates for the $\overline{\partial}$-operators that hold uniformly for all nontrivial flat holomorphic line bundles on compact Kähler manifolds. Our result can be regarded as a $\overline{\partial}$-version of Ueda's lemma on the operator norm of Čech coboundaries for flat line bundles and indeed recovers the original version of Ueda's lemma for compact Kähler… ▽ More We establish Hörmander-type $L^2$-estimates for the $\overline{\partial}$-operators that hold uniformly for all nontrivial flat holomorphic line bundles on compact Kähler manifolds. Our result can be regarded as a $\overline{\partial}$-version of Ueda's lemma on the operator norm of Čech coboundaries for flat line bundles and indeed recovers the original version of Ueda's lemma for compact Kähler manifolds. A partial generalisation for $(p,0)$-forms on Ricci-flat manifolds is also given. △ Less

Submitted 3 April, 2023; v1 submitted 2 December, 2022; originally announced December 2022.

Comments: Minor modifications, details added

Joint mixability and notions of negative dependence

Authors: Takaaki Koike, Liyuan Lin, Ruodu Wang

Abstract: A joint mix is a random vector with a constant component-wise sum. The dependence structure of a joint mix minimizes some common objectives such as the variance of the component-wise sum, and it is regarded as a concept of extremal negative dependence. In this paper, we explore the connection between the joint mix structure and popular notions of negative dependence in statistics, such as negative… ▽ More A joint mix is a random vector with a constant component-wise sum. The dependence structure of a joint mix minimizes some common objectives such as the variance of the component-wise sum, and it is regarded as a concept of extremal negative dependence. In this paper, we explore the connection between the joint mix structure and popular notions of negative dependence in statistics, such as negative correlation dependence, negative orthant dependence and negative association. A joint mix is not always negatively dependent in any of the above senses, but some natural classes of joint mixes are. We derive various necessary and sufficient conditions for a joint mix to be negatively dependent, and study the compatibility of these notions. For identical marginal distributions, we show that a negatively dependent joint mix solves a multi-marginal optimal transport problem for quadratic cost under a novel setting of uncertainty. Analysis of this optimal transport problem with heterogeneous marginals reveals a trade-off between negative dependence and the joint mix structure. △ Less

Submitted 2 January, 2024; v1 submitted 25 April, 2022; originally announced April 2022.

Holomorphic foliation associated with a semi-positive class of numerical dimension one

Authors: Takayuki Koike

Abstract: Let $X$ be a compact Kähler manifold and $α$ be a class in the Dolbeault cohomology class of bidegree $(1, 1)$ on $X$. When the numerical dimension of $α$ is one and $α$ admits at least two smooth semi-positive representatives, we show the existence of a family of real analytic Levi-flat hypersurfaces in $X$ and a holomorphic foliation on a suitable domain of $X$ along whose leaves any semi-positi… ▽ More Let $X$ be a compact Kähler manifold and $α$ be a class in the Dolbeault cohomology class of bidegree $(1, 1)$ on $X$. When the numerical dimension of $α$ is one and $α$ admits at least two smooth semi-positive representatives, we show the existence of a family of real analytic Levi-flat hypersurfaces in $X$ and a holomorphic foliation on a suitable domain of $X$ along whose leaves any semi-positive representative of $α$ is zero. As an application, we give the affirmative answer to \cite[Conjecture 2.1]{K2019} on the relation between the semi-positivity of the line bundle $[Y]$ and the analytic structure of a neighborhood of $Y$ for a smooth connected hypersurface $Y$ of $X$. △ Less

Submitted 22 October, 2021; v1 submitted 10 October, 2021; originally announced October 2021.

Comments: Some conditions in the main results could be dropped

MSC Class: Primary 32M25; Secondary 14C20

A gluing construction of projective K3 surfaces

Authors: Takayuki Koike, Takato Uehara

Abstract: We construct a non-Kummer projective K3 surface $X$ which admits compact Levi-flats by holomorphically patching two open complex surfaces obtained as the complements of tubular neighborhoods of elliptic curves embedded in blow-ups of the projective plane at nine general points. We construct a non-Kummer projective K3 surface $X$ which admits compact Levi-flats by holomorphically patching two open complex surfaces obtained as the complements of tubular neighborhoods of elliptic curves embedded in blow-ups of the projective plane at nine general points. △ Less

Submitted 4 July, 2022; v1 submitted 24 July, 2021; originally announced August 2021.

Comments: final version to appear in Épijournal de Géometrie Algébrique

MSC Class: Primary 14J28; Secondary 32G05

Journal ref: Épijournal de Géométrie Algébrique, Volume 6 (July 6, 2022) epiga:8504

Measuring non-exchangeable tail dependence using tail copulas

Authors: Takaaki Koike, Shogo Kato, Marius Hofert

Abstract: Quantifying tail dependence is an important issue in insurance and risk management. The prevalent tail dependence coefficient (TDC), however, is known to underestimate the degree of tail dependence and it does not capture non-exchangeable tail dependence since it evaluates the limiting tail probability only along the main diagonal. To overcome these issues, two novel tail dependence measures calle… ▽ More Quantifying tail dependence is an important issue in insurance and risk management. The prevalent tail dependence coefficient (TDC), however, is known to underestimate the degree of tail dependence and it does not capture non-exchangeable tail dependence since it evaluates the limiting tail probability only along the main diagonal. To overcome these issues, two novel tail dependence measures called the maximal tail concordance measure (MTCM) and the average tail concordance measure (ATCM) are proposed. Both measures are constructed based on tail copulas and possess clear probabilistic interpretations in that the MTCM evaluates the largest limiting probability among all comparable rectangles in the tail, and the ATCM is a normalized average of these limiting probabilities. In contrast to the TDC, the proposed measures can capture non-exchangeable tail dependence. Analytical forms of the proposed measures are also derived for various copulas. A real data analysis reveals striking tail dependence and tail non-exchangeability of the return series of stock indices, particularly in periods of financial distress. △ Less

Submitted 11 February, 2023; v1 submitted 28 January, 2021; originally announced January 2021.

Comments: 26 pages, 5 figures, 2 table

MSC Class: 62H20; 62G32

Matrix compatibility and correlation mixture representation of generalized Gini's gamma

Authors: Takaaki Koike, Marius Hofert

Abstract: Representations of measures of concordance in terms of Pearson' s correlation coefficient are studied. All transforms of random variables are characterized such that the correlation coefficient of the transformed random variables is a measure of concordance. Next, Gini' s gamma is generalized and it is shown that the resulting generalized Gini' s gamma can be represented as a mixture of measures o… ▽ More Representations of measures of concordance in terms of Pearson' s correlation coefficient are studied. All transforms of random variables are characterized such that the correlation coefficient of the transformed random variables is a measure of concordance. Next, Gini' s gamma is generalized and it is shown that the resulting generalized Gini' s gamma can be represented as a mixture of measures of concordance that are Pearson' s correlation coefficients of transformed random variables. As an application of this correlation mixture representation of generalized Gini' s gamma, lower and upper bounds of the compatible set of generalized Gini' s gamma, which is the collection of all possible square matrices whose entries are pairwise bivariate generalized Gini' s gammas, are derived. △ Less

Submitted 8 January, 2023; v1 submitted 17 November, 2020; originally announced November 2020.

Comments: 18 pages

MSC Class: 62H20; 62H10

On the complement of a hypersurface with flat normal bundle which corresponds to a semipositive line bundle

Authors: Takayuki Koike

Abstract: We investigate the complex analytic structure of the complement of a non-singular hypersurface with unitary flat normal bundle when the corresponding line bundle admits a Hermitian metric with semipositive curvature. We investigate the complex analytic structure of the complement of a non-singular hypersurface with unitary flat normal bundle when the corresponding line bundle admits a Hermitian metric with semipositive curvature. △ Less

Submitted 27 September, 2020; v1 submitted 16 September, 2020; originally announced September 2020.

Comments: Compactness assumption added to some of the theorems, and some arguments modified

MSC Class: Primary 32J25; Secondary 14C20

Estimation and Comparison of Correlation-based Measures of Concordance

Authors: Takaaki Koike, Marius Hofert

Abstract: We address the problem of estimating and comparing measures of concordance that arise as Pearson's linear correlation coefficient between two random variables transformed so that they follow the so-called concordance-inducing distribution. The class of such transformed rank correlations includes Spearman's rho, Blomqvist's beta and van der Waerden's coefficient as special cases. To answer which tr… ▽ More We address the problem of estimating and comparing measures of concordance that arise as Pearson's linear correlation coefficient between two random variables transformed so that they follow the so-called concordance-inducing distribution. The class of such transformed rank correlations includes Spearman's rho, Blomqvist's beta and van der Waerden's coefficient as special cases. To answer which transformed rank correlation is best to use, we propose to compare them in terms of their best and worst asymptotic variances on a given set of copulas. A criterion derived from this approach is that concordance-inducing distributions with smaller variances of squared random variables are more preferable. In particular, we show that Blomqvist's beta is the optimal transformed rank correlation, and Spearman's rho outperforms van der Waerden's coefficient. Moreover, we find that Kendall's tau also attains the optimal asymptotic variances that Blomqvist's beta does, although Kendall's tau is not a transformed rank correlation. △ Less

Submitted 17 November, 2020; v1 submitted 24 June, 2020; originally announced June 2020.

Comments: 30 pages, 1 figure

MSC Class: 62H20; 62G20; 62H10; 62H12

Linearization of transition functions of a semi-positive line bundle along a certain submanifold

Authors: Takayuki Koike

Abstract: Let $X$ be a complex manifold and $L$ be a holomorphic line bundle on $X$. Assume that $L$ is semi-positive, namely $L$ admits a smooth Hermitian metric with semi-positive Chern curvature. Let $Y$ be a compact Kähler submanifold of $X$ such that the restriction of $L$ to $Y$ is topologically trivial. We investigate the obstruction for $L$ to be unitary flat on a neighborhood of $Y$ in $X$. As an a… ▽ More Let $X$ be a complex manifold and $L$ be a holomorphic line bundle on $X$. Assume that $L$ is semi-positive, namely $L$ admits a smooth Hermitian metric with semi-positive Chern curvature. Let $Y$ be a compact Kähler submanifold of $X$ such that the restriction of $L$ to $Y$ is topologically trivial. We investigate the obstruction for $L$ to be unitary flat on a neighborhood of $Y$ in $X$. As an application, for example, we show the existence of nef, big, and non semi-positive line bundle on a non-singular projective surface. △ Less

Submitted 6 March, 2020; v1 submitted 18 February, 2020; originally announced February 2020.

Comments: Some citations are added

MSC Class: 32J25; 14C20

Hermitian metrics on the anti-canonical bundle of the blow-up of the projective plane at nine points

Authors: Takayuki Koike

Abstract: We investigate Hermitian metrics on the anti-canonical bundle of a rational surface obtained by blowing up the projective plane at nine points. For that purpose, we pose a modified variant of an argument made by Ueda on the complex analytic structure of a neighborhood of a subvariety by considering the deformation of the complex structure. We investigate Hermitian metrics on the anti-canonical bundle of a rational surface obtained by blowing up the projective plane at nine points. For that purpose, we pose a modified variant of an argument made by Ueda on the complex analytic structure of a neighborhood of a subvariety by considering the deformation of the complex structure. △ Less

Submitted 15 September, 2019; originally announced September 2019.

Comments: 40 pages

MSC Class: 32J25 (Primary); 14C20 (Secondary)

A gluing construction of K3 surfaces

Authors: Takayuki Koike, Takato Uehara

Abstract: We develop a new method for constructing K3 surfaces. We construct such a K3 surface $X$ by patching two open complex surfaces obtained as the complements of tubular neighborhoods of elliptic curves embedded in blow-ups of the projective planes at general nine points. Our construction has $19$ complex dimensional degrees of freedom. For general parameters, the K3 surface $X$ is neither Kummer nor… ▽ More We develop a new method for constructing K3 surfaces. We construct such a K3 surface $X$ by patching two open complex surfaces obtained as the complements of tubular neighborhoods of elliptic curves embedded in blow-ups of the projective planes at general nine points. Our construction has $19$ complex dimensional degrees of freedom. For general parameters, the K3 surface $X$ is neither Kummer nor projective. By the argument based on the concrete computation of the period map, we also investigate which points in the period domain correspond to K3 surfaces obtained by such construction. △ Less

Submitted 30 June, 2023; v1 submitted 3 March, 2019; originally announced March 2019.

Comments: Appendix A.3 added, Minor edits. arXiv admin note: substantial text overlap with arXiv:1703.03663

MSC Class: Primary 14J28; Secondary 32G05

Compatibility and attainability of matrices of correlation-based measures of concordance

Authors: Marius Hofert, Takaaki Koike

Abstract: Measures of concordance have been widely used in insurance and risk management to summarize non-linear dependence among risks modeled by random variables, which Pearson's correlation coefficient cannot capture. However, popular measures of concordance, such as Spearman's rho and Blomqvist's beta, appear as classical correlations of transformed random variables. We characterize a whole class of suc… ▽ More Measures of concordance have been widely used in insurance and risk management to summarize non-linear dependence among risks modeled by random variables, which Pearson's correlation coefficient cannot capture. However, popular measures of concordance, such as Spearman's rho and Blomqvist's beta, appear as classical correlations of transformed random variables. We characterize a whole class of such concordance measures arising from correlations of transformed random variables, which includes Spearman's rho, Blomqvist's beta and van der Waerden's coefficient as special cases. Compatibility and attainability of square matrices with entries given by such measures are studied, that is, whether a given square matrix of such measures of concordance can be realized for some random vector and how such a random vector can be constructed. Compatibility and attainability of block matrices and hierarchical matrices are also studied due to their practical importance in insurance and risk management. In particular, a subclass of attainable block Spearman's rho matrices is proposed to compensate for the drawback that Spearman's rho matrices are in general not attainable for dimensions larger than four. Another result concerns a novel analytical form of the Cholesky factor of block matrices which allows one, for example, to construct random vectors with given block matrices of van der Waerden's coefficient. △ Less

Submitted 18 March, 2019; v1 submitted 16 October, 2018; originally announced October 2018.

MSC Class: 62H99; 60E05; 65C60

Voros Coefficients for the Hypergeometric Differential Equations and Eynard-Orantin's Topological Recursion - Part II : For the Confluent Family of Hypergeometric Equations

Authors: Kohei Iwaki, Tatsuya Koike, Yumiko Takei

Abstract: We show that the each member of the confluent family of the Gauss hypergeometric equations is realized as quantum curves for appropriate spectral curves. As an application, relations between the Voros coefficients of those equations and the free energy of their classical limit computed by the topological recursion are established. We will also find explicit expressions of the free energy and the V… ▽ More We show that the each member of the confluent family of the Gauss hypergeometric equations is realized as quantum curves for appropriate spectral curves. As an application, relations between the Voros coefficients of those equations and the free energy of their classical limit computed by the topological recursion are established. We will also find explicit expressions of the free energy and the Voros coefficients in terms of the Bernoulli numbers and Bernoulli polynomials. △ Less

Submitted 6 October, 2018; originally announced October 2018.

Comments: 47 pages. This is the latter half of the completely revised version of arXiv:1805.10945v2. (Its former half will be placed on the arXiv as arXiv:1805.10945v3 soon.) Thus some of the results of this article are already stated there

On the neighborhood of a torus leaf and dynamics of holomorphic foliations

Authors: Takayuki Koike, Noboru Ogawa

Abstract: Let $X$ be a complex surface and $Y$ be an elliptic curve embedded in $X$. Assume that there exists a non-singular holomorphic foliation $\mathcal{F}$ with $Y$ as a compact leaf, defined on a neighborhood of $Y$ in $X$. We investigate the relation between Ueda's classification of the complex analytic structure of a neighborhood of $Y$ and complex dynamics of the holonomy of $\mathcal{F}$ along… ▽ More Let $X$ be a complex surface and $Y$ be an elliptic curve embedded in $X$. Assume that there exists a non-singular holomorphic foliation $\mathcal{F}$ with $Y$ as a compact leaf, defined on a neighborhood of $Y$ in $X$. We investigate the relation between Ueda's classification of the complex analytic structure of a neighborhood of $Y$ and complex dynamics of the holonomy of $\mathcal{F}$ along $Y$. △ Less

Submitted 8 June, 2020; v1 submitted 30 August, 2018; originally announced August 2018.

Comments: 21 pages, revised version, some results are improved

Voros Coefficients for the Hypergeometric Differential Equations and Eynard-Orantin's Topological Recursion - Part I : For the Weber Equation

Authors: Kohei Iwaki, Tatsuya Koike, Yumiko Takei

Abstract: We develop the theory of quantization of spectral curves via the topological recursion. We formulate a quantization scheme of spectral curves which is not necessarily admissible in the sense of Bouchard and Eynard. The main result of this paper and the second part [IKoT] establishes a relation between the Voros coefficients for the quantum curves and the free energy for spectral curves associated… ▽ More We develop the theory of quantization of spectral curves via the topological recursion. We formulate a quantization scheme of spectral curves which is not necessarily admissible in the sense of Bouchard and Eynard. The main result of this paper and the second part [IKoT] establishes a relation between the Voros coefficients for the quantum curves and the free energy for spectral curves associated with the confluent family of Gauss hypergeometric differential equations. We focus on the Weber equation in this article, and generalize the result for the other members of the confluent family in the second part. We also find explicit formulas of free energy for those spectral curves in terms of the Bernoulli numbers. △ Less

Submitted 9 October, 2018; v1 submitted 28 May, 2018; originally announced May 2018.

Comments: 47 pager, 2 figures. Some of main results in the previous version arXiv:1805.10945v2 are placed in arXiv:1810.02946, which is the second part of this article

MSC Class: 34M60 (Primary); 81T45 (Secondary)

Arnol'd's type theorem on a neighborhood of a cycle of rational curves

Authors: Takayuki Koike

Abstract: Arnol'd showed the uniqueness of the complex analytic structure of a small neighborhood of a non-singular elliptic curve embedded in a non-singular surface whose normal bundle satisfies Diophantine condition in the Picard variety. We show an analogue of this theorem for a neighborhood of a cycle of rational curves. Arnol'd showed the uniqueness of the complex analytic structure of a small neighborhood of a non-singular elliptic curve embedded in a non-singular surface whose normal bundle satisfies Diophantine condition in the Picard variety. We show an analogue of this theorem for a neighborhood of a cycle of rational curves. △ Less

Submitted 13 May, 2018; originally announced May 2018.

Comments: 20 pages

MSC Class: 32J15; 14J28

Complex K3 surfaces containing Levi-flat hypersurfaces

Authors: Takayuki Koike

Abstract: We show the existence of a complex K3 surface $X$ which is not a Kummer surface and has a one-parameter family of Levi-flat hypersurfaces in which all the leaves are dense. We construct such $X$ by patching two open complex surfaces obtained as the complements of tubular neighborhoods of elliptic curves embedded in blow-ups of the projective planes at general nine points. We show the existence of a complex K3 surface $X$ which is not a Kummer surface and has a one-parameter family of Levi-flat hypersurfaces in which all the leaves are dense. We construct such $X$ by patching two open complex surfaces obtained as the complements of tubular neighborhoods of elliptic curves embedded in blow-ups of the projective planes at general nine points. △ Less

Submitted 5 March, 2019; v1 submitted 10 March, 2017; originally announced March 2017.

Comments: withdrawed because the main part of this preprint is included in arXiv:1903.01444

MSC Class: 32V40; 14J28

Estimation of Risk Contributions with MCMC

Authors: Takaaki Koike, Mihoko Minami

Abstract: Determining risk contributions of unit exposures to portfolio-wide economic capital is an important task in financial risk management. Computing risk contributions involves difficulties caused by rare-event simulations. In this study, we address the problem of estimating risk contributions when the total risk is measured by value-at-risk (VaR). Our proposed estimator of VaR contributions is based… ▽ More Determining risk contributions of unit exposures to portfolio-wide economic capital is an important task in financial risk management. Computing risk contributions involves difficulties caused by rare-event simulations. In this study, we address the problem of estimating risk contributions when the total risk is measured by value-at-risk (VaR). Our proposed estimator of VaR contributions is based on the Metropolis-Hasting (MH) algorithm, which is one of the most prevalent Markov chain Monte Carlo (MCMC) methods. Unlike existing estimators, our MH-based estimator consists of samples from conditional loss distribution given a rare event of interest. This feature enhances sample efficiency compared with the crude Monte Carlo method. Moreover, our method has the consistency and asymptotic normality, and is widely applicable to various risk models having joint loss density. Our numerical experiments based on simulation and real-world data demonstrate that in various risk models, even those having high-dimensional (approximately 500) inhomogeneous margins, our MH estimator has smaller bias and mean squared error compared with existing estimators. △ Less

Submitted 16 January, 2019; v1 submitted 10 February, 2017; originally announced February 2017.

Comments: 31 pages, 1 table, 7 figures

MSC Class: 91B30; 91G60; 91G70

On metrics with minimal singularities of line bundles whose stable base loci admit holomorphic tubular neighborhoods

Authors: Genki Hosono, Takayuki Koike

Abstract: We investigate the minimal singularities of metrics on a big line bundle $L$ over a projective manifold when the stable base locus $Y$ of $L$ is a submanifold of codimension $r\geq 1$. Under some assumptions on the normal bundle and a neighborhood of $Y$, we give a explicit description of the minimal singularity of metrics on $L$. We apply this result to study a higher (co-)dimensional analogue of… ▽ More We investigate the minimal singularities of metrics on a big line bundle $L$ over a projective manifold when the stable base locus $Y$ of $L$ is a submanifold of codimension $r\geq 1$. Under some assumptions on the normal bundle and a neighborhood of $Y$, we give a explicit description of the minimal singularity of metrics on $L$. We apply this result to study a higher (co-)dimensional analogue of Zariski's example, in which the line bundle $L$ is not semi-ample, however it is nef and big. △ Less

Submitted 17 November, 2018; v1 submitted 24 December, 2016; originally announced December 2016.

Comments: 23 pages, final version to appear in Annales de la Faculté des Sciences de Toulouse

Higher codimensional Ueda theory for a compact submanifold with unitary flat normal bundle

Authors: Takayuki Koike

Abstract: Let $Y$ be a compact complex manifold embedded in a complex manifold with unitary flat normal bundle. Our interest is in a sort of the linearizability problem of a neighborhood of $Y$. As a higher-codimensional generalization of Ueda's result, we give a sufficient condition for the existence of a non-singular holomorphic foliation on a neighborhood of $Y$ which includes $Y$ as a leaf with unitary-… ▽ More Let $Y$ be a compact complex manifold embedded in a complex manifold with unitary flat normal bundle. Our interest is in a sort of the linearizability problem of a neighborhood of $Y$. As a higher-codimensional generalization of Ueda's result, we give a sufficient condition for the existence of a non-singular holomorphic foliation on a neighborhood of $Y$ which includes $Y$ as a leaf with unitary-linear holonomy. We apply this result to the existence problem of a smooth Hermitian metric with semi-positive curvature on a nef line bundle. △ Less

Submitted 6 June, 2016; originally announced June 2016.

Comments: 24 pages

MSC Class: 32J25; 14C20

Local criteria for non embeddability of Levi-flat manifolds

Authors: Takayuki Koike, Noboru Ogawa

Abstract: We give local criteria for smooth non-embeddablity of Levi-flat manifolds. For this purpose, we pose an analogue of Ueda theory on the neighborhood structure of hypersurfaces in complex manifolds with topologically trivial normal bundles. We give local criteria for smooth non-embeddablity of Levi-flat manifolds. For this purpose, we pose an analogue of Ueda theory on the neighborhood structure of hypersurfaces in complex manifolds with topologically trivial normal bundles. △ Less

Submitted 15 April, 2017; v1 submitted 31 March, 2016; originally announced March 2016.

Comments: Final version, to appear in J. Geom. Anal. The final publication is available at Springer via http://dx.doi.org/10.1007/s12220-017-9853-9

On a neighborhood of a torus leaf of a certain class of holomorphic foliations on complex surfaces

Authors: Takayuki Koike

Abstract: Let $C$ be a smooth elliptic curve embedded in a smooth complex surface $X$ such that $C$ is a leaf of a suitable holomorphic foliation of $X$. We investigate complex analytic properties of a neighborhood of $C$ under some assumptions on complex dynamical properties of the holonomy function. As an application, we give an example of $(C, X)$ in which the line bundle $[C]$ is formally flat along… ▽ More Let $C$ be a smooth elliptic curve embedded in a smooth complex surface $X$ such that $C$ is a leaf of a suitable holomorphic foliation of $X$. We investigate complex analytic properties of a neighborhood of $C$ under some assumptions on complex dynamical properties of the holonomy function. As an application, we give an example of $(C, X)$ in which the line bundle $[C]$ is formally flat along $C$ however it does not admit a $C^\infty$ Hermitian metric with semi-positive curvature. △ Less

Submitted 8 October, 2015; originally announced October 2015.

Comments: 12 pages

MSC Class: 32J25; 14C20

Ueda theory for compact curves with nodes

Authors: Takayuki Koike

Abstract: Let $C$ be a compact complex curve included in a non-singular complex surface such that the normal bundle is topologically trivial. Ueda studied complex analytic properties of a neighborhood of $C$ when $C$ is non-singular or is a rational curve with a node. We propose an analogue of Ueda's theory for the case where $C$ admits nodes. As an application, we study singular Hermitian metrics with semi… ▽ More Let $C$ be a compact complex curve included in a non-singular complex surface such that the normal bundle is topologically trivial. Ueda studied complex analytic properties of a neighborhood of $C$ when $C$ is non-singular or is a rational curve with a node. We propose an analogue of Ueda's theory for the case where $C$ admits nodes. As an application, we study singular Hermitian metrics with semi-positive curvature on the anti-canonical bundle of the blow-up of the projective plane at nine points in arbitrary position. △ Less

Submitted 1 July, 2015; originally announced July 2015.

Comments: 27 pages

MSC Class: 32J25; 14C20

Toward a higher codimensional Ueda theory

Authors: Takayuki Koike

Abstract: Ueda's theory is a theory on a flatness criterion around a smooth hypersurface of a certain type of topologically trivial holomorphic line bundles. We propose a codimension two analogue of Ueda's theory. As an application, we give a sufficient condition for the anti-canonical bundle of the blow-up of the three dimensional projective space at $8$ points to be non semi-ample however admit a smooth H… ▽ More Ueda's theory is a theory on a flatness criterion around a smooth hypersurface of a certain type of topologically trivial holomorphic line bundles. We propose a codimension two analogue of Ueda's theory. As an application, we give a sufficient condition for the anti-canonical bundle of the blow-up of the three dimensional projective space at $8$ points to be non semi-ample however admit a smooth Hermitian metric with semi-positive curvature. △ Less

Submitted 7 December, 2014; originally announced December 2014.

Comments: 27 pages

MSC Class: 32J25; 14C20

On the minimality of canonically attached singular Hermitian metrics on certain nef line bundles

Authors: Takayuki Koike

Abstract: We apply Ueda theory to a study of singular Hermitian metrics of a (strictly) nef line bundle $L$. Especially we study minimal singular metrics of $L$, metrics of $L$ with the mildest singularities among singular Hermitian metrics of $L$ whose local weights are plurisubharmonic. In some situations, we determine a minimal singular metric of $L$. As an application, we give new examples of (strictly)… ▽ More We apply Ueda theory to a study of singular Hermitian metrics of a (strictly) nef line bundle $L$. Especially we study minimal singular metrics of $L$, metrics of $L$ with the mildest singularities among singular Hermitian metrics of $L$ whose local weights are plurisubharmonic. In some situations, we determine a minimal singular metric of $L$. As an application, we give new examples of (strictly) nef line bundles which admit no smooth Hermitian metric with semi-positive curvature. △ Less

Submitted 19 May, 2014; originally announced May 2014.

Comments: 8 pages

MSC Class: 32J25; 14C20

Journal ref: Kyoto J. Math. 55, no. 3 (2015), 607-616

On minimal singular metrics of certain class of line bundles whose section ring is not finitely generated

Authors: Takayuki Koike

Abstract: Our interest is a regularity of a minimal singular metric of a line bundle. One main conclusion of our general result in this paper is the existence of continuous Hermitian metrics with semi-positive curvatures on the so-called Zariski's example of a line bundle defined over the blow-up of $\mathbb{P}^2$ at some twelve points. This is an example of a line bundle which is nef, big, not semi-ample,… ▽ More Our interest is a regularity of a minimal singular metric of a line bundle. One main conclusion of our general result in this paper is the existence of continuous Hermitian metrics with semi-positive curvatures on the so-called Zariski's example of a line bundle defined over the blow-up of $\mathbb{P}^2$ at some twelve points. This is an example of a line bundle which is nef, big, not semi-ample, and whose section ring is not finitely generated. We generalize this result to the higher dimensional case when the stable base locus of a line bundle is a smooth hypersurface with a holomorphic tubular neighborhood. △ Less

Submitted 9 February, 2014; v1 submitted 22 December, 2013; originally announced December 2013.

Comments: Our main conclusion of the main theorem is improved. Some technical assumptions are needed in the main theorem

MSC Class: 32J25; 14C20

Minimal singular metrics of a line bundle admitting no Zariski-decomposition

Authors: Takayuki Koike

Abstract: We give a concrete expression of a minimal singular metric of a big line bundle on a compact Kähler manifold which is the total space of a toric bundle over a complex torus. In this class of manifolds, Nakayama constructed examples which have line bundles admitting no Zariski-decomposition even after any proper modifications. As an application, we discuss the Zariski-closedness of non-nef loci and… ▽ More We give a concrete expression of a minimal singular metric of a big line bundle on a compact Kähler manifold which is the total space of a toric bundle over a complex torus. In this class of manifolds, Nakayama constructed examples which have line bundles admitting no Zariski-decomposition even after any proper modifications. As an application, we discuss the Zariski-closedness of non-nef loci and the openness conjecture of Demailly and Kollár in this class. △ Less

Submitted 4 June, 2014; v1 submitted 4 April, 2013; originally announced April 2013.

Comments: Minor format edition, 26 pages, 4 figures

Irregular Modified $A$-Hypergeometric Systems

Authors: Francisco-Jesus Castro-Jimenez, Maria-Cruz Fernandez-Fernandez, Tatsuya Koike, Nobuki Takayama

Abstract: A modified $A$-hypergeometric system is a system of differential equations for the function $f(t^w \cdot x)$ where $f(y)$ is a solution of an $A$-hypergeometric system in $n$ variables and $w$ is an $n$ dimensional integer vector, which is called the weight vector. We study the irregularity of modified systems by adapting to this case the notion of umbrella introduced by M. Schulze and U. Walther.… ▽ More A modified $A$-hypergeometric system is a system of differential equations for the function $f(t^w \cdot x)$ where $f(y)$ is a solution of an $A$-hypergeometric system in $n$ variables and $w$ is an $n$ dimensional integer vector, which is called the weight vector. We study the irregularity of modified systems by adapting to this case the notion of umbrella introduced by M. Schulze and U. Walther. Especially, we study slopes and Gevrey series solutions. We develop some applications of this study. Under some conditions we give Laplace integral representations of divergent series solutions of the modified system and we show that certain Gevrey series solutions of the original $A$-hypergeometric system along coordinate varieties are Gevrey asymptotic expansions of holomorphic solutions of the $A$-hypergeometric system. △ Less

Submitted 3 July, 2013; v1 submitted 6 July, 2012; originally announced July 2012.

Comments: 39 pages, 3 figures. Proposition 5 is corrected (previous version of this proposition wasn't true without the new additional condition, as proved by Example 8). Theorem 9 added. Some corrected typos

MSC Class: 33C70

Journal ref: Trans. Amer. Math. Soc. 367 (2015), 5415-5445