Showing 1–35 of 35 results for author: Saito, Y

Hidden $SL_2(\mathbb{Z})$-symmetry in $BC_l^{(2)}$

Authors: K. Iohara, Y. Saito

Abstract: A well-known \(Γ_θ\)-action on the characters of integrable highest weight modules over the affine Lie algebra of type \(BC_l^{(2)}\) at a positive level is extended to an \(\mathrm{SL}_2(\mathbb{Z})\)-action at a positive even level by supplementing their twisted characters. A well-known \(Γ_θ\)-action on the characters of integrable highest weight modules over the affine Lie algebra of type \(BC_l^{(2)}\) at a positive level is extended to an \(\mathrm{SL}_2(\mathbb{Z})\)-action at a positive even level by supplementing their twisted characters. △ Less

Submitted 5 February, 2025; originally announced February 2025.

Macdonald Identities: revisited

Authors: K. Iohara, Y. Saito

Abstract: In this note, after recalling a proof of the Macdonald identities for untwisted affine root systems, we derive the Macdonald identities for twisted affine root systems. In this note, after recalling a proof of the Macdonald identities for untwisted affine root systems, we derive the Macdonald identities for twisted affine root systems. △ Less

Submitted 15 January, 2025; v1 submitted 11 September, 2024; originally announced September 2024.

Comments: Revised accepted version

MSC Class: 17B22; 11F20; 17B67

Classification of marked elliptic root systems with non-reduced quotient

Authors: A. Fialowski, K. Iohara, Y. Saito

Abstract: K. Saito (Publ. RIMS 21 (1), 1985, 75-179) has introduced a class of root systems called elliptic root systems which lies in the real vector space $F$ with a metric $I$ whose signature is of type $(l,2,0)$. He also classified the pair $(R,G)$ of an elliptic root system $R$ with one dimensional subspace $G$ of the radical of $I$, under the assumption that the quotient root system $R/G$ is reduced.… ▽ More K. Saito (Publ. RIMS 21 (1), 1985, 75-179) has introduced a class of root systems called elliptic root systems which lies in the real vector space $F$ with a metric $I$ whose signature is of type $(l,2,0)$. He also classified the pair $(R,G)$ of an elliptic root system $R$ with one dimensional subspace $G$ of the radical of $I$, under the assumption that the quotient root system $R/G$ is reduced. Here, we classify the pairs $(R,G)$ where $R/G$ is non-reduced. △ Less

Submitted 2 August, 2024; originally announced August 2024.

Defining relations of 3-dimensional cubic AS-regular algebras of Type P, S and T

Authors: Masaki Matsuno, Yu Saito

Abstract: Classification of AS-regular algebras is one of the most important projects in noncommutative algebraic geometry. Recently, Itaba and the first author gave a complete list of defining relations of $3$-dimensional quadratic AS-regular algebras by using the notion of geometric algebra and twisted superpotential. In this paper, we extend the notion of geometric algebra to cubic algebras, and give a g… ▽ More Classification of AS-regular algebras is one of the most important projects in noncommutative algebraic geometry. Recently, Itaba and the first author gave a complete list of defining relations of $3$-dimensional quadratic AS-regular algebras by using the notion of geometric algebra and twisted superpotential. In this paper, we extend the notion of geometric algebra to cubic algebras, and give a geometric condition for isomorphism and graded Morita equivalence. One of the main results is a complete list of defining relations of $3$-dimensional cubic AS-regular algebras corresponding to $\mathbb{P}^1 \times \mathbb{P}^1$ or a union of irreducible divisors of bidegree $(1,1)$ in $\mathbb{P}^1 \times \mathbb{P}^1$. Moreover, we classify them up to isomorphism and up to graded Morita equivalence in terms of their defining relations. △ Less

Submitted 20 September, 2023; originally announced September 2023.

Comments: 20 pages, 2 tables

MSC Class: 14A22; 16W50; 16S38; 16D90; 16E65

Classification of marked elliptic root systems with non-reduced affine quotient

Authors: A. Fialowski, K. Iohara, Y. Saito

Abstract: The class of root systems, called elliptic root systems, were introduced in 1985 by K. Saito, for his studies on a normal surface singularity which contains a regular elliptic curve in its minimal resolution. He also classified such root systems when they admit a reduced affine quotient, as root system. In this note, we provide the classification of elliptic root systems that admit a non-reduced a… ▽ More The class of root systems, called elliptic root systems, were introduced in 1985 by K. Saito, for his studies on a normal surface singularity which contains a regular elliptic curve in its minimal resolution. He also classified such root systems when they admit a reduced affine quotient, as root system. In this note, we provide the classification of elliptic root systems that admit a non-reduced affine quotient, thus complete the classification of such root systems. △ Less

Submitted 14 May, 2023; v1 submitted 8 April, 2023; originally announced April 2023.

Comments: This is a short annoucement. A detailed (long) version is in preparation

MSC Class: 17B22 (primary) 17B67; 08A35 (secondary)

Nondominated-Solution-based Multi-objective Greedy Sensor Selection for Optimal Design of Experiments

Authors: Kumi Nakai, Yasuo Sasaki, Takayuki Nagata, Keigo Yamada, Yuji Saito, Taku Nonomura

Abstract: In this study, a nondominated-solution-based multi-objective greedy method is proposed and applied to a sensor selection problem based on the multiple indices of the optimal design of experiments. The proposed method simultaneously considers multiple set functions and applies the idea of Pareto ranking for the selection of sets. Specifically, a new index is iteratively added to the nondominated so… ▽ More In this study, a nondominated-solution-based multi-objective greedy method is proposed and applied to a sensor selection problem based on the multiple indices of the optimal design of experiments. The proposed method simultaneously considers multiple set functions and applies the idea of Pareto ranking for the selection of sets. Specifically, a new index is iteratively added to the nondominated solutions of sets, and the multi-objective functions are evaluated for new sets. The nondominated solutions are selected from the examined solutions, and the next sets are then considered. With this procedure, the multi-objective optimization of multiple set functions can be conducted with reasonable computational costs. This paper defines a new class of greedy algorithms which includes the proposed nondominated-solution-based multi-objective greedy algorithm and the group greedy algorithm, and the characteristics of those algorithms are theoretically discussed. Then, the proposed method is applied to the sensor selection problem and its performance is evaluated. The results of the test case show that the proposed method not only gives the Pareto-optimal front of the multi-objective optimization problem but also produces sets of sensors in terms of D-, A-, and E-optimality, that are superior to the sets selected by pure greedy methods that consider only a single objective function. △ Less

Submitted 19 June, 2023; v1 submitted 27 April, 2022; originally announced April 2022.

Comments: Accepted manuscript for publication in IEEE Transactions on Signal Processing

Journal ref: IEEE Transactions on Signal Processing, vol. 70, pp. 5694-5707, 2022

Overconvergent Lubin-Tate $(φ, Γ)$-modules for different uniformizers

Authors: Yuta Saito

Abstract: Let F be a non-archimedean local field. The construction of Lubin-Tate $(φ_q, Γ)$-modules attached to p-adic representations of $G_F$ depends on the choice of a uniformizer of F. In this paper, we give a description of a functor which relates categories of overconvergent Lubin-Tate $(φ_q, Γ)$-modules for different uniformizers. Further, we study this functor more explicitly for 2-dimensional trian… ▽ More Let F be a non-archimedean local field. The construction of Lubin-Tate $(φ_q, Γ)$-modules attached to p-adic representations of $G_F$ depends on the choice of a uniformizer of F. In this paper, we give a description of a functor which relates categories of overconvergent Lubin-Tate $(φ_q, Γ)$-modules for different uniformizers. Further, we study this functor more explicitly for 2-dimensional trianguline representations. △ Less

Submitted 30 June, 2021; originally announced June 2021.

Comments: 12pages

Effect of Objective Function on Data-Driven Greedy Sparse Sensor Optimization

Authors: Kumi Nakai, Keigo Yamada, Takayuki Nagata, Yuji Saito, Taku Nonomura

Abstract: The selection problem of an optimal set of sensors estimating the snapshot of high-dimensional data is considered. The objective functions based on various criteria of optimal design are adopted to the greedy method: D-optimality, A-optimality, and E-optimality, which maximizes the determinant, minimize the trace of inverse, and maximize the minimum eigenvalue of the Fisher information matrix, res… ▽ More The selection problem of an optimal set of sensors estimating the snapshot of high-dimensional data is considered. The objective functions based on various criteria of optimal design are adopted to the greedy method: D-optimality, A-optimality, and E-optimality, which maximizes the determinant, minimize the trace of inverse, and maximize the minimum eigenvalue of the Fisher information matrix, respectively. First, the Fisher information matrix is derived depending on the numbers of latent state variables and sensors. Then, the unified formulation of the objective function based on A-optimality is introduced and proved to be submodular, which provides the lower bound on the performance of the greedy method. Next, the greedy methods based on D-, A-, and E-optimality are applied to randomly generated systems and a practical data set of global climates. The sensors selected by the D-optimality objective function works better than those by A- and E-optimality with regard to the determinant, trace of the inverse, and reconstruction error, while those by A-optimality works the best with regard to the minimum eigenvalue. On the other hand, the performance of sensors selected by the E-optimality objective function is worse for all indices and reconstruction error. This might be because of the lack of submodularity as proved in the paper. The results indicate that the greedy method based on D-optimality is the most suitable for high accurate reconstruction with low computational cost. △ Less

Submitted 8 April, 2021; v1 submitted 10 July, 2020; originally announced July 2020.

Journal ref: IEEE Access, 9 (2021) 46731 - 46743

Fast Greedy Optimization of Sensor Selection in Measurement with Correlated Noise

Authors: Keigo Yamada, Yuji Saito, Koki Nankai, Taku Nonomura, Keisuke Asai, Daisuke Tsubakino

Abstract: A greedy algorithm is proposed for sparse-sensor selection in reduced-order sensing that contains correlated noise in measurement. The sensor selection is carried out by maximizing the determinant of the Fisher information matrix in a Bayesian estimation operator.The Bayesian estimation with a covariance matrix of the measurement noise and a prior probability distribution of estimating parameters,… ▽ More A greedy algorithm is proposed for sparse-sensor selection in reduced-order sensing that contains correlated noise in measurement. The sensor selection is carried out by maximizing the determinant of the Fisher information matrix in a Bayesian estimation operator.The Bayesian estimation with a covariance matrix of the measurement noise and a prior probability distribution of estimating parameters, which are given by the modal decomposition of high dimensional data, robustly works even in the presence of the correlated noise. After computational efficiency of the algorithm is improved by a low-rank approximation of the noise covariance matrix, the proposed algorithms are applied to various problems. The proposed method yields more accurate reconstruction than the previously presented method with the determinant-based greedy algorithm, with reasonable increase in computational time. △ Less

Submitted 26 April, 2021; v1 submitted 3 December, 2019; originally announced December 2019.

Comments: Presented in APS-DFD 2019 Accepted for publication at 3 Jan 2021

MSC Class: 37M05(Primary); 90C27(Secondary); 62F15(Tertiary)

Journal ref: Mechanical Systems and Signal Processing 158C (2021) 107619

Invariants of the Weyl Group of Type $A_{2l}^{(2)}$

Authors: Kenji Iohara, Yosihisa Saito

Abstract: In this note, we show the polynomiality of the ring of invariants with respect to the Weyl group of type $A_{2l}^{(2)}$. In this note, we show the polynomiality of the ring of invariants with respect to the Weyl group of type $A_{2l}^{(2)}$. △ Less

Submitted 27 June, 2019; v1 submitted 1 March, 2019; originally announced March 2019.

Comments: 23 pages, some typos corrected and details added. Accepted version for publication

Quantized coordinate rings, PBW-type bases and $q$-boson algebras

Authors: Yoshihisa Saito

Abstract: Recently, Kuniba, Okado and Yamada proved that the transition matrix of PBW-type bases of the positive-half of a quantized universal enveloping algebra $U_q(\mathfrak{g})$ coincides with a matrix coefficients of the intertwiner between certain irreducible modules over the corresponding quantized coordinate ring $A_q(\mathfrak{g})$, introduced by Soibelman. In the present article, we give a new pro… ▽ More Recently, Kuniba, Okado and Yamada proved that the transition matrix of PBW-type bases of the positive-half of a quantized universal enveloping algebra $U_q(\mathfrak{g})$ coincides with a matrix coefficients of the intertwiner between certain irreducible modules over the corresponding quantized coordinate ring $A_q(\mathfrak{g})$, introduced by Soibelman. In the present article, we give a new proof of their result, by using representation theory of the $q$-boson algebra, and the Drinfeld paring of $U_q(\mathfrak{g})$. △ Less

Submitted 28 November, 2014; originally announced November 2014.

Comments: 25 pages

MSC Class: Primary 17B37; Secondary 17B67; 81R10; 81R50

Improved Sobolev Embedding Theorems for Vector-valued Functions

Authors: Takashi Ichinose, Yoshimi Saitō

Abstract: The aim of this paper is to give an extension of the improved Sobolev embedding theorem for single-valued functions to the case of vector-valued functions which is involved with the three-dimensional massless Dirac operator together with the three- or two-dimensional Weyl--Dirac (or Pauli) operator, the Cauchy--Riemann operator and also the four-dimensional Euclidian Dirac operator. The aim of this paper is to give an extension of the improved Sobolev embedding theorem for single-valued functions to the case of vector-valued functions which is involved with the three-dimensional massless Dirac operator together with the three- or two-dimensional Weyl--Dirac (or Pauli) operator, the Cauchy--Riemann operator and also the four-dimensional Euclidian Dirac operator. △ Less

Submitted 27 June, 2014; v1 submitted 28 March, 2014; originally announced March 2014.

Comments: 40 pages. To appear in Funkcialaj Ekvacioj 57 (2014)

Elliptic Ding-Iohara Algebra and Commutative Families of the Elliptic Macdonald Operator

Authors: Yosuke Saito

Abstract: The elliptic Ding-Iohara algebra is an elliptic quantum group obtained from the free field realization of the elliptic Macdonald operator. In this article, we show the construction of two families of commuting operators which contain the elliptic Macdonald operator by using the elliptic Ding-Iohara algebra and the elliptic Feigin-Odesskii algebra. The elliptic Ding-Iohara algebra is an elliptic quantum group obtained from the free field realization of the elliptic Macdonald operator. In this article, we show the construction of two families of commuting operators which contain the elliptic Macdonald operator by using the elliptic Ding-Iohara algebra and the elliptic Feigin-Odesskii algebra. △ Less

Submitted 2 October, 2013; v1 submitted 26 September, 2013; originally announced September 2013.

Comments: 21 pages. This article is based on the talk given by the author at "16 th Workshop on Representation Theory of Algebraic Groups and Quantum Groups" (June, 2013). arXiv admin note: text overlap with arXiv:1305.7097

Commutative Families of the Elliptic Macdonald Operator

Authors: Yosuke Saito

Abstract: In the paper [J. Math. Phys. 50 (2009), 095215, 42 pages, arXiv:0904.2291], Feigin, Hashizume, Hoshino, Shiraishi, and Yanagida constructed two families of commuting operators which contain the Macdonald operator (commutative families of the Macdonald operator). They used the Ding-Iohara-Miki algebra and the trigonometric Feigin-Odesskii algebra. In the previous paper [arXiv:1301.4912], the presen… ▽ More In the paper [J. Math. Phys. 50 (2009), 095215, 42 pages, arXiv:0904.2291], Feigin, Hashizume, Hoshino, Shiraishi, and Yanagida constructed two families of commuting operators which contain the Macdonald operator (commutative families of the Macdonald operator). They used the Ding-Iohara-Miki algebra and the trigonometric Feigin-Odesskii algebra. In the previous paper [arXiv:1301.4912], the present author constructed the elliptic Ding-Iohara-Miki algebra and the free field realization of the elliptic Macdonald operator. In this paper, we show that by using the elliptic Ding-Iohara-Miki algebra and the elliptic Feigin-Odesskii algebra, we can construct commutative families of the elliptic Macdonald operator. In Appendix, we will show a relation between the elliptic Macdonald operator and its kernel function by the free field realization. △ Less

Submitted 11 March, 2014; v1 submitted 30 May, 2013; originally announced May 2013.

Journal ref: SIGMA 10 (2014), 021, 17 pages

Elliptic Ding-Iohara Algebra and the Free Field Realization of the Elliptic Macdonald Operator

Authors: Yosuke Saito

Abstract: The Ding-Iohara algebra is a quantum algebra arising from the free field realization of the Macdonald operator. Starting from the elliptic kernel function introduced by Komori, Noumi and Shiraishi, we can define an elliptic analog of the Ding-Iohara algebra. The free field realization of the elliptic Macdonald operator is also constructed. The Ding-Iohara algebra is a quantum algebra arising from the free field realization of the Macdonald operator. Starting from the elliptic kernel function introduced by Komori, Noumi and Shiraishi, we can define an elliptic analog of the Ding-Iohara algebra. The free field realization of the elliptic Macdonald operator is also constructed. △ Less

Submitted 25 July, 2013; v1 submitted 21 January, 2013; originally announced January 2013.

Comments: 42 pages

Toward Berenstein-Zelevinsky data in affine type $A$, part III: Proof of the connectedness

Authors: Satoshi Naito, Daisuke Sagaki, Yoshihisa Saito

Abstract: We prove the connectedness of the crystal, which we introduced in our previous works. We prove the connectedness of the crystal, which we introduced in our previous works. △ Less

Submitted 29 March, 2012; originally announced March 2012.

Comments: 32 pages, no figure

MSC Class: Primary 17B37; Secondary 17B67; 81R10; 81R50

Toward Berenstein-Zelevinsky data in affine type $A$, part II: Explicit description

Authors: Satoshi Naito, Daisuke Sagaki, Yoshihisa Saito

Abstract: In the present paper, we give an explicit description of the affine analogs of Berenstein-Zelevinsky data constructed in our previous paper: Toward Berenstein-Zelevinsky data in affine type $A$, I: Construction of affine analogs (arXiv:1009.4526), in terms of certain collections of nonnegative integers, which we call Lusztig data of type $A_{l-1}^{(1)}$. In the present paper, we give an explicit description of the affine analogs of Berenstein-Zelevinsky data constructed in our previous paper: Toward Berenstein-Zelevinsky data in affine type $A$, I: Construction of affine analogs (arXiv:1009.4526), in terms of certain collections of nonnegative integers, which we call Lusztig data of type $A_{l-1}^{(1)}$. △ Less

Submitted 19 January, 2011; originally announced January 2011.

Comments: 29 pages

MSC Class: Primary 17B37; Secondary 17B67; 81R10; 81R50

A sequence of zero modes of Weyl-Dirac operators and an associated sequence of solvable polynomials

Authors: Y. Saito, T. Umeda

Abstract: It is shown that a series of solvable polynomials is attached to the series of zero modes constructed by Adam, Muratori and Nash \cite{AdamMuratoriNash1 It is shown that a series of solvable polynomials is attached to the series of zero modes constructed by Adam, Muratori and Nash \cite{AdamMuratoriNash1 △ Less

Submitted 17 January, 2011; originally announced January 2011.

Comments: 13 pages

MSC Class: 35Q40

Mirković-Vilonen Polytopes and a quiver construction of crystal basis in type $A$

Authors: Yoshihisa Saito

Abstract: In the current paper, we give a quiver theoretical interpretation of Mirković-Vilonen polytopes in type $A_n$. As a by-product, we give a new proof of the Anderson-Mirković conjecture which describes the explicit forms of the actions of lowering Kashiwara operators on the set of Mirković-Vilonen polytopes. In the current paper, we give a quiver theoretical interpretation of Mirković-Vilonen polytopes in type $A_n$. As a by-product, we give a new proof of the Anderson-Mirković conjecture which describes the explicit forms of the actions of lowering Kashiwara operators on the set of Mirković-Vilonen polytopes. △ Less

Submitted 28 January, 2011; v1 submitted 1 October, 2010; originally announced October 2010.

Comments: 29 pages

Toward Berenstein-Zelevinsky data in affine type $A$, I: Construction of affine analogs

Authors: Satoshi Naito, Daisuke Sagaki, Yoshihisa Saito

Abstract: We give (conjectural) analogs of Berenstein-Zelevinsky data for affine type $A$. Moreover, by using these affine analogs of Berenstein-Zelevinsky data, we realize the crystal basis of the negative part of the quantized universal enveloping algebra of the (Langlands dual) Lie algebra of affine type $A$. We give (conjectural) analogs of Berenstein-Zelevinsky data for affine type $A$. Moreover, by using these affine analogs of Berenstein-Zelevinsky data, we realize the crystal basis of the negative part of the quantized universal enveloping algebra of the (Langlands dual) Lie algebra of affine type $A$. △ Less

Submitted 23 September, 2010; originally announced September 2010.

Comments: 46 pages

Dirac--Sobolev Spaces and Sobolev Spaces

Authors: Takashi Ichinose, Yoshimi Saitō

Abstract: The aim of this work is to study the first order Dirac-Sobolev spaces in $L^p$ norm on an open subset of ${\mathbb R}^3$ to clarify its relationship with the corresponding Sobolev spaces. It is shown that for $1< p <\infty$, they coincide, while for $p=1$, the latter spaces are proper subspaces of the former. The aim of this work is to study the first order Dirac-Sobolev spaces in $L^p$ norm on an open subset of ${\mathbb R}^3$ to clarify its relationship with the corresponding Sobolev spaces. It is shown that for $1< p <\infty$, they coincide, while for $p=1$, the latter spaces are proper subspaces of the former. △ Less

Submitted 1 January, 2010; originally announced January 2010.

Comments: to appear in Funkcialaj Ekvacioj, 2010

MSC Class: 46E35; 46E40

Eigenfunctions at the threshold energies of magnetic Dirac operators

Authors: Yoshimi Saito, Tomio Umeda

Abstract: Discussed are $\pm m$ modes and $\pm m$ resonances of Dirac operators with vector potentials $H_{\!A}= α\cdot (D - A(x)) + m β$. Asymptotic limits of $\pm m$ modes at infinity are derived when $|A(x)| \le C<x>^{-ρ}$, $ρ> 1$, provided that $H_A$ has $\pm m$ modes. In wider classes of vector potentials, sparseness of the vector potentials which give rise to the $\pm m$ modes of $H_A$ are established… ▽ More Discussed are $\pm m$ modes and $\pm m$ resonances of Dirac operators with vector potentials $H_{\!A}= α\cdot (D - A(x)) + m β$. Asymptotic limits of $\pm m$ modes at infinity are derived when $|A(x)| \le C<x>^{-ρ}$, $ρ> 1$, provided that $H_A$ has $\pm m$ modes. In wider classes of vector potentials, sparseness of the vector potentials which give rise to the $\pm m$ modes of $H_A$ are established. It is proved that no $H_A$ has $\pm m$ resonances if $|A(x)|\le C<x>^{-ρ}$, $ρ>3/2$. △ Less

Submitted 9 December, 2010; v1 submitted 7 May, 2009; originally announced May 2009.

Comments: 25 pages, New results are added

MSC Class: 35P99; 81Q60

Journal ref: Rev. Math. Phys. 23, 155 (2011)

Indecomposable decomposition of tensor products of modules over the restricted quantum universal enveloping algebra associated to $\boldsymbol{\mathfrak{sl}_2}$

Authors: Hiroki Kondo, Yoshihisa Saito

Abstract: In this paper we study the tensor category structure of the module category of the restricted quantum enveloping algebra associated to $\mathfrak{sl}_2$. Indecomposable decomposition of all tensor products of modules over this algebra is completely determined in explicit formulas. As a by-product, we show that the module category of the restricted quantum enveloping algebra associated to… ▽ More In this paper we study the tensor category structure of the module category of the restricted quantum enveloping algebra associated to $\mathfrak{sl}_2$. Indecomposable decomposition of all tensor products of modules over this algebra is completely determined in explicit formulas. As a by-product, we show that the module category of the restricted quantum enveloping algebra associated to $\mathfrak{sl}_2$ is not a braided tensor category. △ Less

Submitted 1 October, 2010; v1 submitted 27 January, 2009; originally announced January 2009.

Comments: 18pages, 1 figure, we modified Section 4 of the first version and added Appendix B to explain known results on representation theory of $\bar{D}$. We also added Appendix A for general facts on finite dimensional Hopf algebras

The Rational qKZ Equation and Shifted Non-Symmetric Jack Polynomials

Authors: Saburo Kakei, Michitomo Nishizawa, Yoshihisa Saito, Yoshihiro Takeyama

Abstract: We construct special solutions to the rational quantum Knizhnik-Zamolodchikov equation associated with the Lie algebra $gl_N$. The main ingredient is a special class of the shifted non-symmetric Jack polynomials. It may be regarded as a shifted version of the singular polynomials studied by Dunkl. We prove that our solutions contain those obtained as a scaling limit of matrix elements of the ver… ▽ More We construct special solutions to the rational quantum Knizhnik-Zamolodchikov equation associated with the Lie algebra $gl_N$. The main ingredient is a special class of the shifted non-symmetric Jack polynomials. It may be regarded as a shifted version of the singular polynomials studied by Dunkl. We prove that our solutions contain those obtained as a scaling limit of matrix elements of the vertex operators of level one. △ Less

Submitted 27 January, 2009; v1 submitted 14 October, 2008; originally announced October 2008.

Comments: no figure, we gave a proof of the conjecture in the second version; we modified section 4.2 of the first version to correct an error in Proposition 4.4 and give more general result

MSC Class: 39A13; 33C52; 81R50

Journal ref: SIGMA 5 (2009), 010, 12 pages

Dirac-Sobolev inequalities and estimates for the zero modes of massless Dirac operators

Authors: A. Balinsky, W. D. Evans, Y. Saito

Abstract: The paper analyses the decay of any zero modes that might exist for a massless Dirac operator $H:= \ba \cdot (1/i) \bgrad + Q, $ where $Q$ is $4 \times 4$-matrix-valued and of order $O(|\x|^{-1})$ at infinity. The approach is based on inversion with respect to the unit sphere in $\R^3$ and establishing embedding theorems for Dirac-Sobolev spaces of spinors $f$ which are such that $f$ and $Hf$ li… ▽ More The paper analyses the decay of any zero modes that might exist for a massless Dirac operator $H:= \ba \cdot (1/i) \bgrad + Q, $ where $Q$ is $4 \times 4$-matrix-valued and of order $O(|\x|^{-1})$ at infinity. The approach is based on inversion with respect to the unit sphere in $\R^3$ and establishing embedding theorems for Dirac-Sobolev spaces of spinors $f$ which are such that $f$ and $Hf$ lie in $(L^p(\R^3))^4, 1\le p<\infty.$ △ Less

Submitted 12 December, 2007; originally announced December 2007.

Comments: 11 pages

MSC Class: 35Q40; 47F05; 81Q10

The asymptotic limits of zero modes of massless Dirac operators

Authors: Yoshimi Saito, Tomio Umeda

Abstract: Asymptotic behaviors of zero modes of the massless Dirac operator $H=α\cdot D + Q(x)$ are discussed, where $α= (α_1, α_2, α_3)$ is the triple of $4 \times 4$ Dirac matrices, $ D=\frac{1}{i} \nabla_x$, and $Q(x)=\big(q_{jk} (x) \big)$ is a $4\times 4$ Hermitian matrix-valued function with $| q_{jk}(x) | \le C < x >^{-ρ} $, $ρ>1$. We shall show that for every zero mode $f$, the asymptotic li… ▽ More Asymptotic behaviors of zero modes of the massless Dirac operator $H=α\cdot D + Q(x)$ are discussed, where $α= (α_1, α_2, α_3)$ is the triple of $4 \times 4$ Dirac matrices, $ D=\frac{1}{i} \nabla_x$, and $Q(x)=\big(q_{jk} (x) \big)$ is a $4\times 4$ Hermitian matrix-valued function with $| q_{jk}(x) | \le C < x >^{-ρ} $, $ρ>1$. We shall show that for every zero mode $f$, the asymptotic limit of $|x|^2f(x)$ as $|x| \to +\infty$ exists. The limit is expressed in terms of an integral of $Q(x)f(x)$. △ Less

Submitted 20 July, 2007; originally announced July 2007.

Comments: 9 pages

MSC Class: 35Q40; 35P99; 81Q10

The zero modes and zero resonances of massless Dirac operators

Authors: Yoshimi Saito, Tomio Umeda

Abstract: The zero modes and zero resonances of the Dirac operator $H=α\cdot D + Q(x)$ are discussed, where $α= (α_1, α_2, α_3)$ is the triple of $4 \times 4$ Dirac matrices, $ D=\frac{1}{i} \nabla_x$, and $Q(x)=\big(q_{jk} (x) \big)$ is a $4\times 4$ Hermitian matrix-valued function with $| q_{jk}(x) | \le C < x >^{-ρ} $, $ρ>1$. We shall show that every zero mode $f(x)$ is continuous on… ▽ More The zero modes and zero resonances of the Dirac operator $H=α\cdot D + Q(x)$ are discussed, where $α= (α_1, α_2, α_3)$ is the triple of $4 \times 4$ Dirac matrices, $ D=\frac{1}{i} \nabla_x$, and $Q(x)=\big(q_{jk} (x) \big)$ is a $4\times 4$ Hermitian matrix-valued function with $| q_{jk}(x) | \le C < x >^{-ρ} $, $ρ>1$. We shall show that every zero mode $f(x)$ is continuous on ${\mathbb R}^3$ and decays at infinity with the decay rate $|x|^{-2}$. Also, we shall show that $H$ has no zero resonance if $ρ> 3/2$. △ Less

Submitted 26 April, 2007; v1 submitted 21 December, 2006; originally announced December 2006.

Comments: 24 pages. The main theorems have been improved. The paper will appear in Hokkaido Mathematical Journal

MSC Class: 35Q40 (primary): 81Q10 (secondary)

Crystal bases and quiver varieties (Geometric construction of crystal bases II)

Authors: Yoshihisa Saito

Abstract: We give a crystal structure on the set of all irreducible components of Lagrangian subvarieties of quiver varieties. One con show that, as a crystal, it is isomorphic to the crystal base of an irreducible highest weight representation of a quantized universal enveloping algebra. We give a crystal structure on the set of all irreducible components of Lagrangian subvarieties of quiver varieties. One con show that, as a crystal, it is isomorphic to the crystal base of an irreducible highest weight representation of a quantized universal enveloping algebra. △ Less

Submitted 21 November, 2001; originally announced November 2001.

Comments: 17 pages

MSC Class: 17B35; 14D30; 16G20

The reduced wave equation in layered materials

Authors: Willi Jager, Yoshimi Saito

Abstract: Let H = -(1/m(x))L be the reduced wave operator defined on the N-dimensional Euclidean space, where \f L is the Laplacian. Here m(x) is a positive step function with possible countably infinte surfaces of discontinuity (separating surfaces) under the compatibilty condition (1.12) on each separating surface. These compatibily condition allows us to treat the cases, among others, the separating su… ▽ More Let H = -(1/m(x))L be the reduced wave operator defined on the N-dimensional Euclidean space, where \f L is the Laplacian. Here m(x) is a positive step function with possible countably infinte surfaces of discontinuity (separating surfaces) under the compatibilty condition (1.12) on each separating surface. These compatibily condition allows us to treat the cases, among others, the separating surfaces are cylinders. The case where the separating surface has only one connected component was discussed in [9]. Also the case where the separating surface is cone-shaped was considered by Eidus [6] and others ([10], [11]). We shall prove the limiting absorption principle for H. Also we shall discuss the case where m(x) is perturbed by a short-range or long-range function. △ Less

Submitted 14 February, 1999; originally announced February 1999.

Comments: 32 pages; no figures

Journal ref: Osaka J. Math. 34 (1997) 267-301

On the spectrum of the reduced wave operator with cylindrical discontinuity

Authors: Willi Jager, Yoshimi Saito

Abstract: Consider the differential operator H = -(1/m(x))L, where L is the N-dimensional Laplacian, in the weighted Hilbert space of square integrable functions on N-dimensional Euclidean space with weight m(x)dx. Here m(x) is a positive step function with a surface S of discontinuity (the separation surface). So far the stratified media in which the separating surface S consists of paralell planes have… ▽ More Consider the differential operator H = -(1/m(x))L, where L is the N-dimensional Laplacian, in the weighted Hilbert space of square integrable functions on N-dimensional Euclidean space with weight m(x)dx. Here m(x) is a positive step function with a surface S of discontinuity (the separation surface). So far the stratified media in which the separating surface S consists of paralell planes have been vigorously studied. Also the case where S has a cone shape has been discussed. In this work we shall deal with a new type of discontinuity which we call cylindrical discontinuity. Under this condition we shall use the limiting absorption method to prove that H is absolute continuous. Our method is based on a apriori estimates of radiation condition term. △ Less

Submitted 14 February, 1999; originally announced February 1999.

Comments: 36 pages; no figures

Journal ref: Forum Mathematicum 9 (1997) 29-60

Resolvent estimates of the Dirac operator

Authors: Chris Pladdy, Yoshimi Saito, Tomio Umeda

Abstract: We shall investigate the asymptotic behavior of the extended resolvent R(s) of the Dirac operator as |s| increases to infinity, where s is a real parameter. It will be shown that the norm of R(s), as a bounded operator between two weighted Hilbert spaces of square integrable functions on the 3-dimensional Euclidean space, stays bounded. Also we shall show that R(s) converges 0 strongly as |s| in… ▽ More We shall investigate the asymptotic behavior of the extended resolvent R(s) of the Dirac operator as |s| increases to infinity, where s is a real parameter. It will be shown that the norm of R(s), as a bounded operator between two weighted Hilbert spaces of square integrable functions on the 3-dimensional Euclidean space, stays bounded. Also we shall show that R(s) converges 0 strongly as |s| increases to infinity. This result and a result of Yamada [15] are combined to indicate that the extended resolvent of the Dirac operator decays much more slowly than those of Schroedinger operators. △ Less

Submitted 14 February, 1999; originally announced February 1999.

Comments: 28 pages, no figures

Journal ref: Analysis 15 (1995) 123-149

The uniqueness of the solution of the Schrodinger equation with discontinuous coefficients

Authors: Willi Jager, Yoshimi Saito

Abstract: Consider the Schroeodinger equation: - Du(x) - l(x)u + s(x)u = 0, where D is the Laplacian, l(x) > 0 and s(x) is dominated by l(x). We shall extend the celebrated Kato's result on the asymptotic behavior of the solution to the case where l(x) has unbounded discontinuity. The result will be used to establish the limiting absorption principle for a class of reduced wave operators with discontinuou… ▽ More Consider the Schroeodinger equation: - Du(x) - l(x)u + s(x)u = 0, where D is the Laplacian, l(x) > 0 and s(x) is dominated by l(x). We shall extend the celebrated Kato's result on the asymptotic behavior of the solution to the case where l(x) has unbounded discontinuity. The result will be used to establish the limiting absorption principle for a class of reduced wave operators with discontinuous coefficients. △ Less

Submitted 30 November, 1998; originally announced November 1998.

Comments: 29 (twenty-nine) pages; no figures; to appear in Reviews of Mathematical Physics

Journal ref: Reviews in Mathematical Physics 10 (1998) 963-987

Toroidal actions on level 1 modules of U_q(\hat{sl_n})

Authors: Y. Saito, K. Takemura, D. Uglov

Abstract: Recently Varagnolo and Vasserot established that the q-deformed Fock spaces due to Hayashi, and Kashiwara, Miwa and Stern, admit actions of the quantum toroidal algebra $U_q(sl_n,tor)$ (n > 2) with the level (0,1). In the present article we propose a more detailed proof of this fact then the one given by Varagnolo and Vasserot. The proof is based on certain non-trivial properties of Cherednik's… ▽ More Recently Varagnolo and Vasserot established that the q-deformed Fock spaces due to Hayashi, and Kashiwara, Miwa and Stern, admit actions of the quantum toroidal algebra $U_q(sl_n,tor)$ (n > 2) with the level (0,1). In the present article we propose a more detailed proof of this fact then the one given by Varagnolo and Vasserot. The proof is based on certain non-trivial properties of Cherednik's commuting difference operators. The quantum toroidal action on the Fock space depends on a certain parameter. We find that with a specific choice of this parameter the action on the Fock spaces gives rise to the toroidal action on irreducible level-1 highest weight modules of the affine quantum algebra $U_q(\hat{sl}_n)$. Similarly, by a specific choice of the parameter, the level (1,0) vertex representation of the quantum toroidal algebra gives rise to a $U_q(sl_n,tor)$-module structure on irreducible level-1 highest weight $U_q(\hat{sl}_n)$-modules. △ Less

Submitted 1 March, 1997; v1 submitted 19 February, 1997; originally announced February 1997.

Comments: 27 pages, AMSLaTex, changes in the abstract and the introduction

Report number: RIMS-1133

Quantum toroidal algebras and their vertex representations

Authors: Yoshihisa Saito

Abstract: We change the definition of the vertex representations. As a result the vertex representations has one parameter. We change the definition of the vertex representations. As a result the vertex representations has one parameter. △ Less

Submitted 9 February, 1997; v1 submitted 22 November, 1996; originally announced November 1996.

Comments: AMS-LaTeX, 23 pages with 1 figure

Report number: RIMS preprint 1112

Geometric Construction of Crystal Bases

Authors: Masaki Kashiwara, Yoshihisa Saito

Abstract: We realize the crystal associated to the quantized enveloping algebras with a symmetric generalized Cartan matrix as a set of Lagrangian subvarieties of the cotangent bundle of the quiver variety. As a by-product, we give a counterexample to the conjecture of Kazhdan--Lusztig on the irreducibility of the characteristic variety of the intersection cohomology sheaves associated with the Schubert c… ▽ More We realize the crystal associated to the quantized enveloping algebras with a symmetric generalized Cartan matrix as a set of Lagrangian subvarieties of the cotangent bundle of the quiver variety. As a by-product, we give a counterexample to the conjecture of Kazhdan--Lusztig on the irreducibility of the characteristic variety of the intersection cohomology sheaves associated with the Schubert cells of type A and also to the similar problem asked by Lusztig on the characteristic variety of the perverse sheaves corresponding to canonical bases. △ Less

Submitted 8 June, 1996; originally announced June 1996.

Comments: AmS-LaTeX v1.1, 26 pages

Report number: Research Institute for Mathematical Sciences, Kyoto University, preprint RIMS-1081 MSC Class: 17B37 (Primary)

Journal ref: Duke Math. J., 89 (1997) 9-36