-
Partitioned neural network approximation for partial differential equations enhanced with Lagrange multipliers and localized loss functions
Authors:
Deok-Kyu Jang,
Kyungsoo Kim,
Hyea Hyun Kim
Abstract:
Partitioned neural network functions are used to approximate the solution of partial differential equations. The problem domain is partitioned into non-overlap** subdomains and the partitioned neural network functions are defined on the given non-overlap** subdomains. Each neural network function then approximates the solution in each subdomain. To obtain the convergent neural network solution…
▽ More
Partitioned neural network functions are used to approximate the solution of partial differential equations. The problem domain is partitioned into non-overlap** subdomains and the partitioned neural network functions are defined on the given non-overlap** subdomains. Each neural network function then approximates the solution in each subdomain. To obtain the convergent neural network solution, certain continuity conditions on the partitioned neural network functions across the subdomain interface need to be included in the loss function, that is used to train the parameters in the neural network functions. In our work, by introducing suitable interface values, the loss function is reformulated into a sum of localized loss functions and each localized loss function is used to train the corresponding local neural network parameters. In addition, to accelerate the neural network solution convergence, the localized loss function is enriched with an augmented Lagrangian term, where the interface condition and the boundary condition are enforced as constraints on the local solutions by using Lagrange multipliers. The local neural network parameters and Lagrange multipliers are then found by optimizing the localized loss function. To take the advantage of the localized loss function for the parallel computation, an iterative algorithm is also proposed. For the proposed algorithms, their training performance and convergence are numerically studied for various test examples.
△ Less
Submitted 21 December, 2023;
originally announced December 2023.
-
Enhanced physics-informed neural networks with domain scaling and residual correction methods for multi-frequency elliptic problems
Authors:
Deok-Kyu Jang,
Hyea Hyun Kim,
Kyungsoo Kim
Abstract:
In this paper, neural network approximation methods are developed for elliptic partial differential equations with multi-frequency solutions. Neural network work approximation methods have advantages over classical approaches in that they can be applied without much concerns on the form of the differential equations or the shape or dimension of the problem domain. When applied to problems with mul…
▽ More
In this paper, neural network approximation methods are developed for elliptic partial differential equations with multi-frequency solutions. Neural network work approximation methods have advantages over classical approaches in that they can be applied without much concerns on the form of the differential equations or the shape or dimension of the problem domain. When applied to problems with multi-frequency solutions, the performance and accuracy of neural network approximation methods are strongly affected by the contrast of the high- and low-frequency parts in the solutions. To address this issue, domain scaling and residual correction methods are proposed. The efficiency and accuracy of the proposed methods are demonstrated for multi-frequency model problems.
△ Less
Submitted 7 November, 2023;
originally announced November 2023.
-
Iterative algorithms for partitioned neural network approximation to partial differential equations
Authors:
Hee Jun Yang,
Hyea Hyun Kim
Abstract:
To enhance solution accuracy and training efficiency in neural network approximation to partial differential equations, partitioned neural networks can be used as a solution surrogate instead of a single large and deep neural network defined on the whole problem domain. In such a partitioned neural network approach, suitable interface conditions or subdomain boundary conditions are combined to obt…
▽ More
To enhance solution accuracy and training efficiency in neural network approximation to partial differential equations, partitioned neural networks can be used as a solution surrogate instead of a single large and deep neural network defined on the whole problem domain. In such a partitioned neural network approach, suitable interface conditions or subdomain boundary conditions are combined to obtain a convergent approximate solution. However, there has been no rigorous study on the convergence and parallel computing enhancement on the partitioned neural network approach. In this paper, iterative algorithms are proposed to address these issues. Our algorithms are based on classical additive Schwarz domain decomposition methods. Numerical results are included to show the performance of the proposed iterative algorithms.
△ Less
Submitted 16 August, 2023; v1 submitted 31 October, 2022;
originally announced November 2022.
-
Twisted Koecher-Maass series of the Ikeda type lift for the exceptional group of type $E_{7,3}$
Authors:
Hidenori Katsurada,
Henry H. Kim
Abstract:
We compute the twisted Koecher-Maass series of the first and second kind of the Ikeda type lift for the exceptional group of type $E_{7,3}$. As an application, we obtain their rationality result.
We compute the twisted Koecher-Maass series of the first and second kind of the Ikeda type lift for the exceptional group of type $E_{7,3}$. As an application, we obtain their rationality result.
△ Less
Submitted 7 July, 2022;
originally announced July 2022.
-
Rankin-Selberg convolution for the Duke-Imamoglu-Ikeda lift
Authors:
Hidenori Katsurada,
Henry H. Kim
Abstract:
For two Hecke eigenforms $h_1$ and $h_2$ in the Kohnen plus space of half-integral weight, let $I_n(h_1)$ and $I_n(h_2)$ be the Duke-Imamoglu-Ikeda lift of $h_1$ and $h_2$, respectively, which are Siegel cusp forms with respect to $Sp_n(\ZZ)$. Moreover, let $E_{n/2+1/2}$ be the Cohen Eisenstein series of weight $n/2+1/2$. We then express the Rankin-Selberg convolution $R(s,I_n(h_1),I_n(h_2))$ of…
▽ More
For two Hecke eigenforms $h_1$ and $h_2$ in the Kohnen plus space of half-integral weight, let $I_n(h_1)$ and $I_n(h_2)$ be the Duke-Imamoglu-Ikeda lift of $h_1$ and $h_2$, respectively, which are Siegel cusp forms with respect to $Sp_n(\ZZ)$. Moreover, let $E_{n/2+1/2}$ be the Cohen Eisenstein series of weight $n/2+1/2$. We then express the Rankin-Selberg convolution $R(s,I_n(h_1),I_n(h_2))$ of $I_n(h_1)$ and $I_n(h_2)$ in terms of a certain Dirichlet series $D(s,h_1,h_2,E_{n/2+1/2})$, which is similar to the triple convolution product of $h_1, h_2$ and $E_{n/2+1/2}$. We apply our formula to mass equidistribution for the Duke-Imamoglu-Ikeda lift assuming the holomorphy of $D(s,h_1,h_1,E_{n/2+1/2})$.
△ Less
Submitted 13 June, 2022;
originally announced June 2022.
-
Equidistribution theorems for holomorphic Siegel cusp forms of general degree: the level aspect
Authors:
Henry H. Kim,
Satoshi Wakatsuki,
Takuya Yamauchi
Abstract:
We prove equidistribution theorems for a family of holomorphic Siegel cusp forms of general degree in the level aspect. Our main contribution is to estimate unipotent contributions for general degree in the geometric side of Arthur's invariant trace formula in terms of Shintani zeta functions. Several applications including the vertical Sato-Tate theorem and low-lying zeros for standard $L$-functi…
▽ More
We prove equidistribution theorems for a family of holomorphic Siegel cusp forms of general degree in the level aspect. Our main contribution is to estimate unipotent contributions for general degree in the geometric side of Arthur's invariant trace formula in terms of Shintani zeta functions. Several applications including the vertical Sato-Tate theorem and low-lying zeros for standard $L$-functions of holomorphic Siegel cusp forms are discussed. We also show that the "non-genuine forms" which come from non-trivial endoscopic contributions by Langlands functoriality classified by Arthur are negligible.
△ Less
Submitted 22 April, 2022; v1 submitted 14 June, 2021;
originally announced June 2021.
-
Learning adaptive coarse spaces of BDDC algorithms for stochastic elliptic problems with oscillatory and high contrast coefficients
Authors:
Eric Chung,
Hyea Hyun Kim,
Ming Fai Lam,
Lina Zhao
Abstract:
In this paper, we consider the balancing domain decomposition by constraints (BDDC) algorithm with adaptive coarse spaces for a class of stochastic elliptic problems. The key ingredient in the construction of the coarse space is the solutions of local spectral problems, which depend on the coefficient of the PDE. This poses a significant challenge for stochastic coefficients as it is computational…
▽ More
In this paper, we consider the balancing domain decomposition by constraints (BDDC) algorithm with adaptive coarse spaces for a class of stochastic elliptic problems. The key ingredient in the construction of the coarse space is the solutions of local spectral problems, which depend on the coefficient of the PDE. This poses a significant challenge for stochastic coefficients as it is computationally expensive to solve the local spectral problems for every realisation of the coefficient. To tackle this computational burden, we propose a machine learning approach. Our method is based on the use of a deep neural network (DNN) to approximate the relation between the stochastic coefficients and the coarse spaces. For the input of the DNN, we apply the Karhunen-Loève expansion and use the first few dominant terms in the expansion. The output of the DNN is the resulting coarse space, which is then applied with the standard adaptive BDDC algorithm. We will present some numerical results with oscillatory and high contrast coefficients to show the efficiency and robustness of the proposed scheme.
△ Less
Submitted 19 April, 2021;
originally announced April 2021.
-
Period of the Ikeda type lift for $E_{7,3}$
Authors:
Hidenori Katsurada,
Henry H. Kim,
Takuya Yamauchi
Abstract:
In our previous work, he second and the third named authors constructed the Ikeda type lift for the exceptional group $E_{7,3}$ from an elliptic modular cusp form. In this paper, we prove an explicit formula for the period or the Petersson norm of the Ikeda type lift in terms of the product of the special values of the symmetric square $L$-function of the elliptic modular form.
There are similar…
▽ More
In our previous work, he second and the third named authors constructed the Ikeda type lift for the exceptional group $E_{7,3}$ from an elliptic modular cusp form. In this paper, we prove an explicit formula for the period or the Petersson norm of the Ikeda type lift in terms of the product of the special values of the symmetric square $L$-function of the elliptic modular form.
There are similar works done by the first author with his collaborator, but new technical inputs are required and developed to overcome some difficulties coming from the hugeness of $E_{7,3}$.
△ Less
Submitted 27 May, 2022; v1 submitted 31 October, 2020;
originally announced November 2020.
-
The Shintani double zeta functions
Authors:
Henry H. Kim,
Masao Tsuzuki,
Satoshi Wakatsuki
Abstract:
In this paper, we give an explicit formula of the Shintani double zeta functions with any ramification in the most general setting of adeles over an arbitrary number field. Three applications of the explicit formula are given. First, we obtain a functional equation satisfied by the Shintani double zeta functions in addition to Shintani's functional equations. Second, we establish the holomorphicit…
▽ More
In this paper, we give an explicit formula of the Shintani double zeta functions with any ramification in the most general setting of adeles over an arbitrary number field. Three applications of the explicit formula are given. First, we obtain a functional equation satisfied by the Shintani double zeta functions in addition to Shintani's functional equations. Second, we establish the holomorphicity of a certain Dirichlet series generalizing a result by Ibukiyama and Saito. This Dirichlet series occurs in the study of unipotent contributions of the geometric side of the Arthur-Selberg trace formula of the symplectic group. Third, we prove an asymptotic formula of the weighted average of the central values of quadratic Dirichlet $L$-functions.
△ Less
Submitted 7 September, 2020; v1 submitted 10 July, 2019;
originally announced July 2019.
-
A two-level overlap** Schwarz method with energy-minimizing multiscale coarse basis functions
Authors:
Junxian Wang,
Eric Chung,
Hyea Hyun Kim
Abstract:
A two-level overlap** Schwarz method is developed for second order elliptic problems with highly oscillatory and high contrast coefficients, for which it is known that the standard coarse problem fails to give a robust preconditioner. In this paper, we develop energy minimizing multiscale finite element functions to form a more robust coarse problem. First, a local spectral problem is solved in…
▽ More
A two-level overlap** Schwarz method is developed for second order elliptic problems with highly oscillatory and high contrast coefficients, for which it is known that the standard coarse problem fails to give a robust preconditioner. In this paper, we develop energy minimizing multiscale finite element functions to form a more robust coarse problem. First, a local spectral problem is solved in each non-overlap** coarse subdomain, and dominant eigenfunctions are selected as auxiliary functions, which are crucial for the high contrast case. The required multiscale basis functions are then obtained by minimizing an energy subject to some orthogonality conditions with respect to the auxiliary functions. Due to an exponential decay property, the minimization problem is solved locally on oversampling subdomains, that are unions of a few coarse subdomains. The coarse basis functions are therefore local and can be computed efficiently. The resulting preconditioner is shown to be robust with respect to the contrast in the coefficients as well as the overlap** width in the subdomain partition. Numerical results are presented to validate the theory and show the performance.
△ Less
Submitted 1 January, 2019;
originally announced January 2019.
-
Non-vanishing of Miyawaki type lift
Authors:
Henry H. Kim,
Takuya Yamauchi
Abstract:
Miyawaki type lifts are kinds of Langlands functorial lifts and a special case was first conjectured by Miyawaki and proved by Ikeda for Siegel cusp forms. Since then, such a lift for Hermitian modular forms was constructed by Atobe and Kojima , and for half-integral weight Siegel cusp forms by Hayashida, and we constructed Miyawaki type lift for ${\rm GSpin}(2,10)$. Recently Ikeda and Yamana gene…
▽ More
Miyawaki type lifts are kinds of Langlands functorial lifts and a special case was first conjectured by Miyawaki and proved by Ikeda for Siegel cusp forms. Since then, such a lift for Hermitian modular forms was constructed by Atobe and Kojima , and for half-integral weight Siegel cusp forms by Hayashida, and we constructed Miyawaki type lift for ${\rm GSpin}(2,10)$. Recently Ikeda and Yamana generalized Ikeda type construction and accordingly did Miyawaki type lift for Hilbert cusp forms in a remarkable way. In all these works, a construction of Miyawaki type lift takes two steps as follows: First, construct Ikeda type lift on a bigger group from an elliptic cusp form, and then define a certain integral on a block diagonal element which is an analogue of pull-back formula studied by Garrett for Siegel Eisenstein series. If the integral is non-vanishing, we show that it is a Hecke eigen cusp form, and it is the Miyawaki type lift. The question of non-vanishing of the integral was left open. In this paper, we show the non-vanishing for certain special cases.
△ Less
Submitted 18 July, 2018;
originally announced July 2018.
-
Equidistribution theorems for holomorphic Siegel modular forms for $GSp_4$; Hecke fields and $n$-level density
Authors:
Henry H. Kim,
Satoshi Wakatsuki,
Takuya Yamauchi
Abstract:
This paper is a continuation of the author's previous wotk. We supplement four results on a family of holomorphic Siegel cusp forms for $GSp_4/\mathbb{Q}$. First, we improve the result on Hecke fields. Namely, we prove that the degree of Hecke fields is unbounded on the subspace of genuine forms which do not come from functorial lift of smaller subgroups of $GSp_4$ under a conjecture in local-glob…
▽ More
This paper is a continuation of the author's previous wotk. We supplement four results on a family of holomorphic Siegel cusp forms for $GSp_4/\mathbb{Q}$. First, we improve the result on Hecke fields. Namely, we prove that the degree of Hecke fields is unbounded on the subspace of genuine forms which do not come from functorial lift of smaller subgroups of $GSp_4$ under a conjecture in local-global compatibility and Arthur's classification for $GSp_4$. Second, we prove simultaneous vertical Sato-Tate theorem. Namely, we prove simultaneous equidistribution of Hecke eigenvalues at finitely many primes. Third, we compute the $n$-level density of degree 4 spinor $L$-functions, and thus we can distinguish the symmetry type depending on the root numbers. This is conditional on certain conjecture on root numbers. Fourth, we consider equidistribution of paramodular forms. In this case, we can prove a result on root numbers. Main tools are the equidistribution theorem in our previous work and Shin-Templier's work.
△ Less
Submitted 27 February, 2018;
originally announced February 2018.
-
Higher level cusp forms on the exceptional group of type $E_{7}$
Authors:
Henry H. Kim,
Takuya Yamauchi
Abstract:
By using new techniques with the degenerate Whittaker functions found by Ikeda-Yamana, we construct higher level cusp form on $E_{7,3}$, called Ikeda type lift, from any Hecke cusp form whose corresponding automorphic representation has no supercuspidal local components. This generalizes the previous results on level one forms. But there are new phenomena in higher levels; first, we can handle non…
▽ More
By using new techniques with the degenerate Whittaker functions found by Ikeda-Yamana, we construct higher level cusp form on $E_{7,3}$, called Ikeda type lift, from any Hecke cusp form whose corresponding automorphic representation has no supercuspidal local components. This generalizes the previous results on level one forms. But there are new phenomena in higher levels; first, we can handle non-trivial central characters. Second, the lift depends only on the restriction of the Hecke cusp form to $SL_2$. Hence any twist of the cusp form gives rise to the same lift. However for square free levels with the trivial central character, there is no such ambiguity.
△ Less
Submitted 18 July, 2018; v1 submitted 10 November, 2017;
originally announced November 2017.
-
A mass conservative scheme for fluid-structure interaction problems by the staggered discontinuous Galerkin method
Authors:
Siu Wun Cheung,
Eric Chung,
Hyea Hyun Kim
Abstract:
In this paper, we develop a new mass conservative numerical scheme for the simulations of a class of fluid-structure interaction problems. We will use the immersed boundary method to model the fluid-structure interaction, while the fluid flow is governed by the incompressible Navier-Stokes equations. The immersed boundary method is proven to be a successful scheme to model fluid-structure interact…
▽ More
In this paper, we develop a new mass conservative numerical scheme for the simulations of a class of fluid-structure interaction problems. We will use the immersed boundary method to model the fluid-structure interaction, while the fluid flow is governed by the incompressible Navier-Stokes equations. The immersed boundary method is proven to be a successful scheme to model fluid-structure interactions. To ensure mass conservation, we will use the staggered discontinuous Galerkin method to discretize the incompressible Navier-Stokes equations. The staggered discontinuous Galerkin method is able to preserve the skew-symmetry of the convection term. In addition, by using a local postprocessing technique, the weakly divergence free velocity can be used to compute a new postprocessed velocity, which is exactly divergence free and has a superconvergence property. This strongly divergence free velocity field is the key to the mass conservation. Furthermore, energy stability is improved by the skew-symmetric discretization of the convection term. We will present several numerical results to show the performance of the method.
△ Less
Submitted 20 June, 2018; v1 submitted 5 September, 2016;
originally announced September 2016.
-
BDDC and FETI-DP algorithms with adaptive coarse spaces for three-dimensional elliptic problems with oscillatory and high contrast coefficients
Authors:
Hyea Hyun Kim,
Eric Chung,
Junxian Wang
Abstract:
BDDC and FETI-DP algorithms are developed for three-dimensional elliptic problems with adaptively enriched coarse components. It is known that these enriched components are necessary in the development of robust preconditioners. To form the adaptive coarse components, carefully designed generalized eigenvalue problems are introduced for each faces and edges, and the coarse components are formed by…
▽ More
BDDC and FETI-DP algorithms are developed for three-dimensional elliptic problems with adaptively enriched coarse components. It is known that these enriched components are necessary in the development of robust preconditioners. To form the adaptive coarse components, carefully designed generalized eigenvalue problems are introduced for each faces and edges, and the coarse components are formed by using eigenvectors with their corresponding eigenvalues larger than a given tolerance $λ_{TOL}$. Upper bounds for condition numbers of the preconditioned systems are shown to be $C λ_{TOL}$, with the constant $C$ depending only on the maximum number of edges and faces per subdomain, and the maximum number of subdomains sharing an edge. Numerical results are presented to test the robustness of the proposed approach.
△ Less
Submitted 24 June, 2016;
originally announced June 2016.
-
An equidistribution theorem for holomorphic Siegel modular forms for $GSp_4$
Authors:
Henry H. Kim,
Satoshi Wakatsuki,
Takuya Yamauchi
Abstract:
We prove an equidistribution theorem for a family of holomorphic Siegel cusp forms for $GSp_4/\mathbb{Q}$ in various aspects. A main tool is Arthur's invariant trace formula. While Shin and Shin-Templier used Euler-Poincaré functions at infinity in the formula, we use a pseudo-coefficient of a holomorphic discrete series to extract holomorphic Siegel cusp forms. Then the non-semisimple contributio…
▽ More
We prove an equidistribution theorem for a family of holomorphic Siegel cusp forms for $GSp_4/\mathbb{Q}$ in various aspects. A main tool is Arthur's invariant trace formula. While Shin and Shin-Templier used Euler-Poincaré functions at infinity in the formula, we use a pseudo-coefficient of a holomorphic discrete series to extract holomorphic Siegel cusp forms. Then the non-semisimple contributions arise from the geometric side, and this provides new second main terms $A, B_1$ in the main theorem which have not been studied and a mysterious second term $B_2$ also appears in the second main term coming from the semisimple elements. Furthermore our explicit study enables us to treat more general aspects in the weight. We also give several applications including the vertical Sato-Tate theorem, the unboundedness of Hecke fields and low-lying zeros for degree 4 spinor $L$-functions and degree 5 standard $L$-functions of holomorphic Siegel cusp forms.
△ Less
Submitted 7 April, 2016;
originally announced April 2016.
-
The average of the smallest prime in a conjugacy class
Authors:
Peter J. Cho,
Henry H. Kim
Abstract:
Let $C$ be a conjugacy class of $S_n$ and $K$ an $S_n$-field. Let $n_{K,C}$ be the smallest prime which is ramified or whose Frobenius automorphism Frob$_p$ does not belong to $C$. Under some technical conjectures, we compute the average of $n_{K,C}$. For $S_3$ and $S_4$-fields, our result is unconditional. For $S_n$-fields, $n=3,4,5$, we give a different proof which depends on the strong Artin co…
▽ More
Let $C$ be a conjugacy class of $S_n$ and $K$ an $S_n$-field. Let $n_{K,C}$ be the smallest prime which is ramified or whose Frobenius automorphism Frob$_p$ does not belong to $C$. Under some technical conjectures, we compute the average of $n_{K,C}$. For $S_3$ and $S_4$-fields, our result is unconditional. For $S_n$-fields, $n=3,4,5$, we give a different proof which depends on the strong Artin conjecture. Let $N_{K,C}$ be the smallest prime for which Frob$_p$ belongs to $C$. For $S_3$-fields, we obtain an unconditional result for the average of $N_{K,C}$ for $C=[(12)]$.
△ Less
Submitted 12 January, 2016;
originally announced January 2016.
-
Extreme residues of Dedekind zeta functions
Authors:
Peter J. Cho,
Henry H. Kim
Abstract:
In a family of $S_{d+1}$-fields ($d=2,3,4$), we obtain the true upper and lower bound of the residues of Dedekind zeta functions except for a density zero set. For $S_5$-fields, we need to assume the strong Artin conjecture. We also show that there exists an infinite family of number fields with the upper and lower bound, resp.
In a family of $S_{d+1}$-fields ($d=2,3,4$), we obtain the true upper and lower bound of the residues of Dedekind zeta functions except for a density zero set. For $S_5$-fields, we need to assume the strong Artin conjecture. We also show that there exists an infinite family of number fields with the upper and lower bound, resp.
△ Less
Submitted 21 January, 2016; v1 submitted 11 January, 2016;
originally announced January 2016.
-
Miyawaki type lift for $GSpin(2,10)$
Authors:
Henry H. Kim,
Takuya Yamauchi
Abstract:
Let $\frak T_2$ (resp. $\mathfrak{T}$) be the Hermitian symmetric domain of $Spin(2,10)$ (resp. $E_{7,3}$). In the previous work, we constructed holomorphic cusp forms on $\mathfrak{T}$ from elliptic cusp forms with respect to $SL_2(\mathbb{Z})$. By using such cusp forms we construct holomorphic cusp forms on $\mathfrak{T}_2$ which are similar to Miyawaki lift in symplectic groups established by T…
▽ More
Let $\frak T_2$ (resp. $\mathfrak{T}$) be the Hermitian symmetric domain of $Spin(2,10)$ (resp. $E_{7,3}$). In the previous work, we constructed holomorphic cusp forms on $\mathfrak{T}$ from elliptic cusp forms with respect to $SL_2(\mathbb{Z})$. By using such cusp forms we construct holomorphic cusp forms on $\mathfrak{T}_2$ which are similar to Miyawaki lift in symplectic groups established by T. Ikeda.
△ Less
Submitted 18 September, 2015; v1 submitted 1 September, 2015;
originally announced September 2015.
-
Ikeda type construction of cusp forms
Authors:
Henry H. Kim,
Takuya Yamauchi
Abstract:
This is a survey of results on the construction of holomorphic cusp forms on tube domains originally initiated by Ikeda. Besides a survey it includes conjectures and possible applications of our work.
This is a survey of results on the construction of holomorphic cusp forms on tube domains originally initiated by Ikeda. Besides a survey it includes conjectures and possible applications of our work.
△ Less
Submitted 14 July, 2015;
originally announced July 2015.
-
Central limit theorem for Artin $L$-functions
Authors:
Peter J. Cho,
Henry H. Kim
Abstract:
We show that the sum of the traces of Frobenius elements of Artin $L$-functions in a family of $G$-fields satisfies the Gaussian distribution under certain counting conjectures. We prove the counting conjectures for $S_4$ and $S_5$-fields. We also show central limit theorem for modular form $L$-functions with the trivial central character with respect to congruence subgroups as the level goes to i…
▽ More
We show that the sum of the traces of Frobenius elements of Artin $L$-functions in a family of $G$-fields satisfies the Gaussian distribution under certain counting conjectures. We prove the counting conjectures for $S_4$ and $S_5$-fields. We also show central limit theorem for modular form $L$-functions with the trivial central character with respect to congruence subgroups as the level goes to infinity.
△ Less
Submitted 24 June, 2015;
originally announced June 2015.
-
Cusp forms for exceptional group of type $E_{7}$
Authors:
Henry H. Kim,
Takuya Yamauchi
Abstract:
Let $\bf{G}$ be the connected reductive group of type $E_{7,3}$ over $\mathbb{Q}$ and $\mathfrak{T}$ be the corresponding symmetric domain in $\mathbb{C}^{27}$. Let $Γ=\bf{G}(\mathbb{Z})$ be the arithmetic subgroup defined by Baily. In this paper, for any positive integer $k\ge 10$, we will construct a (non-zero) holomorphic cusp form on $\mathfrak{T}$ of weight $2k$ with respect to $Γ$ from a Hec…
▽ More
Let $\bf{G}$ be the connected reductive group of type $E_{7,3}$ over $\mathbb{Q}$ and $\mathfrak{T}$ be the corresponding symmetric domain in $\mathbb{C}^{27}$. Let $Γ=\bf{G}(\mathbb{Z})$ be the arithmetic subgroup defined by Baily. In this paper, for any positive integer $k\ge 10$, we will construct a (non-zero) holomorphic cusp form on $\mathfrak{T}$ of weight $2k$ with respect to $Γ$ from a Hecke cusp form in $S_{2k-8}(SL_2(\mathbb{Z}))$. This lift is an analogue of Ikeda's construction.
△ Less
Submitted 1 September, 2015; v1 submitted 17 December, 2014;
originally announced December 2014.
-
Artin representations for $GL_n$
Authors:
Henry H. Kim,
Takuya Yamauchi
Abstract:
Let $π$ be a cuspidal automorphic representation of $GL_n(\mathbb{A}_\mathbb{Q})$ which satisfies certain reasonable assumptions such as integrality of Hecke polynomials, the existence of mod $\ell$ Galois representations attached to $π$. Under Langlands functoriality of exterior $m$-th power $\wedge^m(π)$, $m=2,...,[\frac n2]$, we will construct a unique Artin representation associated to $π$. As…
▽ More
Let $π$ be a cuspidal automorphic representation of $GL_n(\mathbb{A}_\mathbb{Q})$ which satisfies certain reasonable assumptions such as integrality of Hecke polynomials, the existence of mod $\ell$ Galois representations attached to $π$. Under Langlands functoriality of exterior $m$-th power $\wedge^m(π)$, $m=2,...,[\frac n2]$, we will construct a unique Artin representation associated to $π$. As a corollary, we obtain that such a cuspidal representation of $GL_n(\mathbb{A}_\mathbb{Q})$ satisfies the Ramanujan conjecture. We also revisit our previous work on Artin representations associated to non-holomorphic Siegel cusp forms of weight (2,1), and show that we can associate non-holomorphic Siegel modular forms of weight $(2,1)$ to Maass forms for $GL_2/\mathbb{Q}$ and cuspidal representations of $GL_2$ over imaginary quadratic fields.
△ Less
Submitted 7 April, 2016; v1 submitted 21 March, 2014;
originally announced March 2014.
-
Weakly holomorphic modular forms and rank two hyperbolic Kac-Moody algebras
Authors:
Henry H. Kim,
Kyu-Hwan Lee,
Yichao Zhang
Abstract:
In this paper, we compute basis elements of certain spaces of weight 0 weakly holomorphic modular forms and consider the integrality of Fourier coefficients of the modular forms. We use the results to construct automorphic correction of the rank 2 hyperbolic Kac-Moody algebras H(a), a=4,5,6, through Hilbert modular forms explicitly given by Borcherds lifts of the weakly holomorphic modular forms.…
▽ More
In this paper, we compute basis elements of certain spaces of weight 0 weakly holomorphic modular forms and consider the integrality of Fourier coefficients of the modular forms. We use the results to construct automorphic correction of the rank 2 hyperbolic Kac-Moody algebras H(a), a=4,5,6, through Hilbert modular forms explicitly given by Borcherds lifts of the weakly holomorphic modular forms. We also compute asymptotic of the Fourier coefficients as they are related to root multiplicities of the rank 2 hyperbolic Kac-Moody algebras. This work is a continuation of the previous paper, where automorphic correction was constructed for H(a), a=3, 11, 66.
△ Less
Submitted 19 September, 2013;
originally announced September 2013.
-
Artin representations for GSp_4 attached to real analytic Siegel cusp forms of weight (2,1)
Authors:
Henry H. Kim,
Takuya Yamauchi
Abstract:
Let $F$ be a vector-valued real analytic Siegel cusp eigenform of weight $(2,1)$ with the eigenvalues $-\frac 5{12}$ and 0 for the two generators of the center of the algebra consisting of all $Sp_4(\R)$-invariant differential operators on the Siegel upper half plane of degree 2. Under the assumptions (1) the validity of the transfer of automorphic representations of $GSp_4$ to $GL_4$; (2) the exi…
▽ More
Let $F$ be a vector-valued real analytic Siegel cusp eigenform of weight $(2,1)$ with the eigenvalues $-\frac 5{12}$ and 0 for the two generators of the center of the algebra consisting of all $Sp_4(\R)$-invariant differential operators on the Siegel upper half plane of degree 2. Under the assumptions (1) the validity of the transfer of automorphic representations of $GSp_4$ to $GL_4$; (2) the existence of mod $\ell$ Galois representation attached to $F$ and its lift to characteristic zero; (3) rationality of the space consisting of any such $F$; and (4) the integrality of Hecke polynomials of $F$, we construct a unique Artin representation of type $GSp_4$ associated to $F$. Several examples which satisfy these assumptions are given by using various transfers and automorphic descent.
△ Less
Submitted 17 June, 2015; v1 submitted 29 July, 2013;
originally announced July 2013.
-
Automorphic correction of the hyperbolic Kac-Moody algebra $E_{10}$
Authors:
Henry H. Kim,
Kyu-Hwan Lee
Abstract:
In this paper we study automorphic correction of the hyperbolic Kac-Moody algebra $E_{10}$, using the Borcherds product for O(10,2) attached to a weakly holomorphic modular form of weight -4 for $SL_2(\mathbb Z)$. We also clarify some aspects of automorphic correction for Lorentzian Kac-Moody algebras and give heuristic reasons for the expectation that every Lorentzian Kac-Moody algebra has an aut…
▽ More
In this paper we study automorphic correction of the hyperbolic Kac-Moody algebra $E_{10}$, using the Borcherds product for O(10,2) attached to a weakly holomorphic modular form of weight -4 for $SL_2(\mathbb Z)$. We also clarify some aspects of automorphic correction for Lorentzian Kac-Moody algebras and give heuristic reasons for the expectation that every Lorentzian Kac-Moody algebra has an automorphic correction.
△ Less
Submitted 21 April, 2013;
originally announced April 2013.
-
Rank 2 symmetric hyperbolic Kac-Moody algebras and Hilbert modular forms
Authors:
Henry H. Kim,
Kyu-Hwan Lee
Abstract:
In this paper we study rank two symmetric hyperbolic Kac-Moody algebras H(a) and their automorphic correction in terms of Hilbert modular forms. We associate a family of H(a)'s to the quadratic field Q(p) for each odd prime p and show that there exists a chain of embeddings in each family. When p = 5, 13, 17, we show that the first H(a) in each family, i.e. H(3), H(11), H(66), is contained in a ge…
▽ More
In this paper we study rank two symmetric hyperbolic Kac-Moody algebras H(a) and their automorphic correction in terms of Hilbert modular forms. We associate a family of H(a)'s to the quadratic field Q(p) for each odd prime p and show that there exists a chain of embeddings in each family. When p = 5, 13, 17, we show that the first H(a) in each family, i.e. H(3), H(11), H(66), is contained in a generalized Kac-Moody superalgebra whose denominator function is a Hilbert modular form given by a Borcherds product. Hence, our results provide automorphic correction for those H(a)'s. We also compute asymptotic formulas for the root multiplicities of the generalized Kac-Moody superalgebras using the fact that the exponents in the Borcherds products are Fourier coefficients of weakly holomorphic modular forms of weight 0.
△ Less
Submitted 9 September, 2012;
originally announced September 2012.
-
Quantum affine algebras, canonical bases and $q$-deformation of arithmetical functions
Authors:
Henry H. Kim,
Kyu-Hwan Lee
Abstract:
In this paper, we obtain affine analogues of Gindikin-Karpelevich formula and Casselman-Shalika formula as sums over Kashiwara-Lusztig's canonical bases. Suggested by these formulas, we define natural $q$-deformation of arithmetical functions such as (multi-)partition function and Ramanujan $τ$-function, and prove various identities among them. In some examples, we recover classical identities by…
▽ More
In this paper, we obtain affine analogues of Gindikin-Karpelevich formula and Casselman-Shalika formula as sums over Kashiwara-Lusztig's canonical bases. Suggested by these formulas, we define natural $q$-deformation of arithmetical functions such as (multi-)partition function and Ramanujan $τ$-function, and prove various identities among them. In some examples, we recover classical identities by taking limits. We also consider $q$-deformation of Kostant's function and study certain $q$-polynomials whose special values are weight multiplicities.
△ Less
Submitted 22 March, 2012; v1 submitted 25 January, 2011;
originally announced January 2011.
-
Functorial products for $GL_2\times GL_3$ and the symmetric cube for $GL_2$
Authors:
Henry H. Kim,
Freydoon Shahidi,
Colin J. Bushnell,
Guy Henniart
Abstract:
In this paper we prove two new cases of Langlands functoriality. The first is a functorial product for cusp forms on $GL_2\times GL_3$ as automorphic forms on $GL_6$, from which we obtain our second case, the long awaited functorial symmetric cube map for cusp forms on $GL_2$. We prove these by applying a recent version of converse theorems of Cogdell and Piatetski-Shapiro to analytic properties…
▽ More
In this paper we prove two new cases of Langlands functoriality. The first is a functorial product for cusp forms on $GL_2\times GL_3$ as automorphic forms on $GL_6$, from which we obtain our second case, the long awaited functorial symmetric cube map for cusp forms on $GL_2$. We prove these by applying a recent version of converse theorems of Cogdell and Piatetski-Shapiro to analytic properties of certain $L$-functions obtained from the method of Eisenstein series (Langlands-Shahidi method). As a consequence, we prove the bound 5/34 for Hecke eigenvalues of Maass forms over any number field and at every place, finite or infinite, breaking the crucial bound 1/6 (see below and Section 7 and 8) towards Ramanujan-Petersson and Selberg conjectures for $GL_2$. Many other applications are obtained.
△ Less
Submitted 30 September, 2004;
originally announced September 2004.
-
Symmetric cube L-functions for GL_2 are entire
Authors:
Henry H. Kim,
Freydoon Shahidi
Abstract:
The purpose of this paper is to prove the long awaited holomorphy of the third symmetric power L-functions attached to nonmonomial cusp forms of GL_2 over an arbitrary number field on the whole complex plane.
The purpose of this paper is to prove the long awaited holomorphy of the third symmetric power L-functions attached to nonmonomial cusp forms of GL_2 over an arbitrary number field on the whole complex plane.
△ Less
Submitted 31 August, 1999;
originally announced September 1999.