Showing 1–50 of 55 results for author: Sakamoto, R

Observation of Declination Dependence in the Cosmic Ray Energy Spectrum

Authors: The Telescope Array Collaboration, R. U. Abbasi, T. Abu-Zayyad, M. Allen, J. W. Belz, D. R. Bergman, I. Buckland, W. Campbell, B. G. Cheon, K. Endo, A. Fedynitch, T. Fujii, K. Fujisue, K. Fujita, M. Fukushima, G. Furlich, Z. Gerber, N. Globus, W. Hanlon, N. Hayashida, H. He, K. Hibino, R. Higuchi, D. Ikeda, T. Ishii , et al. (101 additional authors not shown)

Abstract: We report on an observation of the difference between northern and southern skies of the ultrahigh energy cosmic ray energy spectrum with a significance of ${\sim}8σ$. We use measurements from the two largest experiments$\unicode{x2014}$the Telescope Array observing the northern hemisphere and the Pierre Auger Observatory viewing the southern hemisphere. Since the comparison of two measurements fr… ▽ More We report on an observation of the difference between northern and southern skies of the ultrahigh energy cosmic ray energy spectrum with a significance of ${\sim}8σ$. We use measurements from the two largest experiments$\unicode{x2014}$the Telescope Array observing the northern hemisphere and the Pierre Auger Observatory viewing the southern hemisphere. Since the comparison of two measurements from different observatories introduces the issue of possible systematic differences between detectors and analyses, we validate the methodology of the comparison by examining the region of the sky where the apertures of the two observatories overlap. Although the spectra differ in this region, we find that there is only a $1.8σ$ difference between the spectrum measurements when anisotropic regions are removed and a fiducial cut in the aperture is applied. △ Less

Submitted 12 June, 2024; originally announced June 2024.

Comments: 8 pages, 6 figures

The rotation of classical bulges in barred galaxies in the presence of gas

Authors: Rubens E. G. Machado, Kenzo R. Sakamoto, Andressa Wille, Gustavo F. Gonçalves

Abstract: Barred galaxies often develop a box/peanut pseudobulge, but they can also host a nearly spherical classical bulge, which is known to gain rotation due to the bar. We aim to explore how the presence of gas impacts the rotation of classical bulges. We carried out a comprehensive set of hydrodynamical N-body simulations with different combinations of bulge masses and gas fractions. In these models, b… ▽ More Barred galaxies often develop a box/peanut pseudobulge, but they can also host a nearly spherical classical bulge, which is known to gain rotation due to the bar. We aim to explore how the presence of gas impacts the rotation of classical bulges. We carried out a comprehensive set of hydrodynamical N-body simulations with different combinations of bulge masses and gas fractions. In these models, both massive bulges and high gas content tend to inhibit the formation of strong bars. For low-mass bulges, the resulting bar is stronger in cases of low gas content. In the stronger bar models, bulges acquire more angular momentum and thus display considerable rotational velocity. Such bulges also develop anisotropic velocity dispersions and become triaxial in shape. We found that the rotation of the bulge becomes less pronounced as the gas fraction is increased from 0 to 30%. These results indicate that the gas content has a significant effect on the dynamics of the classical bulge, because it influences bar strength. Particularly in the case of the low-mass bulges (10% bulge mass fraction), all of the measured rotational and structural properties of the classical bulge depend strongly and systematically on the gas content of the galaxy. △ Less

Submitted 13 May, 2024; originally announced May 2024.

Comments: 25 pages, 22 figures, accepted for publication in Universe

Reinforcement Learning in Categorical Cybernetics

Authors: Jules Hedges, Riu Rodríguez Sakamoto

Abstract: We show that several major algorithms of reinforcement learning (RL) fit into the framework of categorical cybernetics, that is to say, parametrised bidirectional processes. We build on our previous work in which we show that value iteration can be represented by precomposition with a certain optic. The outline of the main construction in this paper is: (1) We extend the Bellman operators to param… ▽ More We show that several major algorithms of reinforcement learning (RL) fit into the framework of categorical cybernetics, that is to say, parametrised bidirectional processes. We build on our previous work in which we show that value iteration can be represented by precomposition with a certain optic. The outline of the main construction in this paper is: (1) We extend the Bellman operators to parametrised optics that apply to action-value functions and depend on a sample. (2) We apply a representable contravariant functor, obtaining a parametrised function that applies the Bellman iteration. (3) This parametrised function becomes the backward pass of another parametrised optic that represents the model, which interacts with an environment via an agent. Thus, parametrised optics appear in two different ways in our construction, with one becoming part of the other. As we show, many of the major classes of algorithms in RL can be seen as different extremal cases of this general setup: dynamic programming, Monte Carlo methods, temporal difference learning, and deep RL. We see this as strong evidence that this approach is a natural one and believe that it will be a fruitful way to think about RL in the future. △ Less

Submitted 3 April, 2024; originally announced April 2024.

Harder's denominator problem for $\mathrm{SL}_2(\mathbb{Z})$ and its applications

Authors: Hohto Bekki, Ryotaro Sakamoto

Abstract: The aim of this paper is to give a full detail of the proof given by Harder of a theorem on the denominator of the Eisenstein class for $\mathrm{SL}_2(\mathbb{Z})$ and to show that the theorem has some interesting applications including the proof of a recent conjecture by Duke on the integrality of the higher Rademacher symbols. We also present a sharp universal upper bound for the denominators of… ▽ More The aim of this paper is to give a full detail of the proof given by Harder of a theorem on the denominator of the Eisenstein class for $\mathrm{SL}_2(\mathbb{Z})$ and to show that the theorem has some interesting applications including the proof of a recent conjecture by Duke on the integrality of the higher Rademacher symbols. We also present a sharp universal upper bound for the denominators of the values of partial zeta functions associated with narrow ideal classes of real quadratic fields in terms of the denominator of the values of the Riemann zeta function. △ Less

Submitted 9 March, 2024; originally announced March 2024.

Comments: 57 pages

Report number: MPIM-Bonn-2024 MSC Class: 11F75; 11R42; 11F11; 11F67; 11R23

Boosting Radiology Report Generation by Infusing Comparison Prior

Authors: Sanghwan Kim, Farhad Nooralahzadeh, Morteza Rohanian, Koji Fujimoto, Mizuho Nishio, Ryo Sakamoto, Fabio Rinaldi, Michael Krauthammer

Abstract: Recent transformer-based models have made significant strides in generating radiology reports from chest X-ray images. However, a prominent challenge remains: these models often lack prior knowledge, resulting in the generation of synthetic reports that mistakenly reference non-existent prior exams. This discrepancy can be attributed to a knowledge gap between radiologists and the generation model… ▽ More Recent transformer-based models have made significant strides in generating radiology reports from chest X-ray images. However, a prominent challenge remains: these models often lack prior knowledge, resulting in the generation of synthetic reports that mistakenly reference non-existent prior exams. This discrepancy can be attributed to a knowledge gap between radiologists and the generation models. While radiologists possess patient-specific prior information, the models solely receive X-ray images at a specific time point. To tackle this issue, we propose a novel approach that leverages a rule-based labeler to extract comparison prior information from radiology reports. This extracted comparison prior is then seamlessly integrated into state-of-the-art transformer-based models, enabling them to produce more realistic and comprehensive reports. Our method is evaluated on English report datasets, such as IU X-ray and MIMIC-CXR. The results demonstrate that our approach surpasses baseline models in terms of natural language generation metrics. Notably, our model generates reports that are free from false references to non-existent prior exams, setting it apart from previous models. By addressing this limitation, our approach represents a significant step towards bridging the gap between radiologists and generation models in the domain of medical report generation. △ Less

Submitted 5 June, 2023; v1 submitted 8 May, 2023; originally announced May 2023.

Comments: Accepted at ACL 2023, BioNLP Workshop

On the Artin formalism for $p$-adic Garrett--Rankin $L$-functions

Authors: Kâzım Büyükboduk, Daniele Casazza, Ryotaro Sakamoto

Abstract: Our main objective in the present article is to study the factorization problem for triple-product $p$-adic $L$-functions, particularly in the scenarios when the defining properties of the $p$-adic $L$-functions involved have no bearing on this problem, although Artin formalism would suggest such a factorization. Our analysis is guided by the ETNC philosophy and it involves a comparison of diagona… ▽ More Our main objective in the present article is to study the factorization problem for triple-product $p$-adic $L$-functions, particularly in the scenarios when the defining properties of the $p$-adic $L$-functions involved have no bearing on this problem, although Artin formalism would suggest such a factorization. Our analysis is guided by the ETNC philosophy and it involves a comparison of diagonal cycles, Beilinson--Flach elements, and Beilinson--Kato elements, much in the spirit of the work of Gross (that is based on a comparison of elliptic units and cyclotomic units) and Dasgupta (that dwells on a comparison of Beilinson--Flach elements and cyclotomic units) for smaller-rank motives. △ Less

Submitted 19 January, 2023; originally announced January 2023.

Comments: 92 pages

Value Iteration is Optic Composition

Authors: Jules Hedges, Riu Rodríguez Sakamoto

Abstract: Dynamic programming is a class of algorithms used to compute optimal control policies for Markov decision processes. Dynamic programming is ubiquitous in control theory, and is also the foundation of reinforcement learning. In this paper, we show that value improvement, one of the main steps of dynamic programming, can be naturally seen as composition in a category of optics, and intuitively, the… ▽ More Dynamic programming is a class of algorithms used to compute optimal control policies for Markov decision processes. Dynamic programming is ubiquitous in control theory, and is also the foundation of reinforcement learning. In this paper, we show that value improvement, one of the main steps of dynamic programming, can be naturally seen as composition in a category of optics, and intuitively, the optimal value function is the limit of a chain of optic compositions. We illustrate this with three classic examples: the gridworld, the inverted pendulum and the savings problem. This is a first step towards a complete account of reinforcement learning in terms of parametrised optics. △ Less

Submitted 31 July, 2023; v1 submitted 9 June, 2022; originally announced June 2022.

Comments: In Proceedings ACT 2022, arXiv:2307.15519

Journal ref: EPTCS 380, 2023, pp. 417-432

Convergence of neural networks to Gaussian mixture distribution

Authors: Yasuhiko Asao, Ryotaro Sakamoto, Shiro Takagi

Abstract: We give a proof that, under relatively mild conditions, fully-connected feed-forward deep random neural networks converge to a Gaussian mixture distribution as only the width of the last hidden layer goes to infinity. We conducted experiments for a simple model which supports our result. Moreover, it gives a detailed description of the convergence, namely, the growth of the last hidden layer gets… ▽ More We give a proof that, under relatively mild conditions, fully-connected feed-forward deep random neural networks converge to a Gaussian mixture distribution as only the width of the last hidden layer goes to infinity. We conducted experiments for a simple model which supports our result. Moreover, it gives a detailed description of the convergence, namely, the growth of the last hidden layer gets the distribution closer to the Gaussian mixture, and the other layer successively get the Gaussian mixture closer to the normal distribution. △ Less

Submitted 26 April, 2022; originally announced April 2022.

Comments: 14 pages + supplemental materials

Image recognition via Vietoris-Rips complex

Authors: Yasuhiko Asao, Jumpei Nagase, Ryotaro Sakamoto, Shiro Takagi

Abstract: Extracting informative features from images has been of capital importance in computer vision. In this paper, we propose a way to extract such features from images by a method based on algebraic topology. To that end, we construct a weighted graph from an image, which extracts local information of an image. By considering this weighted graph as a pseudo-metric space, we construct a Vietoris-Rips c… ▽ More Extracting informative features from images has been of capital importance in computer vision. In this paper, we propose a way to extract such features from images by a method based on algebraic topology. To that end, we construct a weighted graph from an image, which extracts local information of an image. By considering this weighted graph as a pseudo-metric space, we construct a Vietoris-Rips complex with a parameter $\varepsilon$ by a well-known process of algebraic topology. We can extract information of complexity of the image and can detect a sub-image with a relatively high concentration of information from this Vietoris-Rips complex. The parameter $\varepsilon$ of the Vietoris-Rips complex produces robustness to noise. We empirically show that the extracted feature captures well images' characteristics. △ Less

Submitted 5 September, 2021; originally announced September 2021.

Comments: 10 pages

Forecasting Health and Wellbeing for Shift Workers Using Job-role Based Deep Neural Network

Authors: Han Yu, Asami Itoh, Ryota Sakamoto, Motomu Shimaoka, Akane Sano

Abstract: Shift workers who are essential contributors to our society, face high risks of poor health and wellbeing. To help with their problems, we collected and analyzed physiological and behavioral wearable sensor data from shift working nurses and doctors, as well as their behavioral questionnaire data and their self-reported daily health and wellbeing labels, including alertness, happiness, energy, hea… ▽ More Shift workers who are essential contributors to our society, face high risks of poor health and wellbeing. To help with their problems, we collected and analyzed physiological and behavioral wearable sensor data from shift working nurses and doctors, as well as their behavioral questionnaire data and their self-reported daily health and wellbeing labels, including alertness, happiness, energy, health, and stress. We found the similarities and differences between the responses of nurses and doctors. According to the differences in self-reported health and wellbeing labels between nurses and doctors, and the correlations among their labels, we proposed a job-role based multitask and multilabel deep learning model, where we modeled physiological and behavioral data for nurses and doctors simultaneously to predict participants' next day's multidimensional self-reported health and wellbeing status. Our model showed significantly better performances than baseline models and previous state-of-the-art models in the evaluations of binary/3-class classification and regression prediction tasks. We also found features related to heart rate, sleep, and work shift contributed to shift workers' health and wellbeing. △ Less

Submitted 22 June, 2021; originally announced June 2021.

Comments: In: Wireless Mobile Communication and Healthcare. MobiHealth 2020

$p$-Selmer group and Modular symbols

Authors: Ryotaro Sakamoto

Abstract: In this paper, we prove that the dimension of the $p$-Selmer group for an elliptic curve is controlled by certain analytic quantities associated with modular symbols, which is conjectured by Kurihara. In this paper, we prove that the dimension of the $p$-Selmer group for an elliptic curve is controlled by certain analytic quantities associated with modular symbols, which is conjectured by Kurihara. △ Less

Submitted 9 November, 2021; v1 submitted 7 June, 2021; originally announced June 2021.

Comments: 29 pages

Euler Systems for $\mathrm{GSp}_4 \times \mathrm{GL}_2$

Authors: Chi-Yun Hsu, Zhaorong **, Ryotaro Sakamoto

Abstract: For a non-endoscopic cohomological cuspidal automorphic representation of $\mathrm{GSp}_4 \times \mathrm{GL}_2$, assumed to be $p$-ordinary, we construct an Euler system for the Galois representation associated to it. Both the construction and the verification of tame norm relations are based on Novodvorsky's integral formula for the $L$-function of $\mathrm{GSp}_4 \times \mathrm{GL}_2$. For a non-endoscopic cohomological cuspidal automorphic representation of $\mathrm{GSp}_4 \times \mathrm{GL}_2$, assumed to be $p$-ordinary, we construct an Euler system for the Galois representation associated to it. Both the construction and the verification of tame norm relations are based on Novodvorsky's integral formula for the $L$-function of $\mathrm{GSp}_4 \times \mathrm{GL}_2$. △ Less

Submitted 27 December, 2020; v1 submitted 25 November, 2020; originally announced November 2020.

Comments: 54 pages. Simplified proof of local formula for tame norm relations. Added assumptions for tame norm relation to exclude boundary weights which do not go through the current proof. Other minor corrections

$\mathcal{L}$-invariants, $p$-adic heights and factorization of $p$-adic $L$-functions

Authors: Kâzim Büyükboduk, Ryotaro Sakamoto

Abstract: We continue with our study of the non-critical exceptional zeros of Katz' $p$-adic $L$-functions attached to a CM field $K$, following two threads. In the first thread, we redefine our (group-ring-valued) $\mathcal{L}$-invariant associated to each $\mathbb{Z}_{p}$-extension $K_Γ$ of $K$ in terms of $p$-adic height pairings and interpolate them as $K_Γ$ varies to a universal (multivariate) group-ri… ▽ More We continue with our study of the non-critical exceptional zeros of Katz' $p$-adic $L$-functions attached to a CM field $K$, following two threads. In the first thread, we redefine our (group-ring-valued) $\mathcal{L}$-invariant associated to each $\mathbb{Z}_{p}$-extension $K_Γ$ of $K$ in terms of $p$-adic height pairings and interpolate them as $K_Γ$ varies to a universal (multivariate) group-ring-valued $\mathcal{L}$-invariant. In the second thread, we use our results to study the exceptional zeros of the non-genuine Rankin--Selberg $p$-adic $L$-functions attached to the self-products of nearly ordinary CM families, via the factorization statements we establish. The factorization theorems are extensions of the results due to Greenberg and Palvannan. △ Less

Submitted 22 October, 2021; v1 submitted 3 June, 2020; originally announced June 2020.

Comments: 48 pages, final version (to appear in IMRN). Journal version may be slightly different

Notes on the module of Euler systems

Authors: Ryotaro Sakamoto

Abstract: In this paper, we study the module of Euler systems. We determine the ideal of an Iwasawa algebra associated with Euler systems of rank $0$. We also show that the module of higher rank Euler systems for $\mathbb{G}_{m}$ over a totally real field is free of rank $1$ under the assumptions that Greenberg conjecture holds true and that the $μ$-invariant of a certain Iwasawa module vanishes. In this paper, we study the module of Euler systems. We determine the ideal of an Iwasawa algebra associated with Euler systems of rank $0$. We also show that the module of higher rank Euler systems for $\mathbb{G}_{m}$ over a totally real field is free of rank $1$ under the assumptions that Greenberg conjecture holds true and that the $μ$-invariant of a certain Iwasawa module vanishes. △ Less

Submitted 24 October, 2021; v1 submitted 3 April, 2020; originally announced April 2020.

Comments: 18 pages

A higher rank Euler system for the multiplicative group over a totally real field

Authors: Ryotaro Sakamoto

Abstract: In this paper, we construct a higher rank Euler system for the multiplicative group over a totally real field by using the Iwasawa main conjecture proved by Wiles. A key ingredient of the construction is to generalize the notion of the characteristic ideal. Under certain technical assumptions, we prove that all higher Fitting ideals of a certain $p$-ramified Iwasawa module are described by analyti… ▽ More In this paper, we construct a higher rank Euler system for the multiplicative group over a totally real field by using the Iwasawa main conjecture proved by Wiles. A key ingredient of the construction is to generalize the notion of the characteristic ideal. Under certain technical assumptions, we prove that all higher Fitting ideals of a certain $p$-ramified Iwasawa module are described by analytic invariants canonically associated with Stickelberger elements. △ Less

Submitted 17 February, 2020; v1 submitted 12 February, 2020; originally announced February 2020.

Comments: 45 pages

Implementation and Performance of Barnes-Hut N-body algorithm on Extreme-scale Heterogeneous Many-core Architectures

Authors: Masaki Iwasawa, Daisuke Namekata, Ryo Sakamoto, Takashi Nakamura, Yasuyuki Kimura, Keigo Nitadori, Long Wang, Miyuki Tsubouchi, Jun Makino, Zhao Liu, Haohuan Fu, Guangwen Yang

Abstract: In this paper, we report the implementation and measured performance of our extreme-scale global simulation code on Sunway TaihuLight and two PEZY-SC2 systems: Shoubu System B and Gyoukou. The numerical algorithm is the parallel Barnes-Hut tree algorithm, which has been used in many large-scale astrophysical particle-based simulations. Our implementation is based on our FDPS framework. However, th… ▽ More In this paper, we report the implementation and measured performance of our extreme-scale global simulation code on Sunway TaihuLight and two PEZY-SC2 systems: Shoubu System B and Gyoukou. The numerical algorithm is the parallel Barnes-Hut tree algorithm, which has been used in many large-scale astrophysical particle-based simulations. Our implementation is based on our FDPS framework. However, the extremely large numbers of cores of the systems used (10M on TaihuLight and 16M on Gyoukou) and their relatively poor memory and network bandwidth pose new challenges. We describe the new algorithms introduced to achieve high efficiency on machines with low memory bandwidth. The measured performance is 47.9, 10.6 PF, and 1.01PF on TaihuLight, Gyoukou and Shoubu System B (efficiency 40\%, 23.5\% and 35.5\%). The current code is developed for the simulation of planetary rings, but most of the new algorithms are useful for other simulations, and are now available in the FDPS framework. △ Less

Submitted 4 July, 2019; originally announced July 2019.

The $h^{*}$-polynomial of the cut polytope of $K_{2,m}$ in the lattice spanned by its vertices

Authors: Ryuichi Sakamoto

Abstract: The cut polytope of a graph is an important object in several fields, such as functional analysis, combinatorial optimization, and probability. For example, Sturmfels and Sullivant showed that the toric ideals of cut polytopes are useful in algebraic statistics. In the theory of lattice polytopes, the $h^{*}$-polynomial is one of the most important invariants. The necessary and sufficient conditio… ▽ More The cut polytope of a graph is an important object in several fields, such as functional analysis, combinatorial optimization, and probability. For example, Sturmfels and Sullivant showed that the toric ideals of cut polytopes are useful in algebraic statistics. In the theory of lattice polytopes, the $h^{*}$-polynomial is one of the most important invariants. The necessary and sufficient condition in terms of graphs that the $h^{*}$-polynomial of a cut polytope is palindromic is known. However, except for trees, there are no classes of graphs for which the $h^{*}$-polynomial of their cut polytope is explicitly specified. In the present paper, we determine the $h^{*}$-polynomial of the cut polytope of complete bipartite graph $K_{2,m}$ using the theory of Gröbner bases of toric ideals. △ Less

Submitted 10 April, 2020; v1 submitted 24 April, 2019; originally announced April 2019.

Comments: 12 pages

On the non-critical exceptional zeros of Katz $p$-adic $L$-functions for CM fields

Authors: Kazim Buyukboduk, Ryotaro Sakamoto

Abstract: The primary goal of this article is to study $p$-adic Beilinson conjectures in the presence of exceptional zeros for Artin motives over CM fields. In more precise terms, we address a question raised by Hida and Tilouine on the order of vanishing of Katz $p$-adic $L$-functions associated to CM fields, by means of a leading term formula we prove in terms of Rubin-Stark elements. In the particular ca… ▽ More The primary goal of this article is to study $p$-adic Beilinson conjectures in the presence of exceptional zeros for Artin motives over CM fields. In more precise terms, we address a question raised by Hida and Tilouine on the order of vanishing of Katz $p$-adic $L$-functions associated to CM fields, by means of a leading term formula we prove in terms of Rubin-Stark elements. In the particular case when the CM field in question is imaginary quadratic, our leading term formula and its consequences we record herein are unconditional. △ Less

Submitted 10 May, 2022; v1 submitted 2 April, 2019; originally announced April 2019.

Comments: 39 pages. Final version, to appear in Advances in Mathematics (may differ from the journal version)

On the theory of higher rank Euler, Kolyvagin and Stark systems, IV: the multiplicative group

Authors: David Burns, Ryotaro Sakamoto, Takamichi Sano

Abstract: We describe a refinement of the general theory of higher rank Euler, Kolyvagin and Stark systems in the setting of the multiplicative group over arbitrary number fields. We use the refined theory to prove new results concerning the Galois structure of ideal class groups and the validity of both the equivariant Tamagawa number conjecture and of the `refined class number formula' that has been conje… ▽ More We describe a refinement of the general theory of higher rank Euler, Kolyvagin and Stark systems in the setting of the multiplicative group over arbitrary number fields. We use the refined theory to prove new results concerning the Galois structure of ideal class groups and the validity of both the equivariant Tamagawa number conjecture and of the `refined class number formula' that has been conjectured by Mazur and Rubin and by Sano. In contrast to previous work in this direction, these results require no hypotheses on the decomposition behaviour of places that are intended to rule out the existence of `trivial zeroes'. △ Less

Submitted 22 March, 2019; originally announced March 2019.

Comments: 37 pages

Iwahori-Hecke algebra and unramified local L-functions

Authors: Masao Oi, Ryotaro Sakamoto, Hiroyoshi Tamori

Abstract: In this paper, we compute the Hecke action of a certain test function on the space of an unramified principal series of a connected reductive group over a non-archimedean local field by using the theory of Iwahori--Hecke algebra. As an application, we obtain a new expression of the local L-functions of unramified representations. In this paper, we compute the Hecke action of a certain test function on the space of an unramified principal series of a connected reductive group over a non-archimedean local field by using the theory of Iwahori--Hecke algebra. As an application, we obtain a new expression of the local L-functions of unramified representations. △ Less

Submitted 8 February, 2022; v1 submitted 12 March, 2019; originally announced March 2019.

Comments: 41 pages, 1 table, proofs were simplified according to the suggestion of Thomas Haines

MSC Class: 22E50; 11F70

On the theory of higher rank Euler, Kolyvagin and Stark systems, III: applications

Authors: David Burns, Ryotaro Sakamoto, Takamichi Sano

Abstract: In an earlier article we proved the existence of a canonical Kolyvagin derivative homomorphism between the modules of Euler and Kolyvagin systems (in any given rank) that are associated to $p$-adic representations over number fields. We now explain how the existence of such a homomorphism leads to new results on the structure of the Selmer modules of Galois representations over Gorenstein orders a… ▽ More In an earlier article we proved the existence of a canonical Kolyvagin derivative homomorphism between the modules of Euler and Kolyvagin systems (in any given rank) that are associated to $p$-adic representations over number fields. We now explain how the existence of such a homomorphism leads to new results on the structure of the Selmer modules of Galois representations over Gorenstein orders and to a strategy for verifying (refinements of) the Tamagawa number conjecture of Bloch and Kato. We describe concrete applications relating to the multiplicative group over arbitrary number fields and to elliptic curves over abelian extensions of the rational numbers. △ Less

Submitted 19 February, 2019; originally announced February 2019.

Comments: 48 pages

Generation High resolution 3D model from natural language by Generative Adversarial Network

Authors: Kentaro Fukamizu, Masaaki Kondo, Ryuichi Sakamoto

Abstract: We present a method of generating high resolution 3D shapes from natural language descriptions. To achieve this goal, we propose two steps that generating low resolution shapes which roughly reflect texts and generating high resolution shapes which reflect the detail of texts. In a previous paper, the authors have shown a method of generating low resolution shapes. We improve it to generate 3D sha… ▽ More We present a method of generating high resolution 3D shapes from natural language descriptions. To achieve this goal, we propose two steps that generating low resolution shapes which roughly reflect texts and generating high resolution shapes which reflect the detail of texts. In a previous paper, the authors have shown a method of generating low resolution shapes. We improve it to generate 3D shapes more faithful to natural language and test the effectiveness of the method. To generate high resolution 3D shapes, we use the framework of Conditional Wasserstein GAN. We propose two roles of Critic separately, which calculate the Wasserstein distance between two probability distribution, so that we achieve generating high quality shapes or acceleration of learning speed of model. To evaluate our approach, we performed quantitive evaluation with several numerical metrics for Critic models. Our method is first to realize the generation of high quality model by propagating text embedding information to high resolution task when generating 3D model. △ Less

Submitted 21 January, 2019; originally announced January 2019.

On the theory of higher rank Euler, Kolyvagin and Stark systems, II

Authors: David Burns, Ryotaro Sakamoto, Takamichi Sano

Abstract: We prove the existence of a canonical `higher Kolyvagin derivative' homomorphism between the modules of higher rank Euler systems and higher rank Kolyvagin systems, as has been conjectured to exist by Mazur and Rubin. This homomorphism exists in the setting of $p$-adic representations that are free with respect to the action of a Gorenstein order $\mathcal{R}$ and, in particular, implies that high… ▽ More We prove the existence of a canonical `higher Kolyvagin derivative' homomorphism between the modules of higher rank Euler systems and higher rank Kolyvagin systems, as has been conjectured to exist by Mazur and Rubin. This homomorphism exists in the setting of $p$-adic representations that are free with respect to the action of a Gorenstein order $\mathcal{R}$ and, in particular, implies that higher rank Euler systems control the $\mathcal{R}$-module structures of Selmer modules attached to the representation. We give a first application of this theory by considering the (conjectural) Euler system of Rubin-Stark elements. △ Less

Submitted 22 May, 2018; originally announced May 2018.

Comments: 51 pages

Three-dimensional graphdiyne as a topological nodal-line semimetal

Authors: Takafumi Nomura, Tetsuro Habe, Ryota Sakamoto, Mikito Koshino

Abstract: We study the electronic band structure of three-dimensional ABC-stacked (rhombohedral) graphdiyne, which is a new planar carbon allotrope recently fabricated. Using the first-principles calculation, we show that the system is a nodal-line semimetal, in which the conduction band and valence band cross at a closed ring in the momentum space. We derive the minimum tight-binding model and the low-ener… ▽ More We study the electronic band structure of three-dimensional ABC-stacked (rhombohedral) graphdiyne, which is a new planar carbon allotrope recently fabricated. Using the first-principles calculation, we show that the system is a nodal-line semimetal, in which the conduction band and valence band cross at a closed ring in the momentum space. We derive the minimum tight-binding model and the low-energy effective Hamiltonian in a $4\times 4$ matrix form. The nodal line is protected by a non-trivial winding number, and it ensures the existence of the topological surface state in a finite-thickness slab. The Fermi surface of the doped system exhibits a peculiar, self-intersecting hourglass structure, which is quite different from the torus or pipe shape in the previously proposed nodal semimetals. Despite its simple configuration, three-dimensional graphdiyne offers unique electronic properties distinct from any other carbon allotropes. △ Less

Submitted 9 April, 2018; v1 submitted 5 April, 2018; originally announced April 2018.

Comments: 6 pages, 5 figures

Journal ref: Phys. Rev. Materials 2, 054204 (2018)

Lexicographic and reverse lexicographic quadratic Gröbner bases of cut ideals

Authors: Ryuichi Sakamoto

Abstract: Hibi conjectured that if a toric ideal has a quadratic Gröbner basis, then the toric ideal has either a lexicographic or a reverse lexicographic quadratic Gröbner basis. In this paper, we present a cut ideal of a graph that serves as a counterexample to this conjecture. We also discuss the existence of a quadratic Gröbner basis of a cut ideal of a cycle. Nagel and Petrović claimed that a cut ideal… ▽ More Hibi conjectured that if a toric ideal has a quadratic Gröbner basis, then the toric ideal has either a lexicographic or a reverse lexicographic quadratic Gröbner basis. In this paper, we present a cut ideal of a graph that serves as a counterexample to this conjecture. We also discuss the existence of a quadratic Gröbner basis of a cut ideal of a cycle. Nagel and Petrović claimed that a cut ideal of a cycle has a lexicographic quadratic Gröbner basis using the results of Chifman and Petrović. However, we point out that the results of Chifman and Petrović used by Nagel and Petrović are incorrect for cycles of length greater than or equal to 6. Hence the existence of a quadratic Gröbner basis for the cut ideal of a cycle (a ring graph) is an open question. We also provide a lexicographic quadratic Gröbner basis of a cut ideal of a cycle of length less than or equal to 7. △ Less

Submitted 10 December, 2019; v1 submitted 23 February, 2018; originally announced February 2018.

Comments: 13 pages, 2 figures

Invitation to the Bethe ansatz

Authors: Reiho Sakamoto

Abstract: We review the algebraic Bethe ansatz for the Heisenberg model. The exposition includes some of recent advancements with emphasis on a relation with the rigged configurations. We also provide somewhat thorough review of the crystal bases and the rigged configurations. In particular, we provide the inverse scattering transform for the type $D^{(1)}_n$ box-ball systems. We also provide a reformulat… ▽ More We review the algebraic Bethe ansatz for the Heisenberg model. The exposition includes some of recent advancements with emphasis on a relation with the rigged configurations. We also provide somewhat thorough review of the crystal bases and the rigged configurations. In particular, we provide the inverse scattering transform for the type $D^{(1)}_n$ box-ball systems. We also provide a reformulation of a result of arXiv:0711.4185. △ Less

Submitted 5 April, 2017; originally announced April 2017.

Comments: 76 pages. Main text in Japanese. English abstract at the final page

Journal ref: Proceedings for the 61st Symposium on Algebra (Mathematical Society of Japan, 2017), pp 43--118

Stark Systems over Gorenstein Local Rings

Authors: Ryotaro Sakamoto

Abstract: In this paper, we define a module of Stark systems over a complete Gorenstein local ring with a finite residue field of odd characteristic. Under some mild assumptions, we show that it is free of rank one and that these systems control all the Fitting ideals of the Pontryagin dual of the dual Selmer group. These results generalize the work of B. Mazur and K. Rubin on Stark systems over a principal… ▽ More In this paper, we define a module of Stark systems over a complete Gorenstein local ring with a finite residue field of odd characteristic. Under some mild assumptions, we show that it is free of rank one and that these systems control all the Fitting ideals of the Pontryagin dual of the dual Selmer group. These results generalize the work of B. Mazur and K. Rubin on Stark systems over a principal ideal ring. △ Less

Submitted 5 June, 2017; v1 submitted 20 December, 2016; originally announced December 2016.

Comments: 27 pages

Journal ref: Alg. Number Th. 12 (2018) 2295-2326

Implementation and evaluation of data-compression algorithms for irregular-grid iterative methods on the PEZY-SC processor

Authors: Naoki Yoshifuji, Ryo Sakamoto, Keigo Nitadori, Jun Makino

Abstract: Iterative methods on irregular grids have been used widely in all areas of comptational science and engineering for solving partial differential equations with complex geometry. They provide the flexibility to express complex shapes with relatively low computational cost. However, the direction of the evolution of high-performance processors in the last two decades have caused serious degradation… ▽ More Iterative methods on irregular grids have been used widely in all areas of comptational science and engineering for solving partial differential equations with complex geometry. They provide the flexibility to express complex shapes with relatively low computational cost. However, the direction of the evolution of high-performance processors in the last two decades have caused serious degradation of the computational efficiency of iterative methods on irregular grids, because of relatively low memory bandwidth. Data compression can in principle reduce the necessary memory memory bandwidth of iterative methods and thus improve the efficiency. We have implemented several data compression algorithms on the PEZY-SC processor, using the matrix generated for the HPCG benchmark as an example. For the SpMV (Sparse Matrix-Vector multiplication) part of the HPCG benchmark, the best implementation without data compression achieved 11.6Gflops/chip, close to the theoretical limit due to the memory bandwidth. Our implementation with data compression has achieved 32.4Gflops. This is of course rather extreme case, since the grid used in HPCG is geometrically regular and thus its compression efficiency is very high. However, in real applications, it is in many cases possible to make a large part of the grid to have regular geometry, in particular when the resolution is high. Note that we do not need to change the structure of the program, except for the addition of the data compression/decompression subroutines. Thus, we believe the data compression will be very useful way to improve the performance of many applications which rely on the use of irregular grids. △ Less

Submitted 1 December, 2016; originally announced December 2016.

Comments: Talk given at IA3 2016 Sixth Workshop on Irregular Applications: Architectures and Algorithms http://hpc.pnl.gov/IA3/IA3/Program.html

Type $D_n^{(1)}$ rigged configuration bijection

Authors: Masato Okado, Reiho Sakamoto, Anne Schilling, Travis Scrimshaw

Abstract: We establish a bijection between the set of rigged configurations and the set of tensor products of Kirillov--Reshetikhin crystals of type $D^{(1)}_n$ in full generality. We prove the invariance of rigged configurations under the action of the combinatorial $R$-matrix on tensor products and show that the bijection preserves certain statistics (cocharge and energy). As a result, we establish the fe… ▽ More We establish a bijection between the set of rigged configurations and the set of tensor products of Kirillov--Reshetikhin crystals of type $D^{(1)}_n$ in full generality. We prove the invariance of rigged configurations under the action of the combinatorial $R$-matrix on tensor products and show that the bijection preserves certain statistics (cocharge and energy). As a result, we establish the fermionic formula for type $D_n^{(1)}$. In addition, we establish that the bijection is a classical crystal isomorphism. △ Less

Submitted 26 March, 2016; originally announced March 2016.

Comments: 54 pages

MSC Class: 17B37 (Primary) 05A19; 81R50; 82B23 (Secondary)

Journal ref: J Algebr Comb, Volume 46, Issue 2, pp 341-401 (2017)

Bethe's Quantum Numbers And Rigged Configurations

Authors: Anatol N. Kirillov, Reiho Sakamoto

Abstract: We propose a method to determine the quantum numbers, which we call the rigged configurations, for the solutions to the Bethe ansatz equations for the spin-1/2 isotropic Heisenberg model under the periodic boundary condition. Our method is based on the observation that the sums of Bethe's quantum numbers within each string behave particularly nicely. We confirm our procedure for all solutions for… ▽ More We propose a method to determine the quantum numbers, which we call the rigged configurations, for the solutions to the Bethe ansatz equations for the spin-1/2 isotropic Heisenberg model under the periodic boundary condition. Our method is based on the observation that the sums of Bethe's quantum numbers within each string behave particularly nicely. We confirm our procedure for all solutions for length 12 chain (totally 923 solutions). △ Less

Submitted 15 March, 2016; v1 submitted 8 September, 2015; originally announced September 2015.

Comments: 16 pages. Supplementary tables are included in the source file. (v2) New example at pages 8--9. (v3) Final version with minor revision

Journal ref: Nuclear Physics B 905 (2016) 359-372

Rigged Configurations Approach For The Spin-1/2 Isotropic Heisenberg Model

Authors: Reiho Sakamoto

Abstract: We continue the rigged configurations analysis of the solutions to the Bethe ansatz equations for the spin-1/2 isotropic Heisenberg model. We analyze the non self-conjugate strings of Deguchi-Giri and the counter example for the string hypothesis discovered by Essler-Korepin-Schoutens. In both cases clear discrete structures appear. We continue the rigged configurations analysis of the solutions to the Bethe ansatz equations for the spin-1/2 isotropic Heisenberg model. We analyze the non self-conjugate strings of Deguchi-Giri and the counter example for the string hypothesis discovered by Essler-Korepin-Schoutens. In both cases clear discrete structures appear. △ Less

Submitted 27 February, 2015; v1 submitted 3 January, 2015; originally announced January 2015.

Comments: 27 pages, final version. Another example of non self-conjugate strings is analyzed at page 11, some editorial modifications. Along with the main article, I upload a supplementary table in PDF format which will not appear in the journal version

Journal ref: J. Phys. A: Math. Theor. 48 (2015) 165201 (25pp)

Rigged Configurations and Cylindric Loop Schur Functions

Authors: Thomas Lam, Pavlo Pylyavskyy, Reiho Sakamoto

Abstract: Rigged configurations are known to provide action-angle variables for remarkable discrete dynamical systems known as box-ball systems. We conjecture an explicit piecewise-linear formula to obtain the shapes of a rigged configuration from a tensor product of one-row crystals. We introduce cylindric loop Schur functions and show that they are invariants of the geometric R-matrix. Our piecewise-linea… ▽ More Rigged configurations are known to provide action-angle variables for remarkable discrete dynamical systems known as box-ball systems. We conjecture an explicit piecewise-linear formula to obtain the shapes of a rigged configuration from a tensor product of one-row crystals. We introduce cylindric loop Schur functions and show that they are invariants of the geometric R-matrix. Our piecewise-linear formula is obtained as the tropicalization of ratios of cylindric loop Schur functions. We prove our conjecture for the first shape of a rigged configuration, thus giving a piecewise-linear formula for the lengths of the solitons of a box-ball system. △ Less

Submitted 13 October, 2016; v1 submitted 16 October, 2014; originally announced October 2014.

Comments: 32 pages. (v2) Corrections on Section 6.3, Conjecture 5.3 and other typos. Acknowledgments added. (v3) Final version with minor revision at Lemma 6.13

Journal ref: Ann. Inst. Henri Poincaré Comb. Phys. Interact. 5 (2018), 513-555

Some Remarks On Nepomechie--Wang Eigenstates For Spin 1/2 XXX Model

Authors: Anatol N. Kirillov, Reiho Sakamoto

Abstract: We compute the energy eigenvalues of Nepomechie--Wang's eigenstates for the spin 1/2 isotropic Heisenberg chain. We compute the energy eigenvalues of Nepomechie--Wang's eigenstates for the spin 1/2 isotropic Heisenberg chain. △ Less

Submitted 10 January, 2015; v1 submitted 8 June, 2014; originally announced June 2014.

Comments: 17 pages, final version, reference [AV] added, remark at the end of Section 2 (p.7), Remark 7 (p.10) and paragraph (d) at p.16 are added (contribution for the special volume in honor of Prof. Boris Feigin)

Journal ref: Moscow Mathematical Journal 15 (2015) 337--352

Singular Solutions to the Bethe Ansatz Equations and Rigged Configurations

Authors: Anatol N. Kirillov, Reiho Sakamoto

Abstract: We provide a conjecture for the following two quantities related with the spin-$\frac{1}{2}$ isotropic Heisenberg model defined over rings of even lengths: (i) the number of the solutions to the Bethe ansatz equations which correspond to non-zero Bethe vectors; (ii) the number of physical singular solutions of the Bethe ansatz equations in the sense of Nepomechie-Wang. The conjecture is based on a… ▽ More We provide a conjecture for the following two quantities related with the spin-$\frac{1}{2}$ isotropic Heisenberg model defined over rings of even lengths: (i) the number of the solutions to the Bethe ansatz equations which correspond to non-zero Bethe vectors; (ii) the number of physical singular solutions of the Bethe ansatz equations in the sense of Nepomechie-Wang. The conjecture is based on a natural relationship between the solutions to the Bethe ansatz equations and the rigged configurations. △ Less

Submitted 24 March, 2014; v1 submitted 4 February, 2014; originally announced February 2014.

Comments: 24 pages, final version, elucidated the relationship between the rigged configurations and string solutions (Section 3.1)

Journal ref: J. Phys. A: Math. Theor. 47 (2014) 205207 (20pp)

Rigged Configurations and Kashiwara Operators

Authors: Reiho Sakamoto

Abstract: For types $A^{(1)}_n$ and $D^{(1)}_n$ we prove that the rigged configuration bijection intertwines the classical Kashiwara operators on tensor products of the arbitrary Kirillov-Reshetikhin crystals and the set of the rigged configurations. For types $A^{(1)}_n$ and $D^{(1)}_n$ we prove that the rigged configuration bijection intertwines the classical Kashiwara operators on tensor products of the arbitrary Kirillov-Reshetikhin crystals and the set of the rigged configurations. △ Less

Submitted 27 March, 2014; v1 submitted 19 February, 2013; originally announced February 2013.

Comments: v2: 108 pages, the author's final version for publication, Proposition 33 added, Section 7.3 partially reworked; v3: published version (Special Issue in honor of Anatol Kirillov and Tetsuji Miwa)

Journal ref: SIGMA 10 (2014), 028, 88 pages

Ultradiscrete Soliton Systems and Combinatorial Representation Theory

Authors: Reiho Sakamoto

Abstract: This lecture note is intended to be a brief introduction to a recent development on the interplay between the ultradiscrete (or tropical) soliton systems and the combinatorial representation theory. We will concentrate on the simplest cases which admit elementary explanations without losing essential ideas of the theory. In particular we give definitions for the main constructions corresponding to… ▽ More This lecture note is intended to be a brief introduction to a recent development on the interplay between the ultradiscrete (or tropical) soliton systems and the combinatorial representation theory. We will concentrate on the simplest cases which admit elementary explanations without losing essential ideas of the theory. In particular we give definitions for the main constructions corresponding to the vector representation of type $A^{(1)}_1$. △ Less

Submitted 12 December, 2012; originally announced December 2012.

Comments: 18 pages, for proceedings of the conference "Algebraic combinatorics related to Young diagrams and statistical physics" (Kyoto, August 2012)

Journal ref: RIMS Kokyuroku 1913 (2014) 141-158

Affine crystal structure on rigged configurations of type D_n^(1)

Authors: Masato Okado, Reiho Sakamoto, Anne Schilling

Abstract: Extending the work arXiv:math/0508107, we introduce the affine crystal action on rigged configurations which is isomorphic to the Kirillov-Reshetikhin crystal B^{r,s} of type D_n^(1) for any r,s. We also introduce a representation of B^{r,s} (r not equal to n-1,n) in terms of tableaux of rectangular shape r x s, which we coin Kirillov-Reshetikhin tableaux (using a non-trivial analogue of the type… ▽ More Extending the work arXiv:math/0508107, we introduce the affine crystal action on rigged configurations which is isomorphic to the Kirillov-Reshetikhin crystal B^{r,s} of type D_n^(1) for any r,s. We also introduce a representation of B^{r,s} (r not equal to n-1,n) in terms of tableaux of rectangular shape r x s, which we coin Kirillov-Reshetikhin tableaux (using a non-trivial analogue of the type A column splitting procedure) to construct a bijection between elements of a tensor product of Kirillov-Reshetikhin crystals and rigged configurations. △ Less

Submitted 22 June, 2012; v1 submitted 15 September, 2011; originally announced September 2011.

Comments: 26 pages, 3 figures. (v3) corrections in the proof reading. (v2) 26 pages; examples added; introduction revised; final version. (v1) 24 pages

MSC Class: 17B37; 05A19; 05A15; 81R50; 82B23

Journal ref: Journal of Algebraic Combinatorics 37 (2013) 571--599

Box-Basket-Ball Systems

Authors: Thomas Lam, Pavlo Pylyavskyy, Reiho Sakamoto

Abstract: Using the whurl relation of the first two authors, we define a new discrete solitonic system, which we call the box-basket-ball system, generalizing the box-ball system of Takahashi and Satsuma. In box-basket-ball systems balls may be put either into boxes or into baskets. While boxes stay fixed, both balls and baskets get moved during time evolution. Balls and baskets behave as fermionic and boso… ▽ More Using the whurl relation of the first two authors, we define a new discrete solitonic system, which we call the box-basket-ball system, generalizing the box-ball system of Takahashi and Satsuma. In box-basket-ball systems balls may be put either into boxes or into baskets. While boxes stay fixed, both balls and baskets get moved during time evolution. Balls and baskets behave as fermionic and bosonic particles respectively. We classify the solitons of this system, and study their scattering. △ Less

Submitted 26 June, 2012; v1 submitted 26 November, 2010; originally announced November 2010.

Comments: 18 pages, 4 figures. (v2) introduction added; additional comments at section 5.4; final version. (v1) 16 pages, 4 figures

Journal ref: Reviews in Mathematical Physics 24 (2012) 1250019 [23 pages]

Stable Rigged Configurations for Quantum Affine Algebras of Nonexceptional Types

Authors: Masato Okado, Reiho Sakamoto

Abstract: For an affine algebra of nonexceptional type in the large rank we show the fermionic formula depends only on the attachment of the node 0 of the Dynkin diagram to the rest, and the fermionic formula of not type A can be expressed as a sum of that of type A with Littlewood-Richardson coefficients. Combining this result with math.CO/9901037 and arXiv:1002.3715 we settle the X=M conjecture under the… ▽ More For an affine algebra of nonexceptional type in the large rank we show the fermionic formula depends only on the attachment of the node 0 of the Dynkin diagram to the rest, and the fermionic formula of not type A can be expressed as a sum of that of type A with Littlewood-Richardson coefficients. Combining this result with math.CO/9901037 and arXiv:1002.3715 we settle the X=M conjecture under the large rank hypothesis. △ Less

Submitted 22 September, 2011; v1 submitted 3 August, 2010; originally announced August 2010.

Comments: 30 pages, minor revision, final version

Journal ref: Advances in Mathematics 228 (2011) 1262-1293

Generalized energies and integrable D^{(1)}_n cellular automaton

Authors: Atsuo Kuniba, Reiho Sakamoto, Yasuhiko Yamada

Abstract: We introduce generalized energies for a class of U_q(D^{(1)}_n) crystals by using the piecewise linear functions that are building blocks of the combinatorial R. They include the conventional energy in the theory of affine crystals as a special case. It is shown that the generalized energies count the particles and anti-particles in a quadrant of the two dimensional lattice generated by time evolu… ▽ More We introduce generalized energies for a class of U_q(D^{(1)}_n) crystals by using the piecewise linear functions that are building blocks of the combinatorial R. They include the conventional energy in the theory of affine crystals as a special case. It is shown that the generalized energies count the particles and anti-particles in a quadrant of the two dimensional lattice generated by time evolutions of an integrable D^{(1)}_n cellular automaton. Explicit formulas are conjectured for some of them in the form of ultradiscrete tau functions. △ Less

Submitted 9 December, 2010; v1 submitted 12 January, 2010; originally announced January 2010.

Comments: For proceedings of "Infinite Analysis 09: New Trends in Quantum Integrable Systems"

Generalized Energy Statistics and Kostka--Macdonald Polynomials

Authors: Anatol N. Kirillov, Reiho Sakamoto

Abstract: We give an interpretation of the t=1 specialization of the modified Macdonald polynomial as a generating function of the energy statistics defined on the set of paths arising in the context of Box-Ball Systems (BBS-paths for short). We also introduce one parameter generalizations of the energy statistics on the set of BBS-paths which all, conjecturally, have the same distribution. We give an interpretation of the t=1 specialization of the modified Macdonald polynomial as a generating function of the energy statistics defined on the set of paths arising in the context of Box-Ball Systems (BBS-paths for short). We also introduce one parameter generalizations of the energy statistics on the set of BBS-paths which all, conjecturally, have the same distribution. △ Less

Submitted 23 April, 2010; v1 submitted 11 December, 2009; originally announced December 2009.

Comments: 15 pages, typos corrected, French abstract added, version for publication in proceedings of FPSAC 2010.

Journal ref: DMTCS proc. AN (2010) 343--354

Combinatorial R-matrices for Kirillov--Reshetikhin crystals of type D^{(1)}_n, B^{(1)}_n, A^{(2)}_{2n-1}

Authors: Masato Okado, Reiho Sakamoto

Abstract: We calculate the image of the combinatorial R-matrix for any classical highest weight element in the tensor product of Kirillov--Reshetikhin crystals $B^{r,k}\otimes B^{1,l}$ of type $D^{(1)}_n, B^{(1)}_n, A^{(2)}_{2n-1}$. The notion of $\pm$-diagrams is effectively used for the identification of classical highest weight elements in $B^{1,l}\otimes B^{r,k}$. We calculate the image of the combinatorial R-matrix for any classical highest weight element in the tensor product of Kirillov--Reshetikhin crystals $B^{r,k}\otimes B^{1,l}$ of type $D^{(1)}_n, B^{(1)}_n, A^{(2)}_{2n-1}$. The notion of $\pm$-diagrams is effectively used for the identification of classical highest weight elements in $B^{1,l}\otimes B^{r,k}$. △ Less

Submitted 25 March, 2009; originally announced March 2009.

Comments: 27 pages

Journal ref: International Mathematics Research Notices (2010) 2010:559-593

Relationships Between Two Approaches: Rigged Configurations and 10-Eliminations

Authors: Anatol N. Kirillov, Reiho Sakamoto

Abstract: There are two distinct approaches to the study of initial value problem of the periodic box-ball systems. One way is the rigged configuration approach due to Kuniba--Takagi--Takenouchi and another way is the 10-elimination approach due to Mada--Idzumi--Tokihiro. In this paper, we describe precisely interrelations between these two approaches. There are two distinct approaches to the study of initial value problem of the periodic box-ball systems. One way is the rigged configuration approach due to Kuniba--Takagi--Takenouchi and another way is the 10-elimination approach due to Mada--Idzumi--Tokihiro. In this paper, we describe precisely interrelations between these two approaches. △ Less

Submitted 2 April, 2009; v1 submitted 13 February, 2009; originally announced February 2009.

Comments: 16 pages, final version, minor revision

MSC Class: 17B37; 37K15; 05E15

Journal ref: Letters in Mathematical Physics 89 (2009) 51-65

Paths and Kostka--Macdonald Polynomials

Authors: Anatol N. Kirillov, Reiho Sakamoto

Abstract: We give several equivalent combinatorial descriptions of the space of states for the box-ball systems, and connect certain partition functions for these models with the q-weight multiplicities of the tensor product of the fundamental representations of the Lie algebra gl(n). As an application, we give an elementary proof of the special case t=1 of the Haglund--Haiman--Loehr formula. Also, we pro… ▽ More We give several equivalent combinatorial descriptions of the space of states for the box-ball systems, and connect certain partition functions for these models with the q-weight multiplicities of the tensor product of the fundamental representations of the Lie algebra gl(n). As an application, we give an elementary proof of the special case t=1 of the Haglund--Haiman--Loehr formula. Also, we propose a new class of combinatorial statistics that naturally generalize the so-called energy statistics. △ Less

Submitted 4 December, 2009; v1 submitted 7 November, 2008; originally announced November 2008.

Comments: 35 pages, minor revision, final version

MSC Class: 05E10; 20C35

Journal ref: Moscow Mathematical Journal 9 (2009) 823--854

Finding Rigged Configurations From Paths

Authors: Reiho Sakamoto

Abstract: We review reformulation of the map from tensor product of crystals to the rigged configurations in terms of the energy function of affine crystals. Especially, we give intuitive picture of the inverse scattering formalism for the periodic box-ball systems formulated by Kuniba-Takagi-Takenouchi (arXiv:math/0602481v2). We review reformulation of the map from tensor product of crystals to the rigged configurations in terms of the energy function of affine crystals. Especially, we give intuitive picture of the inverse scattering formalism for the periodic box-ball systems formulated by Kuniba-Takagi-Takenouchi (arXiv:math/0602481v2). △ Less

Submitted 15 April, 2008; originally announced April 2008.

Comments: 16 pages, accepted version for proceedings of ``Expansion of Combinatorial Representation Theory" (RIMS, Kyoto University, October 2007)

Journal ref: RIMS Kokyuroku Bessatsu B11 (2009) 1-17

Kirillov--Schilling--Shimozono bijection as energy functions of crystals

Authors: Reiho Sakamoto

Abstract: The Kirillov--Schilling--Shimozono (KSS) bijection appearing in theory of the Fermionic formula gives an one to one correspondence between the set of elements of tensor products of the Kirillov--Reshetikhin crystals (called paths) and the set of rigged configurations. It is a generalization of Kerov--Kirillov--Reshetikhin bijection and plays inverse scattering formalism for the box-ball systems.… ▽ More The Kirillov--Schilling--Shimozono (KSS) bijection appearing in theory of the Fermionic formula gives an one to one correspondence between the set of elements of tensor products of the Kirillov--Reshetikhin crystals (called paths) and the set of rigged configurations. It is a generalization of Kerov--Kirillov--Reshetikhin bijection and plays inverse scattering formalism for the box-ball systems. In this paper, we give an algebraic reformulation of the KSS map from the paths to rigged configurations, using the combinatorial R and energy functions of crystals. It gives a characterization of the KSS bijection as an intrinsic property of tensor products of crystals. △ Less

Submitted 30 October, 2008; v1 submitted 27 November, 2007; originally announced November 2007.

Comments: 31 pages, final version, expositions much detailed

Journal ref: International Mathematics Research Notices (2009) 2009: 579-614

A crystal theoretic method for finding rigged configurations from paths

Authors: Reiho Sakamoto

Abstract: The Kerov--Kirillov--Reshetikhin (KKR) bijection gives one to one correspondences between the set of highest paths and the set of rigged configurations. In this paper, we give a crystal theoretic reformulation of the KKR map from the paths to rigged configurations, using the combinatorial R and energy functions. This formalism provides tool for analysis of the periodic box-ball systems. The Kerov--Kirillov--Reshetikhin (KKR) bijection gives one to one correspondences between the set of highest paths and the set of rigged configurations. In this paper, we give a crystal theoretic reformulation of the KKR map from the paths to rigged configurations, using the combinatorial R and energy functions. This formalism provides tool for analysis of the periodic box-ball systems. △ Less

Submitted 8 July, 2008; v1 submitted 27 August, 2007; originally announced August 2007.

Comments: 24 pages, version for publication

Journal ref: J. Phys. A: Math. Theor. 41 (2008) 355208 (21pp)

Combinatorial Bethe ansatz and generalized periodic box-ball system

Authors: Atsuo Kuniba, Reiho Sakamoto

Abstract: We reformulate the Kerov-Kirillov-Reshetikhin (KKR) map in the combinatorial Bethe ansatz from paths to rigged configurations by introducing local energy distribution in crystal base theory. Combined with an earlier result on the inverse map, it completes the crystal interpretation of the KKR bijection for U_q(\hat{sl}_2). As an application, we solve an integrable cellular automaton, a higher sp… ▽ More We reformulate the Kerov-Kirillov-Reshetikhin (KKR) map in the combinatorial Bethe ansatz from paths to rigged configurations by introducing local energy distribution in crystal base theory. Combined with an earlier result on the inverse map, it completes the crystal interpretation of the KKR bijection for U_q(\hat{sl}_2). As an application, we solve an integrable cellular automaton, a higher spin generalization of the periodic box-ball system, by an inverse scattering method and obtain the solution of the initial value problem in terms of the ultradiscrete Riemann theta function. △ Less

Submitted 25 October, 2007; v1 submitted 24 August, 2007; originally announced August 2007.

Comments: 27 pages

Journal ref: Rev.Math.Phys.20:493-527,2008

Combinatorial Bethe ansatz and ultradiscrete Riemann theta function with rational characteristics

Authors: Atsuo Kuniba, Reiho Sakamoto

Abstract: The U_q(\hat{sl}_2) vertex model at q=0 with periodic boundary condition is an integrable cellular automaton in one-dimension. By the combinatorial Bethe ansatz, the initial value problem is solved for arbitrary states in terms of an ultradiscrete analogue of the Riemann theta function with rational characteristics. The U_q(\hat{sl}_2) vertex model at q=0 with periodic boundary condition is an integrable cellular automaton in one-dimension. By the combinatorial Bethe ansatz, the initial value problem is solved for arbitrary states in terms of an ultradiscrete analogue of the Riemann theta function with rational characteristics. △ Less

Submitted 10 July, 2007; v1 submitted 24 November, 2006; originally announced November 2006.

Comments: 9 pages

Journal ref: Lett. Math. Phys. 80 (2007) 199-209

Tau functions in combinatorial Bethe ansatz

Authors: Atsuo Kuniba, Reiho Sakamoto, Yasuhiko Yamada

Abstract: We introduce ultradiscrete tau functions associated with rigged configurations for A^{(1)}_n. They satisfy an ultradiscrete version of the Hirota bilinear equation and play a role analogous to a corner transfer matrix for the box-ball system. As an application, we establish a piecewise linear formula for the Kerov-Kirillov-Reshetikhin bijection in the combinatorial Bethe ansatz. They also lead t… ▽ More We introduce ultradiscrete tau functions associated with rigged configurations for A^{(1)}_n. They satisfy an ultradiscrete version of the Hirota bilinear equation and play a role analogous to a corner transfer matrix for the box-ball system. As an application, we establish a piecewise linear formula for the Kerov-Kirillov-Reshetikhin bijection in the combinatorial Bethe ansatz. They also lead to general N-soliton solutions of the box-ball system. △ Less

Submitted 11 October, 2007; v1 submitted 17 October, 2006; originally announced October 2006.

Comments: 52 pages

Journal ref: Nucl.Phys.B786:207-266,2007