-
Quantum $K$-theoretic divisor axiom for flag manifolds
Authors:
Cristian Lenart,
Satoshi Naito,
Daisuke Sagaki,
Weihong Xu with an Appendix by Leonardo C. Mihalcea,
Weihong Xu
Abstract:
We prove an identity for (torus-equivariant) 3-point, genus 0, $K$-theoretic Gromov-Witten invariants of full or partial flag manifolds, which can be thought of as a replacement for the ``divisor axiom'' for the (torus-equivariant) quantum $K$-theory of flag manifolds. This identity enables us to compute the (torus-equivariant) 3-point, genus 0, $K$-theoretic Gromov-Witten invariants defined by tw…
▽ More
We prove an identity for (torus-equivariant) 3-point, genus 0, $K$-theoretic Gromov-Witten invariants of full or partial flag manifolds, which can be thought of as a replacement for the ``divisor axiom'' for the (torus-equivariant) quantum $K$-theory of flag manifolds. This identity enables us to compute the (torus-equivariant) 3-point, genus 0, $K$-theoretic Gromov-Witten invariants defined by two Schubert classes and a divisor Schubert class in the (torus-equivariant) ordinary $K$-theory ring of flag manifolds. We prove this identity by making use of the Chevalley formula for the (torus-equivariant) quantum $K$-theory ring of flag manifolds, which is described in terms of the quantum Bruhat graph.
△ Less
Submitted 21 May, 2025;
originally announced May 2025.
-
Relativistic Toda lattice and equivariant $K$-homology
Authors:
Takeshi Ikeda,
Shinsuke Iwao,
Satoshi Naito,
Kohei Yamaguchi
Abstract:
We investigate the phenomenon known as ``quantum equals affine'' in the setting of $T$-equivariant quantum $K$-theory of the flag variety $G/B$, as established by Kato for any semisimple algebraic group $G$. In particular, we focus on the $K$-Peterson isomorphism between the $T$-equivariant quantum $K$-ring $QK_T(SL_n(\mathbb{C})/B)$ and the $T$-equivariant $K$-homology ring…
▽ More
We investigate the phenomenon known as ``quantum equals affine'' in the setting of $T$-equivariant quantum $K$-theory of the flag variety $G/B$, as established by Kato for any semisimple algebraic group $G$. In particular, we focus on the $K$-Peterson isomorphism between the $T$-equivariant quantum $K$-ring $QK_T(SL_n(\mathbb{C})/B)$ and the $T$-equivariant $K$-homology ring $K_*^T(\mathrm{Gr}_{SL_n})$ of the affine Grassmannian, after suitable localizations on both sides. Building on an earlier work by Ikeda, Iwao, and Maeno, we present an explicit algebraic realization of the $K$-Peterson map via a rational substitution that sends the generators of the quantum $K$-theory ring to explicit rational expressions in the fundamental generators of $K_*^T(\mathrm{Gr}_{SL_n})$, thereby matching the Schubert bases on both sides. Our approach builds on recent developments in the theory of $QK_T(SL_n(\mathbb{C})/B)$ by Maeno, Naito, and Sagaki, as well as the theory of $K$-theoretic double $k$-Schur functions introduced by Ikeda, Shimozono, and Yamaguchi. This concrete formulation provides new insight into the combinatorial structure of the $K$-Peterson isomorphism in the equivariant setting. As an application, we establish a factorization formula for the $K$-theoretic double $k$-Schur function associated with the maximal $k$-irreducible $k$-bounded partition.
△ Less
Submitted 5 May, 2025;
originally announced May 2025.
-
A proof of the Naito--Sagaki conjecture via the branching rule for $\imath$quantum groups
Authors:
Satoshi Naito,
Yujin Suzuki,
Hideya Watanabe
Abstract:
The Naito--Sagaki conjecture asserts that the branching rule for the restriction of finite-dimensional, irreducible polynomial representations of $GL_{2n}(\mathbb{C})$ to $Sp_{2n}(\mathbb{C})$ amounts to the enumeration of certain ``rational paths'' satisfying specific conditions. This conjecture can be thought of as a non-Levi type analog of the Levi type branching rule, stated in terms of the pa…
▽ More
The Naito--Sagaki conjecture asserts that the branching rule for the restriction of finite-dimensional, irreducible polynomial representations of $GL_{2n}(\mathbb{C})$ to $Sp_{2n}(\mathbb{C})$ amounts to the enumeration of certain ``rational paths'' satisfying specific conditions. This conjecture can be thought of as a non-Levi type analog of the Levi type branching rule, stated in terms of the path model due to Littelmann, and was proved combinatorially in 2018 by Schumann--Torres. In this paper, we give a new proof of the Naito--Sagaki conjecture independently of Schumann--Torres, using the branching rule based on the crystal basis theory for $\imath$quantum groups of type $\mathrm{AII}_{2n-1}$. Here, note that $\imath$quantum groups are certain coideal subalgebras of a quantized universal enveloping algebra obtained by $q$-deforming symmetric pairs, and also regarded as a generalization of quantized universal enveloping algebras; these were defined by Letzter in 1999, and since then their representation theory has become an active area of research. The main ingredients of our approach are certain combinatorial operations, such as promotion operators and Kashiwara operators, which are well-suited to the representation theory of complex semisimple Lie algebras.
△ Less
Submitted 27 February, 2025; v1 submitted 11 February, 2025;
originally announced February 2025.
-
Borel-type presentation of the torus-equivariant quantum $K$-ring of flag manifolds of type $C$
Authors:
Takafumi Kouno,
Satoshi Naito
Abstract:
We give a Borel-type presentation of the torus-equivariant (small) quantum $K$-ring of flag manifolds of type $C$.
We give a Borel-type presentation of the torus-equivariant (small) quantum $K$-ring of flag manifolds of type $C$.
△ Less
Submitted 14 October, 2024;
originally announced October 2024.
-
Flee the Flaw: Annotating the Underlying Logic of Fallacious Arguments Through Templates and Slot-filling
Authors:
Irfan Robbani,
Paul Reisert,
Naoya Inoue,
Surawat Pothong,
Camélia Guerraoui,
Wenzhi Wang,
Shoichi Naito,
Jungmin Choi,
Kentaro Inui
Abstract:
Prior research in computational argumentation has mainly focused on scoring the quality of arguments, with less attention on explicating logical errors. In this work, we introduce four sets of explainable templates for common informal logical fallacies designed to explicate a fallacy's implicit logic. Using our templates, we conduct an annotation study on top of 400 fallacious arguments taken from…
▽ More
Prior research in computational argumentation has mainly focused on scoring the quality of arguments, with less attention on explicating logical errors. In this work, we introduce four sets of explainable templates for common informal logical fallacies designed to explicate a fallacy's implicit logic. Using our templates, we conduct an annotation study on top of 400 fallacious arguments taken from LOGIC dataset and achieve a high agreement score (Krippendorf's alpha of 0.54) and reasonable coverage (0.83). Finally, we conduct an experiment for detecting the structure of fallacies and discover that state-of-the-art language models struggle with detecting fallacy templates (0.47 accuracy). To facilitate research on fallacies, we make our dataset and guidelines publicly available.
△ Less
Submitted 18 June, 2024;
originally announced June 2024.
-
A generalization of quantum Lakshmibai-Seshadri paths for arbitrary weights
Authors:
Takafumi Kouno,
Satoshi Naito
Abstract:
We construct an injective weight-preserving map (called the forgetful map) from the set of all admissible subsets in the quantum alcove model associated to an arbitrary weight. The image of this forgetful map can be explicitly described by introducing the notion of "interpolated quantum Lakshmibai-Seshadri (QLS for short) paths", which can be thought of as a generalization of quantum Lakshmibai-Se…
▽ More
We construct an injective weight-preserving map (called the forgetful map) from the set of all admissible subsets in the quantum alcove model associated to an arbitrary weight. The image of this forgetful map can be explicitly described by introducing the notion of "interpolated quantum Lakshmibai-Seshadri (QLS for short) paths", which can be thought of as a generalization of quantum Lakshmibai-Seshadri paths. As an application, we reformulate, in terms of interpolated QLS paths, an identity of Chevalley type for the graded characters of Demazure submodules of a level-zero extremal weight module over a quantum affine algebra, which is a representation-theoretic analog of the Chevalley formula for the torus-equivariant $K$-group of a semi-infinite flag manifold.
△ Less
Submitted 7 March, 2024;
originally announced March 2024.
-
GALAXY CRUISE: Deep Insights into Interacting Galaxies in the Local Universe
Authors:
Masayuki Tanaka,
Michitaro Koike,
Sei'ichiro Naito,
Junko Shibata,
Kumiko Usuda-Sato,
Hitoshi Yamaoka,
Makoto Ando,
Kei Ito,
Umi Kobayashi,
Yutaro Kofuji,
Atsuki Kuwata,
Suzuka Nakano,
Rhythm Shimakawa,
Ken-ichi Tadaki,
Suguru Takebayashi,
Chie Tsuchiya,
Tomofumi Umemoto,
Connor Bottrell
Abstract:
We present the first results from GALAXY CRUISE, a community (or citizen) science project based on data from the Hyper Suprime-Cam Subaru Strategic Program (HSC-SSP). The current paradigm of galaxy evolution suggests that galaxies grow hierarchically via mergers, but our observational understanding of the role of mergers is still limited. The data from HSC-SSP are ideally suited to improve our und…
▽ More
We present the first results from GALAXY CRUISE, a community (or citizen) science project based on data from the Hyper Suprime-Cam Subaru Strategic Program (HSC-SSP). The current paradigm of galaxy evolution suggests that galaxies grow hierarchically via mergers, but our observational understanding of the role of mergers is still limited. The data from HSC-SSP are ideally suited to improve our understanding with improved identifications of interacting galaxies thanks to the superb depth and image quality of HSC-SSP. We have launched a community science project, GALAXY CRUISE, in 2019 and collected over 2 million independent classifications of 20,686 galaxies at z < 0.2. We first characterize the accuracy of the participants' classifications and demonstrate that it surpasses previous studies based on shallower imaging data. We then investigate various aspects of interacting galaxies in detail. We show that there is a clear sign of enhanced activities of super massive black holes and star formation in interacting galaxies compared to those in isolated galaxies. The enhancement seems particularly strong for galaxies undergoing violent merger. We also show that the mass growth rate inferred from our results is roughly consistent with the observed evolution of the stellar mass function. The 2nd season of GALAXY CRUISE is currently under way and we conclude with future prospects. We make the morphological classification catalog used in this paper publicly available at the GALAXY CRUISE website, which will be particularly useful for machine-learning applications.
△ Less
Submitted 26 September, 2023;
originally announced September 2023.
-
Teach Me How to Improve My Argumentation Skills: A Survey on Feedback in Argumentation
Authors:
Camélia Guerraoui,
Paul Reisert,
Naoya Inoue,
Farjana Sultana Mim,
Shoichi Naito,
Jungmin Choi,
Irfan Robbani,
Wenzhi Wang,
Kentaro Inui
Abstract:
The use of argumentation in education has been shown to improve critical thinking skills for end-users such as students, and computational models for argumentation have been developed to assist in this process. Although these models are useful for evaluating the quality of an argument, they oftentimes cannot explain why a particular argument is considered poor or not, which makes it difficult to p…
▽ More
The use of argumentation in education has been shown to improve critical thinking skills for end-users such as students, and computational models for argumentation have been developed to assist in this process. Although these models are useful for evaluating the quality of an argument, they oftentimes cannot explain why a particular argument is considered poor or not, which makes it difficult to provide constructive feedback to users to strengthen their critical thinking skills. In this survey, we aim to explore the different dimensions of feedback (Richness, Visualization, Interactivity, and Personalization) provided by the current computational models for argumentation, and the possibility of enhancing the power of explanations of such models, ultimately helping learners improve their critical thinking skills.
△ Less
Submitted 28 July, 2023;
originally announced July 2023.
-
A presentation of the torus-equivariant quantum $K$-theory ring of flag manifolds of type $A$, Part II: quantum double Grothendieck polynomials
Authors:
Toshiaki Maeno,
Satoshi Naito,
Daisuke Sagaki
Abstract:
In our previous paper, we gave a presentation of the torus-equivariant quantum $K$-theory ring $QK_{H}(Fl_{n+1})$ of the (full) flag manifold $Fl_{n+1}$ of type $A_{n}$ as a quotient of a polynomial ring by an explicit ideal. In this paper, we prove that quantum double Grothendieck polynomials, introduced by Lenart-Maeno, represent the corresponding (opposite) Schubert classes in the quantum $K$-t…
▽ More
In our previous paper, we gave a presentation of the torus-equivariant quantum $K$-theory ring $QK_{H}(Fl_{n+1})$ of the (full) flag manifold $Fl_{n+1}$ of type $A_{n}$ as a quotient of a polynomial ring by an explicit ideal. In this paper, we prove that quantum double Grothendieck polynomials, introduced by Lenart-Maeno, represent the corresponding (opposite) Schubert classes in the quantum $K$-theory ring $QK_{H}(Fl_{n+1})$ under this presentation. The main ingredient in our proof is an explicit formula expressing the semi-infinite Schubert class associated to the longest element of the finite Weyl group, which is proved by making use of the general Chevalley formula for the torus-equivariant $K$-group of the semi-infinite flag manifold associated to $SL_{n+1}(\mathbb{C})$.
△ Less
Submitted 28 May, 2023;
originally announced May 2023.
-
ISAAQ: Ising Machine Assisted Quantum Compiler
Authors:
Soshun Naito,
Yoshihiko Hasegawa,
Yoshiki Matsuda,
Shu Tanaka
Abstract:
It is imperative to compile quantum circuits for Noisy Intermediate-Scale Quantum (NISQ) devices because of the limited connectivity of physical qubits and the high error rates of gate operations. One of the most critical steps in quantum circuit compilation is qubit routing, an NP-Hard problem that involves placing and moving logical qubits to minimize compilation overhead. In this study, we prop…
▽ More
It is imperative to compile quantum circuits for Noisy Intermediate-Scale Quantum (NISQ) devices because of the limited connectivity of physical qubits and the high error rates of gate operations. One of the most critical steps in quantum circuit compilation is qubit routing, an NP-Hard problem that involves placing and moving logical qubits to minimize compilation overhead. In this study, we propose ISing mAchine Assisted Quantum compiler (ISAAQ) to perform qubit routing with Ising machines, which can efficiently solve Quadratic Unconstrained Binary Optimization (QUBO) problems. ISAAQ accurately estimates the compilation costs by updating itself using previous compilation results, and accelerates qubit routing by solving QUBO problems in parallel with multiple Ising machines. In addition, ISAAQ exploits a cost-reduction method that implements commutative logical Controlled-NOT (CNOT) gates with fewer physical CNOT gates, which is particularly effective for planar devices when implementing original gates. Experimental results on both IBM QX5 and IBM QX20 show that ISAAQ outperforms the heuristic methods available in Qiskit and tket, as well as an existing QUBO method, requiring fewer physical CNOT gates for most benchmark circuits. ISAAQ performs particularly well on large circuits, demonstrating its strong scalability with respect to the number of logical CNOT gates.
△ Less
Submitted 5 March, 2023;
originally announced March 2023.
-
A presentation of the torus-equivariant quantum $K$-theory ring of flag manifolds of type $A$, Part I: the defining ideal
Authors:
Toshiaki Maeno,
Satoshi Naito,
Daisuke Sagaki
Abstract:
We give a presentation of the torus-equivariant quantum $K$-theory ring of flag manifolds of type $A$, as a quotient of a polynomial ring by an explicit ideal. This is the torus-equivariant version of our previous result, which gives a presentation of the non-equivariant quantum $K$-theory ring of flag manifolds of type $A$. However, the method of proof for the torus-equivariant one is completely…
▽ More
We give a presentation of the torus-equivariant quantum $K$-theory ring of flag manifolds of type $A$, as a quotient of a polynomial ring by an explicit ideal. This is the torus-equivariant version of our previous result, which gives a presentation of the non-equivariant quantum $K$-theory ring of flag manifolds of type $A$. However, the method of proof for the torus-equivariant one is completely different from that for the non-equivariant one; our proof is based on the result in the $Q = 0$ limit, and uses Nakayama-type arguments to upgrade it to the quantum situation. Also, in contrast to the non-equivariant case in which we used the Chevalley formula, we make use of the inverse Chevalley formula for the torus-equivariant $K$-group of semi-infinite flag manifolds to obtain a relation which yields our presentation.
△ Less
Submitted 13 November, 2023; v1 submitted 19 February, 2023;
originally announced February 2023.
-
Pieri-type multiplication formula for quantum Grothendieck polynomials
Authors:
Satoshi Naito,
Daisuke Sagaki
Abstract:
The purpose of this paper is to prove a Pieri-type multiplication formula for quantum Grothendieck polynomials, which was conjectured by Lenart-Maeno. This formula would enable us to compute explicitly the quantum product of two arbitrary (opposite) Schubert classes in the (small) quantum $K$-theory ring $QK(Fl_{n})$ of the (full) flag manifold $Fl_{n}$ of type $A_{n-1}$ on the basis of the fact t…
▽ More
The purpose of this paper is to prove a Pieri-type multiplication formula for quantum Grothendieck polynomials, which was conjectured by Lenart-Maeno. This formula would enable us to compute explicitly the quantum product of two arbitrary (opposite) Schubert classes in the (small) quantum $K$-theory ring $QK(Fl_{n})$ of the (full) flag manifold $Fl_{n}$ of type $A_{n-1}$ on the basis of the fact that quantum Grothendieck polynomials represent (opposite) Schubert classes in $QK(Fl_{n})$.
△ Less
Submitted 24 June, 2024; v1 submitted 3 November, 2022;
originally announced November 2022.
-
Symmetric and Nonsymmetric Macdonald Polynomials via a Path Model with a Pseudo-crystal Structure
Authors:
Cristian Lenart,
Satoshi Naito,
Fumihiko Nomoto,
Daisuke Sagaki
Abstract:
In this paper we derive a counterpart of the well-known Ram-Yip formula for symmetric and nonsymmetric Macdonald polynomials of arbitrary type. Our new formula is in terms of a generalization of the Lakshmibai-Seshadri paths (originating in standard monomial theory), which we call pseudo-quantum Lakshmibai-Seshadri (LS) paths. This model carries less information than the alcove walks in the Ram-Yi…
▽ More
In this paper we derive a counterpart of the well-known Ram-Yip formula for symmetric and nonsymmetric Macdonald polynomials of arbitrary type. Our new formula is in terms of a generalization of the Lakshmibai-Seshadri paths (originating in standard monomial theory), which we call pseudo-quantum Lakshmibai-Seshadri (LS) paths. This model carries less information than the alcove walks in the Ram-Yip formula, and it is therefore more efficient. Furthermore, we construct a connected pseudo-crystal structure on the pseudo-quantum LS paths, which is expected to lead to a simple Littlewood-Richardson rule for multiplying Macdonald polynomials. By contrast with the Kashiwara crystals, our pseudo-crystals have edges labeled by arbitrary roots.
△ Less
Submitted 26 October, 2022;
originally announced October 2022.
-
Identities of inverse Chevalley type for graded characters of level-zero Demazure submodules over quantum affine algebras of type C
Authors:
Takafumi Kouno,
Satoshi Naito,
Daniel Orr
Abstract:
We provide identities of inverse Chevalley type for the graded characters of level-zero Demazure submodules of extremal weight modules over a quantum affine algebra of type $C$. These identities express the product $e^μ \, \mathrm{gch} \, V_{x}^{-}(λ)$ of the (one-dimensional) character $e^μ$, where $μ$ is a (not necessarily dominant) minuscule weight, with the graded character…
▽ More
We provide identities of inverse Chevalley type for the graded characters of level-zero Demazure submodules of extremal weight modules over a quantum affine algebra of type $C$. These identities express the product $e^μ \, \mathrm{gch} \, V_{x}^{-}(λ)$ of the (one-dimensional) character $e^μ$, where $μ$ is a (not necessarily dominant) minuscule weight, with the graded character $\mathrm{gch} \, V_{x}^{-}(λ)$ of the level-zero Demazure submodule $V_{x}^{-}(λ)$ over the quantum affine algebra $U_{\mathsf{q}}(\mathfrak{g}_{\mathrm{af}})$ as an explicit finite linear combination of the graded characters of level-zero Demazure submodules. These identities immediately imply the corresponding inverse Chevalley formulas in the torus-equivariant $K$-group of the semi-infinite flag manifold $\mathbf{Q}_{G}$ associated to a connected, simply-connected and simple algebraic group $G$ of type $C$. Also, we derive cancellation-free identities from the identities above of inverse Chevalley type in the case that $μ$ is a standard basis element $\varepsilon_{k}$ in the weight lattice $P$ of $G$.
△ Less
Submitted 1 September, 2022;
originally announced September 2022.
-
Anomaly Detection for Multivariate Time Series on Large-scale Fluid Handling Plant Using Two-stage Autoencoder
Authors:
Susumu Naito,
Yasunori Taguchi,
Kouta Nakata,
Yuichi Kato
Abstract:
This paper focuses on anomaly detection for multivariate time series data in large-scale fluid handling plants with dynamic components, such as power generation, water treatment, and chemical plants, where signals from various physical phenomena are observed simultaneously. In these plants, the need for anomaly detection techniques is increasing in order to reduce the cost of operation and mainten…
▽ More
This paper focuses on anomaly detection for multivariate time series data in large-scale fluid handling plants with dynamic components, such as power generation, water treatment, and chemical plants, where signals from various physical phenomena are observed simultaneously. In these plants, the need for anomaly detection techniques is increasing in order to reduce the cost of operation and maintenance, in view of a decline in the number of skilled engineers and a shortage of manpower. However, considering the complex behavior of high-dimensional signals and the demand for interpretability, the techniques constitute a major challenge. We introduce a Two-Stage AutoEncoder (TSAE) as an anomaly detection method suitable for such plants. This is a simple autoencoder architecture that makes anomaly detection more interpretable and more accurate, in which based on the premise that plant signals can be separated into two behaviors that have almost no correlation with each other, the signals are separated into long-term and short-term components in a stepwise manner, and the two components are trained independently to improve the inference capability for normal signals. Through experiments on two publicly available datasets of water treatment systems, we have confirmed the high detection performance, the validity of the premise, and that the model behavior was as intended, i.e., the technical effectiveness of TSAE.
△ Less
Submitted 19 May, 2022;
originally announced May 2022.
-
LPAttack: A Feasible Annotation Scheme for Capturing Logic Pattern of Attacks in Arguments
Authors:
Farjana Sultana Mim,
Naoya Inoue,
Shoichi Naito,
Keshav Singh,
Kentaro Inui
Abstract:
In argumentative discourse, persuasion is often achieved by refuting or attacking others arguments. Attacking is not always straightforward and often comprise complex rhetorical moves such that arguers might agree with a logic of an argument while attacking another logic. Moreover, arguer might neither deny nor agree with any logics of an argument, instead ignore them and attack the main stance of…
▽ More
In argumentative discourse, persuasion is often achieved by refuting or attacking others arguments. Attacking is not always straightforward and often comprise complex rhetorical moves such that arguers might agree with a logic of an argument while attacking another logic. Moreover, arguer might neither deny nor agree with any logics of an argument, instead ignore them and attack the main stance of the argument by providing new logics and presupposing that the new logics have more value or importance than the logics present in the attacked argument. However, no existing studies in the computational argumentation capture such complex rhetorical moves in attacks or the presuppositions or value judgements in them. In order to address this gap, we introduce LPAttack, a novel annotation scheme that captures the common modes and complex rhetorical moves in attacks along with the implicit presuppositions and value judgements in them. Our annotation study shows moderate inter-annotator agreement, indicating that human annotation for the proposed scheme is feasible. We publicly release our annotated corpus and the annotation guidelines.
△ Less
Submitted 4 April, 2022;
originally announced April 2022.
-
Closed $k$-Schur Katalan functions as $K$-homology Schubert representatives of the affine Grassmannian
Authors:
Takeshi Ikeda,
Shinsuke Iwao,
Satoshi Naito
Abstract:
Recently, Blasiak-Morse-Seelinger introduced symmetric functions called Katalan functions, and proved that the $K$-theoretic $k$-Schur functions due to Lam-Schilling-Shimozono form a subfamily of the Katalan functions. They conjectured that another subfamily of Katalan functions called the closed $k$-Schur Katalan functions are identified with the Schubert structure sheaves in the $K$-homology of…
▽ More
Recently, Blasiak-Morse-Seelinger introduced symmetric functions called Katalan functions, and proved that the $K$-theoretic $k$-Schur functions due to Lam-Schilling-Shimozono form a subfamily of the Katalan functions. They conjectured that another subfamily of Katalan functions called the closed $k$-Schur Katalan functions are identified with the Schubert structure sheaves in the $K$-homology of the affine Grassmannian. The main result is a proof of the conjecture.
We also study a $K$-theoretic Peterson isomorphism that Ikeda, Iwao, and Maeno constructed, in a non-geometric manner, based on the unipotent solution of the relativistic Toda lattice of Ruijsenaars. We prove that the map sends a Schubert class of the quantum $K$-theory ring of the flag variety to a closed $K$-$k$-Schur Katalan function up to an explicit factor related to a translation element with respect to an anti-dominant coroot. In fact, we prove the above map coincides with a map whose existence was conjectured by Lam, Li, Mihalcea, Shimozono, and proved by Kato, and more recently by Chow and Leung.
△ Less
Submitted 13 December, 2023; v1 submitted 28 March, 2022;
originally announced March 2022.
-
TYPIC: A Corpus of Template-Based Diagnostic Comments on Argumentation
Authors:
Shoichi Naito,
Shintaro Sawada,
Chihiro Nakagawa,
Naoya Inoue,
Kenshi Yamaguchi,
Iori Shimizu,
Farjana Sultana Mim,
Keshav Singh,
Kentaro Inui
Abstract:
Providing feedback on the argumentation of the learner is essential for developing critical thinking skills, however, it requires a lot of time and effort. To mitigate the overload on teachers, we aim to automate a process of providing feedback, especially giving diagnostic comments which point out the weaknesses inherent in the argumentation. It is recommended to give specific diagnostic comments…
▽ More
Providing feedback on the argumentation of the learner is essential for developing critical thinking skills, however, it requires a lot of time and effort. To mitigate the overload on teachers, we aim to automate a process of providing feedback, especially giving diagnostic comments which point out the weaknesses inherent in the argumentation. It is recommended to give specific diagnostic comments so that learners can recognize the diagnosis without misinterpretation. However, it is not obvious how the task of providing specific diagnostic comments should be formulated. We present a formulation of the task as template selection and slot filling to make an automatic evaluation easier and the behavior of the model more tractable. The key to the formulation is the possibility of creating a template set that is sufficient for practical use. In this paper, we define three criteria that a template set should satisfy: expressiveness, informativeness, and uniqueness, and verify the feasibility of creating a template set that satisfies these criteria as a first trial. We will show that it is feasible through an annotation study that converts diagnostic comments given in a text to a template format. The corpus used in the annotation study is publicly available.
△ Less
Submitted 21 June, 2022; v1 submitted 17 January, 2022;
originally announced January 2022.
-
Inverse $K$-Chevalley formulas for semi-infinite flag manifolds, II: arbitrary weights in ADE type
Authors:
Cristian Lenart,
Satoshi Naito,
Daniel Orr,
Daisuke Sagaki
Abstract:
We continue the study, begun in [Kouno-Naito-Orr-Sagaki, 2021], of inverse Chevalley formulas for the equivariant $K$-group of semi-infinite flag manifolds. Using the language of alcove paths, we reformulate and extend our combinatorial inverse Chevalley formula to arbitrary weights in all simply-laced types (conjecturally also for $E_8$).
We continue the study, begun in [Kouno-Naito-Orr-Sagaki, 2021], of inverse Chevalley formulas for the equivariant $K$-group of semi-infinite flag manifolds. Using the language of alcove paths, we reformulate and extend our combinatorial inverse Chevalley formula to arbitrary weights in all simply-laced types (conjecturally also for $E_8$).
△ Less
Submitted 31 October, 2021;
originally announced November 2021.
-
Quantum K-theory Chevalley formulas in the parabolic case
Authors:
Takafumi Kouno,
Cristian Lenart,
Satoshi Naito,
Daisuke Sagaki,
with an Appendix by Takafumi Kouno,
Cristian Lenart,
Satoshi Naito,
Daisuke Sagaki,
Weihong Xu
Abstract:
We derive cancellation-free Chevalley-type multiplication formulas in the T-equivariant quantum K-theory of Grassmannians of type A and C, and also those of two-step flag manifolds of type A. They are obtained based on the uniform Chevalley formula in the T-equivariant quantum K-theory of arbitrary flag manifolds G/B, which was derived earlier in terms of the quantum alcove model, by the last thre…
▽ More
We derive cancellation-free Chevalley-type multiplication formulas in the T-equivariant quantum K-theory of Grassmannians of type A and C, and also those of two-step flag manifolds of type A. They are obtained based on the uniform Chevalley formula in the T-equivariant quantum K-theory of arbitrary flag manifolds G/B, which was derived earlier in terms of the quantum alcove model, by the last three authors.
△ Less
Submitted 29 September, 2023; v1 submitted 23 September, 2021;
originally announced September 2021.
-
New structure on the quantum alcove model with applications to representation theory and Schubert calculus
Authors:
Takafumi Kouno,
Cristian Lenart,
Satoshi Naito
Abstract:
The quantum alcove model associated to a dominant weight plays an important role in many branches of mathematics, such as combinatorial representation theory, the theory of Macdonald polynomials, and Schubert calculus. For a dominant weight, it is proved by Lenart-Lubovsky that the quantum alcove model does not depend on the choice of a reduced alcove path, which is a shortest path of alcoves from…
▽ More
The quantum alcove model associated to a dominant weight plays an important role in many branches of mathematics, such as combinatorial representation theory, the theory of Macdonald polynomials, and Schubert calculus. For a dominant weight, it is proved by Lenart-Lubovsky that the quantum alcove model does not depend on the choice of a reduced alcove path, which is a shortest path of alcoves from the fundamental one to its translation by the given dominant weight. This is established through quantum Yang-Baxter moves, which biject the objects of the model associated with two such alcove paths, and can be viewed as a generalization of jeu de taquin slides to arbitrary root systems. The purpose of this paper is to give a generalization of quantum Yang-Baxter moves to the quantum alcove model corresponding to an arbitrary weight, which was used to express a general Chevalley formula in the equivariant $K$-group of semi-infinite flag manifolds. The generalized quantum Yang-Baxter moves give rise to a "sijection" (bijection between signed sets), and are shown to preserve certain important statistics, including weights and heights. As an application, we prove that the generating function of these statistics does not depend on the choice of a reduced alcove path. Also, we obtain an identity for the graded characters of Demazure submodules of level-zero extremal weight modules over a quantum affine algebra, which can be thought of as a representation-theoretic analogue of the mentioned Chevalley formula. Other applications and some open problems involving "signed crystals" are discussed.
△ Less
Submitted 17 June, 2021; v1 submitted 6 May, 2021;
originally announced May 2021.
-
A general Chevalley formula for semi-infinite flag manifolds and quantum K-theory
Authors:
Cristian Lenart,
Satoshi Naito,
Daisuke Sagaki
Abstract:
We give a Chevalley formula for an arbitrary weight for the torus-equivariant $K$-group of semi-infinite flag manifolds, which is expressed in terms of the quantum alcove model. As an application, we prove the Chevalley formula for an anti-dominant fundamental weight for the (small) torus-equivariant quantum $K$-theory $QK_{T}(G/B)$ of an (ordinary) flag manifold $G/B$; this has been a longstandin…
▽ More
We give a Chevalley formula for an arbitrary weight for the torus-equivariant $K$-group of semi-infinite flag manifolds, which is expressed in terms of the quantum alcove model. As an application, we prove the Chevalley formula for an anti-dominant fundamental weight for the (small) torus-equivariant quantum $K$-theory $QK_{T}(G/B)$ of an (ordinary) flag manifold $G/B$; this has been a longstanding conjecture about the multiplicative structure of $QK_{T}(G/B)$. In type $A_{n-1}$, we prove that the so-called quantum Grothendieck polynomials indeed represent (opposite) Schubert classes in the (non-equivariant) quantum $K$-theory $QK(SL_{n}/B)$; we also obtain very explicit information about the coefficients in the respective Chevalley formula.
△ Less
Submitted 22 February, 2024; v1 submitted 9 October, 2020;
originally announced October 2020.
-
Inverse $K$-Chevalley formulas for semi-infinite flag manifolds, I: minuscule weights in ADE type
Authors:
Takafumi Kouno,
Satoshi Naito,
Daniel Orr,
Daisuke Sagaki
Abstract:
We prove an explicit inverse Chevalley formula in the equivariant $K$-theory of semi-infinite flag manifolds of simply-laced type. By an inverse Chevalley formula, we mean a formula for the product of an equivariant scalar with a Schubert class, expressed as a $\mathbb{Z}[q^{\pm 1}]$-linear combination of Schubert classes twisted by equivariant line bundles. Our formula applies to arbitrary Schube…
▽ More
We prove an explicit inverse Chevalley formula in the equivariant $K$-theory of semi-infinite flag manifolds of simply-laced type. By an inverse Chevalley formula, we mean a formula for the product of an equivariant scalar with a Schubert class, expressed as a $\mathbb{Z}[q^{\pm 1}]$-linear combination of Schubert classes twisted by equivariant line bundles. Our formula applies to arbitrary Schubert classes in semi-infinite flag manifolds of simply-laced type and equivariant scalars $e^λ$, where $λ$ is an arbitrary minuscule weight. By a result of Stembridge, our formula completely determines the inverse Chevalley formula for arbitrary weights in simply-laced type, except for type $E_8$. The combinatorics of our formula is governed by the quantum Bruhat graph, and the proof is based on a limit from the double affine Hecke algebra. As such, our formula also provides an explicit determination of all nonsymmetric $q$-Toda operators for minuscule weights in ADE type.
△ Less
Submitted 1 December, 2020; v1 submitted 24 August, 2020;
originally announced August 2020.
-
Chevalley formula for anti-dominant minuscule fundamental weights in the equivariant quantum $K$-group of partial flag manifolds
Authors:
Takafumi Kouno,
Satoshi Naito,
Daisuke Sagaki
Abstract:
In this paper, we give an explicit formula of Chevalley type, in terms of the Bruhat graph, for the quantum multiplication with the class of the line bundle associated to the anti-dominant minuscule fundamental weight $- \varpi_{k}$ in the torus-equivariant quantum $K$-group of the partial flag manifold $G/P_{J}$ (where $J = I \setminus \{k\}$) corresponding to the maximal (standard) parabolic sub…
▽ More
In this paper, we give an explicit formula of Chevalley type, in terms of the Bruhat graph, for the quantum multiplication with the class of the line bundle associated to the anti-dominant minuscule fundamental weight $- \varpi_{k}$ in the torus-equivariant quantum $K$-group of the partial flag manifold $G/P_{J}$ (where $J = I \setminus \{k\}$) corresponding to the maximal (standard) parabolic subgroup $P_{J}$ of minuscule type in type $A$, $D$, $E$, or $B$. This result is obtained by proving a similar formula in a torus-equivariant $K$-group of the semi-infinite partial flag manifold $\mathbf{Q}_{J}$ of minuscule type, and then by making use of the isomorphism between the torus-equivariant quantum $K$-group of $G/P_{J}$ and the torus-equivariant $K$-group of $\mathbf{Q}_{J}$, recently established by Kato.
△ Less
Submitted 3 May, 2020; v1 submitted 31 March, 2020;
originally announced March 2020.
-
A Chevalley formula for semi-infinite flag manifolds and quantum K-theory (Extended abstract)
Authors:
Cristian Lenart,
Satoshi Naito,
Daisuke Sagaki
Abstract:
We give a combinatorial Chevalley formula for an arbitrary weight, in the torus-equivariant K-theory of semi-infinite flag manifolds, which is expressed in terms of the quantum alcove model. As an application, we prove the Chevalley formula for anti-dominant fundamental weights in the (small) torus-equivariant quantum K-theory of the flag manifold G/B; this has been a longstanding conjecture about…
▽ More
We give a combinatorial Chevalley formula for an arbitrary weight, in the torus-equivariant K-theory of semi-infinite flag manifolds, which is expressed in terms of the quantum alcove model. As an application, we prove the Chevalley formula for anti-dominant fundamental weights in the (small) torus-equivariant quantum K-theory of the flag manifold G/B; this has been a longstanding conjecture about the multiplicative structure of the mentioned quantum K-theory. Moreover, in type A, we prove that the so-called quantum Grothendieck polynomials indeed represent Schubert classes in the (non-equivariant) quantum K-theory of the corresponding flag manifold.
△ Less
Submitted 28 November, 2019;
originally announced November 2019.
-
A Robust Billboard-based Free-viewpoint Video Synthesizing Algorithm for Sports Scenes
Authors:
Jun Chen,
Ryosuke Watanabe,
Keisuke Nonaka,
Tomoaki Konno,
Hiroshi Sankoh,
Sei Naito
Abstract:
We present a billboard-based free-viewpoint video synthesizing algorithm for sports scenes that can robustly reconstruct and render a high-fidelity billboard model for each object, including an occluded one, in each camera. Its contributions are (1) applicable to a challenging shooting condition where a high precision 3D model cannot be built because a small number of cameras featuring wide-baseli…
▽ More
We present a billboard-based free-viewpoint video synthesizing algorithm for sports scenes that can robustly reconstruct and render a high-fidelity billboard model for each object, including an occluded one, in each camera. Its contributions are (1) applicable to a challenging shooting condition where a high precision 3D model cannot be built because a small number of cameras featuring wide-baseline are equipped; (2) capable of reproducing appearances of occlusions, that is one of the most significant issues for billboard-based approaches due to the ineffective detection of overlaps. To achieve contributions above, the proposed method does not attempt to find a high-quality 3D model but utilizes a raw 3D model that is obtained directly from space carving. Although the model is insufficiently accurate for producing an impressive visual effect, precise objects segmentation and occlusions detection can be performed by back-projecting it onto each camera plane. The billboard model of each object in each camera is rendered according to whether it is occluded or not, and its location in the virtual stadium is determined considering the location of its 3D model. We synthesized free-viewpoint videos of two soccer sequences recorded by five cameras with the proposed and state-of-art methods to demonstrate its performance.
△ Less
Submitted 30 August, 2019; v1 submitted 7 August, 2019;
originally announced August 2019.
-
A Fast Free-viewpoint Video Synthesis Algorithm for Sports Scenes
Authors:
Jun Chen,
Ryosuke Watanabe,
Keisuke Nonaka,
Tomoaki Konno,
Hiroshi Sankoh,
Sei Naito
Abstract:
In this paper, we report on a parallel freeviewpoint video synthesis algorithm that can efficiently reconstruct a high-quality 3D scene representation of sports scenes. The proposed method focuses on a scene that is captured by multiple synchronized cameras featuring wide-baselines. The following strategies are introduced to accelerate the production of a free-viewpoint video taking the improvemen…
▽ More
In this paper, we report on a parallel freeviewpoint video synthesis algorithm that can efficiently reconstruct a high-quality 3D scene representation of sports scenes. The proposed method focuses on a scene that is captured by multiple synchronized cameras featuring wide-baselines. The following strategies are introduced to accelerate the production of a free-viewpoint video taking the improvement of visual quality into account: (1) a sparse point cloud is reconstructed using a volumetric visual hull approach, and an exact 3D ROI is found for each object using an efficient connected components labeling algorithm. Next, the reconstruction of a dense point cloud is accelerated by implementing visual hull only in the ROIs; (2) an accurate polyhedral surface mesh is built by estimating the exact intersections between grid cells and the visual hull; (3) the appearance of the reconstructed presentation is reproduced in a view-dependent manner that respectively renders the non-occluded and occluded region with the nearest camera and its neighboring cameras. The production for volleyball and judo sequences demonstrates the effectiveness of our method in terms of both execution time and visual quality.
△ Less
Submitted 30 July, 2019; v1 submitted 28 March, 2019;
originally announced March 2019.
-
Syntheses and First-Principles Calculations of the Pseudobrookite Compound AlTi2O5
Authors:
Takami Tohyama,
Riku Ogura,
Kensuke Yoshinaga,
Shin Naito,
Nobuaki Miyakawa,
Eiji Kaneshita
Abstract:
We synthesize a new titanium-oxide compound AlTi2O5 with pseudobrookite-type structure. The formal valence of Ti is 3.5+ that is the same as the Magneli compound Ti4O7 and the spinel compound LiTi2O4. AlTi2O5 exhibits insulating behavior in resistivity. Using experimentally determined crystal structure, we perform the first-principles calculations for the electronic structures. Experimentally sugg…
▽ More
We synthesize a new titanium-oxide compound AlTi2O5 with pseudobrookite-type structure. The formal valence of Ti is 3.5+ that is the same as the Magneli compound Ti4O7 and the spinel compound LiTi2O4. AlTi2O5 exhibits insulating behavior in resistivity. Using experimentally determined crystal structure, we perform the first-principles calculations for the electronic structures. Experimentally suggested random distribution of Al and Ti is not the origin of the insulating behavior. The Fermi surfaces for nonrandom AlTi2O5 show cylindrical shapes reflecting a layered structure, which indicates a possible nesting-driven order. Constructing a tight-binding model from the first-principles calculations, we calculate the spin and charge susceptibilities using the random phase approximation. We suggest possible charge-density-wave state forming Ti3+ chains separated from each other by Ti4+ chains, similar to the low-temperature phase of Ti4O7.
△ Less
Submitted 4 November, 2018;
originally announced November 2018.
-
Chevalley formula for anti-dominant weights in the equivariant $K$-theory of semi-infinite flag manifolds
Authors:
Satoshi Naito,
Daniel Orr,
Daisuke Sagaki
Abstract:
We prove a Pieri-Chevalley formula for anti-dominant weights and also a Monk formula in the torus-equivariant $K$-group of the formal power series model of semi-infinite flag manifolds, both of which are described explicitly in terms of semi-infinite Lakshmibai-Seshadri paths (or, equivalently, quantum Lakshmibai-Seshadri paths). In view of recent results of Kato, these formulas give an explicit d…
▽ More
We prove a Pieri-Chevalley formula for anti-dominant weights and also a Monk formula in the torus-equivariant $K$-group of the formal power series model of semi-infinite flag manifolds, both of which are described explicitly in terms of semi-infinite Lakshmibai-Seshadri paths (or, equivalently, quantum Lakshmibai-Seshadri paths). In view of recent results of Kato, these formulas give an explicit description of the structure constants for the Pontryagin product in the torus-equivariant $K$-group of affine Grassmannians and that for the quantum multiplication of the torus-equivariant (small) quantum $K$-group of finite-dimensional flag manifolds. Our proof of these formulas is based on standard monomial theory for semi-infinite Lakshmibai-Seshadri paths, which is established in our previous work, and also uses a string property of Demazure-like subsets of the crystal basis of a level-zero extremal weight module over a quantum affine algebra.
△ Less
Submitted 14 March, 2020; v1 submitted 4 August, 2018;
originally announced August 2018.
-
Tensor product decomposition theorem for quantum Lakshmibai-Seshadri paths and standard monomial theory for semi-infinite Lakshmibai-Seshadri paths
Authors:
Satoshi Naito,
Fumihiko Nomoto,
Daisuke Sagaki
Abstract:
Let $λ$ be a (level-zero) dominant integral weight for an untwisted affine Lie algebra, and let $\mathrm{QLS}(λ)$ denote the quantum Lakshmibai-Seshadri (QLS) paths of shape $λ$. For an element $w$ of a finite Weyl group $W$, the specializations at $t = 0$ and $t = \infty$ of the nonsymmetric Macdonald polynomial $E_{w λ}(q, t)$ are explicitly described in terms of QLS paths of shape $λ$ and the d…
▽ More
Let $λ$ be a (level-zero) dominant integral weight for an untwisted affine Lie algebra, and let $\mathrm{QLS}(λ)$ denote the quantum Lakshmibai-Seshadri (QLS) paths of shape $λ$. For an element $w$ of a finite Weyl group $W$, the specializations at $t = 0$ and $t = \infty$ of the nonsymmetric Macdonald polynomial $E_{w λ}(q, t)$ are explicitly described in terms of QLS paths of shape $λ$ and the degree function defined on them. Also, for (level-zero) dominant integral weights $λ$, $μ$, we have an isomorphism $Θ: \mathrm{QLS}(λ+ μ) \rightarrow \mathrm{QLS}(λ) \otimes \mathrm{QLS}(μ)$ of crystals. In this paper, we study the behavior of the degree function under the isomorphism $Θ$ of crystals through the relationship between semi-infinite Lakshmibai-Seshadri (LS) paths and QLS paths. As an application, we give a crystal-theoretic proof of a recursion formula for the graded characters of generalized Weyl modules.
△ Less
Submitted 2 March, 2018;
originally announced March 2018.
-
Level-zero van der Kallen modules and specialization of nonsymmetric Macdonald polynomials at $t = \infty$
Authors:
Satoshi Naito,
Daisuke Sagaki
Abstract:
Let $λ\in P^{+}$ be a level-zero dominant integral weight, and $w$ an arbitrary coset representative of minimal length for the cosets in $W/W_λ$, where $W_λ$ is the stabilizer of $λ$ in a finite Weyl group $W$. In this paper, we give a module $\mathbb{K}_{w}(λ)$ over the negative part of a quantum affine algebra whose graded character is identical to the specialization at $t = \infty$ of the nonsy…
▽ More
Let $λ\in P^{+}$ be a level-zero dominant integral weight, and $w$ an arbitrary coset representative of minimal length for the cosets in $W/W_λ$, where $W_λ$ is the stabilizer of $λ$ in a finite Weyl group $W$. In this paper, we give a module $\mathbb{K}_{w}(λ)$ over the negative part of a quantum affine algebra whose graded character is identical to the specialization at $t = \infty$ of the nonsymmetric Macdonald polynomial $E_{w λ}(q,\,t)$ multiplied by a certain explicit finite product of rational functions of $q$ of the form $(1 - q^{-r})^{-1}$ for a positive integer $r$. This module $\mathbb{K}_{w}(λ)$ (called a level-zero van der Kallen module) is defined to be the quotient module of the level-zero Demazure module $V_{w}^{-}(λ)$ by the sum of the submodules $V_{z}^{-}(λ)$ for all those coset representatives $z$ of minimal length for the cosets in $W/W_λ$ such that $z > w$ in the Bruhat order $<$ on $W$.
△ Less
Submitted 14 January, 2019; v1 submitted 18 February, 2018;
originally announced February 2018.
-
Efficient Parallel Connected Components Labeling with a Coarse-to-fine Strategy
Authors:
Jun Chen,
Keisuke Nonaka,
Ryosuke Watanabe,
Hiroshi Sankoh,
Houari Sabirin,
Sei Naito
Abstract:
This paper proposes a new parallel approach to solve connected components on a 2D binary image implemented with CUDA. We employ the following strategies to accelerate neighborhood exploration after dividing an input image into independent blocks. In the local labeling stage, a coarse-labeling algorithm, including row-column connection and label-equivalence list unification, is applied first to sor…
▽ More
This paper proposes a new parallel approach to solve connected components on a 2D binary image implemented with CUDA. We employ the following strategies to accelerate neighborhood exploration after dividing an input image into independent blocks. In the local labeling stage, a coarse-labeling algorithm, including row-column connection and label-equivalence list unification, is applied first to sort out the mess of an initialized local label map; a refinement algorithm is then introduced to merge separated sub-regions from a single component. In the block merge stage, we scan the pixels located on the boundary of each block instead of solving the connectivity of all the pixels. With the proposed method, the length of label-equivalence lists is compressed, and the number of memory accesses is reduced. Thus, the efficiency of connected components labeling is improved. Experimental results show that our method outperforms the other approaches between $29\%$ and $80\%$ on average.
△ Less
Submitted 26 January, 2018; v1 submitted 28 December, 2017;
originally announced December 2017.
-
An Optimized Union-Find Algorithm for Connected Components Labeling Using GPUs
Authors:
Jun Chen,
Qiang Yao,
Houari Sabirin,
Keisuke Nonaka,
Hiroshi Sankoh,
Sei Naito
Abstract:
In this paper, we report an optimized union-find (UF) algorithm that can label the connected components on a 2D image efficiently by employing the GPU architecture. The proposed method contains three phases: UF-based local merge, boundary analysis, and link. The coarse labeling in local merge reduces the number atomic operations, while the boundary analysis only manages the pixels on the boundary…
▽ More
In this paper, we report an optimized union-find (UF) algorithm that can label the connected components on a 2D image efficiently by employing the GPU architecture. The proposed method contains three phases: UF-based local merge, boundary analysis, and link. The coarse labeling in local merge reduces the number atomic operations, while the boundary analysis only manages the pixels on the boundary of each block. Evaluation results showed that the proposed algorithm speed up the average running time by more than 1.3X.
△ Less
Submitted 28 August, 2017; v1 submitted 27 August, 2017;
originally announced August 2017.
-
Equivariant $K$-theory of semi-infinite flag manifolds and Pieri-Chevalley formula
Authors:
Syu Kato,
Satoshi Naito,
Daisuke Sagaki
Abstract:
We propose a definition of equivariant (with respect to an Iwahori subgroup) $K$-theory of the formal power series model $\mathbf{Q}_{G}$ of semi-infinite flag manifold and prove the Pieri-Chevalley formula, which describes the product, in the $K$-theory of $\mathbf{Q}_{G}$, of the structure sheaf of a semi-infinite Schubert variety with a line bundle (associated to a dominant integral weight) ove…
▽ More
We propose a definition of equivariant (with respect to an Iwahori subgroup) $K$-theory of the formal power series model $\mathbf{Q}_{G}$ of semi-infinite flag manifold and prove the Pieri-Chevalley formula, which describes the product, in the $K$-theory of $\mathbf{Q}_{G}$, of the structure sheaf of a semi-infinite Schubert variety with a line bundle (associated to a dominant integral weight) over $\mathbf{Q}_{G}$. In order to achieve this, we provide a number of fundamental results on $\mathbf{Q}_{G}$ and its Schubert subvarieties including the Borel-Weil-Bott theory, whose special case is conjectured in [A. Braverman and M. Finkelberg, Weyl modules and $q$-Whittaker functions, Math. Ann. 359 (2014), 45--59]. One more ingredient of this paper besides the geometric results above is (a combinatorial version of) standard monomial theory for level-zero extremal weight modules over quantum affine algebras, which is described in terms of semi-infinite Lakshmibai-Seshadri paths. In fact, in our Pieri-Chevalley formula, the positivity of structure coefficients is proved by giving an explicit representation-theoretic meaning through semi-infinite Lakshmibai-Seshadri paths.
△ Less
Submitted 20 February, 2018; v1 submitted 8 February, 2017;
originally announced February 2017.
-
A combinatorial formula expressing periodic $R$-polynomials
Authors:
Hideya Watanabe,
Satoshi Naito
Abstract:
In 1980, Lusztig introduced the periodic Kazhdan-Lusztig polynomials, which are conjectured to have important information about the characters of irreducible modules of a reductive group over a field of positive characteristic, and also about those of an affine Kac-Moody algebra at the critical level. The periodic Kazhdan-Lusztig polynomials can be computed by using another family of polynomials,…
▽ More
In 1980, Lusztig introduced the periodic Kazhdan-Lusztig polynomials, which are conjectured to have important information about the characters of irreducible modules of a reductive group over a field of positive characteristic, and also about those of an affine Kac-Moody algebra at the critical level. The periodic Kazhdan-Lusztig polynomials can be computed by using another family of polynomials, called the periodic $R$-polynomials. In this paper, we prove a (closed) combinatorial formula expressing periodic $R$-polynomials in terms of the "doubled" Bruhat graph associated to a finite Weyl group and a finite root system.
△ Less
Submitted 9 August, 2018; v1 submitted 8 March, 2016;
originally announced March 2016.
-
Newton-Okounkov convex bodies of Schubert varieties and polyhedral realizations of crystal bases
Authors:
Naoki Fujita,
Satoshi Naito
Abstract:
A Newton-Okounkov convex body is a convex body constructed from a projective variety with a valuation on its homogeneous coordinate ring; this is deeply connected with representation theory. For instance, the Littelmann string polytopes and the Feigin-Fourier-Littelmann-Vinberg polytopes are examples of Newton-Okounkov convex bodies. In this paper, we prove that the Newton-Okounkov convex body of…
▽ More
A Newton-Okounkov convex body is a convex body constructed from a projective variety with a valuation on its homogeneous coordinate ring; this is deeply connected with representation theory. For instance, the Littelmann string polytopes and the Feigin-Fourier-Littelmann-Vinberg polytopes are examples of Newton-Okounkov convex bodies. In this paper, we prove that the Newton-Okounkov convex body of a Schubert variety with respect to a specific valuation is identical to the Nakashima-Zelevinsky polyhedral realization of a Demazure crystal. As an application of this result, we show that Kashiwara's involution (*-operation) corresponds to a change of valuations on the rational function field.
△ Less
Submitted 3 March, 2016;
originally announced March 2016.
-
Specialization of nonsymmetric Macdonald polynomials at $t=\infty$ and Demazure submodules of level-zero extremal weight modules
Authors:
Satoshi Naito,
Fumihiko Nomoto,
Daisuke Sagaki
Abstract:
In this paper, we give a representation-theoretic interpretation of the specialization $E_{w_{\circ} λ} (q,\infty)$ of the nonsymmetric Macdonald polynomial $E_{w_{\circ} λ}(q,t)$ at $t=\infty$ in terms of the Demazure submodule $V_{w_\circ}^{-} (λ)$ of the level-zero extremal weight module $V(λ)$ over a quantum affine algebra of an arbitrary untwisted type, here, $λ$ is a dominant integral weight…
▽ More
In this paper, we give a representation-theoretic interpretation of the specialization $E_{w_{\circ} λ} (q,\infty)$ of the nonsymmetric Macdonald polynomial $E_{w_{\circ} λ}(q,t)$ at $t=\infty$ in terms of the Demazure submodule $V_{w_\circ}^{-} (λ)$ of the level-zero extremal weight module $V(λ)$ over a quantum affine algebra of an arbitrary untwisted type, here, $λ$ is a dominant integral weight, and $w_{\circ}$ denotes the longest element in the finite Weyl group $W$. Also, for each $x \in W$, we obtain a combinatorial formula for the specialization $E_{x λ} (q, \infty)$ at $t=\infty$ of the nonsymmetric Macdonald polynomial $E_{x λ} (q,t)$, and also one for the graded character $\mathrm{gch} V_{x}^- (λ)$ of the Demazure submodule $V_{x}^- (λ)$ of $V(λ)$, both of these formulas are described in terms of quantum Lakshmibai-Seshadri paths of shape $λ$.
△ Less
Submitted 7 May, 2016; v1 submitted 22 November, 2015;
originally announced November 2015.
-
A uniform model for Kirillov-Reshetikhin crystals III: Nonsymmetric Macdonald polynomials at $t=0$ and Demazure characters
Authors:
Cristian Lenart,
Satoshi Naito,
Daisuke Sagaki,
Anne Schilling,
Mark Shimozono
Abstract:
We establish the equality of the specialization $E_{wλ}(x;q,0)$ of the nonsymmetric Macdonald polynomial $E_{wλ}(x;q,t)$ at $t=0$ with the graded character $\mathop{\rm gch} U_{w}^{+}(λ)$ of a certain Demazure-type submodule $U_{w}^{+}(λ)$ of a tensor product of "single-column" Kirillov--Reshetikhin modules for an untwisted affine Lie algebra, where $λ$ is a dominant integral weight and $w$ is a (…
▽ More
We establish the equality of the specialization $E_{wλ}(x;q,0)$ of the nonsymmetric Macdonald polynomial $E_{wλ}(x;q,t)$ at $t=0$ with the graded character $\mathop{\rm gch} U_{w}^{+}(λ)$ of a certain Demazure-type submodule $U_{w}^{+}(λ)$ of a tensor product of "single-column" Kirillov--Reshetikhin modules for an untwisted affine Lie algebra, where $λ$ is a dominant integral weight and $w$ is a (finite) Weyl group element, this generalizes our previous result, that is, the equality between the specialization $P_λ(x;q,0)$ of the symmetric Macdonald polynomial $P_λ(x;q,t)$ at $t=0$ and the graded character of a tensor product of single-column Kirillov--Reshetikhin modules. We also give two combinatorial formulas for the mentioned specialization of a nonsymmetric Macdonald polynomial: one in terms of quantum Lakshmibai-Seshadri paths and the other in terms of the quantum alcove model.
△ Less
Submitted 9 September, 2016; v1 submitted 2 November, 2015;
originally announced November 2015.
-
Explicit description of the degree function in terms of quantum Lakshmibai-Seshadri paths
Authors:
Cristian Lenart,
Satoshi Naito,
Daisuke Sagaki,
Anne Schilling,
Mark Shimozono
Abstract:
We give an explicit and computable description, in terms of the parabolic quantum Bruhat graph, of the degree function defined for quantum Lakshmibai-Seshadri paths, or equivalently, for "projected" (affine) level-zero Lakshmibai-Seshadri paths. This, in turn, gives an explicit and computable description of the global energy function on tensor products of Kirillov-Reshetikhin crystals of one-colum…
▽ More
We give an explicit and computable description, in terms of the parabolic quantum Bruhat graph, of the degree function defined for quantum Lakshmibai-Seshadri paths, or equivalently, for "projected" (affine) level-zero Lakshmibai-Seshadri paths. This, in turn, gives an explicit and computable description of the global energy function on tensor products of Kirillov-Reshetikhin crystals of one-column type, and also of (classically restricted) one-dimensional sums.
△ Less
Submitted 2 September, 2015; v1 submitted 18 April, 2015;
originally announced April 2015.
-
Demazure submodules of level-zero extremal weight modules and specializations of Macdonald polynomials
Authors:
Satoshi Naito,
Daisuke Sagaki
Abstract:
In this paper, we give a characterization of the crystal bases $\mathcal{B}_{x}^{+}(λ)$, $x \in W_{\mathrm{af}}$, of Demazure submodules $V_{x}^{+}(λ)$, $x \in W_{\mathrm{af}}$, of a level-zero extremal weight module $V(λ)$ over a quantum affine algebra $U_{q}$, where $λ$ is an arbitrary level-zero dominant integral weight, and $W_{\mathrm{af}}$ denotes the affine Weyl group. This characterization…
▽ More
In this paper, we give a characterization of the crystal bases $\mathcal{B}_{x}^{+}(λ)$, $x \in W_{\mathrm{af}}$, of Demazure submodules $V_{x}^{+}(λ)$, $x \in W_{\mathrm{af}}$, of a level-zero extremal weight module $V(λ)$ over a quantum affine algebra $U_{q}$, where $λ$ is an arbitrary level-zero dominant integral weight, and $W_{\mathrm{af}}$ denotes the affine Weyl group. This characterization is given in terms of the initial direction of a semi-infinite Lakshmibai-Seshadri path, and is established under a suitably normalized isomorphism between the crystal basis $\mathcal{B}(λ)$ of the level-zero extremal weight module $V(λ)$ and the crystal $\mathbb{B}^{\frac{\infty}{2}}(λ)$ of semi-infinite Lakshmibai-Seshadri paths of shape $λ$, which is obtained in our previous work. As an application, we obtain a formula expressing the graded character of the Demazure submodule $V_{w_0}^{+}(λ)$ in terms of the specialization at $t=0$ of the symmetric Macdonald polynomial $P_λ(x\,;\,q,\,t)$.
△ Less
Submitted 9 January, 2016; v1 submitted 9 April, 2014;
originally announced April 2014.
-
Semi-infinite Lakshmibai-Seshadri path model for level-zero extremal weight modules over quantum affine algebras
Authors:
Motohiro Ishii,
Satoshi Naito,
Daisuke Sagaki
Abstract:
We introduce semi-infinite Lakshmibai-Seshadri paths by using the semi-infinite Bruhat order (or equivalently, Lusztig's generic Bruhat order) on affine Weyl groups in place of the usual Bruhat order. These paths enable us to give an explicit realization of the crystal basis of an extremal weight module of an arbitrary level-zero dominant integral extremal weight over a quantum affine algebra. Thi…
▽ More
We introduce semi-infinite Lakshmibai-Seshadri paths by using the semi-infinite Bruhat order (or equivalently, Lusztig's generic Bruhat order) on affine Weyl groups in place of the usual Bruhat order. These paths enable us to give an explicit realization of the crystal basis of an extremal weight module of an arbitrary level-zero dominant integral extremal weight over a quantum affine algebra. This result can be thought of as a full generalization of our previous result (which uses Littelmann's Lakshmibai-Seshadri paths), in which the level-zero dominant integral weight is assumed to be a positive-integer multiple of a level-zero fundamental weight.
△ Less
Submitted 25 August, 2014; v1 submitted 16 February, 2014;
originally announced February 2014.
-
A uniform model for Kirillov-Reshetikhin crystals II. Alcove model, path model, and P=X
Authors:
Cristian Lenart,
Satoshi Naito,
Daisuke Sagaki,
Anne Schilling,
Mark Shimozono
Abstract:
We establish the equality of the specialization $P_λ(x;q,0)$ of the Macdonald polynomial at $t=0$ with the graded character $X_λ(x;q)$ of a tensor product of "single-column" Kirillov-Reshetikhin (KR) modules for untwisted affine Lie algebras. This is achieved by constructing two uniform combinatorial models for the crystals associated with the mentioned tensor products: the quantum alcove model (w…
▽ More
We establish the equality of the specialization $P_λ(x;q,0)$ of the Macdonald polynomial at $t=0$ with the graded character $X_λ(x;q)$ of a tensor product of "single-column" Kirillov-Reshetikhin (KR) modules for untwisted affine Lie algebras. This is achieved by constructing two uniform combinatorial models for the crystals associated with the mentioned tensor products: the quantum alcove model (which is naturally associated to Macdonald polynomials), and the quantum Lakshmibai-Seshadri path model. We provide an explicit affine crystal isomorphism between the two models, and realize the energy function in both models. In particular, this gives the first proof of the positivity of the $t = 0$ limit of the symmetric Macdonald polynomial in the untwisted and non-simply-laced cases, when it is expressed as a linear combination of the irreducible characters for a finite-dimensional simple Lie subalgebra, as well as a representation-theoretic meaning of the coefficients in this expression in terms of degree functions.
△ Less
Submitted 9 September, 2016; v1 submitted 10 February, 2014;
originally announced February 2014.
-
Quantum Lakshmibai-Seshadri paths and root operators
Authors:
Cristian Lenart,
Satoshi Naito,
Daisuke Sagaki,
Anne Schilling,
Mark Shimozono
Abstract:
We give an explicit description of the image of a quantum LS path, regarded as a rational path, under the action of root operators, and show that the set of quantum LS paths is stable under the action of the root operators. As a by-product, we obtain a new proof of the fact that a projected level-zero LS path is just a quantum LS path.
We give an explicit description of the image of a quantum LS path, regarded as a rational path, under the action of root operators, and show that the set of quantum LS paths is stable under the action of the root operators. As a by-product, we obtain a new proof of the fact that a projected level-zero LS path is just a quantum LS path.
△ Less
Submitted 24 February, 2014; v1 submitted 15 August, 2013;
originally announced August 2013.
-
A uniform model for Kirillov-Reshetikhin crystals. Extended abstract
Authors:
Cristian Lenart,
Satoshi Naito,
Daisuke Sagaki,
Anne Schilling,
Mark Shimozono
Abstract:
We present a uniform construction of tensor products of one-column Kirillov-Reshetikhin (KR) crystals in all untwisted affine types, which uses a generalization of the Lakshmibai-Seshadri paths (in the theory of the Littelmann path model). This generalization is based on the graph on parabolic cosets of a Weyl group known as the parabolic quantum Bruhat graph. A related model is the so-called quan…
▽ More
We present a uniform construction of tensor products of one-column Kirillov-Reshetikhin (KR) crystals in all untwisted affine types, which uses a generalization of the Lakshmibai-Seshadri paths (in the theory of the Littelmann path model). This generalization is based on the graph on parabolic cosets of a Weyl group known as the parabolic quantum Bruhat graph. A related model is the so-called quantum alcove model. The proof is based on two lifts of the parabolic quantum Bruhat graph: to the Bruhat order on the affine Weyl group and to Littelmann's poset on level-zero weights. Our construction leads to a simple calculation of the energy function. It also implies the equality between a Macdonald polynomial specialized at t=0 and the graded character of a tensor product of KR modules.
△ Less
Submitted 26 November, 2012;
originally announced November 2012.
-
A uniform model for Kirillov-Reshetikhin crystals I: Lifting the parabolic quantum Bruhat graph
Authors:
Cristian Lenart,
Satoshi Naito,
Daisuke Sagaki,
Anne Schilling,
Mark Shimozono
Abstract:
We lift the parabolic quantum Bruhat graph into the Bruhat order on the affine Weyl group and into Littelmann's poset on level-zero weights. We establish a quantum analogue of Deodhar's Bruhat-minimum lift from a parabolic quotient of the Weyl group. This result asserts a remarkable compatibility of the quantum Bruhat graph on the Weyl group, with the cosets for every parabolic subgroup. Also, we…
▽ More
We lift the parabolic quantum Bruhat graph into the Bruhat order on the affine Weyl group and into Littelmann's poset on level-zero weights. We establish a quantum analogue of Deodhar's Bruhat-minimum lift from a parabolic quotient of the Weyl group. This result asserts a remarkable compatibility of the quantum Bruhat graph on the Weyl group, with the cosets for every parabolic subgroup. Also, we generalize Postnikov's lemma from the quantum Bruhat graph to the parabolic one; this lemma compares paths between two vertices in the former graph.
The results in this paper will be applied in a second paper to establish a uniform construction of tensor products of one-column Kirillov-Reshetikhin (KR) crystals, and the equality, for untwisted affine root systems, between the Macdonald polynomial with t set to zero and the graded character of tensor products of one-column KR modules.
△ Less
Submitted 5 December, 2013; v1 submitted 8 November, 2012;
originally announced November 2012.
-
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.
-
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.
-
Tensor products and Minkowski sums of Mirkovic-Vilonen polytopes
Authors:
Syu Kato,
Satoshi Naito,
Daisuke Sagaki
Abstract:
The purpose of this paper is to prove that the Mirkovic-Vilonen (MV for short) polytope corresponding to the tensor product of two arbitrary MV polytopes is contained in the Minkowski sum of these two MV polytopes. This generalizes the result in our previous paper [KNS], which was obtained under the assumption that the first tensor factor is an extremal MV polytope.
The purpose of this paper is to prove that the Mirkovic-Vilonen (MV for short) polytope corresponding to the tensor product of two arbitrary MV polytopes is contained in the Minkowski sum of these two MV polytopes. This generalizes the result in our previous paper [KNS], which was obtained under the assumption that the first tensor factor is an extremal MV polytope.
△ Less
Submitted 5 October, 2010;
originally announced October 2010.
-
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.
-
Tensor product multiplicities for crystal bases of extremal weight modules over quantum infinite rank affine algebras of types $B_{\infty}$, $C_{\infty}$, and $D_{\infty}$
Authors:
Satoshi Naito,
Daisuke Sagaki
Abstract:
Using Lakshmibai-Seshadri paths, we give a combinatorial realization of the crystal basis of an extremal weight module of integral extremal weight over the quantized universal enveloping algebra associated to the infinite rank affine Lie algebra of type $B_{\infty}$, $C_{\infty}$, or $D_{\infty}$. Moreover, via this realization, we obtain an explicit description (in terms of Littlewood-Richardson…
▽ More
Using Lakshmibai-Seshadri paths, we give a combinatorial realization of the crystal basis of an extremal weight module of integral extremal weight over the quantized universal enveloping algebra associated to the infinite rank affine Lie algebra of type $B_{\infty}$, $C_{\infty}$, or $D_{\infty}$. Moreover, via this realization, we obtain an explicit description (in terms of Littlewood-Richardson coefficients) of how tensor products of these crystal bases decompose into connected components when their extremal weights are of nonnegative levels. These results, in types $B_{\infty}$, $C_{\infty}$, and $D_{\infty}$, extend the corresponding results due to Kwon, in types $A_{+\infty}$ and $A_{\infty}$; our results above also include, as a special case, the corresponding results (concerning crystal bases) due to Lecouvey, in types $B_{\infty}$, $C_{\infty}$, and $D_{\infty}$, where the extremal weights are of level zero.
△ Less
Submitted 12 March, 2010;
originally announced March 2010.
