Showing 1–49 of 49 results for author: Takeyama, Y

A new deformation of multiple zeta value

Authors: Yoshihiro Takeyama

Abstract: We introduce a new deformation of multiple zeta value (MZV). It has one parameter $ω$ satisfying $0<ω<2$ and recovers MZV in the limit as $ω\to +0$. It is defined in the same algebraic framework as a $q$-analogue of multiple zeta value ($q$MZV) by using a multiple integral. We prove that our deformed multiple zeta value satisfies the double shuffle relations which are satisfied by $q$MZVs. We also… ▽ More We introduce a new deformation of multiple zeta value (MZV). It has one parameter $ω$ satisfying $0<ω<2$ and recovers MZV in the limit as $ω\to +0$. It is defined in the same algebraic framework as a $q$-analogue of multiple zeta value ($q$MZV) by using a multiple integral. We prove that our deformed multiple zeta value satisfies the double shuffle relations which are satisfied by $q$MZVs. We also prove the extended double Ohno relations, which are proved for ($q$)MZVs by Hirose, Sato and Seki, by using a multiple integral whose integrand contains the hyperbolic gamma function due to Ruijsenaars. △ Less

Submitted 28 June, 2024; originally announced June 2024.

Comments: 25 pages, no figure

A q-analogue of symmetric multiple zeta value

Authors: Yoshihiro Takeyama

Abstract: We construct a q-analogue of truncated version of symmetric multiple zeta values which satisfies the double shuffle relation. Using it, we define a q-analogue of symmetric multiple zeta values and see that it satisfies many of the same relations as symmetric multiple zeta values, which are the inverse relation and a part of the double shuffle relation and the Ohno-type relation. We construct a q-analogue of truncated version of symmetric multiple zeta values which satisfies the double shuffle relation. Using it, we define a q-analogue of symmetric multiple zeta values and see that it satisfies many of the same relations as symmetric multiple zeta values, which are the inverse relation and a part of the double shuffle relation and the Ohno-type relation. △ Less

Submitted 26 June, 2023; v1 submitted 29 January, 2023; originally announced January 2023.

Comments: 31 pages, no figure. This is a pre-print of an article published in The Ramanujan Journal. The final authenticated version is available online at: https://doi.org/10.1007/s11139-023-00755-9

The ring of finite algebraic numbers and its application to the law of decomposition of primes

Authors: Julian Rosen, Yoshihiro Takeyama, Koji Tasaka, Shuji Yamamoto

Abstract: In this paper, we develop an explicit method to express finite algebraic numbers (in particular, certain idempotents among them) in terms of linear recurrent sequences, and give applications to the characterization of the splitting primes in a given finite Galois extension over the rational field. In this paper, we develop an explicit method to express finite algebraic numbers (in particular, certain idempotents among them) in terms of linear recurrent sequences, and give applications to the characterization of the splitting primes in a given finite Galois extension over the rational field. △ Less

Submitted 12 May, 2024; v1 submitted 24 August, 2022; originally announced August 2022.

On a weighted sum of multiple T-values of fixed weight and depth

Authors: Yoshihiro Takeyama

Abstract: The multiple T-value, which is a variant of multiple zeta value of level two, is introduced by Kaneko and Tsumura. We show that the generating function of a weighted sum of the multiple T-values of fixed weight and depth is given in terms of the multiple T-values of depth one by solving a differential equation of Heun type. The multiple T-value, which is a variant of multiple zeta value of level two, is introduced by Kaneko and Tsumura. We show that the generating function of a weighted sum of the multiple T-values of fixed weight and depth is given in terms of the multiple T-values of depth one by solving a differential equation of Heun type. △ Less

Submitted 20 December, 2020; originally announced December 2020.

Comments: 7 pages

Supercongruences of multiple harmonic $q$-sums and generalized finite/symmetric multiple zeta values

Authors: Yoshihiro Takeyama, Koji Tasaka

Abstract: The Kaneko--Zagier conjecture describes a correspondence between finite multiple zeta values and symmetric multiple zeta values. Its refined version has been established by Jarossay, Rosen and Ono--Seki--Yamamoto. In this paper, we explicate these conjectures through studies of multiple harmonic $q$-sums. We show that the (generalized) finite/symmetric multiple zeta value are obtained by taking an… ▽ More The Kaneko--Zagier conjecture describes a correspondence between finite multiple zeta values and symmetric multiple zeta values. Its refined version has been established by Jarossay, Rosen and Ono--Seki--Yamamoto. In this paper, we explicate these conjectures through studies of multiple harmonic $q$-sums. We show that the (generalized) finite/symmetric multiple zeta value are obtained by taking an algebraic/analytic limit of multiple harmonic $q$-sums. As applications, new proofs of reversal, duality and cyclic sum formulas for the generalized finite/symmetric multiple zeta values are given. △ Less

Submitted 17 February, 2022; v1 submitted 13 December, 2020; originally announced December 2020.

Comments: 51 pages

Finite and symmetric Mordell-Tornheim multiple zeta values

Authors: Henrik Bachmann, Yoshihiro Takeyama, Koji Tasaka

Abstract: We introduce finite and symmetric Mordell-Tornheim type of multiple zeta values and give a new approach to the Kaneko-Zagier conjecture stating that the finite and symmetric multiple zeta values satisfy the same relations. We introduce finite and symmetric Mordell-Tornheim type of multiple zeta values and give a new approach to the Kaneko-Zagier conjecture stating that the finite and symmetric multiple zeta values satisfy the same relations. △ Less

Submitted 29 January, 2020; originally announced January 2020.

Comments: 32 pages

MSC Class: 11M32; 11R18; 05A30

Special values of finite multiple harmonic q-series at roots of unity

Authors: Henrik Bachmann, Yoshihiro Takeyama, Koji Tasaka

Abstract: We study special values of finite multiple harmonic q-series at roots of unity. These objects were recently introduced by the authors and it was shown that they have connections to finite and symmetric multiple zeta values and the Kaneko-Zagier conjecture. In this note we give new explicit evaluations for finite multiple harmonic q-series at roots of unity and prove Ohno-Zagier-type relations for… ▽ More We study special values of finite multiple harmonic q-series at roots of unity. These objects were recently introduced by the authors and it was shown that they have connections to finite and symmetric multiple zeta values and the Kaneko-Zagier conjecture. In this note we give new explicit evaluations for finite multiple harmonic q-series at roots of unity and prove Ohno-Zagier-type relations for them. △ Less

Submitted 1 July, 2018; originally announced July 2018.

Comments: 18 pages

MSC Class: 11M32; 11R18; 05A30

Derivations on the algebra of multiple harmonic q-series and their applications

Authors: Yoshihiro Takeyama

Abstract: We introduce derivations on the algebra of multiple harmonic q-series and show that they generate linear relations among the q-series which contain the derivation relations for a q-analogue of multiple zeta values due to Bradley. As a byproduct we obtain Ohno-type relations for finite multiple harmonic q-series at a root of unity. We introduce derivations on the algebra of multiple harmonic q-series and show that they generate linear relations among the q-series which contain the derivation relations for a q-analogue of multiple zeta values due to Bradley. As a byproduct we obtain Ohno-type relations for finite multiple harmonic q-series at a root of unity. △ Less

Submitted 2 June, 2019; v1 submitted 12 June, 2018; originally announced June 2018.

Comments: 21 pages, no figure. This is a pre-print of an article published in The Ramanujan Journal. The final authenticated version is available online at: https://doi.org/10.1007/s11139-019-00139-y

Cyclotomic analogues of finite multiple zeta values

Authors: Henrik Bachmann, Yoshihiro Takeyama, Koji Tasaka

Abstract: We introduce the notion of finite multiple harmonic q-series at a primitive root of unity and show that these specialize to the finite multiple zeta value (FMZV) and the symmetrized multiple zeta value (SMZV) through an algebraic and analytic operation, respectively. Further, we obtain families of linear relations among these series which induce linear relations among FMZVs and SMZVs of the same f… ▽ More We introduce the notion of finite multiple harmonic q-series at a primitive root of unity and show that these specialize to the finite multiple zeta value (FMZV) and the symmetrized multiple zeta value (SMZV) through an algebraic and analytic operation, respectively. Further, we obtain families of linear relations among these series which induce linear relations among FMZVs and SMZVs of the same form. This gives evidence towards a conjecture of Kaneko and Zagier relating FMZVs and SMZVs. Motivated by the above results, we define cyclotomic analogues of FMZVs, which conjecturally generate a vector space of the same dimension as that spanned by the finite multiple harmonic q-series at a primitive root of unity of sufficiently large degree. △ Less

Submitted 18 September, 2018; v1 submitted 17 July, 2017; originally announced July 2017.

Comments: 23 pages

MSC Class: 11M32; 11R18; 05A30

Journal ref: Compositio Math. 154 (2018) 2701-2721

Microscopic Pedestrian Simulation Model to Evaluate "Lane-Like Segregation" of Pedestrian Crossing

Authors: Kardi Teknomo, Yasushi Takeyama, Hajime Inamura

Abstract: One of the objectives of the pedestrian analysis is to evaluate the effects of proposed policy on the pedestrian facilities before its implementation. The implementation of a policy without pedestrian analysis might lead to a very costly trial and error due to the implementation cost (i.e. user cost, construction time and cost, etc.). On the other hand, using good analysis tools, the trial and err… ▽ More One of the objectives of the pedestrian analysis is to evaluate the effects of proposed policy on the pedestrian facilities before its implementation. The implementation of a policy without pedestrian analysis might lead to a very costly trial and error due to the implementation cost (i.e. user cost, construction time and cost, etc.). On the other hand, using good analysis tools, the trial and error of policy could be done in the analysis level. Once the analysis could prove a good performance, the implementation of the policy is straightforward. The problem is how to evaluate the impact of the policy quantitatively toward the behavior of pedestrians before its implementation. Since the interaction of pedestrians cannot be well address using a macroscopic level of analysis, a microscopic level of analysis is the choice. However, the analytical solution of the microscopic pedestrian model is very difficult and simulation models are more practical approach. To evaluate the impact of the policy quantitatively toward the behavior of pedestrians before its implementation, a microscopic pedestrian simulation model was developed. The model was based on physical forces, which work upon each pedestrian dynamically. To demonstrate the numerical analysis of the model, an experimental policy on pedestrian crossing was performed. The simulation results showed that the keep right policy or the lane-like segregation policy is inclined to be superior to do minimum or mix-lane policy in terms of average speed, average delay and dissipation time. △ Less

Submitted 6 September, 2016; originally announced October 2016.

Comments: 4 pages, Teknomo, Kardi; Takeyama, Yasushi; Inamura, Hajime, Microscopic Pedestrian Simulation Model to Evaluate "Lane-Like Segregation" of Pedestrian Crossing, Proceedings of Infrastructure Planning Conference Vol. 24, Kouchi, Japan Nov 2001

Determination of Pedestrian Flow Performance Based on Video Tracking and Microscopic Simulations

Authors: Kardi Teknomo, Yasushi Takeyama, Hajime Inamura

Abstract: One of the objectives of understanding pedestrian behavior is to predict the effect of proposed changes in the design or evaluation of pedestrian facilities. We want to know the impact to the user of the facilities, as the design of the facilities change. That impact was traditionally evaluated by level of service standards. Another design criterion to measure the impact of design change is measur… ▽ More One of the objectives of understanding pedestrian behavior is to predict the effect of proposed changes in the design or evaluation of pedestrian facilities. We want to know the impact to the user of the facilities, as the design of the facilities change. That impact was traditionally evaluated by level of service standards. Another design criterion to measure the impact of design change is measured by the pedestrian flow performance index. This paper describes the determination of pedestrian flow performance based video tracking or any microscopic pedestrian simulation models. Most of pedestrian researches have been done on a macroscopic level, which is an aggregation of all pedestrian movement in pedestrian areas into flow, average speed and area module. Macroscopic level, however, does not consider the interaction between pedestrians. It is also not well suited for prediction of pedestrian flow performance in pedestrian areas or in buildings with some obstruction, that reduces the effective width of the walkways. On the other hand, the microscopic level has a more general usage and considers detail in the design. More efficient pedestrian flow can even be reached with less space. Those results have rejected the linearity assumption of space and flow in the macroscopic level. △ Less

Submitted 7 September, 2016; originally announced September 2016.

Comments: 4 pages, Teknomo, Kardi; Takeyama, Yasushi; Inamura, Hajime, Determination of Pedestrian Flow Performance Based on Video Tracking and Microscopic Simulations, Proceedings of Infrastructure Planning Conference Vol. 23 no 1, Ashikaga, Japan, pp. 639-642, Nov 2000

Tracking Algorithm for Microscopic Flow Data Collection

Authors: Kardi Teknomo, Yasushi Takeyama, Hajime Inamura

Abstract: Various methods to automate traffic data collection have recently been developed by many researchers. A macroscopic data collection through image processing has been proposed. For microscopic traffic flow data, such as individual speed and time or distance headway, tracking of individual movement is needed. The tracking algorithms for pedestrian or vehicle have been developed to trace the movement… ▽ More Various methods to automate traffic data collection have recently been developed by many researchers. A macroscopic data collection through image processing has been proposed. For microscopic traffic flow data, such as individual speed and time or distance headway, tracking of individual movement is needed. The tracking algorithms for pedestrian or vehicle have been developed to trace the movement of one or two pedestrians based on sign pattern, and feature detection. No research has been done to track many pedestrians or vehicles at once. This paper describes a new and fast algorithm to track the movement of many individual vehicles or pedestrians △ Less

Submitted 6 September, 2016; originally announced September 2016.

Comments: 2 pages, Teknomo, Kardi; Takeyama, Yasushi; Inamura, Hajime, Tracking Algorithm for Microscopic Flow Data Collection, Proceeding of JSCE Conference, Sendai, Japan Sept 2000

Tracking System to Automate Data Collection of Microscopic Pedestrian Traffic Flow

Authors: Kardi Teknomo, Yasushi Takeyama, Hajime Inamura

Abstract: To deal with many pedestrian data, automatic data collection is needed. This paper describes how to automate the microscopic pedestrian flow data collection from video files. The study is restricted only to pedestrians without considering vehicular - pedestrian interaction. Pedestrian tracking system consists of three sub-systems, which calculates the image processing, object tracking and traffic… ▽ More To deal with many pedestrian data, automatic data collection is needed. This paper describes how to automate the microscopic pedestrian flow data collection from video files. The study is restricted only to pedestrians without considering vehicular - pedestrian interaction. Pedestrian tracking system consists of three sub-systems, which calculates the image processing, object tracking and traffic flow variables. The system receives input of stacks of images and parameters. The first sub-system performs Image Processing analysis while the second sub-system carries out the tracking of pedestrians by matching the features and tracing the pedestrian numbers frame by frame. The last sub-system deals with a NTXY database to calculate the pedestrian traffic-flow characteristic such as flow rate, speed and area module. Comparison with manual data collection method confirmed that the procedures described have significant potential to automate the data collection of both microscopic and macroscopic pedestrian flow variables. △ Less

Submitted 6 September, 2016; originally announced September 2016.

Comments: 15 pages, Teknomo, Kardi; Takeyama, Yasushi; Inamura, Hajime, Tracking System to Automate Data Collection of Microscopic Pedestrian Traffic Flow, Proceeding of The 4th Eastern Asia Society For Transportation Studies, Hanoi, Vietnam, pp. 11-25, Oct. 2001

Review on Microscopic Pedestrian Simulation Model

Authors: Kardi Teknomo, Yasushi Takeyama, Hajime Inamura

Abstract: Microscopic Pedestrian Simulation Model is computer simulation model of pedestrian movement where every pedestrian in the model is treated as individual. Most of pedestrian researches have been done on macroscopic level, which does not consider the interaction between pedestrians and does not well suited for prediction of pedestrian flow performance in pedestrian areas or building with some object… ▽ More Microscopic Pedestrian Simulation Model is computer simulation model of pedestrian movement where every pedestrian in the model is treated as individual. Most of pedestrian researches have been done on macroscopic level, which does not consider the interaction between pedestrians and does not well suited for prediction of pedestrian flow performance in pedestrian areas or building with some objects that reduce the effective width of it. In the other hand, microscopic level has more general usage and considers detail of the design. Tough the analytical model for microscopic pedestrian model is existed exist, the numerical solution of the model is very difficult and simulation is favorable. The model has practical application of Evacuation from building, Design of pedestrian area, and Experimental & Optimization Design Tool. In general, Microscopic Pedestrian Simulation Model consist of two terms, that make the pedestrian moving toward the destination and make repulsive effect toward other pedestrian or obstacles. △ Less

Submitted 6 September, 2016; originally announced September 2016.

Comments: 2 pages, Teknomo, Kardi; Takeyama, Yasushi; Inamura, Hajime, Review on Microscopic Pedestrian Simulation Model, Proceedings Japan Society of Civil Engineering Conference March 2000, Morioka, Japan, March 2000

On the eigenfunctions for the multi-species q-Boson system

Authors: Yoshihiro Takeyama

Abstract: In a previous paper a multi-species version of the q-Boson stochastic particle system is introduced and the eigenfunctions of its backward generator are constructed by using a representation of the Hecke algebra. In this article we prove a formula which expresses the eigenfunctions by means of the q-deformed bosonic operators, which are constructed from the L-operator of higher rank found in the r… ▽ More In a previous paper a multi-species version of the q-Boson stochastic particle system is introduced and the eigenfunctions of its backward generator are constructed by using a representation of the Hecke algebra. In this article we prove a formula which expresses the eigenfunctions by means of the q-deformed bosonic operators, which are constructed from the L-operator of higher rank found in the recent work by Garbali, de Gier and Wheeler. The L-operator is obtained from the universal R-matrix of the quantum affine algebra of type A_{r}^{(1)} by the use of the q-oscillator representation. Thus our formula may be regarded as a bridge between two approaches to studying integrable stochastic systems by means of the quantum affine algebra and the affine Hecke algebra. △ Less

Submitted 23 March, 2017; v1 submitted 2 June, 2016; originally announced June 2016.

Comments: We added an explanation of the relation between our result and the previous results due to Borodin, and Motegi and Sakai in Section 5.1

Algebraic construction of multi-species q-Boson system

Authors: Yoshihiro Takeyama

Abstract: We construct a stochastic particle system which is a multi-species version of the q-Boson system due to Sasamoto and Wadati. Its transition rate matrix is obtained from a representation of a deformation of the affine Hecke algebra of type GL. We construct a stochastic particle system which is a multi-species version of the q-Boson system due to Sasamoto and Wadati. Its transition rate matrix is obtained from a representation of a deformation of the affine Hecke algebra of type GL. △ Less

Submitted 8 July, 2015; originally announced July 2015.

Comments: 18 pages

A deformation of affine Hecke algebra and integrable stochastic particle system

Authors: Yoshihiro Takeyama

Abstract: We introduce a deformation of the affine Hecke algebra of type GL which describes the commutation relations of the divided difference operators found by Lascoux and Schutzenberger and the multiplication operators. Making use of its representation we construct an integrable stochastic particle system. It is a generalization of the q-Boson system due to Sasamoto and Wadati. We also construct eigenfu… ▽ More We introduce a deformation of the affine Hecke algebra of type GL which describes the commutation relations of the divided difference operators found by Lascoux and Schutzenberger and the multiplication operators. Making use of its representation we construct an integrable stochastic particle system. It is a generalization of the q-Boson system due to Sasamoto and Wadati. We also construct eigenfunctions of its generator using the propagation operator. As a result we get the same eigenfunctions for the (q, μ, ν)-Boson process obtained by Povolotsky. △ Less

Submitted 7 October, 2014; v1 submitted 8 July, 2014; originally announced July 2014.

Comments: 18 pages, no fugure

The Algebra of a q-Analogue of Multiple Harmonic Series

Authors: Yoshihiro Takeyama

Abstract: We introduce an algebra which describes the multiplication structure of a family of q-series containing a q-analogue of multiple zeta values. The double shuffle relations are formulated in our framework. They contain a q-analogue of Hoffman's identity for multiple zeta values. We also discuss the dimension of the space spanned by the linear relations realized in our algebra. We introduce an algebra which describes the multiplication structure of a family of q-series containing a q-analogue of multiple zeta values. The double shuffle relations are formulated in our framework. They contain a q-analogue of Hoffman's identity for multiple zeta values. We also discuss the dimension of the space spanned by the linear relations realized in our algebra. △ Less

Submitted 22 October, 2013; v1 submitted 26 June, 2013; originally announced June 2013.

Journal ref: SIGMA 9 (2013), 061, 15 pages

A discrete analogue of periodic delta Bose gas and affine Hecke algebra

Authors: Yoshihiro Takeyama

Abstract: We consider an eigenvalue problem for a discrete analogue of the Hamiltonian of the non-ideal Bose gas with delta-potentials on a circle. It is a two-parameter deformation of the discrete Hamiltonian for joint moments of the partition function of the O'Connell-Yor semi-discrete polymer. We construct the propagation operator by using integral-reflection operators, which give a representation of the… ▽ More We consider an eigenvalue problem for a discrete analogue of the Hamiltonian of the non-ideal Bose gas with delta-potentials on a circle. It is a two-parameter deformation of the discrete Hamiltonian for joint moments of the partition function of the O'Connell-Yor semi-discrete polymer. We construct the propagation operator by using integral-reflection operators, which give a representation of the affine Hecke algebra. We also construct eigenfunctions by means of the Bethe ansatz method. △ Less

Submitted 12 March, 2014; v1 submitted 12 September, 2012; originally announced September 2012.

Comments: 10 pages, no figure: typos are corrected

A restricted sum formula for a q-analogue of multiple zeta values

Authors: Yoshihiro Takeyama

Abstract: We prove a new linear relation for a q-analogue of multiple zeta values. It is a q-extension of the restricted sum formula obtained by Eie, Liaw and Ong for multiple zeta values. We prove a new linear relation for a q-analogue of multiple zeta values. It is a q-extension of the restricted sum formula obtained by Eie, Liaw and Ong for multiple zeta values. △ Less

Submitted 1 December, 2011; originally announced December 2011.

Comments: 12 pages, no figure

Quadratic relations for a q-analogue of multiple zeta values

Authors: Yoshihiro Takeyama

Abstract: We obtain a class of quadratic relations for a q-analogue of multiple zeta values (qMZV's). In the limit q->1, it turns into Kawashima's relation for multiple zeta values. As a corollary we find that qMZV's satisfy the linear relation contained in Kawashima's relation. In the proof we make use of a q-analogue of Newton series and Bradley's duality formula for finite multiple harmonic q-series. We obtain a class of quadratic relations for a q-analogue of multiple zeta values (qMZV's). In the limit q->1, it turns into Kawashima's relation for multiple zeta values. As a corollary we find that qMZV's satisfy the linear relation contained in Kawashima's relation. In the proof we make use of a q-analogue of Newton series and Bradley's duality formula for finite multiple harmonic q-series. △ Less

Submitted 3 August, 2010; originally announced August 2010.

Comments: 14 pages

Differential equations compatible with boundary rational qKZ equation

Authors: Yoshihiro Takeyama

Abstract: We give differential equations compatible with the rational qKZ equation with boundary reflection. The total system contains the trigonometric degeneration of the bispectral qKZ equation of type (C_{n}^{\vee}, C_{n}) which in the case of type GL_{n} was studied by van Meer and Stokman. We construct an integral formula for solutions to our compatible system in a special case. We give differential equations compatible with the rational qKZ equation with boundary reflection. The total system contains the trigonometric degeneration of the bispectral qKZ equation of type (C_{n}^{\vee}, C_{n}) which in the case of type GL_{n} was studied by van Meer and Stokman. We construct an integral formula for solutions to our compatible system in a special case. △ Less

Submitted 19 March, 2010; v1 submitted 17 August, 2009; originally announced August 2009.

Comments: 25 pages, no figure; Section 4.2, 4.4 and 4.6 are revised.

The Rational qKZ Equation and Shifted Non-Symmetric Jack Polynomials

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

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

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

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

MSC Class: 39A13; 33C52; 81R50

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

Hidden Grassmann Structure in the XXZ Model II: Creation Operators

Authors: H. Boos, M. Jimbo, T. Miwa, F. Smirnov, Y. Takeyama

Abstract: In this article we unveil a new structure in the space of operators of the XXZ chain. We consider the space of all quasi-local operators, which are products of the disorder field with arbitrary local operators. In analogy with CFT the disorder operator itself is considered as primary field. In our previous paper, we have introduced the annhilation operators which mutually anti-commute and kill t… ▽ More In this article we unveil a new structure in the space of operators of the XXZ chain. We consider the space of all quasi-local operators, which are products of the disorder field with arbitrary local operators. In analogy with CFT the disorder operator itself is considered as primary field. In our previous paper, we have introduced the annhilation operators which mutually anti-commute and kill the primary field. Here we construct the creation counterpart and prove the canonical anti-commutation relations with the annihilation operators. We show that the ground state averages of quasi-local operators created by the creation operators from the primary field are given by determinants. △ Less

Submitted 7 May, 2008; v1 submitted 8 January, 2008; originally announced January 2008.

Journal ref: Commun.Math.Phys.286:875-932,2009

Fermionic basis for space of operators in the XXZ model

Authors: H. Boos, M. Jimbo, T. Miwa, F. Smirnov, Y. Takeyama

Abstract: In the recent study of correlation functions for the infinite XXZ spin chain, a new pair of anti-commuting operators $b(z), c(z)$ was introduced. They act on the space of quasi-local operators, which are local operators multiplied by the disorder operator. For the inhomogeneous chain with the spectral parameters $ξ_{k}$, these operators have simple poles at $z^2=ξ_{k}^2$. The residues are denote… ▽ More In the recent study of correlation functions for the infinite XXZ spin chain, a new pair of anti-commuting operators $b(z), c(z)$ was introduced. They act on the space of quasi-local operators, which are local operators multiplied by the disorder operator. For the inhomogeneous chain with the spectral parameters $ξ_{k}$, these operators have simple poles at $z^2=ξ_{k}^2$. The residues are denoted by $b_{k}, c_{k}$. At $q=i$, we show that the operators $b_{k}, c_{k}$ are cubic monomials in free fermions. In other words, the action of these operators is very simple in the fermion basis. We give an explicit construction of these fermions. Then, we show that the existence of the fermionic basis is a consequence of the Grassmann relation, the equivariance with respect to the action of the symmetric group and the reduction property, which are all valid for the operators $b_{k}, c_{k}$ in the case of generic $q$. △ Less

Submitted 12 February, 2007; originally announced February 2007.

Comments: 34 pages, no figure

The quantum Knizhnik-Zamolodchikov equation and non-symmetric Macdonald polynomials

Authors: M. Kasatani, Y. Takeyama

Abstract: We construct special solutions of the quantum Knizhnik-Zamolodchikov equation on the tensor product of the vector representation of the quantum algebra of type A_{N-1}. They are constructed from non-symmetric Macdonald polynomials through the action of the affine Hecke algebra. As a special case the matrix element of the vertex operators of level one is reproduced. We construct special solutions of the quantum Knizhnik-Zamolodchikov equation on the tensor product of the vector representation of the quantum algebra of type A_{N-1}. They are constructed from non-symmetric Macdonald polynomials through the action of the affine Hecke algebra. As a special case the matrix element of the vertex operators of level one is reproduced. △ Less

Submitted 5 April, 2007; v1 submitted 31 August, 2006; originally announced August 2006.

Comments: 17 pages, no figure; final version, we added the paper by Di Francesco and Zinn-Justin in references

MSC Class: 39A13; 33C52; 81R50

Hidden Grassmann structure in the XXZ model

Authors: H. Boos, M. Jimbo, T. Miwa, F. Smirnov, Y. Takeyama

Abstract: For the critical XXZ model, we consider the space W of operators which are products of local operators with a disorder operator. We introduce two anti-commutative family of operators b(z), c(z) which act on the space W. These operators are constructed as traces over representations of the q-oscillator algebra, in close analogy with Baxter's Q-operators. We show that the vacuum expectation values… ▽ More For the critical XXZ model, we consider the space W of operators which are products of local operators with a disorder operator. We introduce two anti-commutative family of operators b(z), c(z) which act on the space W. These operators are constructed as traces over representations of the q-oscillator algebra, in close analogy with Baxter's Q-operators. We show that the vacuum expectation values of operators in W can be expressed in terms of an exponential of a quadratic form of b(z), c(z). △ Less

Submitted 11 July, 2006; v1 submitted 30 June, 2006; originally announced June 2006.

Comments: 20 pages, no figure, minor misprints corrected

Journal ref: Commun.Math.Phys.272:263-281,2007

A $φ_{1,3}$-filtration of the Virasoro minimal series M(p,p') with 1<p'/p< 2

Authors: B. Feigin, E. Feigin, M. Jimbo, T. Miwa, Y. Takeyama

Abstract: The filtration of the Virasoro minimal series representations M^{(p,p')}_{r,s} induced by the (1,3)-primary field $φ_{1,3}(z)$ is studied. For 1< p'/p< 2, a conjectural basis of M^{(p,p')}_{r,s} compatible with the filtration is given by using monomial vectors in terms of the Fourier coefficients of $φ_{1,3}(z)$. In support of this conjecture, we give two results. First, we establish the equalit… ▽ More The filtration of the Virasoro minimal series representations M^{(p,p')}_{r,s} induced by the (1,3)-primary field $φ_{1,3}(z)$ is studied. For 1< p'/p< 2, a conjectural basis of M^{(p,p')}_{r,s} compatible with the filtration is given by using monomial vectors in terms of the Fourier coefficients of $φ_{1,3}(z)$. In support of this conjecture, we give two results. First, we establish the equality of the character of the conjectural basis vectors with the character of the whole representation space. Second, for the unitary series (p'=p+1), we establish for each $m$ the equality between the character of the degree $m$ monomial basis and the character of the degree $m$ component in the associated graded module Gr(M^{(p,p+1)}_{r,s}) with respect to the filtration defined by $φ_{1,3}(z)$. △ Less

Submitted 8 June, 2006; v1 submitted 3 March, 2006; originally announced March 2006.

Comments: 34 pages, no figure

Algebraic representation of correlation functions in integrable spin chains

Authors: H. Boos, M. Jimbo, T. Miwa, F. Smirnov, Y. Takeyama

Abstract: Taking the XXZ chain as the main example, we give a review of an algebraic representation of correlation functions in integrable spin chains obtained recently. We rewrite the previous formulas in a form which works equally well for the physically interesting homogeneous chains. We discuss also the case of quantum group invariant operators and generalization to the XYZ chain. Taking the XXZ chain as the main example, we give a review of an algebraic representation of correlation functions in integrable spin chains obtained recently. We rewrite the previous formulas in a form which works equally well for the physically interesting homogeneous chains. We discuss also the case of quantum group invariant operators and generalization to the XYZ chain. △ Less

Submitted 22 January, 2006; v1 submitted 19 January, 2006; originally announced January 2006.

Comments: 31 pages, no figure

Journal ref: AnnalesHenriPoincare7:1395-1428,2006

Sets of rigged paths with Virasoro characters

Authors: B. Feigin, M. Jimbo, T. Miwa, E. Mukhin, Y. Takeyama

Abstract: Let \{M_{r,s}\}_{0< r < p, 0< s < p'} be the irreducible Virasoro modules in the $(p,p')$-minimal series. In our previous paper, we have constructed a monomial basis of \oplus_{r=1}^{p-1}M_{r,s} in the case of $1<p'/p<2$. By `monomials' we mean vectors of the form φ^{(r_L,r_{L-1})}_{-n_L}...φ^{(r_1,r_{0})}_{-n_1} |r_0,s >, where φ_{-n}^{(r',r)} are the Fourier components of the (2,1)-primary fie… ▽ More Let \{M_{r,s}\}_{0< r < p, 0< s < p'} be the irreducible Virasoro modules in the $(p,p')$-minimal series. In our previous paper, we have constructed a monomial basis of \oplus_{r=1}^{p-1}M_{r,s} in the case of $1<p'/p<2$. By `monomials' we mean vectors of the form φ^{(r_L,r_{L-1})}_{-n_L}...φ^{(r_1,r_{0})}_{-n_1} |r_0,s >, where φ_{-n}^{(r',r)} are the Fourier components of the (2,1)-primary field map** M_{r,s} to M_{r',s}, and |r_0,s > is the highest weight vector of M_{r_0,s}. In this article, for all p<p' with p>2 and s=1, we describe a subset of such monomials which conjecturally forms a basis of \oplus_{r=1}^{p-1}M_{r,1}. We prove that the character of the combinatorial set labeling these monomials coincides with the character of the corresponding Virasoro module. We also verify the conjecture in the case of p=3. △ Less

Submitted 7 April, 2006; v1 submitted 8 June, 2005; originally announced June 2005.

Comments: Latex, 20 pages

Density matrix of a finite sub-chain of the Heisenberg anti-ferromagnet

Authors: H. Boos, M. Jimbo, T. Miwa, F. Smirnov, Y. Takeyama

Abstract: We consider a finite sub-chain on an interval of the infinite XXX model in the ground state. The density matrix for such a subsystem was described in our previous works for the model with inhomogeneous spectral parameters. In the present paper, we give a compact formula for the physically interesting case of the homogeneous model. We consider a finite sub-chain on an interval of the infinite XXX model in the ground state. The density matrix for such a subsystem was described in our previous works for the model with inhomogeneous spectral parameters. In the present paper, we give a compact formula for the physically interesting case of the homogeneous model. △ Less

Submitted 9 January, 2006; v1 submitted 21 June, 2005; originally announced June 2005.

Comments: 6 pages, some formulas are refined

Journal ref: Lett.Math.Phys. 75 (2006) 201-208

Traces on the Sklyanin algebra and correlation functions of the eight-vertex model

Authors: H. Boos, M. Jimbo, T. Miwa, F. Smirnov, Y. Takeyama

Abstract: We propose a conjectural formula for correlation functions of the Z-invariant (inhomogeneous) eight-vertex model. We refer to this conjecture as Ansatz. It states that correlation functions are linear combinations of products of three transcendental functions, with theta functions and derivatives as coefficients. The transcendental functions are essentially logarithmic derivatives of the partiti… ▽ More We propose a conjectural formula for correlation functions of the Z-invariant (inhomogeneous) eight-vertex model. We refer to this conjecture as Ansatz. It states that correlation functions are linear combinations of products of three transcendental functions, with theta functions and derivatives as coefficients. The transcendental functions are essentially logarithmic derivatives of the partition function per site. The coefficients are given in terms of a linear functional on the Sklyanin algebra, which interpolates the usual trace on finite dimensional representations. We establish the existence of the functional and discuss the connection to the geometry of the classical limit. We also conjecture that the Ansatz satisfies the reduced qKZ equation. As a non-trivial example of the Ansatz, we present a new formula for the next-nearest neighbor correlation functions. △ Less

Submitted 21 June, 2005; v1 submitted 8 April, 2005; originally announced April 2005.

Comments: 35 pages, 2 figures, final version

Journal ref: J.Phys. A38 (2005) 7629-7660

Reduced qKZ equation and correlation functions of the XXZ model

Authors: H. Boos, M. Jimbo, T. Miwa, F. Smirnov, Y. Takeyama

Abstract: Correlation functions of the XXZ model in the massive and massless regimes are known to satisfy a system of linear equations. The main relations among them are the difference equations obtained from the qKZ equation by specializing the variables (λ_1,...,λ_{2n}) as (λ_1,...,λ_n,λ_{n}+1,...,λ_{1}+1). We call it the reduced qKZ equation. In this article we construct a special family of solutions t… ▽ More Correlation functions of the XXZ model in the massive and massless regimes are known to satisfy a system of linear equations. The main relations among them are the difference equations obtained from the qKZ equation by specializing the variables (λ_1,...,λ_{2n}) as (λ_1,...,λ_n,λ_{n}+1,...,λ_{1}+1). We call it the reduced qKZ equation. In this article we construct a special family of solutions to this system. They can be written as linear combinations of products of two transcendental functions $\tildeω, ω$ with coefficients being rational functions. We show that correlation functions of the XXZ model in the massive regime are given by these formulas with an appropriate choice of $\tildeω, ω$. We also present a conjectural formula in the massless regime. △ Less

Submitted 11 April, 2005; v1 submitted 16 December, 2004; originally announced December 2004.

Comments: 32 pages, some formulas revised

Journal ref: Commun.Math.Phys. 261 (2006) 245-276

A monomial basis for the Virasoro minimal series M(p,p') : the case 1<p'/p<2

Authors: B. Feigin, M. Jimbo, T. Miwa, E. Mukhin, Y. Takeyama

Abstract: Quadratic relations of the intertwiners are given explicitly in two cases of chiral conformal field theory, and monomial bases of the representation spaces are constructed by using the Fourier components of the intertwiners. The two cases are the (p,p')-minimal series for the Virasoro algebra where 1<p'/p<2, and the level k integrable highest weight modules for the affine Lie algebra \hat{sl}_2. Quadratic relations of the intertwiners are given explicitly in two cases of chiral conformal field theory, and monomial bases of the representation spaces are constructed by using the Fourier components of the intertwiners. The two cases are the (p,p')-minimal series for the Virasoro algebra where 1<p'/p<2, and the level k integrable highest weight modules for the affine Lie algebra \hat{sl}_2. △ Less

Submitted 24 May, 2004; v1 submitted 24 May, 2004; originally announced May 2004.

Comments: Latex, 29 pages

A recursion formula for the correlation functions of an inhomogeneous XXX model

Authors: H. Boos, M. Jimbo, T. Miwa, F. Smirnov, Y. Takeyama

Abstract: A new recursion formula is presented for the correlation functions of the integrable spin 1/2 XXX chain with inhomogeneity. It relates the correlators involving n consecutive lattice sites to those with n-1 and n-2 sites. In a series of papers by V. Korepin and two of the present authors, it was discovered that the correlators have a certain specific structure as functions of the inhomogeneity p… ▽ More A new recursion formula is presented for the correlation functions of the integrable spin 1/2 XXX chain with inhomogeneity. It relates the correlators involving n consecutive lattice sites to those with n-1 and n-2 sites. In a series of papers by V. Korepin and two of the present authors, it was discovered that the correlators have a certain specific structure as functions of the inhomogeneity parameters. Our formula allows for a direct proof of this structure, as well as an exact description of the rational functions which has been left undetermined in the previous works. △ Less

Submitted 28 June, 2004; v1 submitted 5 May, 2004; originally announced May 2004.

Comments: 37 pages, 1 figure, Proof of Lemma 4.8 modified

On relations for the $q$-multiple zeta values

Authors: Jun-ichi Okuda, Yoshihiro Takeyama

Abstract: We prove some relations for the $q$-multiple zeta values ($q$MZV). They are $q$-analogues of the cyclic sum formula, the Ohno relation and the Ohno-Zagier relation for the multiple zeta values (MZV). We discuss the problem to determine the dimension of the space spanned by $q$MZV's over $\Q$, and present an application to MZV. We prove some relations for the $q$-multiple zeta values ($q$MZV). They are $q$-analogues of the cyclic sum formula, the Ohno relation and the Ohno-Zagier relation for the multiple zeta values (MZV). We discuss the problem to determine the dimension of the space spanned by $q$MZV's over $\Q$, and present an application to MZV. △ Less

Submitted 14 January, 2005; v1 submitted 10 February, 2004; originally announced February 2004.

Comments: 16 pages

MSC Class: 05A30; 11B65; 33D15

A functional model for the tensor product of level 1 highest and level -1 lowest modules for the quantum affine algebra U_q(sl_{2}^)

Authors: B. Feigin, M. Jimbo, M. Kashiwara, T. Miwa, E. Mukhin, Y. Takeyama

Abstract: Let $V(Λ_i)$ (resp., $V(-Λ_j)$) be a fundamental integrable highest (resp., lowest) weight module of $U_q(\hat{sl}_{2})$. The tensor product $V(Λ_i)\otimes V(-Λ_j)$ is filtered by submodules $F_n=U_q(\hat{sl}_{2})(v_i\otimes \bar{v}_{n-i})$, $n\ge 0, n\equiv i-j\bmod 2$, where $v_i\in V(Λ_i)$ is the highest vector and $\bar{v}_{n-i}\in V(-Λ_j)$ is an extremal vector. We show that $F_n/F_{n+2}$ i… ▽ More Let $V(Λ_i)$ (resp., $V(-Λ_j)$) be a fundamental integrable highest (resp., lowest) weight module of $U_q(\hat{sl}_{2})$. The tensor product $V(Λ_i)\otimes V(-Λ_j)$ is filtered by submodules $F_n=U_q(\hat{sl}_{2})(v_i\otimes \bar{v}_{n-i})$, $n\ge 0, n\equiv i-j\bmod 2$, where $v_i\in V(Λ_i)$ is the highest vector and $\bar{v}_{n-i}\in V(-Λ_j)$ is an extremal vector. We show that $F_n/F_{n+2}$ is isomorphic to the level 0 extremal weight module $V(n(Λ_1-Λ_0))$. Using this we give a functional realization of the completion of $V(Λ_i)\otimes V(-Λ_j)$ by the filtration $(F_n)_{n\geq0}$. The subspace of $V(Λ_i)\otimes V(-Λ_j)$ of $sl_2$-weight $m$ is mapped to a certain space of sequences $(P_{n,l})_{n\ge 0, n\equiv i-j\bmod 2,n-2l=m}$, whose members $P_{n,l}=P_{n,l}(X_1,...,X_l|z_1,...,z_n)$ are symmetric polynomials in $X_a$ and symmetric Laurent polynomials in $z_k$, with additional constraints. When the parameter $q$ is specialized to $\sqrt{-1}$, this construction settles a conjecture which arose in the study of form factors in integrable field theory. △ Less

Submitted 17 October, 2003; originally announced October 2003.

Comments: 33 pages

Form factors and action of U_{\sqrt{-1}}(sl_2~) on infinite-cycles

Authors: M. Jimbo, T. Miwa, E. Mukhin, Y. Takeyama

Abstract: Let ${\bf p}=\{P_{n,l}\}_{n,l\in\Z_{\ge 0}\atop n-2l=m}$ be a sequence of skew-symmetric polynomials in $X_1,...,X_l$ satisfying $°_{X_j}P_{n,l}\le n-1$, whose coefficients are symmetric Laurent polynomials in $z_1,...,z_n$. We call ${\bf p}$ an $\infty$-cycle if $P_{n+2,l+1}\bigl|_{X_{l+1}=z^{-1},z_{n-1}=z,z_n=-z} =z^{-n-1}\prod_{a=1}^l(1-X_a^2z^2)\cdot P_{n,l}$ holds for all $n,l$. These obj… ▽ More Let ${\bf p}=\{P_{n,l}\}_{n,l\in\Z_{\ge 0}\atop n-2l=m}$ be a sequence of skew-symmetric polynomials in $X_1,...,X_l$ satisfying $°_{X_j}P_{n,l}\le n-1$, whose coefficients are symmetric Laurent polynomials in $z_1,...,z_n$. We call ${\bf p}$ an $\infty$-cycle if $P_{n+2,l+1}\bigl|_{X_{l+1}=z^{-1},z_{n-1}=z,z_n=-z} =z^{-n-1}\prod_{a=1}^l(1-X_a^2z^2)\cdot P_{n,l}$ holds for all $n,l$. These objects arise in integral representations for form factors of massive integrable field theory, i.e., the SU(2)-invariant Thirring model and the sine-Gordon model. The variables $α_a=-\log X_a$ are the integration variables and $β_j=\log z_j$ are the rapidity variables. To each $\infty$-cycle there corresponds a form factor of the above models. Conjecturally all form-factors are obtained from the $\infty$-cycles. In this paper, we define an action of $U_{\sqrt{-1}}(\widetilde{\mathfrak{sl}}_2)$ on the space of $\infty$-cycles. There are two sectors of $\infty$-cycles depending on whether $n$ is even or odd. Using this action, we show that the character of the space of even (resp. odd) $\infty$-cycles which are polynomials in $z_1,...,z_n$ is equal to the level $(-1)$ irreducible character of $\hat{\mathfrak{sl}}_2$ with lowest weight $-Λ_0$ (resp. $-Λ_1$). We also suggest a possible tensor product structure of the full space of $\infty$-cycles. △ Less

Submitted 20 August, 2003; v1 submitted 22 May, 2003; originally announced May 2003.

Comments: 27 pages, abstract and section 3.1 revised

Counting minimal form factors of the restricted sine-Gordon model

Authors: M. Jimbo, T. Miwa, Y. Takeyama

Abstract: We revisit the issue of counting all local fields of the restricted sine-Gordon model, in the case corresponding to a perturbation of minimal unitary conformal field theory. The problem amounts to the study of a quotient of certain space of polynomials which enter the integral representation for form factors. This space may be viewed as a $q$-analog of the space of conformal coinvariants associa… ▽ More We revisit the issue of counting all local fields of the restricted sine-Gordon model, in the case corresponding to a perturbation of minimal unitary conformal field theory. The problem amounts to the study of a quotient of certain space of polynomials which enter the integral representation for form factors. This space may be viewed as a $q$-analog of the space of conformal coinvariants associated with U_q(sl_{2}^) with q=\sqrt{-1}. We prove that its character is given by the restricted Kostka polynomial multiplied by a simple factor. As a result, we obtain a formula for the truncated character of the total space of local fields in terms of the Virasoro characters. △ Less

Submitted 29 January, 2004; v1 submitted 25 March, 2003; originally announced March 2003.

Comments: 58 pages, final version, Proposition 2.8 modified

Particle content of the (k,3)-configurations

Authors: B. Feigin, M. Jimbo, T. Miwa, E. Mukhin, Y. Takeyama

Abstract: For all $k$, we construct a bijection between the set of sequences of non-negative integers ${\bf a}=(a_i)_{i\in{\bf Z}_{\geq0}}$ satisfying $a_i+a_{i+1}+a_{i+2}\leq k$ and the set of rigged partitions $(λ,ρ)$. Here $λ=(λ_1,...,λ_n)$ is a partition satisfying $k\geqλ_1\geq...\geqλ_n\geq1$ and $ρ=(ρ_1,...,ρ_n)\in{\bf Z}_{\geq0}^n$ is such that $ρ_j\geqρ_{j+1}$ if $λ_j=λ_{j+1}$. One can think of… ▽ More For all $k$, we construct a bijection between the set of sequences of non-negative integers ${\bf a}=(a_i)_{i\in{\bf Z}_{\geq0}}$ satisfying $a_i+a_{i+1}+a_{i+2}\leq k$ and the set of rigged partitions $(λ,ρ)$. Here $λ=(λ_1,...,λ_n)$ is a partition satisfying $k\geqλ_1\geq...\geqλ_n\geq1$ and $ρ=(ρ_1,...,ρ_n)\in{\bf Z}_{\geq0}^n$ is such that $ρ_j\geqρ_{j+1}$ if $λ_j=λ_{j+1}$. One can think of $λ$ as the particle content of the configuration ${\bf a}$ and $ρ_j$ as the energy level of the $j$-th particle, which has the weight $λ_j$. The total energy $\sum_iia_i$ is written as the sum of the two-body interaction term $\sum_{j<j'}A_{λ_j,λ_{j'}}$ and the free part $\sum_jρ_j$. The bijection implies a fermionic formula for the one-dimensional configuration sums $\sum_{\bf a}q^{\sum_iia_i}$. We also derive the polynomial identities which describe the configuration sums corresponding to the configurations with prescribed values for $a_0$ and $a_1$, and such that $a_i=0$ for all $i>N$. △ Less

Submitted 27 December, 2002; originally announced December 2002.

Comments: 46 pages

Fermionic formulas for (k, 3)-admissible configurations

Authors: B. Feigin, M. Jimbo, T. Miwa, E. Mukhin, Y. Takeyama

Abstract: We obtain the fermionic formulas for the characters of (k, r)-admissible configurations in the case of r=2 and r=3. This combinatorial object appears as a label of a basis of certain subspace $W(Λ)$ of level-$k$ integrable highest weight module of $\hat{sl}_{r}$. The dual space of $W(Λ)$ is embedded into the space of symmetric polynomials. We introduce a filtration on this space and determine th… ▽ More We obtain the fermionic formulas for the characters of (k, r)-admissible configurations in the case of r=2 and r=3. This combinatorial object appears as a label of a basis of certain subspace $W(Λ)$ of level-$k$ integrable highest weight module of $\hat{sl}_{r}$. The dual space of $W(Λ)$ is embedded into the space of symmetric polynomials. We introduce a filtration on this space and determine the components of the associated graded space explicitly by using vertex operators. This implies a fermionic formula for the character of $W(Λ)$. △ Less

Submitted 27 December, 2002; originally announced December 2002.

Comments: 30 pages

Symmetric polynomials vanishing on the diagonals shifted by roots of unity

Authors: B. Feigin, M. Jimbo, T. Miwa, E. Mukhin, Y. Takeyama

Abstract: For a pair of positive integers (k,r) with r>1 such that k+1 and r-1 are relatively prime, we describe the space of symmetric polynomials in variables x_1,...,x_n which vanish at all diagonals of codimension k of the form x_i=tq^{s_i}x_{i-1}, i=2,...,k+1, where t and q are primitive roots of unity of orders k+1 and r-1. For a pair of positive integers (k,r) with r>1 such that k+1 and r-1 are relatively prime, we describe the space of symmetric polynomials in variables x_1,...,x_n which vanish at all diagonals of codimension k of the form x_i=tq^{s_i}x_{i-1}, i=2,...,k+1, where t and q are primitive roots of unity of orders k+1 and r-1. △ Less

Submitted 11 September, 2002; originally announced September 2002.

Comments: Latex, 13 pages

Form factors of SU(N) invariant Thirring model

Authors: Yoshihiro Takeyama

Abstract: We obtain a new integral formula for solutions of the rational quantum Knizhnik-Zamolodchikov equation associated with Lie algebra sl_{N} at level zero. Our formula contains the integral representation of form factors of SU(N) invariant Thirring model constructed by F. Smirnov. We write down recurrence relations arising from the construction of the form factors. We check that the recurrence rela… ▽ More We obtain a new integral formula for solutions of the rational quantum Knizhnik-Zamolodchikov equation associated with Lie algebra sl_{N} at level zero. Our formula contains the integral representation of form factors of SU(N) invariant Thirring model constructed by F. Smirnov. We write down recurrence relations arising from the construction of the form factors. We check that the recurrence relations hold for the form factors of the energy momentum tensor. △ Less

Submitted 19 January, 2002; v1 submitted 13 December, 2001; originally announced December 2001.

Comments: 47 pages

Journal ref: Publ.Res.Inst.Math.Sci.Kyoto 39 (2003) 59-116

On solutions of the q-hypergeometric equation with q^{N}=1

Authors: Yoshihiro Takeyama

Abstract: We consider the q-hypergeometric equation with q^{N}=1 and $α, β, γ\in {\Bbb Z}$. We solve this equation on the space of functions given by a power series multiplied by a power of the logarithmic function. We prove that the subspace of solutions is two-dimensional over the field of quasi-constants. We get a basis for this space explicitly. In terms of this basis, we represent the q-hypergeometri… ▽ More We consider the q-hypergeometric equation with q^{N}=1 and $α, β, γ\in {\Bbb Z}$. We solve this equation on the space of functions given by a power series multiplied by a power of the logarithmic function. We prove that the subspace of solutions is two-dimensional over the field of quasi-constants. We get a basis for this space explicitly. In terms of this basis, we represent the q-hypergeometric function of the Barnes type constructed by Nishizawa and Ueno. Then we see that this function has logarithmic singularity at the origin. This is a difference between the q-hypergeometric functions with 0<|q|<1 and at |q|=1. △ Less

Submitted 6 June, 2001; originally announced June 2001.

Comments: 9 pages

On Form Factors of SU(2) Invariant Thirring Model

Authors: Atsushi Nakayashiki, Yoshihiro Takeyama

Abstract: Integral formulae for form factors of a large family of charged local operators in SU(2) invariant Thirring model are given extending Smirnov's construction of form factors of chargeless local operators in the sine-Gordon model. New abelian symmetry acting on this family of local operators is found. It creates Lukyanov's operators which are not in the above family of local operators in general. Integral formulae for form factors of a large family of charged local operators in SU(2) invariant Thirring model are given extending Smirnov's construction of form factors of chargeless local operators in the sine-Gordon model. New abelian symmetry acting on this family of local operators is found. It creates Lukyanov's operators which are not in the above family of local operators in general. △ Less

Submitted 28 May, 2001; originally announced May 2001.

Comments: 27 pages, 6 figures

The q-twisted cohomology and the q-hypergeometric function at |q|=1

Authors: Yoshihiro Takeyama

Abstract: We construct the q-twisted cohomology associated with the q-multiplicative function of Jordan-Pochhammer type at |q|=1. In this framework, we prove the Heine's relations and a connection formula for the q-hypergeometric function of the Barnes type. We also prove an orthogonality relation of the q-little Jacobi polynomials at |q|=1. We construct the q-twisted cohomology associated with the q-multiplicative function of Jordan-Pochhammer type at |q|=1. In this framework, we prove the Heine's relations and a connection formula for the q-hypergeometric function of the Barnes type. We also prove an orthogonality relation of the q-little Jacobi polynomials at |q|=1. △ Less

Submitted 8 May, 2000; originally announced May 2000.

Comments: 16 pages

Determinat formula for solutions of the $U_q(sl_n)$ qKZ equation at $|q|=1$

Authors: Tetsuji Miwa, Yoshihiro Takeyama, Vitaly Tarasov

Abstract: We construct the hypergeometric solutions for the quantized KZ equation with values in a tensor product of vector representations of $U_q(sl_n)$ at $|q|=1$ and give an explicit formula for the corresponding determinant in terms of the double sine function. We construct the hypergeometric solutions for the quantized KZ equation with values in a tensor product of vector representations of $U_q(sl_n)$ at $|q|=1$ and give an explicit formula for the corresponding determinant in terms of the double sine function. △ Less

Submitted 2 June, 1999; v1 submitted 21 May, 1999; originally announced May 1999.

Comments: 19 pages

Report number: RIMS preprint 1232

The integral formula for the solutions of the quantum Knizhnik-Zamolodchikov equation associated with $U_q(\hat{sl}_n)$ for |q|=1

Authors: Tetsuji Miwa, Yoshihiro Takeyama

Abstract: We write the integral formula of Tarasov-Varchenko type for the solutions to the quantum Knizhnik-Zamolodchikov associated with a tensor product the of vector representations of sl_n. We consider the case where the deformation parameter q satisfies |q|=1. We use the bosonization of the type II vertex operators in order to find the hypergeometric pairing in this setting. We write the integral formula of Tarasov-Varchenko type for the solutions to the quantum Knizhnik-Zamolodchikov associated with a tensor product the of vector representations of sl_n. We consider the case where the deformation parameter q satisfies |q|=1. We use the bosonization of the type II vertex operators in order to find the hypergeometric pairing in this setting. △ Less

Submitted 17 February, 1999; v1 submitted 17 February, 1999; originally announced February 1999.

Comments: submitted to the proceedings for SIDE III meeting at Sabaudia near Rome

Report number: RIMS-1226

Determinant Formula for the Solutions of the Quantum Knizhnik-Zamolodchikov Equation with |q|=1

Authors: Tetsuji Miwa, Yoshihiro Takeyama

Abstract: The fundamental matrix solution of the quantum Knizhnik-Zamolodchikov equation associated with quantum affine sl2 algebra is constructed for |q|=1. The formula for its determinant is given in terms of the double sine function. The fundamental matrix solution of the quantum Knizhnik-Zamolodchikov equation associated with quantum affine sl2 algebra is constructed for |q|=1. The formula for its determinant is given in terms of the double sine function. △ Less

Submitted 7 January, 1999; v1 submitted 16 December, 1998; originally announced December 1998.

Comments: 17 pages, submitted to Contemporary Math. Proceedings for a North-Carolina meeting

Report number: RIMS-1219