-
Black $p$-Branes in Heterotic String Theory
Authors:
Masaki Fukuda,
Shun K. Kobayashi,
Kento Watanabe,
Kazuya Yonekura
Abstract:
Heterotic string theory has nonsupersymmetric branes whose existence is suggested by the cobordism conjecture. We numerically construct static, spherically symmetric, and asymptotically flat black brane solutions in ten-dimensional heterotic superstring theories for 0- and 4-branes. These branes carry charges that are measured by Chern classes on the sphere surrounding the branes. For the extremal…
▽ More
Heterotic string theory has nonsupersymmetric branes whose existence is suggested by the cobordism conjecture. We numerically construct static, spherically symmetric, and asymptotically flat black brane solutions in ten-dimensional heterotic superstring theories for 0- and 4-branes. These branes carry charges that are measured by Chern classes on the sphere surrounding the branes. For the extremal case, the solutions have a throat region with a linear dilaton profile as expected from the corresponding world-sheet theory. We also construct non-extremal solutions by compactifying the time direction. To verify the reliability of our numerical calculations, we confirm that they reproduce the known analytical solutions for the 6-brane. Our black brane solutions provide evidence supporting the existence of such branes in heterotic string theory.
△ Less
Submitted 3 December, 2024;
originally announced December 2024.
-
Symbolically integrating tensor networks over various random tensors by the second version of Python RTNI
Authors:
Motohisa Fukuda
Abstract:
We are upgrading the Python-version of RTNI, which symbolically integrates tensor networks over the Haar-distributed unitary matrices. Now, PyRTNI2 can treat the Haar-distributed orthogonal matrices and the real and complex normal Gaussian tensors as well. Moreover, it can export tensor networks in the format of TensorNetwork so that one can make further calculations with concrete tensors, even fo…
▽ More
We are upgrading the Python-version of RTNI, which symbolically integrates tensor networks over the Haar-distributed unitary matrices. Now, PyRTNI2 can treat the Haar-distributed orthogonal matrices and the real and complex normal Gaussian tensors as well. Moreover, it can export tensor networks in the format of TensorNetwork so that one can make further calculations with concrete tensors, even for low dimensions, where the Weingarten functions differ from the ones for high dimensions. The tutorial notebooks are found at GitHub: https://github.com/MotohisaFukuda/PyRTNI2. In this paper, we explain maths behind the program and show what kind of tensor network calculations can be made with it. For the former, we interpret the element-wise moment calculus of the above random matrices and tensors in terms of tensor network diagrams, and argue that the view is natural, relating delta functions in the calculus to edges in tensor network diagrams.
△ Less
Submitted 15 September, 2023; v1 submitted 3 September, 2023;
originally announced September 2023.
-
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.
-
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.
-
RTNI - A symbolic integrator for Haar-random tensor networks
Authors:
Motohisa Fukuda,
Robert Koenig,
Ion Nechita
Abstract:
We provide a computer algebra package called Random Tensor Network Integrator (RTNI). It allows to compute averages of tensor networks containing multiple Haar-distributed random unitary matrices and deterministic symbolic tensors. Such tensor networks are represented as multigraphs, with vertices corresponding to tensors or random unitaries and edges corresponding to tensor contractions. Input an…
▽ More
We provide a computer algebra package called Random Tensor Network Integrator (RTNI). It allows to compute averages of tensor networks containing multiple Haar-distributed random unitary matrices and deterministic symbolic tensors. Such tensor networks are represented as multigraphs, with vertices corresponding to tensors or random unitaries and edges corresponding to tensor contractions. Input and output spaces of random unitaries may be subdivided into arbitrary tensor factors, with dimensions treated symbolically. The algorithm implements the graphical Weingarten calculus and produces a weighted sum of tensor networks representing the average over the unitary group. We illustrate the use of this algorithmic tool on some examples from quantum information theory, including entropy calculations for random tensor network states as considered in toy models for holographic duality. Mathematica and Python implementations are supplied.
△ Less
Submitted 22 February, 2019;
originally announced February 2019.
-
Gauge anomaly with vector and axial-vector fields in six dimensional curved space
Authors:
Satoshi Yajima,
Kohei Eguchi,
Makoto Fukuda,
Tomonori Oka
Abstract:
Imposing the conservation equation of the vector current for a fermion of spin $\frac{1}{2}$ at the quantum level, a gauge anomaly for the fermion coupling with non-Abelian vector and axial--vector fields in six--dimensional curved space is expressed in tensorial form. The anomaly consists of terms that resemble the chiral U(1) anomaly and the commutator terms that disappear if the axial--vector f…
▽ More
Imposing the conservation equation of the vector current for a fermion of spin $\frac{1}{2}$ at the quantum level, a gauge anomaly for the fermion coupling with non-Abelian vector and axial--vector fields in six--dimensional curved space is expressed in tensorial form. The anomaly consists of terms that resemble the chiral U(1) anomaly and the commutator terms that disappear if the axial--vector field is Abelian.
△ Less
Submitted 27 February, 2018; v1 submitted 15 January, 2018;
originally announced January 2018.
-
Operator product expansion for conformal defects
Authors:
Masayuki Fukuda,
Nozomu Kobayashi,
Tatsuma Nishioka
Abstract:
We study the operator product expansion (OPE) for scalar conformal defects of any codimension in CFT. The OPE for defects is decomposed into "defect OPE blocks", the irreducible representations of the conformal group, each of which packages the contribution from a primary operator and its descendants. We use the shadow formalism to deduce an integral representation of the defect OPE blocks. They a…
▽ More
We study the operator product expansion (OPE) for scalar conformal defects of any codimension in CFT. The OPE for defects is decomposed into "defect OPE blocks", the irreducible representations of the conformal group, each of which packages the contribution from a primary operator and its descendants. We use the shadow formalism to deduce an integral representation of the defect OPE blocks. They are shown to obey a set of constraint equations that can be regarded as equations of motion for a scalar field propagating on the moduli space of the defects. By employing the Radon transform between the AdS space and the moduli space, we obtain a formula of constructing an AdS scalar field from the defect OPE block for a conformal defect of any codimension in a scalar representation of the conformal group, which turns out to be the Euclidean version of the HKLL formula. We also introduce a duality between conformal defects of different codimensions and prove the equivalence between the defect OPE block for codimension-two defects and the OPE block for a pair of local operators.
△ Less
Submitted 10 November, 2017; v1 submitted 30 October, 2017;
originally announced October 2017.
-
Reflection states in Ding-Iohara-Miki algebra and brane-web for D-type quiver
Authors:
Jean-Emile Bourgine,
Masayuki Fukuda,
Yutaka Matsuo,
Rui-Dong Zhu
Abstract:
Reflection states are introduced in the vertical and horizontal modules of the Ding-Iohara-Miki (DIM) algebra (quantum toroidal $\mathfrak{gl}_1$). Webs of DIM representations are in correspondence with $(p,q)$-web diagrams of type IIB string theory, under the identification of the algebraic intertwiner of Awata, Feigin and Shiraishi with the refined topological vertex. Extending the correspondenc…
▽ More
Reflection states are introduced in the vertical and horizontal modules of the Ding-Iohara-Miki (DIM) algebra (quantum toroidal $\mathfrak{gl}_1$). Webs of DIM representations are in correspondence with $(p,q)$-web diagrams of type IIB string theory, under the identification of the algebraic intertwiner of Awata, Feigin and Shiraishi with the refined topological vertex. Extending the correspondence to the vertical reflection states, it is possible to engineer the $\mathcal{N}=1$ quiver gauge theory of D-type (with unitary gauge groups). In this way, the Nekrasov instanton partition function is reproduced from the evaluation of expectation values of intertwiners. This computation leads to the identification of the vertical reflection state with the orientifold plane of string theory. We also provide a translation of this construction in the Iqbal-Kozcaz-Vafa refined topological vertex formalism.
△ Less
Submitted 17 October, 2017; v1 submitted 6 September, 2017;
originally announced September 2017.
-
Maulik-Okounkov's R-matrix from Ding-Iohara-Miki algebra
Authors:
Masayuki Fukuda,
Koichi Harada,
Yutaka Matsuo,
Rui-Dong Zhu
Abstract:
The integrability of 4d $\mathcal{N}=2$ gauge theories has been explored in various contexts, for example the Seiberg-Witten curve and its quantization. Recently, Maulik and Okounkov proposed that an integrable lattice model is associated with the gauge theory, through an R-matrix, to which we refer as MO's R-matrix in this paper, constructed in the instanton moduli space. In this paper, we study…
▽ More
The integrability of 4d $\mathcal{N}=2$ gauge theories has been explored in various contexts, for example the Seiberg-Witten curve and its quantization. Recently, Maulik and Okounkov proposed that an integrable lattice model is associated with the gauge theory, through an R-matrix, to which we refer as MO's R-matrix in this paper, constructed in the instanton moduli space. In this paper, we study the R-matrix using the Ding-Iohara-Miki (DIM) algebra. We provide a concrete boson realization of the universal R-matrix in DIM and show that the defining conditions for MO's R-matrix can be derived from this free boson oscillator expression. Several consistency checks for the oscillator expression are also performed.
△ Less
Submitted 23 May, 2017; v1 submitted 8 May, 2017;
originally announced May 2017.
-
(p,q)-webs of DIM representations, 5d N=1 instanton partition functions and qq-characters
Authors:
Jean-Emile Bourgine,
Masayuki Fukuda,
Koichi Harada,
Yutaka Matsuo,
Rui-Dong Zhu
Abstract:
Instanton partition functions of $\mathcal{N}=1$ 5d Super Yang-Mills reduced on $S^1$ can be engineered in type IIB string theory from the $(p,q)$-branes web diagram. To this diagram is superimposed a web of representations of the Ding-Iohara-Miki (DIM) algebra that acts on the partition function. In this correspondence, each segment is associated to a representation, and the (topological string)…
▽ More
Instanton partition functions of $\mathcal{N}=1$ 5d Super Yang-Mills reduced on $S^1$ can be engineered in type IIB string theory from the $(p,q)$-branes web diagram. To this diagram is superimposed a web of representations of the Ding-Iohara-Miki (DIM) algebra that acts on the partition function. In this correspondence, each segment is associated to a representation, and the (topological string) vertex is identified with the intertwiner operator constructed by Awata, Feigin and Shiraishi. We define a new intertwiner acting on the representation spaces of levels $(1,n)\otimes(0,m)\to(1,n+m)$, thereby generalizing to higher rank $m$ the original construction. It allows us to use a folded version of the usual $(p,q)$-web diagram, bringing great simplifications to actual computations. As a result, the characterization of Gaiotto states and vertical intertwiners, previously obtained by some of the authors, is uplifted to operator relations acting in the Fock space of horizontal representations. We further develop a method to build qq-characters of linear quivers based on the horizontal action of DIM elements. While fundamental qq-characters can be built using the coproduct, higher ones require the introduction of a (quantum) Weyl reflection acting on tensor products of DIM generators.
△ Less
Submitted 31 March, 2017;
originally announced March 2017.
-
Coherent states in quantum $\mathcal{W}_{1+\infty}$ algebra and qq-character for 5d Super Yang-Mills
Authors:
Jean-Emile Bourgine,
Masayuki Fukuda,
Yutaka Matsuo,
Hong Zhang,
Rui-Dong Zhu
Abstract:
The instanton partition functions of $\mathcal{N}=1$ 5d super Yang-Mills are built using elements of the representation theory of quantum $\mathcal{W}_{1+\infty}$ algebra: Gaiotto state, intertwiner, vertex operator. This algebra is also known under the names of Ding-Iohara-Miki and quantum toroidal $\widehat{\mathfrak{gl}}(1)$ algebra. Exploiting the explicit action of the algebra on the partitio…
▽ More
The instanton partition functions of $\mathcal{N}=1$ 5d super Yang-Mills are built using elements of the representation theory of quantum $\mathcal{W}_{1+\infty}$ algebra: Gaiotto state, intertwiner, vertex operator. This algebra is also known under the names of Ding-Iohara-Miki and quantum toroidal $\widehat{\mathfrak{gl}}(1)$ algebra. Exploiting the explicit action of the algebra on the partition function, we prove the regularity of the 5d qq-characters. These characters provide a solution to the Schwinger-Dyson equations, and they can also be interpreted as a quantum version of the Seiberg-Witten curve.
△ Less
Submitted 17 October, 2016; v1 submitted 26 June, 2016;
originally announced June 2016.
-
Computational Method for the Retarded Potential in the Real-Time Simulation of Quantum Electrodynamics
Authors:
Masahiro Fukuda,
Kento Naito,
Kazuhide Ichikawa,
Akitomo Tachibana
Abstract:
We discuss the method to compute the integrals which appear in the retarded potential term for a real-time simulation based on QED (Quantum Electrodynamics). We show that the oscillatory integrals over the infinite interval involved in them can be efficiently performed by the method developed by Ooura and Mori based on the double exponential (DE) formula.
We discuss the method to compute the integrals which appear in the retarded potential term for a real-time simulation based on QED (Quantum Electrodynamics). We show that the oscillatory integrals over the infinite interval involved in them can be efficiently performed by the method developed by Ooura and Mori based on the double exponential (DE) formula.
△ Less
Submitted 29 March, 2016;
originally announced March 2016.
-
SH$^c$ Realization of Minimal Model CFT: Triality, Poset and Burge Condition
Authors:
Masayuki Fukuda,
Satoshi Nakamura,
Yutaka Matsuo,
Rui-Dong Zhu
Abstract:
Recently an orthogonal basis of $\mathcal{W}_N$-algebra (AFLT basis) labeled by $N$-tuple Young diagrams was found in the context of 4D/2D duality. Recursion relations among the basis are summarized in the form of an algebra SH$^c$ which is universal for any $N$. We show that it has an $\mathfrak{S}_3$ automorphism which is referred to as triality. We study the level-rank duality between minimal m…
▽ More
Recently an orthogonal basis of $\mathcal{W}_N$-algebra (AFLT basis) labeled by $N$-tuple Young diagrams was found in the context of 4D/2D duality. Recursion relations among the basis are summarized in the form of an algebra SH$^c$ which is universal for any $N$. We show that it has an $\mathfrak{S}_3$ automorphism which is referred to as triality. We study the level-rank duality between minimal models, which is a special example of the automorphism. It is shown that the nonvanishing states in both systems are described by $N$ or $M$ Young diagrams with the rows of boxes appropriately shuffled. The reshuffling of rows implies there exists partial ordering of the set which labels them. For the simplest example, one can compute the partition functions for the partially ordered set (poset) explicitly, which reproduces the Rogers-Ramanujan identities. We also study the description of minimal models by SH$^c$. Simple analysis reproduces some known properties of minimal models, the structure of singular vectors and the $N$-Burge condition in the Hilbert space.
△ Less
Submitted 11 September, 2015; v1 submitted 3 September, 2015;
originally announced September 2015.
-
Chiral anomaly for V-A fields in four- and six-dimensional curved space
Authors:
S. Yajima,
K. Eguchi,
M. Fukuda,
T. Oka,
H. Taira,
S. Yamashita
Abstract:
The chiral U(1) anomalies associated with a fermion of spin 1/2 interacting with nonabelian vector and axial-vector fields in four- and six-dimensional curved space are given in tensorial form.
The chiral U(1) anomalies associated with a fermion of spin 1/2 interacting with nonabelian vector and axial-vector fields in four- and six-dimensional curved space are given in tensorial form.
△ Less
Submitted 23 June, 2017; v1 submitted 28 July, 2014;
originally announced July 2014.
-
Study of Simulation Method of Time Evolution in Rigged QED
Authors:
Kazuhide Ichikawa,
Masahiro Fukuda,
Akitomo Tachibana
Abstract:
We discuss how we formulate time evolution of physical quantities in the framework of the Rigged QED (Quantum Electrodynamics). The Rigged QED is a theory which has been proposed to treat dynamics of electrons, photons and atomic nuclei in atomic and molecular systems in a quantum field theoretic way. To solve the dynamics in the Rigged QED, we need different techniques from those developed for th…
▽ More
We discuss how we formulate time evolution of physical quantities in the framework of the Rigged QED (Quantum Electrodynamics). The Rigged QED is a theory which has been proposed to treat dynamics of electrons, photons and atomic nuclei in atomic and molecular systems in a quantum field theoretic way. To solve the dynamics in the Rigged QED, we need different techniques from those developed for the conventional QED. As a first step toward this issue, we propose a procedure to expand the Dirac field operator, which represents electrons, by the electron annihilation/creation operators and solutions of the Dirac equation for electrons in nuclear potential. Similarly, the Schrodinger field operators, which represent atomic nuclei, are expanded by nucleus annihilation/creation operators. Then we derive time evolution equations for these annihilation and creation operators and discuss how time evolution of the operators for physical quantities can be calculated. In the end, we propose a method to approximate the evolution equations of the operators by the evolution equations for the density matrices of electrons and atomic nuclei. Under this approximation, we carry out numerical simulation of the time evolution of electron charge density of a hydrogen atom.
△ Less
Submitted 8 April, 2012;
originally announced April 2012.
