Showing 1–48 of 48 results for author: Lee, S

The Ising Model Coupled to 2D Gravity: Genus Zero Partition Function

Authors: Maurice Duits, Nathan Hayford, Seung-Yeop Lee

Abstract: We compute the genus $0$ free energy for the $2$-matrix model with quartic interactions, which acts as a generating function for the Ising model's partition function on a random, $4$-regular, planar graph. This rigorously confirms the predictions of V.A. Kazakov and D.V. Boulatov on this model, and provides a new parametric formula for the free energy. We also give a characterization of the phase… ▽ More We compute the genus $0$ free energy for the $2$-matrix model with quartic interactions, which acts as a generating function for the Ising model's partition function on a random, $4$-regular, planar graph. This rigorously confirms the predictions of V.A. Kazakov and D.V. Boulatov on this model, and provides a new parametric formula for the free energy. We also give a characterization of the phase space of the model. Our analysis is based on a steepest descent Riemann-Hilbert analysis of the associated biorthogonal polynomials and the corresponding isomonodromic $τ$-function. A key ingredient in the analysis is a parametrization of the spectral curve. △ Less

Submitted 6 May, 2024; originally announced May 2024.

Comments: Version 1: 83 pages, 17 figures. Comments welcome!

Branching algebras for the general linear Lie superalgebra

Authors: Soo Teck Lee, Ruibin Zhang

Abstract: We develop an algebraic approach to the branching of representations of the general linear Lie superalgebra $\mathfrak{gl}_{p|q}({\mathbb C})$, by constructing certain super commutative algebras whose structure encodes the branching rules. Using this approach, we derive the branching rules for restricting any irreducible polynomial representation $V$ of $\mathfrak{gl}_{p|q}({\mathbb C})$ to a regu… ▽ More We develop an algebraic approach to the branching of representations of the general linear Lie superalgebra $\mathfrak{gl}_{p|q}({\mathbb C})$, by constructing certain super commutative algebras whose structure encodes the branching rules. Using this approach, we derive the branching rules for restricting any irreducible polynomial representation $V$ of $\mathfrak{gl}_{p|q}({\mathbb C})$ to a regular subalgebra isomorphic to $\mathfrak{gl}_{r|s}({\mathbb C})\oplus \mathfrak{gl}_{r'|s'}({\mathbb C})$, $\mathfrak{gl}_{r|s}({\mathbb C})\oplus\mathfrak{gl}_1({\mathbb C})^{r'+s'}$ or $\mathfrak{gl}_{r|s}({\mathbb C})$, with $r+r'=p$ and $s+s'=q$. In the case of $\mathfrak{gl}_{r|s}({\mathbb C})\oplus\mathfrak{gl}_1({\mathbb C})^{r'+s'}$ with $s=0$ or $s=1$ but general $r$, we also construct a basis for the space of $\mathfrak{gl}_{r|s}({\mathbb C})$ highest weight vectors in $V$; when $r=s=0$, the branching rule leads to explicit expressions for the weight multiplicities of $V$ in terms of Kostka numbers. △ Less

Submitted 17 March, 2024; originally announced March 2024.

Comments: 35 pages

MSC Class: 05E10; 15A75; 20G05; 22E46

Triadic Resonance in Columnar Vortices

Authors: **ge Wang, Sangjoon Lee, Philip S. Marcus

Abstract: Employing a poloidal-toroidal projection technique, a multi-scale analysis of resonant wave triads in columnar vortices is performed to obtain the governing equations of the triadically coupled wave amplitudes. For inviscid flows, we establish that resonance between neutral, smooth waves is conservative, and the temporal evolution of wave amplitudes is either bounded or explosively unstable based… ▽ More Employing a poloidal-toroidal projection technique, a multi-scale analysis of resonant wave triads in columnar vortices is performed to obtain the governing equations of the triadically coupled wave amplitudes. For inviscid flows, we establish that resonance between neutral, smooth waves is conservative, and the temporal evolution of wave amplitudes is either bounded or explosively unstable based on the signs of the triad's interaction coefficients. Assessing the onset of weakly nonlinear instabilities through the pseudoenergy criterion introduced by Cairns (1979, J. Fluid Mech., vol. 92), we use the large-axial-wavenumber asymptotic approach by Le Dizes and Lacaze (2005, J. Fluid Mech., vol. 542) to evaluate each triad member's pseudoenergy and argue against the possibility of explosive conservative three-wave resonance involving only regular Kelvin waves. Additionally, extending our investigation to specific vortices, such as the Lamb-Oseen vortex and the Batchelor vortex, we find that triadic resonance among their neutral modes consistently results in bounded behaviour. △ Less

Submitted 7 February, 2024; originally announced February 2024.

Volcano Transition in a System of Generalized Kuramoto Oscillators with Random Frustrated Interactions

Authors: Seungjae Lee, Yeonsu Jeong, Seung-Woo Son, Katharina Krischer

Abstract: In a system of heterogeneous (Abelian) Kuramoto oscillators with random or `frustrated' interactions, transitions from states of incoherence to partial synchronization were observed. These so-called volcano transitions are characterized by a change in the shape of a local field distribution and were discussed in connection with an oscillator glass. In this paper, we consider a different class of o… ▽ More In a system of heterogeneous (Abelian) Kuramoto oscillators with random or `frustrated' interactions, transitions from states of incoherence to partial synchronization were observed. These so-called volcano transitions are characterized by a change in the shape of a local field distribution and were discussed in connection with an oscillator glass. In this paper, we consider a different class of oscillators, namely a system of (non-Abelian) SU(2)-Lohe oscillators that can also be defined on the 3-sphere, i.e., an oscillator is generalized to be defined as a unit vector in 4D Euclidean space. We demonstrate that such higher-dimensional Kuramoto models with reciprocal and nonreciprocal random interactions represented by a low-rank matrix exhibit a volcano transition as well. We determine the critical coupling strength at which a volcano-like transition occurs, employing an Ott-Antonsen ansatz. Numerical simulations provide additional validations of our analytical findings and reveal the differences in observable collective dynamics prior to and following the transition. Furthermore, we show that a system of unit 3-vector oscillators on the 2-sphere does not possess a volcano transition. △ Less

Submitted 17 January, 2024; originally announced January 2024.

Integrable systems on rectangular $\mathcal{W}$-superalgebras via super Adler-type operators

Authors: Sylvain Carpentier, Gahng Sahn Lee, Uhi Rinn Suh

Abstract: In this paper, we introduce a class of super Adler-type operators associated with the Lie superalgebra $\mathfrak{gl}(m|n)$. We show that these operators generate Poisson vertex superalgebras which are isomorphic to the classical $\mathcal{W}$-superalgebras associated with $\mathfrak{gl}(m|n)$ and some rectangular nilpotent elements. We use this isomorphism to construct integrable hierarchies on t… ▽ More In this paper, we introduce a class of super Adler-type operators associated with the Lie superalgebra $\mathfrak{gl}(m|n)$. We show that these operators generate Poisson vertex superalgebras which are isomorphic to the classical $\mathcal{W}$-superalgebras associated with $\mathfrak{gl}(m|n)$ and some rectangular nilpotent elements. We use this isomorphism to construct integrable hierarchies on these rectangular $\mathcal{W}$-superalgebras. △ Less

Submitted 6 October, 2023; originally announced October 2023.

Comments: 33pages

MSC Class: 35Q53 (Primary) 37K10; 17B80; 17B69; 37K30 (Secondary)

Chimera Dynamics of Generalized Kuramoto-Sakaguchi Oscillators in Two-population Networks

Authors: Seungjae Lee, Katharina Krischer

Abstract: Chimera dynamics is characterized by the coexistence of coherence and incoherence, arising from a symmetry-breaking mechanism. Extensive research has been performed in various systems, focusing on a system of Kuramoto-Sakaguchi (KS) phase oscillators. In recent developments, the system has been extended to the so-called generalized Kuramoto model, wherein an oscillator is situated on the surface o… ▽ More Chimera dynamics is characterized by the coexistence of coherence and incoherence, arising from a symmetry-breaking mechanism. Extensive research has been performed in various systems, focusing on a system of Kuramoto-Sakaguchi (KS) phase oscillators. In recent developments, the system has been extended to the so-called generalized Kuramoto model, wherein an oscillator is situated on the surface of an M-dimensional unit sphere, rather than being confined to a unit circle. In this paper, we exploit the model introduced in New. J. Phys. 16, 023016 (2014) where the macroscopic dynamics of the system was studied using the extended Watanabe-Strogatz transformation both for real and complex spaces. Considering two-population networks of the generalized KS oscillators in 2D complex spaces, we demonstrate the existence of chimera states and elucidate different motions of the order parameter vectors depending on the strength of intra-population coupling. Similar to the KS model on the unit circle, stationary and breathing chimeras are observed for comparatively strong intra-population coupling. Here, the breathing chimera changes their motion upon decreasing intra-population coupling strength via a global bifurcation involving the completely incoherent state. Beyond that, the system exhibits periodic alternation of the two order parameters with weaker coupling strength. Moreover, we observe that the chimera state transitions into a componentwise aperiodic dynamics when the coupling strength weakens even further. The aperiodic chimera dynamics emerges due to the breaking of conserved quantities that are preserved in the stationary, breathing and alternating chimera states. We provide a detailed explanation of this scenario in both the thermodynamic limit and for finite-sized ensembles. Furthermore, we note that an ensemble in 4D real spaces demonstrates similar behavior. △ Less

Submitted 23 June, 2023; originally announced June 2023.

Journal ref: 2023 J. Phys. A: Math. Theor. 56 405001

Local Statistics in Normal Matrix Models with Merging Singularity

Authors: Torben Krüger, Seung-Yeop Lee, Meng Yang

Abstract: We study the normal matrix model, also known as the two-dimensional one-component plasma at a specific temperature, with merging singularity. As the number $n$ of particles tends to infinity we obtain the limiting local correlation kernel at the singularity, which is related to the parametrix of the Painlevé~II equation. The two main tools are Riemann-Hilbert problems and the generalized Christoff… ▽ More We study the normal matrix model, also known as the two-dimensional one-component plasma at a specific temperature, with merging singularity. As the number $n$ of particles tends to infinity we obtain the limiting local correlation kernel at the singularity, which is related to the parametrix of the Painlevé~II equation. The two main tools are Riemann-Hilbert problems and the generalized Christoffel-Darboux identity. The correlation kernel exhibits a novel anisotropic scaling behavior, where the corresponding spacing scale of particles is $n^{-1/3}$ in the direction of merging and $n^{-1/2}$ in the perpendicular direction. In the vicinity at different distances to the merging singularity we also observe Ginibre bulk and edge statistics, as well as the sine-kernel and the universality class corresponding to the elliptic ensemble in the weak non-Hermiticity regime for the local correlation function. △ Less

Submitted 30 May, 2024; v1 submitted 21 June, 2023; originally announced June 2023.

Generalized Euler angles for a unitary control of the Hamiltonian system

Authors: Seung** Lee, Kyunghyun Baek, Jeongho Bang

Abstract: We provide an angular parametrization of the special unitary group $\textrm{SU}(2^{n})$ generalizing Euler angles for $\textrm{SU}(2)$ by successively applying the KAK decomposition. We then determine constraint equations for the parametric curve of generalized Euler angles corresponding to the exponential curve of a given Hamiltonian. The constraint equations are in the form of first-order differ… ▽ More We provide an angular parametrization of the special unitary group $\textrm{SU}(2^{n})$ generalizing Euler angles for $\textrm{SU}(2)$ by successively applying the KAK decomposition. We then determine constraint equations for the parametric curve of generalized Euler angles corresponding to the exponential curve of a given Hamiltonian. The constraint equations are in the form of first-order differential-algebraic equations and resemble Wei-Norman equations of canonical coordinates of the second kind for $\textrm{SU}(2^{n})$. △ Less

Submitted 28 April, 2023; originally announced April 2023.

A non-trivial PT-symmetric continuum Hamiltonian and its Eigenstates and Eigenvalues

Authors: Lawrence Mead, David Garfinkle, Sungwook Lee

Abstract: In this paper, a non-trivial system governed by a continuum PT-symmetric Hamiltonian is discussed. We show that this Hamiltonian is iso-spectral to the simple harmonic oscillator. We find its eigenfunctions and the path in the complex plane along which these functions form an orthonormal set. We also find the hidden symmetry operator, ${\cal C}$, for this system. All calculations are performed ana… ▽ More In this paper, a non-trivial system governed by a continuum PT-symmetric Hamiltonian is discussed. We show that this Hamiltonian is iso-spectral to the simple harmonic oscillator. We find its eigenfunctions and the path in the complex plane along which these functions form an orthonormal set. We also find the hidden symmetry operator, ${\cal C}$, for this system. All calculations are performed analytically and without approximation. △ Less

Submitted 5 August, 2022; v1 submitted 26 June, 2022; originally announced June 2022.

Comments: Typo in equation (9) corrected

Dirac reductions and Classical W-algebras

Authors: Gahng Sahn Lee, Arim Song, Uhi Rinn Suh

Abstract: In the first part of this paper, we generalize Dirac reduction to the extent of non-local Poisson vertex superalgebra and non-local SUSY Poisson vertex algebra cases. Next, we modify this reduction so that we explain the structures of classical W-superalgebras and SUSY classical W-algebras in terms of the modified Dirac reduction. In the first part of this paper, we generalize Dirac reduction to the extent of non-local Poisson vertex superalgebra and non-local SUSY Poisson vertex algebra cases. Next, we modify this reduction so that we explain the structures of classical W-superalgebras and SUSY classical W-algebras in terms of the modified Dirac reduction. △ Less

Submitted 30 June, 2022; v1 submitted 21 June, 2022; originally announced June 2022.

Journal ref: J. Math. Phys. 64, 011703 (2023)

Lemniscate ensembles with spectral singularity

Authors: Sung-Soo Byun, Seung-Yeop Lee, Meng Yang

Abstract: We consider a family of random normal matrix models whose eigenvalues tend to occupy lemniscate type droplets as the size of the matrix increases. Under the insertion of a point charge, we derive the scaling limit at the singular boundary point, which is expressed in terms of the solution to the model Painlevé IV Riemann-Hilbert problem. For this, we introduce a version of the Christoffel-Darboux… ▽ More We consider a family of random normal matrix models whose eigenvalues tend to occupy lemniscate type droplets as the size of the matrix increases. Under the insertion of a point charge, we derive the scaling limit at the singular boundary point, which is expressed in terms of the solution to the model Painlevé IV Riemann-Hilbert problem. For this, we introduce a version of the Christoffel-Darboux identity and combine it with the strong asymptotics of the associated orthogonal polynomials due to Bertola, Elias Rebelo and Grava. △ Less

Submitted 5 May, 2023; v1 submitted 15 July, 2021; originally announced July 2021.

Comments: v1: 29 pages, 5 figures, v2: 35 pages, 4 figures, substantial revision

Semi-polarized meromorphic Hitchin and Calabi-Yau integrable systems

Authors: Jia Choon Lee, Sukjoo Lee

Abstract: It was shown by Diaconescu, Donagi and Pantev that Hitchin systems of type ADE are isomorphic to certain Calabi-Yau integrable systems. In this paper, we prove an analogous result in the setting of meromorphic Hitchin systems of type A which are known to be Poisson integrable systems. We consider a symplectization of the meromorphic Hitchin integrable system, which is a semi-polarized integrable s… ▽ More It was shown by Diaconescu, Donagi and Pantev that Hitchin systems of type ADE are isomorphic to certain Calabi-Yau integrable systems. In this paper, we prove an analogous result in the setting of meromorphic Hitchin systems of type A which are known to be Poisson integrable systems. We consider a symplectization of the meromorphic Hitchin integrable system, which is a semi-polarized integrable system in the sense of Kontsevich and Soibelman. On the Hitchin side, we show that the moduli space of unordered diagonally framed Higgs bundles forms an integrable system in this sense and recovers the meromorphic Hitchin system as the fiberwise compact quotient. Then we construct a new family of quasi-projective Calabi-Yau threefolds and show that its relative intermediate Jacobian fibration, as semi-polarized integrable systems, is isomorphic to the moduli space of unordered diagonally framed Higgs bundles. △ Less

Submitted 18 June, 2022; v1 submitted 29 October, 2020; originally announced October 2020.

Comments: 42pages, updated version, published in IMRN

Kodaira-Spencer map, Lagrangian Floer theory and orbifold Jacobian algebras

Authors: Cheol-Hyun Cho, Sangwook Lee

Abstract: A version of mirror symmetry predicts a ring isomorphism between quantum cohomology of a symplectic manifold and Jacobian algebra of the Landau-Ginzburg mirror, and for toric manifolds Fukaya-Oh-Ohta-Ono constructed such a map called Kodaira-Spencer map using Lagrangian Floer theory. We discuss a general construction of Kodaira-Spencer ring homomorphism when LG mirror potential $W$ is given by… ▽ More A version of mirror symmetry predicts a ring isomorphism between quantum cohomology of a symplectic manifold and Jacobian algebra of the Landau-Ginzburg mirror, and for toric manifolds Fukaya-Oh-Ohta-Ono constructed such a map called Kodaira-Spencer map using Lagrangian Floer theory. We discuss a general construction of Kodaira-Spencer ring homomorphism when LG mirror potential $W$ is given by $J$-holomorphic discs with boundary on a Lagrangian $L$: we find an $A_{\infty}$-algebra $\mathcal{B}$ whose $m_1$-complex is a Koszul complex for $W$ under mild assumptions on $L$. Closed-open map gives a ring homomorphism from quantum cohomology to cohomology algebra of $\mathcal{B}$ which is Jacobian algebra of $W$. We also construct an equivariant version for orbifold LG mirror $(W,H)$. We construct a Kodaira-Spencer map from quantum cohomology to another $A_{\infty}$-algebra $(\mathcal{B}\rtimes H)^H$ whose cohomology algebra is isomorphic to the orbifold Jacobian algebra of $(W,H)$ under an assumption. For the $2$-torus whose mirror is an orbifold LG model given by Fermat cubic with a $\mathbb{Z}/3$-action, we compute an explicit Kodaira-Spencer isomorphism. △ Less

Submitted 22 July, 2020; originally announced July 2020.

Comments: 40 pages, 4 figures. Comments are welcome

Noncommutative homological mirror symmetry of elliptic curves

Authors: Sangwook Lee

Abstract: We prove an equivalence of two A-infinity functors, via Orlov's Landau-Ginzburg/Calabi-Yau correspondence. One is the Polishchuk-Zaslow's mirror symmetry functor of elliptic curves, and the other is a localized mirror functor from the Fukaya category of the 2-torus to a category of noncommutative matrix factorizations. As a corollary we prove that the noncommutative mirror functor realizes homolog… ▽ More We prove an equivalence of two A-infinity functors, via Orlov's Landau-Ginzburg/Calabi-Yau correspondence. One is the Polishchuk-Zaslow's mirror symmetry functor of elliptic curves, and the other is a localized mirror functor from the Fukaya category of the 2-torus to a category of noncommutative matrix factorizations. As a corollary we prove that the noncommutative mirror functor realizes homological mirror symmetry for any translation parameter $t$. △ Less

Submitted 20 April, 2020; originally announced April 2020.

Comments: 17 pages, 4 figures. To appear in Kyoto J. Math

Journal ref: Kyoto J. Math. 61 (3), 723-743, 2021

Strong Asymptotics of Planar Orthogonal Polynomials: Gaussian Weight Perturbed by Finite Number of Point Charges

Authors: Seung-Yeop Lee, Meng Yang

Abstract: We consider the planar orthogonal polynomial $p_{n}(z)$ with respect to the measure supported on the whole complex plane $${\rm e}^{-N|z|^2} \prod_{j=1}^ν|z-a_j|^{2c_j}\,{\rm d} A(z)$$ where ${\rm d} A$ is the Lebesgue measure of the plane, $N$ is a positive constant, $\{c_1,\cdots,c_ν\}$ are nonzero real numbers greater than $-1$ and $\{a_1,\cdots,a_ν\}\subset{\mathbb D}\setminus\{0\}$ are distin… ▽ More We consider the planar orthogonal polynomial $p_{n}(z)$ with respect to the measure supported on the whole complex plane $${\rm e}^{-N|z|^2} \prod_{j=1}^ν|z-a_j|^{2c_j}\,{\rm d} A(z)$$ where ${\rm d} A$ is the Lebesgue measure of the plane, $N$ is a positive constant, $\{c_1,\cdots,c_ν\}$ are nonzero real numbers greater than $-1$ and $\{a_1,\cdots,a_ν\}\subset{\mathbb D}\setminus\{0\}$ are distinct points inside the unit disk. In the scaling limit when $n/N = 1$ and $n\to \infty$ we obtain the strong asymptotics of the polynomial $p_n(z)$. We show that the support of the roots converges to what we call the "multiple Szego curve," a certain connected curve having $ν+1$ components in its complement. We apply the nonlinear steepest descent method on the matrix Riemann-Hilbert problem of size $(ν+1)\times(ν+1)$. △ Less

Submitted 18 June, 2021; v1 submitted 9 March, 2020; originally announced March 2020.

Comments: 61 pages, 12 figures. In the revised version, we correct one phase factor see Definition 1.4

Exceptional points of discrete-time random walks in planar domains

Authors: Yoshihiro Abe, Marek Biskup, Sangchul Lee

Abstract: Given a sequence of lattice approximations $D_N\subset\mathbb Z^2$ of a bounded continuum domain $D\subset\mathbb R^2$ with the vertices outside $D_N$ fused together into one boundary vertex $\varrho$, we consider discrete-time simple random walks in $D_N\cup\{\varrho\}$ run for a time proportional to the expected cover time and describe the scaling limit of the exceptional level sets of the thick… ▽ More Given a sequence of lattice approximations $D_N\subset\mathbb Z^2$ of a bounded continuum domain $D\subset\mathbb R^2$ with the vertices outside $D_N$ fused together into one boundary vertex $\varrho$, we consider discrete-time simple random walks in $D_N\cup\{\varrho\}$ run for a time proportional to the expected cover time and describe the scaling limit of the exceptional level sets of the thick, thin, light and avoided points. We show that these are distributed, up a spatially-dependent log-normal factor, as the zero-average Liouville Quantum Gravity measures in $D$. The limit law of the local time configuration at, and nearby, the exceptional points is determined as well. The results extend earlier work by the first two authors who analyzed the continuous-time problem in the parametrization by the local time at $\varrho$. A novel uniqueness result concerning divisible random measures and, in particular, Gaussian Multiplicative Chaos, is derived as part of the proofs. △ Less

Submitted 26 November, 2019; originally announced November 2019.

Comments: 56 pages, 2 figures, continuation of arXiv:1903.04045

Journal ref: Electron. J. Probab. 28 (2023), paper no. 137, 1--45

"Lagrangian Disks" in M-theory

Authors: Sebastian Franco, Sergei Gukov, Sangmin Lee, Rak-Kyeong Seong, James Sparks

Abstract: While the study of bordered (pseudo-)holomorphic curves with boundary on Lagrangian submanifolds has a long history, a similar problem that involves (special) Lagrangian submanifolds with boundary on complex surfaces appears to be largely overlooked in both physics and math literature. We relate this problem to geometry of coassociative submanifolds in $G_2$ holonomy spaces and to $Spin(7)$ metric… ▽ More While the study of bordered (pseudo-)holomorphic curves with boundary on Lagrangian submanifolds has a long history, a similar problem that involves (special) Lagrangian submanifolds with boundary on complex surfaces appears to be largely overlooked in both physics and math literature. We relate this problem to geometry of coassociative submanifolds in $G_2$ holonomy spaces and to $Spin(7)$ metrics on 8-manifolds with $T^2$ fibrations. As an application to physics, we propose a large class of brane models in type IIA string theory that generalize brane brick models on the one hand and 2d theories $T[M_4]$ on the other. △ Less

Submitted 3 October, 2019; originally announced October 2019.

Comments: 38 pages, 19 figures

Journal ref: JHEP 2011:033,2020

Comparison of mirror functors of elliptic curves via LG/CY correspondence

Authors: Sangwook Lee

Abstract: Polishchuk-Zaslow explained the homological mirror symmetry between Fukaya category of symplectic torus and the derived category of coherent sheaves of elliptic curves via Lagrangian torus fibration. Recently, Cho-Hong-Lau found another proof of homological mirror symmetry using localized mirror functor, whose target category is given by graded matrix factorizations. We find an explicit relation b… ▽ More Polishchuk-Zaslow explained the homological mirror symmetry between Fukaya category of symplectic torus and the derived category of coherent sheaves of elliptic curves via Lagrangian torus fibration. Recently, Cho-Hong-Lau found another proof of homological mirror symmetry using localized mirror functor, whose target category is given by graded matrix factorizations. We find an explicit relation between these two approaches. △ Less

Submitted 20 March, 2019; originally announced March 2019.

Comments: 25 pages, 7 figures

Pairings in mirror symmetry between a symplectic manifold and a Landau-Ginzburg $B$-model

Authors: Cheol-hyun Cho, Sangwook Lee, Hyung-Seok Shin

Abstract: We find a relation between Lagrangian Floer pairing of a symplectic manifold and Kapustin-Li pairing of the mirror Landau-Ginzburg model under localized mirror functor. They are conformally equivalent with an interesting conformal factor $(vol^{Floer}/vol)^2$, which can be described as a ratio of Lagrangian Floer volume class and classical volume class. For this purpose, we introduce $B$-invariant… ▽ More We find a relation between Lagrangian Floer pairing of a symplectic manifold and Kapustin-Li pairing of the mirror Landau-Ginzburg model under localized mirror functor. They are conformally equivalent with an interesting conformal factor $(vol^{Floer}/vol)^2$, which can be described as a ratio of Lagrangian Floer volume class and classical volume class. For this purpose, we introduce $B$-invariant of Lagrangian Floer cohomology with values in Jacobian ring of the mirror potential function. And we prove what we call a multi-crescent Cardy identity under certain conditions, which is a generalized form of Cardy identity. As an application, we discuss the case of general toric manifold, and the relation to the work of Fukaya-Oh-Ohta-Ono and their $Z$-invariant. Also, we compute the conformal factor $(vol^{Floer}/vol)^2$ for the elliptic curve quotient $\mathbb{P}^1_{3,3,3}$, which is expected to be related to the choice of a primitive form. △ Less

Submitted 23 March, 2020; v1 submitted 25 October, 2018; originally announced October 2018.

Comments: 35 pages, 5 figures. Comments are welcome

Journal ref: Comm. Math. Phys. (2020), 375(1), 345-390

Planar Orthogonal Polynomials As Type II Multiple Orthogonal Polynomials

Authors: Seung-Yeop Lee, Meng Yang

Abstract: We show that the planar orthogonal polynomials with $l$ logarithmic singularities in the potential are the multiple orthogonal polynomials (Hermite-Padé polynomials) of Type II with $l$ measures. We also find the ratio between the determinant of the moment matrix corresponding to the multiple orthogonal polynomials and the determinant of the moment matrix from the original planar measure. We show that the planar orthogonal polynomials with $l$ logarithmic singularities in the potential are the multiple orthogonal polynomials (Hermite-Padé polynomials) of Type II with $l$ measures. We also find the ratio between the determinant of the moment matrix corresponding to the multiple orthogonal polynomials and the determinant of the moment matrix from the original planar measure. △ Less

Submitted 1 March, 2018; v1 submitted 3 January, 2018; originally announced January 2018.

Quadrality for Supersymmetric Matrix Models

Authors: Sebastian Franco, Sangmin Lee, Rak-Kyeong Seong, Cumrun Vafa

Abstract: We introduce a new duality for $\mathcal{N}=1$ supersymmetric gauged matrix models. This $0d$ duality is an order 4 symmetry, namely an equivalence between four different theories, hence we call it Quadrality. Our proposal is motivated by mirror symmetry, but is not restricted to theories with a D-brane realization and holds for general $\mathcal{N}=1$ matrix models. We present various checks of t… ▽ More We introduce a new duality for $\mathcal{N}=1$ supersymmetric gauged matrix models. This $0d$ duality is an order 4 symmetry, namely an equivalence between four different theories, hence we call it Quadrality. Our proposal is motivated by mirror symmetry, but is not restricted to theories with a D-brane realization and holds for general $\mathcal{N}=1$ matrix models. We present various checks of the proposal, including the matching of: global symmetries, anomalies, deformations and the chiral ring. We also consider quivers and the corresponding quadrality networks. Finally, we initiate the study of matrix models that arise on the worldvolume of D(-1)-branes probing toric Calabi-Yau 5-folds. △ Less

Submitted 20 December, 2016; originally announced December 2016.

Comments: 46 pages, 18 figures

Journal ref: JHEP 1707:053,2017

Brane Brick Models in the Mirror

Authors: Sebastian Franco, Sangmin Lee, Rak-Kyeong Seong, Cumrun Vafa

Abstract: Brane brick models are Type IIA brane configurations that encode the $2d$ $\mathcal{N}=(0,2)$ gauge theories on the worldvolume of D1-branes probing toric Calabi-Yau 4-folds. We use mirror symmetry to improve our understanding of this correspondence and to provide a systematic approach for constructing brane brick models starting from geometry. The mirror configuration consists of D5-branes wrappi… ▽ More Brane brick models are Type IIA brane configurations that encode the $2d$ $\mathcal{N}=(0,2)$ gauge theories on the worldvolume of D1-branes probing toric Calabi-Yau 4-folds. We use mirror symmetry to improve our understanding of this correspondence and to provide a systematic approach for constructing brane brick models starting from geometry. The mirror configuration consists of D5-branes wrap** 4-spheres and the gauge theory is determined by how they intersect. We also explain how $2d$ $(0,2)$ triality is realized in terms of geometric transitions in the mirror geometry. Mirror symmetry leads to a geometric unification of dualities in different dimensions, where the order of duality is $n-1$ for a Calabi-Yau $n$-fold. This makes us conjecture the existence of a quadrality symmetry in $0d$. Finally, we comment on how the M-theory lift of brane brick models connects to the classification of $2d$ $(0,2)$ theories in terms of 4-manifolds. △ Less

Submitted 6 September, 2016; originally announced September 2016.

Comments: 74 pages, 56 figures

Report number: CCNY-HEP-16-07, SNUTP16-004, KIAS-P16062

Journal ref: JHEP 1702:106,2017

Discontinuity in the asymptotic behavior of planar orthogonal polynomials under a perturbation of the Gaussian weight

Authors: Seung-Yeop Lee, Meng Yang

Abstract: We consider the orthogonal polynomials, $\{P_n(z)\}_{n=0,1,\cdots}$, with respect to the measure $$|z-a|^{2c} e^{-N|z|^2}dA(z)$$ supported over the whole complex plane, where $a>0$, $N>0$ and $c>-1$. We look at the scaling limit where $n$ and $N$ tend to infinity while kee** their ratio, $n/N$, fixed. The support of the limiting zero distribution is given in terms of certain "limiting potential-… ▽ More We consider the orthogonal polynomials, $\{P_n(z)\}_{n=0,1,\cdots}$, with respect to the measure $$|z-a|^{2c} e^{-N|z|^2}dA(z)$$ supported over the whole complex plane, where $a>0$, $N>0$ and $c>-1$. We look at the scaling limit where $n$ and $N$ tend to infinity while kee** their ratio, $n/N$, fixed. The support of the limiting zero distribution is given in terms of certain "limiting potential-theoretic skeleton" of the unit disk. We show that, as we vary $c$, both the skeleton and the asymptotic distribution of the zeros behave discontinuously at $c=0$. The smooth interpolation of the discontinuity is obtained by the further scaling of $c=e^{-ηN}$ in terms of the parameter $η\in[0,\infty).$ △ Less

Submitted 14 March, 2017; v1 submitted 11 July, 2016; originally announced July 2016.

Brane Brick Models and 2d (0,2) Triality

Authors: Sebastian Franco, Sangmin Lee, Rak-Kyeong Seong

Abstract: We provide a brane realization of 2d (0,2) Gadde-Gukov-Putrov triality in terms of brane brick models. These are Type IIA brane configurations that are T-dual to D1-branes over singular toric Calabi-Yau 4-folds. Triality translates into a local transformation of brane brick models, whose simplest representative is a cube move. We present explicit examples and construct their triality networks. We… ▽ More We provide a brane realization of 2d (0,2) Gadde-Gukov-Putrov triality in terms of brane brick models. These are Type IIA brane configurations that are T-dual to D1-branes over singular toric Calabi-Yau 4-folds. Triality translates into a local transformation of brane brick models, whose simplest representative is a cube move. We present explicit examples and construct their triality networks. We also argue that the classical mesonic moduli space of brane brick model theories, which corresponds to the probed Calabi-Yau 4-fold, is invariant under triality. Finally, we discuss triality in terms of phase boundaries, which play a central role in connecting Calabi-Yau 4-folds to brane brick models. △ Less

Submitted 21 February, 2016; v1 submitted 4 February, 2016; originally announced February 2016.

Comments: 66 pages, 50 figures. v2: references and minor clarification added

Report number: CCNY-HEP-16-01, SNUTP-15-012, KIAS-P15062

Journal ref: JHEP 1605:020,2016

Brane Brick Models, Toric Calabi-Yau 4-Folds and 2d (0,2) Quivers

Authors: Sebastian Franco, Sangmin Lee, Rak-Kyeong Seong

Abstract: We introduce brane brick models, a novel type of Type IIA brane configurations consisting of D4-branes ending on an NS5-brane. Brane brick models are T-dual to D1-branes over singular toric Calabi-Yau 4-folds. They fully encode the infinite class of 2d (generically) N=(0,2) gauge theories on the worldvolume of the D1-branes and streamline their connection to the probed geometries. For this purpose… ▽ More We introduce brane brick models, a novel type of Type IIA brane configurations consisting of D4-branes ending on an NS5-brane. Brane brick models are T-dual to D1-branes over singular toric Calabi-Yau 4-folds. They fully encode the infinite class of 2d (generically) N=(0,2) gauge theories on the worldvolume of the D1-branes and streamline their connection to the probed geometries. For this purpose, we also introduce new combinatorial procedures for deriving the Calabi-Yau associated to a given gauge theory and vice versa. △ Less

Submitted 3 February, 2016; v1 submitted 6 October, 2015; originally announced October 2015.

Comments: 80 pages, 53 figures. v3: Minor clarification added. Published version

Report number: CCNY-HEP-15-07, SNUTP15-009, KIAS-P15039

Journal ref: JHEP 1602:047,2016

Fine asymptotic behavior in eigenvalues of random normal matrices: Ellipse Case

Authors: Seung-Yeop Lee, Roman Riser

Abstract: We consider the random normal matrices with quadratic external potentials where the associated orthogonal polynomials are Hermite polynomials and the limiting support (called droplet) of the eigenvalues is an ellipse. We calculate the density of the eigenvalues near the boundary of the droplet up to the second subleading corrections and express the subleading corrections in terms of the curvature… ▽ More We consider the random normal matrices with quadratic external potentials where the associated orthogonal polynomials are Hermite polynomials and the limiting support (called droplet) of the eigenvalues is an ellipse. We calculate the density of the eigenvalues near the boundary of the droplet up to the second subleading corrections and express the subleading corrections in terms of the curvature of the droplet boundary. From this result we additionally get the expected number of eigenvalues outside the droplet. We also obtain the asymptotics of the kernel and found that, in the bulk, the correction term is exponentially small. This leads to the vanishing of certain Cauchy transform of the orthogonal polynomial in the bulk of the droplet up to an exponentially small error. △ Less

Submitted 9 April, 2015; v1 submitted 12 January, 2015; originally announced January 2015.

Comments: 39 pages, 5 figures. Extended version: Theorem 1.2, Theorem 1.4, Section 6 and Section 7.3 are new

MSC Class: 15A52 (Primary); 60B20; 33C45; 42C05 (Secondary)

Momentum bispinor, two-qubit entanglement and twistor space

Authors: Seungbeom Chin, Sangmin Lee

Abstract: We re-examine the symmetry structure of massive momentum bispinors in four dimensional Minkowski spacetime and apply the result to the geometry of a two-qubit entanglement system. The geometry of entanglement is recovered by restricting the momentum to unit-energy hyperplane inside the future light-cone. On a more formal side, to understand Czachor's alternative normalization of the bispinor and i… ▽ More We re-examine the symmetry structure of massive momentum bispinors in four dimensional Minkowski spacetime and apply the result to the geometry of a two-qubit entanglement system. The geometry of entanglement is recovered by restricting the momentum to unit-energy hyperplane inside the future light-cone. On a more formal side, to understand Czachor's alternative normalization of the bispinor and its projection property, we analyze the geometry of momentum twistor space. An interesting correpondence between a submanifold of the momentum twistor space and tachyonic particle is also investigated. △ Less

Submitted 4 August, 2014; v1 submitted 9 July, 2014; originally announced July 2014.

Comments: 18 pages, 1 figure; v2. minor clarifications

Report number: SNUTP-14-007

Strong monogamy conjecture for multiqubit entanglement: The four-qubit case

Authors: Bartosz Regula, Sara Di Martino, Soojoon Lee, Gerardo Adesso

Abstract: We investigate the distribution of bipartite and multipartite entanglement in multiqubit states. In particular we define a set of monogamy inequalities sharpening the conventional Coffman-Kundu-Wootters constraints, and we provide analytical proofs of their validity for relevant classes of states. We present extensive numerical evidence validating the conjectured strong monogamy inequalities for a… ▽ More We investigate the distribution of bipartite and multipartite entanglement in multiqubit states. In particular we define a set of monogamy inequalities sharpening the conventional Coffman-Kundu-Wootters constraints, and we provide analytical proofs of their validity for relevant classes of states. We present extensive numerical evidence validating the conjectured strong monogamy inequalities for arbitrary pure states of four qubits. △ Less

Submitted 14 January, 2016; v1 submitted 15 May, 2014; originally announced May 2014.

Comments: 5 pages, 2 figures; v3: Errors in class-2 and class-7 states in Table I and Figure 2(a) are corrected with respect to the published version. All conclusions are unaffected

Journal ref: Phys. Rev. Lett. 113, 110501 (2014)

$PT$-symmetric quantum mechanics is a Hermitian quantum mechanics

Authors: Sungwook Lee

Abstract: The author discusses a different kind of Hermitian quantum mechanics, called $J$-Hermitian quantum mechanics. He shows that $PT$-symmetric quantum mechanics is indeed $J$-Hermitian quantum mechanics, and that time evolution (in the Krein space of states) is unitary if and only if Hamiltonian is $J$-Hermitian (or equivalently $PT$-symmetric). An issue with unitarity comes up when time evolution is… ▽ More The author discusses a different kind of Hermitian quantum mechanics, called $J$-Hermitian quantum mechanics. He shows that $PT$-symmetric quantum mechanics is indeed $J$-Hermitian quantum mechanics, and that time evolution (in the Krein space of states) is unitary if and only if Hamiltonian is $J$-Hermitian (or equivalently $PT$-symmetric). An issue with unitarity comes up when time evolution is considered in the Hilbert space of states rather than in the Krein space of states. The author offers possible scenarios with this issue. △ Less

Submitted 20 January, 2014; v1 submitted 30 December, 2013; originally announced December 2013.

Comments: 19 pages, REVTex, no figures, an appendix added

Can PT-Symmetric Quantum Mechanics be a Viable Alternative Quantum Theory?

Authors: Sungwook Lee, Lawrence R. Mead

Abstract: Update: A time-independent $n\times n$ PT-symmetric (and symmetric) Hamiltonian is diagonalizable since it has all distinct real eigenvalues and the resulting diagonal matrix is a real symmetric matrix. The diagonalization results an isometry so there shouldn't be any issue with unitarity and unfortunately this very elementary mathematical fact somehow did not draw the authors' attention. However,… ▽ More Update: A time-independent $n\times n$ PT-symmetric (and symmetric) Hamiltonian is diagonalizable since it has all distinct real eigenvalues and the resulting diagonal matrix is a real symmetric matrix. The diagonalization results an isometry so there shouldn't be any issue with unitarity and unfortunately this very elementary mathematical fact somehow did not draw the authors' attention. However, PT-symmetric quantum mechanics is not out of trouble. For time-dependent PT-symmetric (and symmetric) Hamiltonians (even $2\times 2$ ones) the authors observed that there is a violation of unitarity. Moreover, the first named author showed in his recent article arXiv:1312.7738 that PT-symmetric quantum mechanics is indeed a certain kind of Hermitian quantum mechanics and that in order for time-evolution to be unitary with respect to $J$-inner product (one that gives rise to a Hilbert space structure on the space of state functions), the potential energy operator $V(x)$ must be real. This means that those complex PT-symmetric Hamiltonians that have been studied by physicists are unfortunately unphysical. The first named author discussed in a subsequent article arXiv:1401.5149 that while finite-state PT-symmetric quantum mechanics with time-independent Hamiltonians is not physically any different from Hermitian quantum mechanics, PT-symmetric quantum mechanics exhibits a distinctive symmetry from that of Hermitian quantum mechanics. △ Less

Submitted 17 May, 2014; v1 submitted 25 March, 2013; originally announced March 2013.

Comments: This paper has been withdrawn by the authors due to a crucial sign error in the proof of the authors' assertion about the unitarity issue with PT-symmetric quantum mechanics

A quantum algorithm for obtaining the lowest eigenstate of a Hamiltonian assisted with an ancillary qubit system

Authors: Jeongho Bang, Seung-Woo Lee, Chang-Woo Lee, Hyunseok Jeong

Abstract: We propose a quantum algorithm to obtain the lowest eigenstate of any Hamiltonian simulated by a quantum computer. The proposed algorithm begins with an arbitrary initial state of the simulated system. A finite series of transforms is iteratively applied to the initial state assisted with an ancillary qubit. The fraction of the lowest eigenstate in the initial state is then amplified up to… ▽ More We propose a quantum algorithm to obtain the lowest eigenstate of any Hamiltonian simulated by a quantum computer. The proposed algorithm begins with an arbitrary initial state of the simulated system. A finite series of transforms is iteratively applied to the initial state assisted with an ancillary qubit. The fraction of the lowest eigenstate in the initial state is then amplified up to $\simeq 1$. We prove that our algorithm can faithfully work for any arbitrary Hamiltonian in the theoretical analysis. Numerical analyses are also carried out. We firstly provide a numerical proof-of-principle demonstration with a simple Hamiltonian in order to compare our scheme with the so-called "Demon-like algorithmic cooling (DLAC)", recently proposed in [Nature Photonics 8, 113 (2014)]. The result shows a good agreement with our theoretical analysis, exhibiting the comparable behavior to the best "cooling" with the DLAC method. We then consider a random Hamiltonian model for further analysis of our algorithm. By numerical simulations, we show that the total number $n_c$ of iterations is proportional to $\simeq {\cal O}(D^{-1}ε^{-0.19})$, where $D$ is the difference between the two lowest eigenvalues, and $ε$ is an error defined as the probability that the finally obtained system state is in an unexpected (i.e. not the lowest) eigenstate. △ Less

Submitted 17 September, 2014; v1 submitted 28 December, 2012; originally announced December 2012.

Comments: 11 pages, 3 figures. To be appeared in Quantum Information Processing

Journal ref: Quantum Information Processing 14, 103 (2015)

Topology Change of Spacetime and Resolution of Spacetime Singularity in Emergent Gravity

Authors: Sunggeun Lee, Raju Roychowdhury, Hyun Seok Yang

Abstract: Emergent gravity is based on the Darboux theorem or the Moser lemma in symplectic geometry stating that the electromagnetic force can always be eliminated by a local coordinate transformation as far as U(1) gauge theory is defined on a spacetime with symplectic structure. In this approach, the spacetime geometry is defined by U(1) gauge fields on noncommutative (NC) spacetime. Accordingly the topo… ▽ More Emergent gravity is based on the Darboux theorem or the Moser lemma in symplectic geometry stating that the electromagnetic force can always be eliminated by a local coordinate transformation as far as U(1) gauge theory is defined on a spacetime with symplectic structure. In this approach, the spacetime geometry is defined by U(1) gauge fields on noncommutative (NC) spacetime. Accordingly the topology of spacetime is determined by the topology of NC U(1) gauge fields. We show that the topology change of spacetime is ample in emergent gravity and the subsequent resolution of spacetime singularity is possible in NC spacetime. Therefore the emergent gravity approach provides a well-defined mechanism for the topology change of spacetime which does not suffer any spacetime singularity in sharp contrast to general relativity. △ Less

Submitted 28 April, 2013; v1 submitted 12 December, 2012; originally announced December 2012.

Comments: 6 pages with two columns; expanded version to appear in Phys. Rev. D

Journal ref: Phys. Rev. D87 (2013) 126002

Strong asymptotics of the orthogonal polynomials with respect to a measure supported on the plane

Authors: Ferenc Balogh, Marco Bertola, Seung Yeop Lee, Kenneth D. T-R McLaughlin

Abstract: We consider the orthogonal polynomials $\{P_{n}(z)\}$ with respect to the measure $|z-a|^{2N c} {\rm e}^{-N |z|^2} \,{\rm d} A(z)$ over the whole complex plane. We obtain the strong asymptotic of the orthogonal polynomials in the complex plane and the location of their zeros in a scaling limit where $n$ grows to infinity with $N$. The asymptotics are described in terms of three (probability) mea… ▽ More We consider the orthogonal polynomials $\{P_{n}(z)\}$ with respect to the measure $|z-a|^{2N c} {\rm e}^{-N |z|^2} \,{\rm d} A(z)$ over the whole complex plane. We obtain the strong asymptotic of the orthogonal polynomials in the complex plane and the location of their zeros in a scaling limit where $n$ grows to infinity with $N$. The asymptotics are described in terms of three (probability) measures associated with the problem. The first measure is the limit of the counting measure of zeros of the polynomials, which is captured by the $g$-function much in the spirit of ordinary orthogonal polynomials on the real line. The second measure is the equilibrium measure that minimizes a certain logarithmic potential energy, supported on a region $K$ of the complex plane. The third measure is the harmonic measure of $K^c$ with a pole at $\infty$. This appears as the limit of the probability measure given (up to the normalization constant) by the squared modulus of the $n$-th orthogonal polynomial times the orthogonality measure, i.e. $|P_n(z)|^2 |z-a|^{2N c} {\rm e}^{-N |z|^2} \,{\rm d} A(z)$. The compact region $K$ that is the support of the second measure undergoes a topological transition under the variation of the parameter $t=n/N$; in a double scaling limit near the critical point given by $t_c=a(a+2\sqrt c)$ we observe the Hastings-McLeod solution to Painlevé\ II in the asymptotics of the orthogonal polynomials. △ Less

Submitted 2 November, 2013; v1 submitted 27 September, 2012; originally announced September 2012.

Comments: 52 pages, 13 figures, The version accepted for publication

MSC Class: 60B20; 42C05 (Primary) 30E25; 15B52; 31A05; 82B26; 82B27 (Secondary)

Notes on Emergent Gravity

Authors: Sunggeun Lee, Raju Roychowdhury, Hyun Seok Yang

Abstract: Emergent gravity is aimed at constructing a Riemannian geometry from U(1) gauge fields on a noncommutative spacetime. But this construction can be inverted to find corresponding U(1) gauge fields on a (generalized) Poisson manifold given a Riemannian metric (M, g). We examine this bottom-up approach with the LeBrun metric which is the most general scalar-flat Kahler metric with a U(1) isometry and… ▽ More Emergent gravity is aimed at constructing a Riemannian geometry from U(1) gauge fields on a noncommutative spacetime. But this construction can be inverted to find corresponding U(1) gauge fields on a (generalized) Poisson manifold given a Riemannian metric (M, g). We examine this bottom-up approach with the LeBrun metric which is the most general scalar-flat Kahler metric with a U(1) isometry and contains the Gibbons-Hawking metric, the real heaven as well as the multi-blown up Burns metric which is a scalar-flat Kahler metric on C^2 with n points blown up. The bottom-up approach clarifies some important issues in emergent gravity. △ Less

Submitted 11 September, 2012; v1 submitted 4 June, 2012; originally announced June 2012.

Comments: v3; 29 pages, minor clarifications for locally conformal symplectic structure and the origin of diffeomorphism, version to appear in JHEP

Journal ref: JHEP 1209 (2012) 030

Examples of Matrix Factorizations from SYZ

Authors: Cheol-Hyun Cho, Hansol Hong, Sangwook Lee

Abstract: We find matrix factorization corresponding to an anti-diagonal in ${\mathbb C}P^1 \times {\mathbb C}P^1$, and circle fibers in weighted projective lines using the idea of Chan and Leung of Strominger-Yau-Zaslow transformations. For the tear drop orbifolds, we apply this idea to find matrix factorizations for two types of potential, the usual Hori-Vafa potential or the bulk deformed (orbi)-potentia… ▽ More We find matrix factorization corresponding to an anti-diagonal in ${\mathbb C}P^1 \times {\mathbb C}P^1$, and circle fibers in weighted projective lines using the idea of Chan and Leung of Strominger-Yau-Zaslow transformations. For the tear drop orbifolds, we apply this idea to find matrix factorizations for two types of potential, the usual Hori-Vafa potential or the bulk deformed (orbi)-potential. We also show that the direct sum of anti-diagonal with its shift, is equivalent to the direct sum of central torus fibers with holonomy $(1,-1)$ and $(-1,1)$ in the Fukaya category of ${\mathbb C}P^1 \times {\mathbb C}P^1$, which was predicted by Kapustin and Li from B-model calculations. △ Less

Submitted 16 August, 2012; v1 submitted 21 May, 2012; originally announced May 2012.

MSC Class: 53D37; 53D40; 57R18

Journal ref: SIGMA 8 (2012), 053, 24 pages

A New 2d/4d Duality via Integrability

Authors: Heng-Yu Chen, Nick Dorey, Timothy J. Hollowood, Sungjay Lee

Abstract: We prove a duality, recently conjectured in arXiv:1103.5726, which relates the F-terms of supersymmetric gauge theories defined in two and four dimensions respectively. The proof proceeds by a saddle point analysis of the four-dimensional partition function in the Nekrasov-Shatashvili limit. At special quantized values of the Coulomb branch moduli, the saddle point condition becomes the Bethe Ansa… ▽ More We prove a duality, recently conjectured in arXiv:1103.5726, which relates the F-terms of supersymmetric gauge theories defined in two and four dimensions respectively. The proof proceeds by a saddle point analysis of the four-dimensional partition function in the Nekrasov-Shatashvili limit. At special quantized values of the Coulomb branch moduli, the saddle point condition becomes the Bethe Ansatz Equation of the SL(2) Heisenberg spin chain which coincides with the F-term equation of the dual two-dimensional theory. The on-shell values of the superpotential in the two theories are shown to coincide in corresponding vacua. We also identify two-dimensional duals for a large set of quiver gauge theories in four dimensions and generalize our proof to these cases. △ Less

Submitted 4 August, 2011; v1 submitted 15 April, 2011; originally announced April 2011.

Comments: 19 pages, 2 figures, minor corrections and references added

Report number: DAMTP-2011-26, MAD-TH-11-01

Journal ref: JHEP 1109:040,2011

Quantization of Integrable Systems and a 2d/4d Duality

Authors: Nick Dorey, Timothy J. Hollowood, Sungjay Lee

Abstract: We present a new duality between the F-terms of supersymmetric field theories defined in two- and four-dimensions respectively. The duality relates N=2 supersymmetric gauge theories in four dimensions, deformed by an Omega-background in one plane, to N=(2,2) gauged linear sigma-models in two dimensions. On the four dimensional side, our main example is N=2 SQCD with gauge group SU(L) and 2L fundam… ▽ More We present a new duality between the F-terms of supersymmetric field theories defined in two- and four-dimensions respectively. The duality relates N=2 supersymmetric gauge theories in four dimensions, deformed by an Omega-background in one plane, to N=(2,2) gauged linear sigma-models in two dimensions. On the four dimensional side, our main example is N=2 SQCD with gauge group SU(L) and 2L fundamental flavours. Using ideas of Nekrasov and Shatashvili, we argue that the Coulomb branch of this theory provides a quantization of the classical Heisenberg SL(2) spin chain. Agreement with the standard quantization via the Algebraic Bethe Ansatz implies the existence of an isomorphism between the chiral ring of the 4d theory and that of a certain two-dimensional theory. The latter can be understood as the worldvolume theory on a surface operator/vortex string probing the Higgs branch of the same 4d theory. We check the proposed duality by explicit calculation at low orders in the instanton expansion. One striking consequence is that the Seiberg-Witten solution of the 4d theory is captured by a one-loop computation in two dimensions. The duality also has interesting connections with the AGT conjecture, matrix models and topological string theory where it corresponds to a refined version of the geometric transition. △ Less

Submitted 1 August, 2011; v1 submitted 29 March, 2011; originally announced March 2011.

Comments: 51 pages, 7 figures. Additional comments, minor improvements and references added

Spectra of Random Hermitian Matrices with a Small-Rank External Source: The critical and near-critical regimes

Authors: Marco Bertola, Robert Buckingham, Seung-Yeop Lee, Virgil U. Pierce

Abstract: Random Hermitian matrices are used to model complex systems without time-reversal invariance. Adding an external source to the model can have the effect of shifting some of the matrix eigenvalues, which corresponds to shifting some of the energy levels of the physical system. We consider the case when the $n\times n$ external source matrix has two distinct real eigenvalues: $a$ with multiplicity… ▽ More Random Hermitian matrices are used to model complex systems without time-reversal invariance. Adding an external source to the model can have the effect of shifting some of the matrix eigenvalues, which corresponds to shifting some of the energy levels of the physical system. We consider the case when the $n\times n$ external source matrix has two distinct real eigenvalues: $a$ with multiplicity $r$ and zero with multiplicity $n-r$. For a Gaussian potential, it was shown by Péché \cite{Peche:2006} that when $r$ is fixed or grows sufficiently slowly with $n$ (a small-rank source), $r$ eigenvalues are expected to exit the main bulk for $|a|$ large enough. Furthermore, at the critical value of $a$ when the outliers are at the edge of a band, the eigenvalues at the edge are described by the $r$-Airy kernel. We establish the universality of the $r$-Airy kernel for a general class of analytic potentials for $r=\mathcal{O}(n^γ)$ for $0\leqγ<1/12$. △ Less

Submitted 22 November, 2010; originally announced November 2010.

Comments: 44 pages, 5 figures

Spectra of random Hermitian matrices with a small-rank external source: supercritical and subcritical regimes

Authors: Marco Bertola, Robert Buckingham, Seung-Yeop Lee, Virgil U. Pierce

Abstract: Random Hermitian matrices with a source term arise, for instance, in the study of non-intersecting Brownian walkers \cite{Adler:2009a, Daems:2007} and sample covariance matrices \cite{Baik:2005}. We consider the case when the $n\times n$ external source matrix has two distinct real eigenvalues: $a$ with multiplicity $r$ and zero with multiplicity $n-r$. The source is small in the sense that $r$… ▽ More Random Hermitian matrices with a source term arise, for instance, in the study of non-intersecting Brownian walkers \cite{Adler:2009a, Daems:2007} and sample covariance matrices \cite{Baik:2005}. We consider the case when the $n\times n$ external source matrix has two distinct real eigenvalues: $a$ with multiplicity $r$ and zero with multiplicity $n-r$. The source is small in the sense that $r$ is finite or $r=\mathcal O(n^γ)$, for $0< γ<1$. For a Gaussian potential, Péché \cite{Peche:2006} showed that for $|a|$ sufficiently small (the subcritical regime) the external source has no leading-order effect on the eigenvalues, while for $|a|$ sufficiently large (the supercritical regime) $r$ eigenvalues exit the bulk of the spectrum and behave as the eigenvalues of $r\times r$ Gaussian unitary ensemble (GUE). We establish the universality of these results for a general class of analytic potentials in the supercritical and subcritical regimes. △ Less

Submitted 20 September, 2010; originally announced September 2010.

Comments: 41 pages, 4 figures

Mesoscopic colonization of a spectral band

Authors: M. Bertola, S. Y. Lee, M. Y. Mo

Abstract: We consider the unitary matrix model in the limit where the size of the matrices become infinite and in the critical situation when a new spectral band is about to emerge. In previous works the number of expected eigenvalues in a neighborhood of the band was fixed and finite, a situation that was termed "birth of a cut" or "first colonization". We now consider the transitional regime where this… ▽ More We consider the unitary matrix model in the limit where the size of the matrices become infinite and in the critical situation when a new spectral band is about to emerge. In previous works the number of expected eigenvalues in a neighborhood of the band was fixed and finite, a situation that was termed "birth of a cut" or "first colonization". We now consider the transitional regime where this microscopic population in the new band grows without bounds but at a slower rate than the size of the matrix. The local population in the new band organizes in a "mesoscopic" regime, in between the macroscopic behavior of the full system and the previously studied microscopic one. The mesoscopic colony may form a finite number of new bands, with a maximum number dictated by the degree of criticality of the original potential. We describe the delicate scaling limit that realizes/controls the mesoscopic colony. The method we use is the steepest descent analysis of the Riemann-Hilbert problem that is satisfied by the associated orthogonal polynomials. △ Less

Submitted 16 April, 2009; v1 submitted 7 April, 2009; originally announced April 2009.

Comments: 17 pages, 2 figures, minor corrections and additions

Weak solution of the Hele-Shaw problem: shocks and viscous fingering

Authors: Seung-Yeop Lee, Razvan Teodorescu, Paul Wiegmann

Abstract: In Hele-Shaw flows, boundaries between fluids develop unstable viscous fingers. At vanishing surface tension, the fingers further evolve to cusp-like singularities. We show that the problem admits a {\it weak solution} where shock fronts triggered by a singularity propagate together with a fluid. Shocks form a growing, branching tree of a mass deficit, and a line distribution of vorticity where pr… ▽ More In Hele-Shaw flows, boundaries between fluids develop unstable viscous fingers. At vanishing surface tension, the fingers further evolve to cusp-like singularities. We show that the problem admits a {\it weak solution} where shock fronts triggered by a singularity propagate together with a fluid. Shocks form a growing, branching tree of a mass deficit, and a line distribution of vorticity where pressure and velocity of the fluid have finite discontinuities. Imposing that the flow remain curl-free at macroscale determines the shock graph structure. We present a self-similar solution describing shocks emerging from a generic (2,3)-cusp singularity -- an elementary branching event. △ Less

Submitted 30 June, 2010; v1 submitted 2 December, 2008; originally announced December 2008.

Comments: 5 pages, 3 figures. To appear in the Journal of Experimental and Theoretical Physics, JETP Letters

Journal ref: JETP Letters vol. 92, issue 2, page 95 (2010)

First colonization of a hard-edge in random matrix theory

Authors: M. Bertola, S. Y. Lee

Abstract: We describe the spectral statistics of the first finite number of eigenvalues in a newly-forming band on the hard-edge of the spectrum of a random Hermitean matrix model. It is found that in a suitable scaling regime, they are described by the same spectral statistics of a finite-size Laguerre-type matrix model. The method is rigorously based on the Riemann-Hilbert analysis of the corresponding… ▽ More We describe the spectral statistics of the first finite number of eigenvalues in a newly-forming band on the hard-edge of the spectrum of a random Hermitean matrix model. It is found that in a suitable scaling regime, they are described by the same spectral statistics of a finite-size Laguerre-type matrix model. The method is rigorously based on the Riemann-Hilbert analysis of the corresponding orthogonal polynomials. △ Less

Submitted 7 April, 2008; originally announced April 2008.

Comments: 22 pages, 7 figures

First Colonization of a Spectral Outpost in Random Matrix Theory

Authors: M. Bertola, S. Y. Lee

Abstract: We describe the distribution of the first finite number of eigenvalues in a newly-forming band of the spectrum of the random Hermitean matrix model. The method is rigorously based on the Riemann-Hilbert analysis of the corresponding orthogonal polynomials. We provide an analysis with an error term of order N^(-2 h) where 1/h = 2 nu+2 is the exponent of non-regularity of the effective potential,… ▽ More We describe the distribution of the first finite number of eigenvalues in a newly-forming band of the spectrum of the random Hermitean matrix model. The method is rigorously based on the Riemann-Hilbert analysis of the corresponding orthogonal polynomials. We provide an analysis with an error term of order N^(-2 h) where 1/h = 2 nu+2 is the exponent of non-regularity of the effective potential, thus improving even in the usual case the analysis of the pertinent literature. The behavior of the first finite number of zeroes (eigenvalues) appearing in the new band is analyzed and connected with the location of the zeroes of certain Freud polynomials. In general all these newborn zeroes approach the point of nonregularity at the rate N^(-h) whereas one (a stray zero) lags behind at a slower rate of approach. The kernels for the correlator functions in the scaling coordinate near the emerging band are provided together with the subleading term: in particular the transition between K and K+1 eigenvalues is analyzed in detail. △ Less

Submitted 18 March, 2008; v1 submitted 22 November, 2007; originally announced November 2007.

Comments: 32 pages, 8 figures (typo corrected in Formula 4.13); some reference added and minor corrections

Asymptotic eigenvalue distribution of large Toeplitz matrices

Authors: Seung-Yeop Lee, Hui Dai, Eldad Bettelheim

Abstract: We study the asymptotic eigenvalue distribution of Toeplitz matrices generated by a singular symbol. It has been conjectured by Widom that, for a generic symbol, the eigenvalues converge to the image of the symbol. In this paper we ask how the eigenvalues converge to the image. For a given Toeplitz matrix $T_n(a)$ of size $n$, we take the standard approach of looking at $\det(ζ-T_n(a))$, of whic… ▽ More We study the asymptotic eigenvalue distribution of Toeplitz matrices generated by a singular symbol. It has been conjectured by Widom that, for a generic symbol, the eigenvalues converge to the image of the symbol. In this paper we ask how the eigenvalues converge to the image. For a given Toeplitz matrix $T_n(a)$ of size $n$, we take the standard approach of looking at $\det(ζ-T_n(a))$, of which the asymptotic information is given by the Fisher-Hartwig theorem. For a symbol with single jump, we obtain the distribution of eigenvalues as an expansion involving $1/n$ and $\log n/n$. To demonstrate the validity of our result we compare our result against the numerics using a pure Fisher-Hartwig symbol. △ Less

Submitted 23 August, 2007; originally announced August 2007.

MSC Class: 15A15; 15A18; 15A60; 47B35

Boundary correlation function of fixed-to-free bcc operators in square-lattice Ising model

Authors: Seung-Yeop Lee

Abstract: We calculate the boundary correlation function of fixed-to-free boundary condition changing operators in the square-lattice Ising model. The correlation function is expressed in four different ways using $2\times2$ block Toeplitz determinants. We show that these can be transformed into a scalar Toeplitz determinant when the size of the matrix is even. To know the asymptotic behavior of the corre… ▽ More We calculate the boundary correlation function of fixed-to-free boundary condition changing operators in the square-lattice Ising model. The correlation function is expressed in four different ways using $2\times2$ block Toeplitz determinants. We show that these can be transformed into a scalar Toeplitz determinant when the size of the matrix is even. To know the asymptotic behavior of the correlation function at large distance we calculate the asymptotic behavior of this scalar Toeplitz determinant using the Szegö's theorem and the Fisher-Hartwig theorem. At the critical temperature we confirm the power-law behavior of the correlation function predicted by conformal field theory. △ Less

Submitted 4 December, 2006; originally announced December 2006.

Split-quaternionic representation of SDYM SU(1,1) instantons in S^2 x S^2

Authors: Sungwook Lee, Khin Maung Maung

Abstract: This paper has been withdrawn by the authors due to some fatal errors that cannot be mended. The authors apologize for any inconvenience. This paper has been withdrawn by the authors due to some fatal errors that cannot be mended. The authors apologize for any inconvenience. △ Less

Submitted 10 September, 2007; v1 submitted 23 June, 2006; originally announced June 2006.

Comments: This paper has been withdrawn

Noncentral extension of the $AdS_{5} \times S^{5}$ superalgebra: supermultiplet of brane charges

Authors: Sangmin Lee, Jeong-Hyuck Park

Abstract: We propose an extension of the su(2,2|4) superalgebra to incorporate the $F1/D1$ string charges in type IIB string theory on the $AdS_{5} \times S^{5}$ background, or the electro-magnetic charges in the dual super Yang-Mills theory. With the charges introduced, the superalgebra inevitably undergoes a noncentral extension, as noted recently in [1]. After develo** a group theoretical method of o… ▽ More We propose an extension of the su(2,2|4) superalgebra to incorporate the $F1/D1$ string charges in type IIB string theory on the $AdS_{5} \times S^{5}$ background, or the electro-magnetic charges in the dual super Yang-Mills theory. With the charges introduced, the superalgebra inevitably undergoes a noncentral extension, as noted recently in [1]. After develo** a group theoretical method of obtaining the noncentral extension, we show that the charges form a certain nonunitary representation of the original unextended superalgebra, subject to some constraints. We solve the constraints completely and show that, apart from the su(2,2|4) generators, there exist 899 complex brane charges in the extended algebra. Explicitly we present all the super-commutators among them. △ Less

Submitted 25 May, 2004; v1 submitted 6 April, 2004; originally announced April 2004.

Comments: 1+29 pages, no figure; comments and refs added, to appear in JHEP

Report number: IHES/P/04/15, STR-04-007, CERN-PH-TH/2004-064

Journal ref: JHEP 0406:038,2004

Path generating transforms

Authors: Omar Foda, Keith S. M. Lee, Yaruslav Pugai, Trevor A. Welsh

Abstract: We study combinatorial aspects of q-weighted, length-L Forrester-Baxter paths, P^{p, p'}_{a, b, c}(L), where p, p', a, b, c \in Z_{+}, 0 < p < p', 0 < a, b, c < p', c = b \pm 1, L+a-b \equiv 0 (mod 2), and p and p' are co-prime. We obtain a bijection between P^{p, p'}_{a, b, c}(L) and partitions with certain prescribed hook differences. Thereby, we obtain a new description of the q-weights of… ▽ More We study combinatorial aspects of q-weighted, length-L Forrester-Baxter paths, P^{p, p'}_{a, b, c}(L), where p, p', a, b, c \in Z_{+}, 0 < p < p', 0 < a, b, c < p', c = b \pm 1, L+a-b \equiv 0 (mod 2), and p and p' are co-prime. We obtain a bijection between P^{p, p'}_{a, b, c}(L) and partitions with certain prescribed hook differences. Thereby, we obtain a new description of the q-weights of P^{p, p'}_{a, b, c}(L). Using the new weights, and defining s_0 and r_0 to be the smallest non-negative integers for which |p s_0 - p' r_0|=1, we restrict the discussion to P^{p, p'}_{s_0} \equiv P^{p, p'}_{s_0,s_0,s_0+1}(L), and introduce two combinatorial transforms: 1. A Bailey-type transform B: P^{p, p'}_{s_0}(L) -> P^{p, p'+p}_{s_0 + r_0}(L'), L \leq L', 2. A duality-type transform D: P^{p, p'}_{s_0}(L) -> P^{p'-p, p'}_{s_0}(L). We study the action of B and D, as q-polynomial transforms on the P^{p, p'}_{s_0}(L) generating functions, χ^{p, p'}_{s_0}(L). In the limit L -> \infinity, χ^{p, p'}_{s_0}(L) reduces to the Virasoro characters, χ^{p, p'}_{r_0, s_0}, of minimal conformal field theories M^{p, p'}, or equivalently, to the one-point functions of regime-III Forrester-Baxter models. As an application of the B and D transforms, we re-derive the constant-sign expressions for χ^{p, p'}_{r_0, s_0}, first derived by Berkovich and McCoy. △ Less

Submitted 7 October, 1998; originally announced October 1998.

Journal ref: q-Series from a contemporary perspective (South Hadley, MA, 1998), 157--186, Contemp. Math. 254, Amer. Math. Soc., Providence, RI, 2000.