Showing 1–50 of 84 results for author: Shiraishi, J

Super Macdonald polynomials and BPS state counting on the blow-up

Authors: Hiroaki Kanno, Ryo Ohkawa, Jun'ichi Shiraishi

Abstract: We explore the relation of the super Macdonald polynomials and the BPS state counting on the blow-up of $\mathbb{P}^2$, which is mathematically described by framed stable perverse coherent sheaves. Fixed points of the torus action on the moduli space of BPS states are labeled by super partitions. From the equivariant character of the tangent space at the fixed points we can define the Nekrasov fac… ▽ More We explore the relation of the super Macdonald polynomials and the BPS state counting on the blow-up of $\mathbb{P}^2$, which is mathematically described by framed stable perverse coherent sheaves. Fixed points of the torus action on the moduli space of BPS states are labeled by super partitions. From the equivariant character of the tangent space at the fixed points we can define the Nekrasov factor for a pair of super partitions, which is used for the localization computation of the partition function. The Nekrasov factor also allows us to compute matrix elements of the action of the quantum toroidal algebra of type $\mathfrak{gl}_{1|1}$ on the $K$ group of the moduli space. We confirm that these matrix elements are consistent with the Pieri rule of the super Macdonald polynomial. △ Less

Submitted 2 June, 2025; originally announced June 2025.

Comments: 55 pages

Quantum Corner VOA and the Super Macdonald Polynomials

Authors: Panupong Cheewaphutthisakun, Jun'ichi Shiraishi, Keng Wiboonton

Abstract: In this paper, we establish a relation between the quantum corner VOA $q\widetilde{Y}_{L,0,N}[Ψ]$, which can be regarded as a generalization of quantum $W_N$ algebra, and Sergeev-Veselov super Macdonald polynomials. We demonstrate precisely that, under a specific map, the correlation functions of the currents of $q\widetilde{Y}_{L,0,N}[Ψ]$, coincide with the Sergeev-Veselov super Macdonald polynom… ▽ More In this paper, we establish a relation between the quantum corner VOA $q\widetilde{Y}_{L,0,N}[Ψ]$, which can be regarded as a generalization of quantum $W_N$ algebra, and Sergeev-Veselov super Macdonald polynomials. We demonstrate precisely that, under a specific map, the correlation functions of the currents of $q\widetilde{Y}_{L,0,N}[Ψ]$, coincide with the Sergeev-Veselov super Macdonald polynomials. △ Less

Submitted 7 May, 2025; v1 submitted 24 April, 2025; originally announced April 2025.

Comments: 74 pages, added additional reference

Medium Access for Push-Pull Data Transmission in 6G Wireless Systems

Authors: Shashi Raj Pandey, Fabio Saggese, Junya Shiraishi, Federico Chiariotti, Petar Popovski

Abstract: Medium access in 5G systems was tailored to accommodate diverse traffic classes through network resource slicing. 6G wireless systems are expected to be significantly reliant on Artificial Intelligence (AI), leading to data-driven and goal-oriented communication. This leads to augmentation of the design space for Medium Access Control (MAC) protocols, which is the focus of this article. We introdu… ▽ More Medium access in 5G systems was tailored to accommodate diverse traffic classes through network resource slicing. 6G wireless systems are expected to be significantly reliant on Artificial Intelligence (AI), leading to data-driven and goal-oriented communication. This leads to augmentation of the design space for Medium Access Control (MAC) protocols, which is the focus of this article. We introduce a taxonomy based on push-based and pull-based communication, which is useful to categorize both the legacy and the AI-driven access schemes. We provide MAC protocol design guidelines for pull- and push-based communication in terms of goal-oriented criteria, such as timing and data relevance. We articulate a framework for co-existence between pull and push-based communications in 6G systems, combining their advantages. We highlight the design principles and main tradeoffs, as well as the architectural considerations for integrating these designs in Open-Radio Access Network (O-RAN) and 6G systems. △ Less

Submitted 3 April, 2025; originally announced April 2025.

Comments: Submitted for publication to the IEEE Communications Magazine. Copyright might be transferred without notice

Time-constrained Federated Learning (FL) in Push-Pull IoT Wireless Access

Authors: Van Phuc Bui, Junya Shiraishi, Petar Popovski, Shashi Raj Pandey

Abstract: Training a high-quality Federated Learning (FL) model at the network edge is challenged by limited transmission resources. Although various device scheduling strategies have been proposed, it remains unclear how scheduling decisions affect the FL model performance under temporal constraints. This is pronounced when the wireless medium is shared to enable the participation of heterogeneous Internet… ▽ More Training a high-quality Federated Learning (FL) model at the network edge is challenged by limited transmission resources. Although various device scheduling strategies have been proposed, it remains unclear how scheduling decisions affect the FL model performance under temporal constraints. This is pronounced when the wireless medium is shared to enable the participation of heterogeneous Internet of Things (IoT) devices with distinct communication modes: (1) a scheduling (pull) scheme, that selects devices with valuable updates, and (2) random access (push), in which interested devices transmit model parameters. The motivation for pushing data is the improved representation of own data distribution within the trained FL model and thereby better generalization. The scheduling strategy affects the transmission opportunities for push-based communication during the access phase, extending the number of communication rounds required for model convergence. This work investigates the interplay of push-pull interactions in a time-constrained FL setting, where the communication opportunities are finite, with a utility-based analytical model. Using real-world datasets, we provide a performance tradeoff analysis that validates the significance of strategic device scheduling under push-pull wireless access for several practical settings. The simulation results elucidate the impact of the device sampling strategy on learning efficiency under timing constraints. △ Less

Submitted 13 November, 2024; originally announced November 2024.

Content-based Wake-up for Energy-efficient and Timely Top-k IoT Sensing Data Retrieval

Authors: Junya Shiraishi, Anders E. Kalør, Israel Leyva-Mayorga, Federico Chiariotti, Petar Popovski, Hiroyuki Yomo

Abstract: Energy efficiency and information freshness are key requirements for sensor nodes serving Industrial Internet of Things (IIoT) applications, where a sink node collects informative and fresh data before a deadline, e.g., to control an external actuator. Content-based wake-up (CoWu) activates a subset of nodes that hold data relevant for the sink's goal, thereby offering an energy-efficient way to a… ▽ More Energy efficiency and information freshness are key requirements for sensor nodes serving Industrial Internet of Things (IIoT) applications, where a sink node collects informative and fresh data before a deadline, e.g., to control an external actuator. Content-based wake-up (CoWu) activates a subset of nodes that hold data relevant for the sink's goal, thereby offering an energy-efficient way to attain objectives related to information freshness. This paper focuses on a scenario where the sink collects fresh information on top-k values, defined as data from the nodes observing the k highest readings at the deadline. We introduce a new metric called top-k Query Age of Information (k-QAoI), which allows us to characterize the performance of CoWu by considering the characteristics of the physical process. Further, we show how to select the CoWu parameters, such as its timing and threshold, to attain both information freshness and energy efficiency. The numerical results reveal the effectiveness of the CoWu approach, which is able to collect top-k data with higher energy efficiency while reducing k-QAoI when compared to round-robin scheduling, especially when the number of nodes is large and the required size of k is small. △ Less

Submitted 14 March, 2025; v1 submitted 8 October, 2024; originally announced October 2024.

Comments: Submitted to IEEE Transactions on Communications

Decentralized Multi-Party Multi-Network AI for Global Deployment of 6G Wireless Systems

Authors: Merim Dzaferagic, Marco Ruffini, Nina Slamnik-Krijestorac, Joao F. Santos, Johann Marquez-Barja, Christos Tranoris, Spyros Denazis, Thomas Kyriakakis, Panagiotis Karafotis, Luiz DaSilva, Shashi Raj Pandey, Junya Shiraishi, Petar Popovski, Soren Kejser Jensen, Christian Thomsen, Torben Bach Pedersen, Holger Claussen, Jinfeng Du, Gil Zussman, Tingjun Chen, Yiran Chen, Seshu Tirupathi, Ivan Seskar, Daniel Kilper

Abstract: Multiple visions of 6G networks elicit Artificial Intelligence (AI) as a central, native element. When 6G systems are deployed at a large scale, end-to-end AI-based solutions will necessarily have to encompass both the radio and the fiber-optical domain. This paper introduces the Decentralized Multi-Party, Multi-Network AI (DMMAI) framework for integrating AI into 6G networks deployed at scale. DM… ▽ More Multiple visions of 6G networks elicit Artificial Intelligence (AI) as a central, native element. When 6G systems are deployed at a large scale, end-to-end AI-based solutions will necessarily have to encompass both the radio and the fiber-optical domain. This paper introduces the Decentralized Multi-Party, Multi-Network AI (DMMAI) framework for integrating AI into 6G networks deployed at scale. DMMAI harmonizes AI-driven controls across diverse network platforms and thus facilitates networks that autonomously configure, monitor, and repair themselves. This is particularly crucial at the network edge, where advanced applications meet heightened functionality and security demands. The radio/optical integration is vital due to the current compartmentalization of AI research within these domains, which lacks a comprehensive understanding of their interaction. Our approach explores multi-network orchestration and AI control integration, filling a critical gap in standardized frameworks for AI-driven coordination in 6G networks. The DMMAI framework is a step towards a global standard for AI in 6G, aiming to establish reference use cases, data and model management methods, and benchmarking platforms for future AI/ML solutions. △ Less

Submitted 15 April, 2024; originally announced July 2024.

A quantum deformation of the ${\mathcal N}=2$ superconformal algebra

Authors: H. Awata, K. Harada, H. Kanno, J. Shiraishi

Abstract: We introduce a unital associative algebra ${\mathcal{SV}ir\!}_{q,k}$, having $q$ and $k$ as complex parameters, generated by the elements $K^\pm_m$ ($\pm m\geq 0$), $T_m$ ($m\in \mathbb{Z}$), and $G^\pm_m$ ($m\in \mathbb{Z}+{1\over 2}$ in the Neveu-Schwarz sector, $m\in \mathbb{Z}$ in the Ramond sector), satisfying relations which are at most quartic. Calculations of some low-lying Kac determinant… ▽ More We introduce a unital associative algebra ${\mathcal{SV}ir\!}_{q,k}$, having $q$ and $k$ as complex parameters, generated by the elements $K^\pm_m$ ($\pm m\geq 0$), $T_m$ ($m\in \mathbb{Z}$), and $G^\pm_m$ ($m\in \mathbb{Z}+{1\over 2}$ in the Neveu-Schwarz sector, $m\in \mathbb{Z}$ in the Ramond sector), satisfying relations which are at most quartic. Calculations of some low-lying Kac determinants are made, providing us with a conjecture for the factorization property of the Kac determinants. The analysis of the screening operators gives a supporting evidence for our conjecture. It is shown that by taking the limit $q\rightarrow 1$ of ${\mathcal{SV}ir\!}_{q,k}$ we recover the ordinary ${\mathcal N}=2$ superconformal algebra. We also give a nontrivial Heisenberg representation of the algebra ${\mathcal{SV}ir\!}_{q,k}$, making a twist of the $U(1)$ boson in the Wakimoto representation of the quantum affine algebra $U_q(\widehat{\mathfrak{sl}}_2)$, which naturally follows from the construction of ${\mathcal{SV}ir\!}_{q,k}$ by gluing the deformed $Y$-algebras of Gaiotto and Rap$\check{\mathrm{c}}$ák. △ Less

Submitted 16 April, 2025; v1 submitted 30 June, 2024; originally announced July 2024.

Comments: 85 pages,(v2) several elucidations provided, typos fixed

Elliptic Deformation of the Gaiotto-Rapčák Corner VOA and the Associated Partially Symmetric Polynomials

Authors: Panupong Cheewaphutthisakun, Jun'ichi Shiraishi, Keng Wiboonton

Abstract: We construct the elliptic Miura transformation and use it to obtain the expression of the currents of elliptic corner VOA. We subsequently prove a novel combinatorial formula that is essential for deriving the quadratic relations of the currents. In addition, we give a conjecture that relates the correlation function of the currents of elliptic corner VOA to a certain family of partially symmetric… ▽ More We construct the elliptic Miura transformation and use it to obtain the expression of the currents of elliptic corner VOA. We subsequently prove a novel combinatorial formula that is essential for deriving the quadratic relations of the currents. In addition, we give a conjecture that relates the correlation function of the currents of elliptic corner VOA to a certain family of partially symmetric polynomials. The elliptic Macdonald polynomials, constructed recently by Awata-Kanno-Mironov-Morozov-Zenkevich, and Fukuda-Ohkubo-Shiraishi, can be obtained as a particular case of this family. △ Less

Submitted 8 August, 2024; v1 submitted 22 June, 2024; originally announced June 2024.

Comments: 44 pages, version to appear in JHEP

EcoPull: Sustainable IoT Image Retrieval Empowered by TinyML Models

Authors: Mathias Thorsager, Victor Croisfelt, Junya Shiraishi, Petar Popovski

Abstract: This paper introduces EcoPull, a sustainable Internet of Things (IoT) framework empowered by tiny machine learning (TinyML) models for fetching images from wireless visual sensor networks. Two types of learnable TinyML models are installed in the IoT devices: i) a behavior model and ii) an image compressor model. The first filters out irrelevant images for the current task, reducing unnecessary tr… ▽ More This paper introduces EcoPull, a sustainable Internet of Things (IoT) framework empowered by tiny machine learning (TinyML) models for fetching images from wireless visual sensor networks. Two types of learnable TinyML models are installed in the IoT devices: i) a behavior model and ii) an image compressor model. The first filters out irrelevant images for the current task, reducing unnecessary transmission and resource competition among the devices. The second allows IoT devices to communicate with the receiver via latent representations of images, reducing communication bandwidth usage. However, integrating learnable modules into IoT devices comes at the cost of increased energy consumption due to inference. The numerical results show that the proposed framework can save > 70% energy compared to the baseline while maintaining the quality of the retrieved images at the ES. △ Less

Submitted 1 May, 2024; v1 submitted 22 April, 2024; originally announced April 2024.

Comments: Paper submitted to IEEE GLOBECOM 2024. Copyright may be transferred without further notice

Coexistence of Push Wireless Access with Pull Communication for Content-based Wake-up Radios

Authors: Junya Shiraishi, Sara Cavallero, Shashi Raj Pandey, Fabio Saggese, Petar Popovski

Abstract: This paper considers energy-efficient connectivity for Internet of Things (IoT) devices in a coexistence scenario between two distinctive communication models: pull- and push-based. In pull-based, the base station (BS) decides when to retrieve a specific type of data from the IoT devices, while in push-based, the IoT device decides when and which data to transmit. To this end, this paper advocates… ▽ More This paper considers energy-efficient connectivity for Internet of Things (IoT) devices in a coexistence scenario between two distinctive communication models: pull- and push-based. In pull-based, the base station (BS) decides when to retrieve a specific type of data from the IoT devices, while in push-based, the IoT device decides when and which data to transmit. To this end, this paper advocates introducing the content-based wake-up (CoWu), which enables the BS to remotely activate only a subset of pull-based nodes equipped with wake-up receivers, observing the relevant data. In this setup, a BS pulls data with CoWu at a specific time instance to fulfill its tasks while collecting data from the nodes operating with a push-based communication model. The resource allocation plays an important role: longer data collection duration for pull-based nodes can lead to high retrieval accuracy while decreasing the probability of data transmission success for push-based nodes, and vice versa. Numerical results show that CoWu can manage communication requirements for both pull-based and push-based nodes while realizing the high energy efficiency (up to 38%) of IoT devices, compared to the baseline scheduling method. △ Less

Submitted 19 April, 2024; originally announced April 2024.

Comments: Paper submitted to Globecom 2024. Copyright may be transferred without further notice

Coexistence of Pull and Push Communication in Wireless Access for IoT Devices

Authors: Sara Cavallero, Fabio Saggese, Junya Shiraishi, Shashi Raj Pandey, Chiara Buratti, Petar Popovski

Abstract: We consider a setup with Internet of Things (IoT), where a base station (BS) collects data from nodes that use two different communication modes. The first is pull-based, where the BS retrieves the data from specific nodes through queries. In addition, the nodes that apply pull-based communication contain a wake-up receiver: upon a query, the BS sends wake-up signal (WuS) to activate the correspon… ▽ More We consider a setup with Internet of Things (IoT), where a base station (BS) collects data from nodes that use two different communication modes. The first is pull-based, where the BS retrieves the data from specific nodes through queries. In addition, the nodes that apply pull-based communication contain a wake-up receiver: upon a query, the BS sends wake-up signal (WuS) to activate the corresponding devices equipped with wake-up receiver (WuDs). The second one is push-based communication, in which the nodes decide when to send to the BS. Consider a time-slotted model, where the time slots in each frame are shared for both pull-based and push-based communications. Therein, this coexistence scenario gives rise to a new type of problem with fundamental trade-offs in sharing communication resources: the objective to serve a maximum number of queries, within a specified deadline, limits the transmission opportunities for push sensors, and vice versa. This work develops a mathematical model that characterizes these trade-offs, validates them through simulations, and optimizes the frame design to meet the objectives of both the pull- and push-based communications. △ Less

Submitted 11 April, 2024; originally announced April 2024.

Comments: Paper submitted to the 25th IEEE International Workshop on Signal Processing Advances in Wireless Communications (SPAWC 2024). Copyright may be transferred without further notice

$K$-theoretic wall-crossing formulas and multiple basic hypergeometric series

Authors: Ryo Ohkawa, Jun'ichi Shiraishi

Abstract: We study $K$-theoretic integrals over famed quiver moduli via wall-crossing phenomena. We study the chainsaw quiver varieties, and consider generating functions defined by two types of $K$-theoretic classes. In particular, we focus on integrals over the handsaw quiver varieties of type $A_{1}$, and get functional equations for each of them. We also give explicit formula for these partition functio… ▽ More We study $K$-theoretic integrals over famed quiver moduli via wall-crossing phenomena. We study the chainsaw quiver varieties, and consider generating functions defined by two types of $K$-theoretic classes. In particular, we focus on integrals over the handsaw quiver varieties of type $A_{1}$, and get functional equations for each of them. We also give explicit formula for these partition functions. In particular, we obtain geometric interpretation of transformation formulas for multiple basic hypergeometric series including the Kajihara transformation formula, and the one studied by Langer-Schlosser-Warnaar and Hallnäs-Langman-Noumi-Rosengren. △ Less

Submitted 15 April, 2025; v1 submitted 6 February, 2024; originally announced February 2024.

Comments: corrected Theorem 1.2 for non-symmetric quiver

Control Aspects for Using RIS in Latency-Constrained Mobile Edge Computing

Authors: Fabio Saggese, Victor Croisfelt, Francesca Costanzo, Junya Shiraishi, Radosław Kotaba, Paolo Di Lorenzo, Petar Popovski

Abstract: This paper investigates the role and the impact of control operations for dynamic mobile edge computing (MEC) empowered by Reconfigurable Intelligent Surfaces (RISs), in which multiple devices offload their computation tasks to an access point (AP) equipped with an edge server (ES), with the help of the RIS. While usually ignored, the control aspects related to channel estimation (CE), resource al… ▽ More This paper investigates the role and the impact of control operations for dynamic mobile edge computing (MEC) empowered by Reconfigurable Intelligent Surfaces (RISs), in which multiple devices offload their computation tasks to an access point (AP) equipped with an edge server (ES), with the help of the RIS. While usually ignored, the control aspects related to channel estimation (CE), resource allocation (RA), and control signaling play a fundamental role in the user-perceived delay and energy consumption. In general, the higher the resources involved in the control operations, the higher their reliability; however, this introduces an overhead, which reduces the number of resources available for computation offloading, possibly increasing the overall latency experienced. Conversely, a lower control overhead translates to more resources available for computation offloading but impacts the CE accuracy and RA flexibility. This paper establishes a basic framework for integrating the impact of control operations in the performance evaluation of the RIS-aided MEC paradigm, clarifying their trade-offs through theoretical analysis and numerical simulations. △ Less

Submitted 19 December, 2023; originally announced December 2023.

Comments: Paper submitted to Asilomar Conference on Signals, Systems, and Computers 2023. Copyright may be transferred without further notice

TinyAirNet: TinyML Model Transmission for Energy-efficient Image Retrieval from IoT Devices

Authors: Junya Shiraishi, Mathias Thorsager, Shashi Raj Pandey, Petar Popovski

Abstract: This letter introduces an energy-efficient pull-based data collection framework for Internet of Things (IoT) devices that use Tiny Machine Learning (TinyML) to interpret data queries. A TinyML model is transmitted from the edge server to the IoT devices. The devices employ the model to facilitate the subsequent semantic queries. This reduces the transmission of irrelevant data, but receiving the M… ▽ More This letter introduces an energy-efficient pull-based data collection framework for Internet of Things (IoT) devices that use Tiny Machine Learning (TinyML) to interpret data queries. A TinyML model is transmitted from the edge server to the IoT devices. The devices employ the model to facilitate the subsequent semantic queries. This reduces the transmission of irrelevant data, but receiving the ML model and its processing at the IoT devices consume additional energy. We consider the specific instance of image retrieval in a single device scenario and investigate the gain brought by the proposed scheme in terms of energy efficiency and retrieval accuracy, while considering the cost of computation and communication, as well as memory constraints. Numerical evaluation shows that, compared to a baseline scheme, the proposed scheme reaches up to 67% energy reduction under the accuracy constraint when many images are stored. Although focused on image retrieval, our analysis is indicative of a broader set of communication scenarios in which the preemptive transmission of an ML model can increase communication efficiency. △ Less

Submitted 17 June, 2024; v1 submitted 8 November, 2023; originally announced November 2023.

Comments: 5 pages, 3 figures, Submitted for possible publication

Non-Stationary Difference Equation and Affine Laumon Space II: Quantum Knizhnik-Zamolodchikov Equation

Authors: Hidetoshi Awata, Koji Hasegawa, Hiroaki Kanno, Ryo Ohkawa, Shamil Shakirov, Jun'ichi Shiraishi, Yasuhiko Yamada

Abstract: We show that Shakirov's non-stationary difference equation, when it is truncated, implies the quantum Knizhnik-Zamolodchikov ($q$-KZ) equation for $U_{\mathsf v}\bigl(A_1^{(1)}\bigr)$ with generic spins. Namely, we can tune mass parameters so that the Hamiltonian acts on the space of finite Laurent polynomials. Then the representation matrix of the Hamiltonian agrees with the $R$-matrix, or the qu… ▽ More We show that Shakirov's non-stationary difference equation, when it is truncated, implies the quantum Knizhnik-Zamolodchikov ($q$-KZ) equation for $U_{\mathsf v}\bigl(A_1^{(1)}\bigr)$ with generic spins. Namely, we can tune mass parameters so that the Hamiltonian acts on the space of finite Laurent polynomials. Then the representation matrix of the Hamiltonian agrees with the $R$-matrix, or the quantum $6j$ symbols. On the other hand, we prove that the $K$ theoretic Nekrasov partition function from the affine Laumon space is identified with the well-studied Jackson integral solution to the $q$-KZ equation. Combining these results, we establish that the affine Laumon partition function gives a solution to Shakirov's equation, which was a conjecture in our previous paper. We also work out the base-fiber duality and four-dimensional limit in relation with the $q$-KZ equation. △ Less

Submitted 22 August, 2024; v1 submitted 26 September, 2023; originally announced September 2023.

Journal ref: SIGMA 20 (2024), 077, 55 pages

Non-Stationary Difference Equation and Affine Laumon Space: Quantization of Discrete Painlevé Equation

Authors: Hidetoshi Awata, Koji Hasegawa, Hiroaki Kanno, Ryo Ohkawa, Shamil Shakirov, Jun'ichi Shiraishi, Yasuhiko Yamada

Abstract: We show the relation of the non-stationary difference equation proposed by one of the authors and the quantized discrete Painlevé VI equation. The five-dimensional Seiberg-Witten curve associated with the difference equation has a consistent four-dimensional limit. We also show that the original equation can be factorized as a coupled system for a pair of functions… ▽ More We show the relation of the non-stationary difference equation proposed by one of the authors and the quantized discrete Painlevé VI equation. The five-dimensional Seiberg-Witten curve associated with the difference equation has a consistent four-dimensional limit. We also show that the original equation can be factorized as a coupled system for a pair of functions $\bigl(\mathcal{F}^{(1)},\mathcal{F}^{(2)}\bigr)$, which is a consequence of the identification of the Hamiltonian as a translation element in the extended affine Weyl group. We conjecture that the instanton partition function coming from the affine Laumon space provides a solution to the coupled system. △ Less

Submitted 9 November, 2023; v1 submitted 30 November, 2022; originally announced November 2022.

Journal ref: SIGMA 19 (2023), 089, 47 pages

Query Timing Analysis for Content-based Wake-up Realizing Informative IoT Data Collection

Authors: Junya Shiraishi, Anders E. Kalør, Federico Chiariotti, Israel Leyva-Mayorga, Petar Popovski, Hiroyuki Yomo

Abstract: Information freshness and high energy-efficiency are key requirements for sensor nodes serving Industrial Internet of Things (IIoT) applications, where a sink node must collect informative data before a deadline to control an external element. Pull-based communication is an interesting approach for optimizing information freshness and saving wasteful energy. To this end, we apply Content-based Wak… ▽ More Information freshness and high energy-efficiency are key requirements for sensor nodes serving Industrial Internet of Things (IIoT) applications, where a sink node must collect informative data before a deadline to control an external element. Pull-based communication is an interesting approach for optimizing information freshness and saving wasteful energy. To this end, we apply Content-based Wake-up (CoWu), in which the sink can activate a subset of nodes observing informative data at the time that wake-up signal is received. In this case, the timing of the wake-up signal plays an important role: early transmission leads to high reliability in data collection, but the received data may become obsolete by the deadline, while later transmission ensures a higher timeliness of the sensed data, but some nodes might not manage to communicate their data before the deadline. This letter investigates the timing for data collection using CoWu and characterizes the gain of CoWu. The obtained numerical results show that CoWu improves accuracy, while reducing energy consumption by about 75% with respect to round-robin scheduling. △ Less

Submitted 1 December, 2022; v1 submitted 29 November, 2022; originally announced November 2022.

Comments: Accepted to IEEE Wireless Communications Letters

Branching Formula for $q$-Toda Function of Type B

Authors: Ayumu Hoshino, Yusuke Ohkubo, Jun'ichi Shiraishi

Abstract: We present a proof of the explicit formula for the asymptotically free eigenfunctions of the $B_N$ $q$-Toda operator which was conjectured by the first and third authors. This formula can be regarded as a branching formula from the $B_N$ $q$-Toda eigenfunction restricted to the $A_{N-1}$ $q$-Toda eigenfunctions. The proof is given by a contigulation relation of the $A_{N-1}$ Toda eigenfunctions an… ▽ More We present a proof of the explicit formula for the asymptotically free eigenfunctions of the $B_N$ $q$-Toda operator which was conjectured by the first and third authors. This formula can be regarded as a branching formula from the $B_N$ $q$-Toda eigenfunction restricted to the $A_{N-1}$ $q$-Toda eigenfunctions. The proof is given by a contigulation relation of the $A_{N-1}$ Toda eigenfunctions and a recursion relation of the branching coefficients. △ Less

Submitted 13 September, 2021; v1 submitted 7 March, 2021; originally announced March 2021.

Comments: 7 pages

Construction of eigenfunctions for the elliptic Ruijsenaars difference operators

Authors: Edwin Langmann, Masatoshi Noumi, Junichi Shiraishi

Abstract: We present a perturbative construction of two kinds of eigenfunctions of the commuting family of difference operators defining the elliptic Ruijsenaars system. The first kind corresponds to elliptic deformations of the Macdonald polynomials, and the second kind generalizes asymptotically free eigenfunctions previously constructed in the trigonometric case. We obtain these eigenfunctions as infinit… ▽ More We present a perturbative construction of two kinds of eigenfunctions of the commuting family of difference operators defining the elliptic Ruijsenaars system. The first kind corresponds to elliptic deformations of the Macdonald polynomials, and the second kind generalizes asymptotically free eigenfunctions previously constructed in the trigonometric case. We obtain these eigenfunctions as infinite series which, as we show, converge in suitable domains of the variables and parameters. Our results imply that, for the domain where the elliptic Ruijsenaars operators define a relativistic quantum mechanical system, the elliptic deformations of the Macdonald polynomials provide a family of orthogonal functions with respect to the pertinent scalar product. △ Less

Submitted 10 December, 2020; originally announced December 2020.

Comments: 48 pages

MSC Class: 81Q80; 33E30; 33D67

Journal ref: Commun. Math. Phys. 391, 901-950 (2022)

MHD stability of JT-60SA operation scenarios driven by passing energetic particles for a hot Maxwellian model

Authors: J. Varela, K. Y. Watanabe, K. Shinohara, M. Honda, Y. Suzuki, J. Shiraishi, D. A. Spong, L. Garcia

Abstract: We analyze the effects of the passing energetic particles on the resistive ballooning modes (RBM) and the energetic particle driven modes in JT-60SA plasma, which leads to the prediction of the stability in N-NBI heated plasma. The analysis is performed using the code FAR3d that solves the reduced MHD equations describing the linear evolution of the poloidal flux and the toroidal component of the… ▽ More We analyze the effects of the passing energetic particles on the resistive ballooning modes (RBM) and the energetic particle driven modes in JT-60SA plasma, which leads to the prediction of the stability in N-NBI heated plasma. The analysis is performed using the code FAR3d that solves the reduced MHD equations describing the linear evolution of the poloidal flux and the toroidal component of the vorticity in a full 3D system, coupled with equations of density and parallel velocity moments for the energetic particle (EP) species assuming an averaged Maxwellian EP distribution fitted to the slowing down distribution, including the effect of the acoustic modes. The simulations show the possible destabilization of a 3/2-4/2 TAE with a frequency (f) of 115 kHz, a 6/4-7/4 TAE with f=98 kHz and a 6/4 or 7/4 BAE with f=57 kHz in the ITER-like inductive scenario. If the energetic particle beta increases, Beta induced AEs (BAE), Toroidal AEs (TAE) and Elliptical AEs (EAE) are destabilized between the inner-middle plasma region, leading to the overlapping of AE of different toroidal families. If these instabilities coexist in the non-linear saturation phase the EP transport could be enhanced leading to a lower heating efficiency. For a hypothetical configuration based on the ITER-like inductive scenario but an center peaked EP profile, the EP beta threshold increases and several BAEs are destabilized in the inner plasma region, indicating an improved AE stability with respect to the off-axis peaked EP profile. In addition, the analysis of a hypothetical JT-60SA scenario with a resonant q=1 in the inner plasma region shows the destabilization of fishbones-like instabilities by the off-axis peaked EP profile. Also, the EPs have an stabilizing effect on the RBM, stronger as the population of EP with low energies (below 250 keV) increases at the plasma pedestal. △ Less

Submitted 8 October, 2020; originally announced October 2020.

Journal ref: Nucl. Fusion 60 096009 (2020)

Basic Properties of Non-Stationary Ruijsenaars Functions

Authors: Edwin Langmann, Masatoshi Noumi, Junichi Shiraishi

Abstract: For any variable number, a non-stationary Ruijsenaars function was recently introduced as a natural generalization of an explicitly known asymptotically free solution of the trigonometric Ruijsenaars model, and it was conjectured that this non-stationary Ruijsenaars function provides an explicit solution of the elliptic Ruijsenaars model. We present alternative series representations of the non-st… ▽ More For any variable number, a non-stationary Ruijsenaars function was recently introduced as a natural generalization of an explicitly known asymptotically free solution of the trigonometric Ruijsenaars model, and it was conjectured that this non-stationary Ruijsenaars function provides an explicit solution of the elliptic Ruijsenaars model. We present alternative series representations of the non-stationary Ruijsenaars functions, and we prove that these series converge. We also introduce novel difference operators called ${\mathcal T}$ which, as we prove in the trigonometric limit and conjecture in the general case, act diagonally on the non-stationary Ruijsenaars functions. △ Less

Submitted 21 October, 2020; v1 submitted 12 June, 2020; originally announced June 2020.

Journal ref: SIGMA 16 (2020), 105, 26 pages

Branching Rules for Koornwinder Polynomials with One Column Diagrams and Matrix Inversions

Authors: Ayumu Hoshino, Jun'ichi Shiraishi

Abstract: We present an explicit formula for the transition matrix $\mathcal{C}$ from the type $BC_n$ Koornwinder polynomials $P_{(1^r)}(x|a,b,c,d|q,t)$ with one column diagrams, to the type $BC_n$ monomial symmetric polynomials $m_{(1^{r})}(x)$. The entries of the matrix $\mathcal{C}$ enjoy a set of four terms recursion relations. These recursions provide us with the branching rules for the Koornwinder pol… ▽ More We present an explicit formula for the transition matrix $\mathcal{C}$ from the type $BC_n$ Koornwinder polynomials $P_{(1^r)}(x|a,b,c,d|q,t)$ with one column diagrams, to the type $BC_n$ monomial symmetric polynomials $m_{(1^{r})}(x)$. The entries of the matrix $\mathcal{C}$ enjoy a set of four terms recursion relations. These recursions provide us with the branching rules for the Koornwinder polynomials with one column diagrams, namely the restriction rules from $BC_n$ to $BC_{n-1}$. To have a good description of the transition matrices involved, we introduce the following degeneration scheme of the Koornwinder polynomials: $P_{(1^r)}(x|a,b,c,d|q,t) \longleftrightarrow P_{(1^r)}(x|a,-a,c,d|q,t)\longleftrightarrow P_{(1^r)}(x|a,-a,c,-c|q,t) \longleftrightarrow P_{(1^r)}\big(x|t^{1/2}c,-t^{1/2}c,c,-c|q,t\big) \longleftrightarrow P_{(1^r)}\big(x|t^{1/2},-t^{1/2},1,-1|q,t\big)$. We prove that the transition matrices associated with each of these degeneration steps are given in terms of the matrix inversion formula of Bressoud. As an application, we give an explicit formula for the Kostka polynomials of type $B_n$, namely the transition matrix from the Schur polynomials $P^{(B_n,B_n)}_{(1^r)}(x|q;q,q)$ to the Hall-Littlewood polynomials $P^{(B_n,B_n)}_{(1^r)}(x|t;0,t)$. We also present a conjecture for the asymptotically free eigenfunctions of the $B_n$ $q$-Toda operator, which can be regarded as a branching formula from the $B_n$ $q$-Toda eigenfunction restricted to the $A_{n-1}$ $q$-Toda eigenfunctions. △ Less

Submitted 25 August, 2020; v1 submitted 6 February, 2020; originally announced February 2020.

Journal ref: SIGMA 16 (2020), 084, 28 pages

Non-Stationary Ruijsenaars Functions for $κ=t^{-1/N}$ and Intertwining Operators of Ding-Iohara-Miki Algebra

Authors: Masayuki Fukuda, Yusuke Ohkubo, Jun'ichi Shiraishi

Abstract: We construct the non-stationary Ruijsenaars functions (affine analogue of the Macdonald functions) in the special case $κ=t^{-1/N}$, using the intertwining operators of the Ding-Iohara-Miki algebra (DIM algebra) associated with $N$-fold Fock tensor spaces. By the $S$-duality of the intertwiners, another expression is obtained for the non-stationary Ruijsenaars functions with $κ=t^{-1/N}$, which ca… ▽ More We construct the non-stationary Ruijsenaars functions (affine analogue of the Macdonald functions) in the special case $κ=t^{-1/N}$, using the intertwining operators of the Ding-Iohara-Miki algebra (DIM algebra) associated with $N$-fold Fock tensor spaces. By the $S$-duality of the intertwiners, another expression is obtained for the non-stationary Ruijsenaars functions with $κ=t^{-1/N}$, which can be regarded as a natural elliptic lift of the asymptotic Macdonald functions to the multivariate elliptic hypergeometric series. We also investigate some properties of the vertex operator of the DIM algebra appearing in the present algebraic framework; an integral operator which commutes with the elliptic Ruijsenaars operator, and the degeneration of the vertex operators to the Virasoro primary fields in the conformal limit $q \rightarrow 1$. △ Less

Submitted 18 November, 2020; v1 submitted 1 February, 2020; originally announced February 2020.

Journal ref: SIGMA 16 (2020), 116, 55 pages

Lattice models, deformed Virasoro algebra and reduction equation

Authors: Michael Lashkevich, Yaroslav Pugai, Jun'ichi Shiraishi, Yohei Tutiya

Abstract: We study the fused currents of the deformed Virasoro algebra (DVA). By constructing a homotopy operator we show that for special values of the parameter of the algebra fused currents pairwise coincide on the cohomologies of the Felder resolution. Within the algebraic approach to lattice models these currents are known to describe neutral excitations of the solid-on-solid (SOS) models in the transf… ▽ More We study the fused currents of the deformed Virasoro algebra (DVA). By constructing a homotopy operator we show that for special values of the parameter of the algebra fused currents pairwise coincide on the cohomologies of the Felder resolution. Within the algebraic approach to lattice models these currents are known to describe neutral excitations of the solid-on-solid (SOS) models in the transfer-matrix picture. It allows us to prove the closeness of the system of excitations for a special nonunitary series of restricted SOS (RSOS) models. Though the results of the algebraic approach to lattice models were consistent with the results of other methods, the lack of such proof had been an essential gap in its construction. △ Less

Submitted 13 April, 2020; v1 submitted 26 November, 2019; originally announced November 2019.

Comments: 14 pages; v2: references added; eq. (4.13) corrected; numerous misprints corrected and text improved; v3: minor misprints and grammar mistakes corrected

Affine Screening Operators, Affine Laumon Spaces, and Conjectures Concerning Non-Stationary Ruijsenaars Functions

Authors: Jun'ichi Shiraishi

Abstract: Based on the screened vertex operators associated with the affine screening operators, we introduce the formal power series f^{hat{gl}_N}(x,p|s,kappa|q,t) which we call the non-stationary Ruijsenaars function. We identify it with the generating function for the Euler characteristics of the affine Laumon spaces. When the parameters s and kappa are suitably chosen, the limit t rightarrow q of f^{hat… ▽ More Based on the screened vertex operators associated with the affine screening operators, we introduce the formal power series f^{hat{gl}_N}(x,p|s,kappa|q,t) which we call the non-stationary Ruijsenaars function. We identify it with the generating function for the Euler characteristics of the affine Laumon spaces. When the parameters s and kappa are suitably chosen, the limit t rightarrow q of f^{hat{gl}_N}(x,p|s,kappa|q,q/t) gives us the dominant integrable characters of hat{sl}_N multiplied by 1/(p^N;p^N)_infty (i.e. the hat{gl}_1 character). Several conjectures are presented for f^{hat{gl}_N}(x,p|s,kappa|q,t), including the bispectral and the Poincare dualities, and the evaluation formula. Main Conjecture asserts that (i) one can normalize f^{hat{gl}_N}(x,p|s,kappa|q,t) in such a way that the limit kappa rightarrow 1 exists, and (ii) the limit f^{st.hat{gl}_N}(x,p|s|q,t) gives us the eigenfunction of the elliptic Ruijsenaars operator. The non-stationary affine q-difference Toda operator T^{hat{gl}_N}(kappa) is introduced, which comes as an outcome of the study of the Poincare duality conjecture in the affine Toda limit t rightarrow 0. Main Conjecture is examined also in the limiting cases of the affine q-difference Toda (t rightarrow 0), and the elliptic Calogero-Sutherland (q,t rightarrow 1) equations. △ Less

Submitted 12 November, 2019; v1 submitted 18 March, 2019; originally announced March 2019.

Comments: 27 pages, typos corrected

Generalized Macdonald Functions on Fock Tensor Spaces and Duality Formula for Changing Preferred Direction

Authors: Masayuki Fukuda, Yusuke Ohkubo, Jun'ichi Shiraishi

Abstract: An explicit formula is obtained for the generalized Macdonald functions on the $N$-fold Fock tensor spaces, calculating a certain matrix element of a composition of several screened vertex operators. As an application, we prove the factorization property of the arbitrary matrix elements of the multi-valent intertwining operator (or refined topological vertex operator) associated with the Ding--Ioh… ▽ More An explicit formula is obtained for the generalized Macdonald functions on the $N$-fold Fock tensor spaces, calculating a certain matrix element of a composition of several screened vertex operators. As an application, we prove the factorization property of the arbitrary matrix elements of the multi-valent intertwining operator (or refined topological vertex operator) associated with the Ding--Iohara--Miki algebra (DIM algebra) with respect to the generalized Macdonald functions, which was conjectured by Awata, Feigin, Hoshino, Kanai, Yanagida and one of the authors. Our proof is based on the combinatorial and analytic properties of the asymptotic eigenfunctions of the ordinary Macdonald operator of $A$-type, and the Euler transformation formula for Kajihara and Noumi's multiple basic hypergeometric series. That factorization formula provides us with a reasonable algebraic description of the 5D (K-theoretic) Alday-Gaiotto-Tachikawa (AGT) correspondence, and the interpretation of the invariance under the preferred direction from the point of view of the $SL(2,\mathbb{Z})$ duality of the DIM algebra. △ Less

Submitted 23 August, 2019; v1 submitted 14 March, 2019; originally announced March 2019.

Comments: 54 pages, 2 figures

Report number: UT-19-03

MONICA in Hamburg: Towards Large-Scale IoT Deployments in a Smart City

Authors: Sebastian Meiling, Dorothea Purnomo, Julia-Ann Shiraishi, Michael Fischer, Thomas C. Schmidt

Abstract: Modern cities and metropolitan areas all over the world face new management challenges in the 21st century primarily due to increasing demands on living standards by the urban population. These challenges range from climate change, pollution, transportation, and citizen engagement, to urban planning, and security threats. The primary goal of a Smart City is to counteract these problems and mitigat… ▽ More Modern cities and metropolitan areas all over the world face new management challenges in the 21st century primarily due to increasing demands on living standards by the urban population. These challenges range from climate change, pollution, transportation, and citizen engagement, to urban planning, and security threats. The primary goal of a Smart City is to counteract these problems and mitigate their effects by means of modern ICT to improve urban administration and infrastructure. Key ideas are to utilise network communication to inter-connect public authorities; but also to deploy and integrate numerous sensors and actuators throughout the city infrastructure - which is also widely known as the Internet of Things (IoT). Thus, IoT technologies will be an integral part and key enabler to achieve many objectives of the Smart City vision. The contributions of this paper are as follows. We first examine a number of IoT platforms, technologies and network standards that can help to foster a Smart City environment. Second, we introduce the EU project MONICA which aims for demonstration of large-scale IoT deployments at public, inner-city events and give an overview on its IoT platform architecture. And third, we provide a case-study report on SmartCity activities by the City of Hamburg and provide insights on recent (on-going) field tests of a vertically integrated, end-to-end IoT sensor application. △ Less

Submitted 15 May, 2018; v1 submitted 19 March, 2018; originally announced March 2018.

Comments: 6 pages

Journal ref: Proceedings of the European Conference on Networks and Communications, EuCNC, 2018

Macdonald Polynomials of Type $C_n$ with One-Column Diagrams and Deformed Catalan Numbers

Authors: Ayumu Hoshino, Jun'ichi Shiraishi

Abstract: We present an explicit formula for the transition matrix $\mathcal{C}$ from the type $C_n$ degeneration of the Koornwinder polynomials $P_{(1^r)}(x\,|\,a,-a,c,-c\,|\,q,t)$ with one column diagrams, to the type $C_n$ monomial symmetric polynomials $m_{(1^{r})}(x)$. The entries of the matrix $\mathcal{C}$ enjoy a set of three term recursion relations, which can be regarded as a $(a,c,t)$-deformation… ▽ More We present an explicit formula for the transition matrix $\mathcal{C}$ from the type $C_n$ degeneration of the Koornwinder polynomials $P_{(1^r)}(x\,|\,a,-a,c,-c\,|\,q,t)$ with one column diagrams, to the type $C_n$ monomial symmetric polynomials $m_{(1^{r})}(x)$. The entries of the matrix $\mathcal{C}$ enjoy a set of three term recursion relations, which can be regarded as a $(a,c,t)$-deformation of the one for the Catalan triangle or ballot numbers. Some transition matrices are studied associated with the type $(C_n,C_n)$ Macdonald polynomials $P^{(C_n,C_n)}_{(1^r)}(x\,|\,b;q,t)= P_{(1^r)}\big(x\,|\,b^{1/2},-b^{1/2},q^{1/2}b^{1/2},-q^{1/2}b^{1/2}\,|\,q,t\big)$. It is also shown that the $q$-ballot numbers appear as the Kostka polynomials, namely in the transition matrix from the Schur polynomials $P^{(C_n,C_n)}_{(1^r)}(x\,|\,q;q,q)$ to the Hall-Littlewood polynomials $P^{(C_n,C_n)}_{(1^r)}(x\,|\,t;0,t)$. △ Less

Submitted 20 September, 2018; v1 submitted 30 January, 2018; originally announced January 2018.

Journal ref: SIGMA 14 (2018), 101, 33 pages

Tableau Formulas for One-Row Macdonald Polynomials of Types $C_n$ and $D_n$

Authors: Boris Feigin, Ayumu Hoshino, Masatoshi Noumi, Jun Shibahara, Jun'ichi Shiraishi

Abstract: We present explicit formulas for the Macdonald polynomials of types $C_n$ and $D_n$ in the one-row case. In view of the combinatorial structure, we call them "tableau formulas". For the construction of the tableau formulas, we apply some transformation formulas for the basic hypergeometric series involving very well-poised balanced ${}_{12}W_{11}$ series. We remark that the correlation functions o… ▽ More We present explicit formulas for the Macdonald polynomials of types $C_n$ and $D_n$ in the one-row case. In view of the combinatorial structure, we call them "tableau formulas". For the construction of the tableau formulas, we apply some transformation formulas for the basic hypergeometric series involving very well-poised balanced ${}_{12}W_{11}$ series. We remark that the correlation functions of the deformed $\mathcal{W}$ algebra generators automatically give rise to the tableau formulas when we principally specialize the coordinate variables. △ Less

Submitted 5 December, 2015; v1 submitted 26 December, 2014; originally announced December 2014.

Journal ref: SIGMA 11 (2015), 100, 21 pages

Some transformation formulas associated with Askey-Wilson polynomials and Lassalle's formulas for Macdonald-Koornwinder polynomials

Authors: A. Hoshino, M. Noumi, J. Shiraishi

Abstract: We present a fourfold series expansion representing the Askey-Wilson polynomials. To obtain the result, a sequential use is made of several summation and transformation formulas for the basic hypergeometric series, including the Verma's q-extension of the Field and Wimp expansion, Andrews' terminating q-analogue of Watson's 3F2 sum, Singh's quadratic transformation. As an application, we present a… ▽ More We present a fourfold series expansion representing the Askey-Wilson polynomials. To obtain the result, a sequential use is made of several summation and transformation formulas for the basic hypergeometric series, including the Verma's q-extension of the Field and Wimp expansion, Andrews' terminating q-analogue of Watson's 3F2 sum, Singh's quadratic transformation. As an application, we present an explicit formula for the Koornwinder polynomial of type BCn (n in Z_>0) with one row diagram. When the parameters are specialized, we recover Lassalle's formula for Macdonald polynomials of type Bn, Cn and Dn with one row diagram, thereby proving his conjectures. △ Less

Submitted 6 June, 2014; originally announced June 2014.

Comments: 20 pages

A direct approach to the bispectral problem for the Ruijsenaars-Macdonald q-difference operators

Authors: Masatoshi Noumi, Jun'ichi Shiraishi

Abstract: We present a direct approach to the bispectral problem associated with the Ruijsenaars-Macdonald q-difference operators of GL type. We give an explicit construction of the meromorphic function psi_n(x;s|q,t) on T^n_x T^n_s, which is the solution of the bispectral problem up to a certain gauge transformation. Some basic properties of psi_n(x;s|q,t) are studied, including the structure of the diviso… ▽ More We present a direct approach to the bispectral problem associated with the Ruijsenaars-Macdonald q-difference operators of GL type. We give an explicit construction of the meromorphic function psi_n(x;s|q,t) on T^n_x T^n_s, which is the solution of the bispectral problem up to a certain gauge transformation. Some basic properties of psi_n(x;s|q,t) are studied, including the structure of the divisor of poles, the symmetries psi_n(x;s|q,t)=psi_n(s;x|q,t)=psi_n(x;s|q,q/t), and the recursive structure described in terms of Jackson integrals or q-difference operators. △ Less

Submitted 23 June, 2012; originally announced June 2012.

Comments: 44 pages

Macdonald polynomials, Laumon spaces and perverse coherent sheaves

Authors: Alexander Braverman, Michael Finkelberg, Jun'ichi Shiraishi

Abstract: Let $G$ be an almost simple simply connected complex Lie group, and let $G/U_-$ be its base affine space. In this paper we formulate a conjecture, which provides a new geometric interpretation of the Macdonald polynomials associated to $G$ via perverse coherent sheaves on the scheme of formal arcs in the affinization of $G/U_-$. We prove our conjecture for $G=SL(N)$ using the so called Laumon reso… ▽ More Let $G$ be an almost simple simply connected complex Lie group, and let $G/U_-$ be its base affine space. In this paper we formulate a conjecture, which provides a new geometric interpretation of the Macdonald polynomials associated to $G$ via perverse coherent sheaves on the scheme of formal arcs in the affinization of $G/U_-$. We prove our conjecture for $G=SL(N)$ using the so called Laumon resolution of the space of quasi-maps (using this resolution one can reformulate the statement so that only "usual" (not perverse) coherent sheaves are used). In the course of the proof we also give a $K$-theoretic version of the main result of arXiv/0811.4454. △ Less

Submitted 3 November, 2013; v1 submitted 14 June, 2012; originally announced June 2012.

Comments: 20 pages, to appear in Contemporary Mathematics

Quantum Algebraic Approach to Refined Topological Vertex

Authors: H. Awata, B. Feigin, J. Shiraishi

Abstract: We establish the equivalence between the refined topological vertex of Iqbal-Kozcaz-Vafa and a certain representation theory of the quantum algebra of type W_{1+infty} introduced by Miki. Our construction involves trivalent intertwining operators Phi and Phi^* associated with triples of the bosonic Fock modules. Resembling the topological vertex, a triple of vectors in Z^2 is attached to each inte… ▽ More We establish the equivalence between the refined topological vertex of Iqbal-Kozcaz-Vafa and a certain representation theory of the quantum algebra of type W_{1+infty} introduced by Miki. Our construction involves trivalent intertwining operators Phi and Phi^* associated with triples of the bosonic Fock modules. Resembling the topological vertex, a triple of vectors in Z^2 is attached to each intertwining operator, which satisfy the Calabi-Yau and smoothness conditions. It is shown that certain matrix elements of Phi and Phi^* give the refined topological vertex C_{lambda mu nu}(t,q) of Iqbal-Kozcaz-Vafa. With another choice of basis, we recover the refined topological vertex C_{lambda mu}^nu(q,t) of Awata-Kanno. The gluing factors appears correctly when we consider any compositions of Phi and Phi^*. The spectral parameters attached to Fock spaces play the role of the K"ahler parameters. △ Less

Submitted 28 December, 2011; originally announced December 2011.

Comments: 27 pages

Notes on Ding-Iohara algebra and AGT conjecture

Authors: H. Awata, B. Feigin, A. Hoshino, M. Kanai, J. Shiraishi, S. Yanagida

Abstract: We study the representation theory of the Ding-Iohara algebra $\calU$ to find $q$-analogues of the Alday-Gaiotto-Tachikawa (AGT) relations. We introduce the endomorphism $T(u,v)$ of the Ding-Iohara algebra, having two parameters $u$ and $v$. We define the vertex operator $Φ(w)$ by specifying the permutation relations with the Ding-Iohara generators $x^\pm(z)$ and $ψ^\pm(z)$ in terms of $T(u,v)$. F… ▽ More We study the representation theory of the Ding-Iohara algebra $\calU$ to find $q$-analogues of the Alday-Gaiotto-Tachikawa (AGT) relations. We introduce the endomorphism $T(u,v)$ of the Ding-Iohara algebra, having two parameters $u$ and $v$. We define the vertex operator $Φ(w)$ by specifying the permutation relations with the Ding-Iohara generators $x^\pm(z)$ and $ψ^\pm(z)$ in terms of $T(u,v)$. For the level one representation, all the matrix elements of the vertex operators with respect to the Macdonald polynomials are factorized and written in terms of the Nekrasov factors for the $K$-theoretic partition functions as in the AGT relations. For higher levels $m=2,3,...$, we present some conjectures, which imply the existence of the $q$-analogues of the AGT relations. △ Less

Submitted 7 July, 2011; v1 submitted 21 June, 2011; originally announced June 2011.

Comments: 21 pages; Proceeding of RIMS Conference 2010 "Diversity of the Theory of Integrable Systems" (ed. Masahiro Kanai)

Periodic Benjamin-Ono equation with discrete Laplacian and 2D-Toda Hierarchy

Authors: Jun'ichi Shiraishi, Yohei Tutiya

Abstract: We study the relation between the periodic Benjamin-Ono equation with discrete Laplacian and the two dimensional Toda hierarchy. We introduce the tau-functions tau_pm(z) for the periodic Benjamin-Ono equation, construct two families of integrals of motion {M_1,M_2,cdots}, {overline{M}_1,overline{M}_2,cdots}, and calculate some examples of the bilinear equations using the Hamiltonian structure. We… ▽ More We study the relation between the periodic Benjamin-Ono equation with discrete Laplacian and the two dimensional Toda hierarchy. We introduce the tau-functions tau_pm(z) for the periodic Benjamin-Ono equation, construct two families of integrals of motion {M_1,M_2,cdots}, {overline{M}_1,overline{M}_2,cdots}, and calculate some examples of the bilinear equations using the Hamiltonian structure. We confirmed that some of the low lying bilinear equations agree with the ones obtained from a certain reduction of the 2D Toda hierarchy. △ Less

Submitted 9 April, 2010; originally announced April 2010.

Comments: 14 pages

Kernel function and quantum algebras

Authors: B. Feigin, A. Hoshino, J. Shibahara, J. Shiraishi, S. Yanagida

Abstract: We introduce an analogue $K_n(x,z;q,t)$ of the Cauchy-type kernel function for the Macdonald polynomials, being constructed in the tensor product of the ring of symmetric functions and the commutative algebra $\mathcal{A}$ over the degenerate $\mathbb{C} \mathbb{P}^1$. We show that a certain restriction of $K_n(x,z;q,t)$ with respect to the variable $z$ is neatly described by the tableau sum for… ▽ More We introduce an analogue $K_n(x,z;q,t)$ of the Cauchy-type kernel function for the Macdonald polynomials, being constructed in the tensor product of the ring of symmetric functions and the commutative algebra $\mathcal{A}$ over the degenerate $\mathbb{C} \mathbb{P}^1$. We show that a certain restriction of $K_n(x,z;q,t)$ with respect to the variable $z$ is neatly described by the tableau sum formula of Macdonald polynomials. Next, we demonstrate that the integer level representation of the Ding-Iohara quantum algebra naturally produces the currents of the deformed $\mathcal{W}$ algebra. Then we remark that the $K_n(x,z;q,t)$ emerges in the highest-to-highest correlation function of the deformed $\mathcal{W}$ algebra. △ Less

Submitted 12 February, 2010; originally announced February 2010.

Comments: 20 pages,

On some special solutions to periodic Benjamin-Ono equation with discrete Laplacian

Authors: Yohei Tutiya, Jun'ichi Shiraishi

Abstract: We investigate a periodic version of the Benjamin-Ono (BO) equation associated with a discrete Laplacian. We find some special solutions to this equation, and calculate the values of the first two integrals of motion $I_1$ and $I_2$ corresponding to these solutions. It is found that there exists a strong resemblance between them and the spectra for the Macdonald $q$-difference operators. To bett… ▽ More We investigate a periodic version of the Benjamin-Ono (BO) equation associated with a discrete Laplacian. We find some special solutions to this equation, and calculate the values of the first two integrals of motion $I_1$ and $I_2$ corresponding to these solutions. It is found that there exists a strong resemblance between them and the spectra for the Macdonald $q$-difference operators. To better understand the connection between these classical and quantum integrable systems, we consider the special degenerate case corresponding to $q=0$ in more detail. Namely, we give general solutions to this degenerate periodic BO, obtain explicit formulas representing all the integrals of motions $I_n$ ($n=1,2,...$), and successfully identify it with the eigenvalues of Macdonald operators in the limit $q\to 0$, i.e. the limit where Macdonald polynomials tend to the Hall-Littlewood polynomials. △ Less

Submitted 25 November, 2009; originally announced November 2009.

Comments: 10 pages, no figure

Periodic ILW equation with discrete Laplacian

Authors: J. Shiraishi, Y. Tutiya

Abstract: We study an integro-differential equation which generalizes the periodic intermediate long wave (ILW) equation. The kernel of the singular integral involved is an elliptic function written as a second order difference of the Weierstrass zeta-function. Using Sato's formulation, we show the integrability and construct some special solutions. An elliptic solution is also obtained. We present a conj… ▽ More We study an integro-differential equation which generalizes the periodic intermediate long wave (ILW) equation. The kernel of the singular integral involved is an elliptic function written as a second order difference of the Weierstrass zeta-function. Using Sato's formulation, we show the integrability and construct some special solutions. An elliptic solution is also obtained. We present a conjecture based on a Poisson structure that it gives an alternative description of this integrable hierarchy. We note that this Poisson algebra in turn is related to a quantum algebra related with the family of Macdonald difference operators. △ Less

Submitted 17 April, 2009; originally announced April 2009.

Comments: 17 pages. To appear in J. Phys. A: Math. Theor

A commutative algebra on degenerate CP^1 and Macdonald polynomials

Authors: B. Feigin, K. Hashizume, A. Hoshino, J. Shiraishi, S. Yanagida

Abstract: We introduce a unital associative algebra A over degenerate CP^1. We show that A is a commutative algebra and whose Poincar'e series is given by the number of partitions. Thereby we can regard A as a smooth degeneration limit of the elliptic algebra introduced by one of the authors and Odesskii. Then we study the commutative family of the Macdonald difference operators acting on the space of sym… ▽ More We introduce a unital associative algebra A over degenerate CP^1. We show that A is a commutative algebra and whose Poincar'e series is given by the number of partitions. Thereby we can regard A as a smooth degeneration limit of the elliptic algebra introduced by one of the authors and Odesskii. Then we study the commutative family of the Macdonald difference operators acting on the space of symmetric functions. A canonical basis is proposed for this family by using A and the Heisenberg representation of the commutative family studied by one of the authors. It is found that the Ding-Iohara algebra provides us with an algebraic framework for the free filed construction. An elliptic deformation of our construction is discussed, showing connections with the Drinfeld quasi-Hopf twisting a la Babelon Bernard Billey, the Ruijsenaars difference operator and the operator M(q,t_1,t_2) of Okounkov-Pandharipande. △ Less

Submitted 15 April, 2009; originally announced April 2009.

Comments: 43 pages

MSC Class: 05E05; 81R50

The integrals of motion for the elliptic deformation of the Virasoro and $W_N$ algebra

Authors: T. Kojima, J. Shiraishi

Abstract: We review the free field realization of the deformed Virasoro algebra $Vir_{q,t}$ and the deformed $W$ algebra $W_{q,t}(\hat{gl_N})$. We explicitly construct two classes of infinitly many commutative operators ${\cal I}_m$, ${\cal G}_m$, $(m \in {\mathbb N})$, in terms of these algebras. They can be regarded as the elliptic deformation of the local and nonlocal integrals of motion for the confor… ▽ More We review the free field realization of the deformed Virasoro algebra $Vir_{q,t}$ and the deformed $W$ algebra $W_{q,t}(\hat{gl_N})$. We explicitly construct two classes of infinitly many commutative operators ${\cal I}_m$, ${\cal G}_m$, $(m \in {\mathbb N})$, in terms of these algebras. They can be regarded as the elliptic deformation of the local and nonlocal integrals of motion for the conformal field theory. △ Less

Submitted 6 February, 2009; originally announced February 2009.

Comments: Proceedings for 5-th World Congress for Nonlinear Analysts 2008, Florida, USA

Kernel Functions for Difference Operators of Ruijsenaars Type and Their Applications

Authors: Yasushi Komori, Masatoshi Noumi, Jun'ichi Shiraishi

Abstract: A unified approach is given to kernel functions which intertwine Ruijsenaars difference operators of type A and of type BC. As an application of the trigonometric cases, new explicit formulas for Koornwinder polynomials attached to single columns and single rows are derived. A unified approach is given to kernel functions which intertwine Ruijsenaars difference operators of type A and of type BC. As an application of the trigonometric cases, new explicit formulas for Koornwinder polynomials attached to single columns and single rows are derived. △ Less

Submitted 17 May, 2009; v1 submitted 1 December, 2008; originally announced December 2008.

Comments: 40 pages. Three sections are added in Appendix, as well as several comments and references

MSC Class: 81R12; 33D67

Journal ref: SIGMA 5 (2009), 054, 40 pages

A remark on the integrals of motion associated with level $k$ realization of the elliptic algebra $U_{q,p}(sl_2^)$

Authors: T. Kojima, J. Shiraishi

Abstract: We give one parameter deformation of level $k$ free field realization of the screening current of the elliptic algebra $U_{q,p}(sl_2^)$. By means of these free field realizations, we construct infinitly many commutative operators, which we call the nonlocal integrals of motion associated with level $k$ realization of the elliptic algebra $U_{q,p}(sl_2^)$. They are given as integrals involving a… ▽ More We give one parameter deformation of level $k$ free field realization of the screening current of the elliptic algebra $U_{q,p}(sl_2^)$. By means of these free field realizations, we construct infinitly many commutative operators, which we call the nonlocal integrals of motion associated with level $k$ realization of the elliptic algebra $U_{q,p}(sl_2^)$. They are given as integrals involving a product of the screening current and elliptic theta functions. This paper give level $k$ generalization of the nonlocal integrals of motion given in [arXiv:0705.0427]. △ Less

Submitted 16 October, 2008; originally announced October 2008.

Mutual Information and Boson Radius in c=1 Critical Systems in One Dimension

Authors: Shunsuke Furukawa, Vincent Pasquier, Jun'ichi Shiraishi

Abstract: We study the generic scaling properties of the mutual information between two disjoint intervals, in a class of one-dimensional quantum critical systems described by the c=1 bosonic field theory. A numerical analysis of a spin-chain model reveals that the mutual information is scale-invariant and depends directly on the boson radius. We interpret the results in terms of correlation functions of… ▽ More We study the generic scaling properties of the mutual information between two disjoint intervals, in a class of one-dimensional quantum critical systems described by the c=1 bosonic field theory. A numerical analysis of a spin-chain model reveals that the mutual information is scale-invariant and depends directly on the boson radius. We interpret the results in terms of correlation functions of branch-point twist fields. The present study provides a new way to determine the boson radius, and furthermore demonstrates the power of the mutual information to extract more refined information of conformal field theory than the central charge. △ Less

Submitted 5 March, 2009; v1 submitted 30 September, 2008; originally announced September 2008.

Comments: 4.1 pages, 5 figures

Journal ref: Phys. Rev. Lett. 102, 170602 (2009)

The Integrals of Motion for the Deformed W-Algebra $W_{qt}(sl_N^)$ II: Proof of the commutation relations

Authors: T. Kojima, J. Shiraishi

Abstract: We explicitly construct two classes of infinitly many commutative operators in terms of the deformed W-algebra $W_{qt}(sl_N^)$, and give proofs of the commutation relations of these operators. We call one of them local integrals of motion and the other nonlocal one, since they can be regarded as elliptic deformation of local and nonlocal integrals of motion for the $W_N$ algebra. We explicitly construct two classes of infinitly many commutative operators in terms of the deformed W-algebra $W_{qt}(sl_N^)$, and give proofs of the commutation relations of these operators. We call one of them local integrals of motion and the other nonlocal one, since they can be regarded as elliptic deformation of local and nonlocal integrals of motion for the $W_N$ algebra. △ Less

Submitted 14 September, 2007; originally announced September 2007.

Comments: Dedicated to Professor Tetsuji Miwa on the occasion on the 60th birthday

The Integrals of Motion for the Deformed W-Algebra Wqt(sl_N^)

Authors: B. Feigin, T. Kojima, J. Shiraishi, H. Watanabe

Abstract: We review the deformed W-algebra Wqt(sl_N^) and its screening currents. We explicitly construct the local integrals of motion I_n for this deformed W-algebra. We explicitly construct the nonlocal integrals of motion G_n by means of the screening currents. Our integrals of motion commute with each other, and give the elliptic version of those for the Virasoro algebra and the W-algebra W(sl_3^), o… ▽ More We review the deformed W-algebra Wqt(sl_N^) and its screening currents. We explicitly construct the local integrals of motion I_n for this deformed W-algebra. We explicitly construct the nonlocal integrals of motion G_n by means of the screening currents. Our integrals of motion commute with each other, and give the elliptic version of those for the Virasoro algebra and the W-algebra W(sl_3^), obtained by V.Bazhanov, A.Hibberd, S.Khoroshkin, S.Lukyanov and Al.Zamolodchikov. △ Less

Submitted 4 May, 2007; originally announced May 2007.

Comments: Proceedings for Representation Theory 2006, Atami, Japan, p.102-114, (2006), [ISBN4-9902328-2-8]

MSC Class: 81B68; 17B68

Journal ref: Proceedings for Representation Theory 2006

The Integrals of Motion for the Deformed Virasoro Algebra

Authors: B. Feigin, T. Kojima, J. Shiraishi, H. Watanabe

Abstract: We explicitly construct two classes of infinitly many commutative operators in terms of the deformed Virasoro algebra. We call one of them local integrals and the other nonlocal one, since they can be regarded as elliptic deformations of the local and nonlocal integrals of motion obtained by V.Bazhanov, S.Lukyanov and Al.Zamolodchikov. We explicitly construct two classes of infinitly many commutative operators in terms of the deformed Virasoro algebra. We call one of them local integrals and the other nonlocal one, since they can be regarded as elliptic deformations of the local and nonlocal integrals of motion obtained by V.Bazhanov, S.Lukyanov and Al.Zamolodchikov. △ Less

Submitted 14 September, 2007; v1 submitted 3 May, 2007; originally announced May 2007.

Comments: Dedicated to Professor Masaki Kashiwara on the occasion on the 60th birthday

MSC Class: 81B68; 17B68

Sugawara and vertex operator constructions for deformed Virasoro algebras

Authors: D. Arnaudon, J. Avan, L. Frappat, E. Ragoucy, J. Shiraishi

Abstract: From the defining exchange relations of the A_{q,p}(gl_{N}) elliptic quantum algebra, we construct subalgebras which can be characterized as q-deformed W_N algebras. The consistency conditions relating the parameters p,q,N and the central charge c are shown to be related to the singularity structure of the functional coefficients defining the exchange relations of specific vertex operators repre… ▽ More From the defining exchange relations of the A_{q,p}(gl_{N}) elliptic quantum algebra, we construct subalgebras which can be characterized as q-deformed W_N algebras. The consistency conditions relating the parameters p,q,N and the central charge c are shown to be related to the singularity structure of the functional coefficients defining the exchange relations of specific vertex operators representations of A_{q,p}({gl_{N}) available when N=2. △ Less

Submitted 11 January, 2006; originally announced January 2006.

Comments: 23 pages

Report number: LAPTH-1135/06 MSC Class: 81R10; 17B37; 17B69

Journal ref: AnnalesHenriPoincare7:1327-1349,2006

A Conjecture about Raising Operators for Macdonald Polynomials

Authors: Jun'ichi Shiraishi

Abstract: A multivariable hypergeometric-type formula for raising operators of the Macdonald polynomials is conjectured. It is proved that this agrees with Jing and Jozefiak's expression for the two-row Macdonald polynomials, and also with Lassalle and Schlosser's formula for partitions with length three. A multivariable hypergeometric-type formula for raising operators of the Macdonald polynomials is conjectured. It is proved that this agrees with Jing and Jozefiak's expression for the two-row Macdonald polynomials, and also with Lassalle and Schlosser's formula for partitions with length three. △ Less

Submitted 25 April, 2005; v1 submitted 31 March, 2005; originally announced March 2005.

Comments: 13 pages

MSC Class: 33D15; 81R50

A Commutative Family of Integral Transformations and Basic Hypergeometric Series. II. Eigenfunctions and Quasi-Eigenfunctions

Authors: Jun'ichi Shiraishi

Abstract: A series of conjectures is obtained as further investigation of the integral transformation I(alpha) introduced in the previous paper. A Macdonald-type difference operator D is introduced. It is conjectured that D and I(alpha) are commutative with each other. Studying the series for the eigenfunctions under termination conditions, it is observed that a deformed Weyl group action appears as a hid… ▽ More A series of conjectures is obtained as further investigation of the integral transformation I(alpha) introduced in the previous paper. A Macdonald-type difference operator D is introduced. It is conjectured that D and I(alpha) are commutative with each other. Studying the series for the eigenfunctions under termination conditions, it is observed that a deformed Weyl group action appears as a hidden symmetry. An infinite product formula for the eigenfunction is found for a spacial case of parameters. A one parameter family of hypergeometric-type series F(alpha) is introduced. The series F(alpha) is caracterized by a covariant transformation property I(alpha q^{-1} t) F(alpha)=F(alpha q^{-1} t) and a certain initial condition given at alpha=t^{1/2}. We call F(alpha) the `quasi-eigenfunction' for short. A class of infinite product-type expressions are conjectured for F(alpha) at the special points alpha=-t^{1/2}, alpha=q, alpha=pm q^{1/2}t^{1/2}, and alpha=pm q^{ell}t^{1/2} (ell=1,2,3,cdots). △ Less

Submitted 12 May, 2005; v1 submitted 11 February, 2005; originally announced February 2005.

Comments: Basic parameters replaced: q -> t, and p^{1/2} -> q

MSC Class: 33D15; 81R50

A Commutative Family of Integral Transformations and Basic Hypergeometric Series. I. Eigenfunctions

Authors: Jun'ichi Shiraishi

Abstract: It is conjectured that a class of n-fold integral transformations {I(alpha)|alpha in {C}} forms a mutually commutative family, namely, we have I(alpha) I(beta)=I(beta) I(alpha) for all alpha, beta in {C}. The commutativity of I(alpha) for the two-fold integral case is proved by using several summation and transformation formulas for the basic hypergeometric series. An explicit formula for the co… ▽ More It is conjectured that a class of n-fold integral transformations {I(alpha)|alpha in {C}} forms a mutually commutative family, namely, we have I(alpha) I(beta)=I(beta) I(alpha) for all alpha, beta in {C}. The commutativity of I(alpha) for the two-fold integral case is proved by using several summation and transformation formulas for the basic hypergeometric series. An explicit formula for the complete system of the eigenfunctions for n=3 is conjectured. In this formula and in a partial result for n=4, it is observed that all the eigenfunctions do not depend on the spectral parameter alpha of I(alpha). △ Less

Submitted 21 April, 2005; v1 submitted 17 January, 2005; originally announced January 2005.

Comments: Basic parameters are replaced to make the notation consistent with the standard Macdonald polynomials: q is replaced by t, and p^{1/2} is replaced by q

MSC Class: 33D15; 81R50