Showing 1–50 of 134 results for author: Leung, N

Equivariant Lagrangian correspondence and a conjecture of Teleman

Authors: Siu-Cheong Lau, Nai-Chung Conan Leung, Yan-Lung Leon Li

Abstract: In this paper, we study the Floer theory of equivariant Lagrangian correspondences and apply it to deduce a conjecture of Teleman, which finds the relation between the disc potential of an invariant Lagrangian submanifold and that of its quotient. A main step is to extend Fukaya's construction of an $A_\infty$ tri-module for Lagrangian correspondences to Borel spaces. We find that the equivariant… ▽ More In this paper, we study the Floer theory of equivariant Lagrangian correspondences and apply it to deduce a conjecture of Teleman, which finds the relation between the disc potential of an invariant Lagrangian submanifold and that of its quotient. A main step is to extend Fukaya's construction of an $A_\infty$ tri-module for Lagrangian correspondences to Borel spaces. We find that the equivariant obstruction of a Lagrangian correspondence plays an essential role, which leads to quantum corrections in the disc potentials of quotients. We solve the obstruction in the toric setup and find the relation with mirror maps for compact semi-Fano toric manifolds. △ Less

Submitted 18 April, 2024; v1 submitted 21 December, 2023; originally announced December 2023.

Comments: Improved exposition

On Derived Categories of Generalized Grassmannian Flips

Authors: Naichung Conan Leung, Ying Xie

Abstract: In this paper, we construct and classify a new family of flips, called generalized Grassmannian flips, by generalizing the construction of standard flips for $\mathbb{P}^m\times \mathbb{P}^n$ to any generalized Grassmannian $G/P$, where $P$ is a maximal parabolic subgroup of a complex semi-simple algebraic group. In addition, we show that a 9-fold generalized Grassmannian flip for… ▽ More In this paper, we construct and classify a new family of flips, called generalized Grassmannian flips, by generalizing the construction of standard flips for $\mathbb{P}^m\times \mathbb{P}^n$ to any generalized Grassmannian $G/P$, where $P$ is a maximal parabolic subgroup of a complex semi-simple algebraic group. In addition, we show that a 9-fold generalized Grassmannian flip for $Sp(6, \mathbb{C})$ satisfies the DK flip conjecture by Bondal-Orlov and Kawamata via mutation techniques by Kuznetsov and Thomas' chess game method. △ Less

Submitted 20 September, 2023; originally announced September 2023.

Comments: To appear in Mathematical Research Letters

Limit of geometric quantizations on Kähler manifolds with T-symmetry

Authors: Naichung Conan Leung, Dan Wang

Abstract: A compact Kähler manifold $\left( M,ω,J\right) $ with $T$-symmetry admits a natural mixed polarization $\mathcal{P}_{\mathrm{mix}}$ whose real directions come from the $T$-action. In \cite{LW1}, we constructed a one-parameter family of Kähler structures $\left( ω,J_{t}\right) $'s with the same underlying Kä hler form $ω$ and $J_{0}=J$, such that (i) there is a $T$-equivariant biholomorphism betwee… ▽ More A compact Kähler manifold $\left( M,ω,J\right) $ with $T$-symmetry admits a natural mixed polarization $\mathcal{P}_{\mathrm{mix}}$ whose real directions come from the $T$-action. In \cite{LW1}, we constructed a one-parameter family of Kähler structures $\left( ω,J_{t}\right) $'s with the same underlying Kä hler form $ω$ and $J_{0}=J$, such that (i) there is a $T$-equivariant biholomorphism between $\left( M,J_{0}\right) $ and $\left( M,J_{t}\right) $ and (ii) Kähler polarizations $\mathcal{P} _{t}$'s corresponding to $J_{t}$'s converge to $\mathcal{P}_{\mathrm{mix}}$ as $t$ goes to infinity. In this paper, we study the quantum analog of above results. Assume $L$ is a pre-quantum line bundle on $\left( M,ω\right) $. Let $\mathcal{H}_{t}$ and $ \mathcal{H}_{\mathrm{mix}}$ be quantum spaces defined using polarizations $\mathcal{P}_{t}$ and $\mathcal{P}_{\mathrm{mix}}$ respectively. In particular, $\mathcal{H}_{t}=H_{\bar{\partial}_{t}}^{0}\left( M,L\right) $. They are both representations of $T$. We show that (i) there is a $T$-equivariant isomorphism between $\mathcal{H}_{0}$ and $\mathcal{H}_{\mathrm{mix}}$ and (ii) for regular $T$-weight $λ$, corresponding $λ$-weight spaces $ \mathcal{H}_{t,λ}$'s converge to $\mathcal{H}_{\mathrm{mix},λ}$ as $t$ goes to infinity. △ Less

Submitted 15 July, 2023; originally announced July 2023.

Comments: 24pages. Comments are welcome!

Hidden Sp(1)-Symmetry and Brane Quantization on HyperKähler manifolds

Authors: NaiChung Conan Leung, YuTung Yau

Abstract: For a fixed prequantum line bundle $L$ over a hyperKähler manifold $X$, we find a natural $\operatorname{Sp}(1)$-action on $Ω^*(X, L)$ intertwining a twistor family of $\operatorname{Spin}^{\operatorname{c}}$-Dirac Laplacians on the spaces of $L$-valued $(0, *)$-forms on $X$, noting that $L$ is holomorphic for only one complex structure in the twistor family. This establishes a geometric quantizat… ▽ More For a fixed prequantum line bundle $L$ over a hyperKähler manifold $X$, we find a natural $\operatorname{Sp}(1)$-action on $Ω^*(X, L)$ intertwining a twistor family of $\operatorname{Spin}^{\operatorname{c}}$-Dirac Laplacians on the spaces of $L$-valued $(0, *)$-forms on $X$, noting that $L$ is holomorphic for only one complex structure in the twistor family. This establishes a geometric quantization of $X$ via Gukov-Witten brane quantization and leads to a proposal of a mathematical definition of $\operatorname{Hom}(\overline{\mathcal{B}}_{\operatorname{cc}}, \mathcal{B}_{\operatorname{cc}})$ for the canonical coisotropic A-brane $\mathcal{B}_{\operatorname{cc}}$ on $X$ and its conjugate brane $\overline{\mathcal{B}}_{\operatorname{cc}}$. △ Less

Submitted 27 March, 2023; originally announced March 2023.

Comments: 19 pages

Geometric quantizations of mixed polarizations on Kähler manifolds with T-symmetry

Authors: Naichung Conan Leung, Dan Wang

Abstract: Let $M$ be a compact Kähler manifold equipped with a pre-quantum line bundle $L$. In [9], using $T$-symmetry, we constructed a polarization $\mathcal{P}_{\mathrm{mix}}$ on $M$, which generalizes real polarizations on toric manifolds. In this paper, we obtain the following results for the quantum space $\mathcal{H}_{\mathrm{mix}}$ associated to $\mathcal{P}_{\mathrm{mix}}$. First,… ▽ More Let $M$ be a compact Kähler manifold equipped with a pre-quantum line bundle $L$. In [9], using $T$-symmetry, we constructed a polarization $\mathcal{P}_{\mathrm{mix}}$ on $M$, which generalizes real polarizations on toric manifolds. In this paper, we obtain the following results for the quantum space $\mathcal{H}_{\mathrm{mix}}$ associated to $\mathcal{P}_{\mathrm{mix}}$. First, $\mathcal{H}_{\mathrm{mix}}$ consists of distributional sections of $L$ with supports inside $μ^{-1}(\mathfrak{t}^{*}_{\mathbb{Z}})$. This gives $\mathcal{H}_{\mathrm{mix}}=\bigoplus_{λ\in \mathfrak{t}^{*}_{\mathbb{Z}} } \mathcal{H}_{\mathrm{mix}, λ}$. Second, the above decomposition of $\mathcal{H}_{\mathrm{mix}}$ coincides with the weight decomposition for the $T$-symmetry. Third, an isomorphism $\mathcal{H}_{\mathrm{mix}, λ} \cong H^{0}( M//_λT, L//_λT)$, for regular $λ$. Namely, geometric quantization commutes with symplectic reduction. △ Less

Submitted 3 January, 2023; originally announced January 2023.

Comments: 24 pages. Comments are welcome!

Supercooled Droplet Icing and Self-Jum** on Micro/nanostructured Surfaces: Role of Vaporization Momentum

Authors: Samuel C. Y. Au, Xiao Yan, Sui Cheong Chan, Ying Lung Chan, Ngai Chun Leung, Wa Yat Wu, Dixon T. Sin, Guanlei Zhao, Casper H. Y. Chung, Mei Mei, Yinchuang Yang, Huihe Qiu, Shuhuai Yao

Abstract: Phase change under reduced environmental pressures is key to understanding liquid discharge and propulsion processes for aerospace applications. A representative case is the sessile water droplets exposed to high vacuum, which experience complex phase change and transport phenomena that behave so differently than that under the atmosphere. Here, we demonstrate a previously unexplored aspect of the… ▽ More Phase change under reduced environmental pressures is key to understanding liquid discharge and propulsion processes for aerospace applications. A representative case is the sessile water droplets exposed to high vacuum, which experience complex phase change and transport phenomena that behave so differently than that under the atmosphere. Here, we demonstrate a previously unexplored aspect of the mechanism governing icing droplet self-launching from superhydrophobic surfaces when exposed to low pressures (~100 Pa). In contrast to the previously reported recalescence-induced local overpressure underneath the droplet that propels icing droplet self-jum**, we show that the progressive recalescence over the free surface plays a significant role in droplet icing and jum**. The joint contribution of the top-down vaporization momentum and bottom-up local overpressure momentum leads to vaporization-compression-detaching dynamics of the freezing droplets. We delineate the jum** velocity of the icing droplet by analyzing droplet vaporization mediated by freezing and substrate structuring, and reveal jum** direction coupled with the spatially probabilistic ice nucleation. Our study provides new insights into phase change of supercooled droplets at extreme conditions seen in aerospace and vacuum industries. △ Less

Submitted 28 November, 2022; originally announced November 2022.

Comments: 21 pages, 5 figures

Geodesic rays in the space of Kähler metrics with $T$-symmetry

Authors: Naichung Conan Leung, Dan Wang

Abstract: Let $(M, ω, J)$ be a Kähler manifold, equipped with an effective Hamiltonian torus action $ρ: T \rightarrow \mathrm{Diff}(M, ω, J)$ by isometries with moment map $μ: M \rightarrow \mathfrak{t}^{*}$. We first construct a singular mixed polarization $\mathcal{P}_{\mathrm{mix}}$ on $M$. Second, we construct a one-parameter family of complex structures $J_{t}$ on $M$ which are compatible with $ω$. Fur… ▽ More Let $(M, ω, J)$ be a Kähler manifold, equipped with an effective Hamiltonian torus action $ρ: T \rightarrow \mathrm{Diff}(M, ω, J)$ by isometries with moment map $μ: M \rightarrow \mathfrak{t}^{*}$. We first construct a singular mixed polarization $\mathcal{P}_{\mathrm{mix}}$ on $M$. Second, we construct a one-parameter family of complex structures $J_{t}$ on $M$ which are compatible with $ω$. Furthermore, the path of corresponding Kähler metrics $g_{t}$ is a complete geodesic ray in the space of Kähler metrics of $M$, when $M$ is compact. Finally, we show that the corresponding family of Kähler polarizations $\mathcal{P}_{t}$ associated to $J_{t}$ converges to $\mathcal{P}_{\mathrm{mix}}$ as $t \rightarrow \infty$. △ Less

Submitted 25 May, 2024; v1 submitted 9 November, 2022; originally announced November 2022.

Comments: 24 pages, comments welcome! v2: Minor changes based on referee's suggestions. To appear in Adv. Math

ADE Bundles over Surfaces

Authors: Yunxia Chen, Naichung Conan Leung

Abstract: This is a review paper about ADE bundles over surfaces. Based on the deep connections between the geometry of surfaces and ADE Lie theory, we construct the corresponding ADE bundles over surfaces and study some related problems. This is a review paper about ADE bundles over surfaces. Based on the deep connections between the geometry of surfaces and ADE Lie theory, we construct the corresponding ADE bundles over surfaces and study some related problems. △ Less

Submitted 5 November, 2022; v1 submitted 17 October, 2022; originally announced October 2022.

Journal ref: SIGMA 18 (2022), 087, 21 pages

Quantizable functions on Kähler manifolds and non-formal quantization

Authors: Kwokwai Chan, Naichung Conan Leung, Qin Li

Abstract: Applying the Fedosov connections constructed in our previous work, we find a (dense) subsheaf of smooth functions on a Kähler manifold $X$ which admits a non-formal deformation quantization. When $X$ is prequantizable and the Fedosov connection satisfies an integrality condition, we prove that this subsheaf of functions can be quantized to a sheaf of twisted differential operators (TDO), which is… ▽ More Applying the Fedosov connections constructed in our previous work, we find a (dense) subsheaf of smooth functions on a Kähler manifold $X$ which admits a non-formal deformation quantization. When $X$ is prequantizable and the Fedosov connection satisfies an integrality condition, we prove that this subsheaf of functions can be quantized to a sheaf of twisted differential operators (TDO), which is isomorphic to that associated to the prequantum line bundle. We also show that examples of such quantizable functions are given by images of quantum moment maps. △ Less

Submitted 27 August, 2023; v1 submitted 4 October, 2022; originally announced October 2022.

Comments: 28 pages; v2: final version to appear in Adv. Math

Journal ref: Adv. Math. 433 (2023), 109293, 34 pp

Smoothing, scattering, and a conjecture of Fukaya

Authors: Kwokwai Chan, Naichung Conan Leung, Ziming Nikolas Ma

Abstract: In 2002, Fukaya proposed a remarkable explanation of mirror symmetry detailing the SYZ conjecture by introducing two correspondences: one between the theory of pseudo-holomorphic curves on a Calabi-Yau manifold $\check{X}$ and the multi-valued Morse theory on the base $\check{B}$ of an SYZ fibration $\check{p}: \check{X}\to \check{B}$, and the other between deformation theory of the mirror $X$ and… ▽ More In 2002, Fukaya proposed a remarkable explanation of mirror symmetry detailing the SYZ conjecture by introducing two correspondences: one between the theory of pseudo-holomorphic curves on a Calabi-Yau manifold $\check{X}$ and the multi-valued Morse theory on the base $\check{B}$ of an SYZ fibration $\check{p}: \check{X}\to \check{B}$, and the other between deformation theory of the mirror $X$ and the same multi-valued Morse theory on $\check{B}$. In this paper, we prove a reformulation of the main conjecture in Fukaya's second correspondence, where multi-valued Morse theory on the base $\check{B}$ is replaced by tropical geometry on the Legendre dual $B$. In the proof, we apply techniques of asymptotic analysis developed in our previous works to tropicalize the pre-dgBV algebra which governs smoothing of a maximally degenerate Calabi-Yau log variety introduced in another of our recent work. Then a comparison between this tropicalized algebra with the dgBV algebra associated to the deformation theory of the semi-flat part $X_{\text{sf}} \subseteq X$ allows us to extract consistent scattering diagrams from appropriate Maurer-Cartan solutions. △ Less

Submitted 16 November, 2022; v1 submitted 19 May, 2022; originally announced May 2022.

Comments: 49 pages, 3 figures; v3: minor changes. Comments welcome

Elliptic Hypertoric Varieties

Authors: Naichung Conan Leung, Xiao Zheng

Abstract: We introduce elliptic hypertoric varieties, which is an elliptic analogue of hypertoric varieties and multiplicative hypertoric varieties. We also prove an elliptic version of Hikita conjecture, which relates elliptic (resp. additive and mulitplicative) hypertoric varieties to the equivariant elliptic cohomology (resp. ordinary cohomology and K-theory) of their 3d mirror hypertoric varieties. We introduce elliptic hypertoric varieties, which is an elliptic analogue of hypertoric varieties and multiplicative hypertoric varieties. We also prove an elliptic version of Hikita conjecture, which relates elliptic (resp. additive and mulitplicative) hypertoric varieties to the equivariant elliptic cohomology (resp. ordinary cohomology and K-theory) of their 3d mirror hypertoric varieties. △ Less

Submitted 26 April, 2022; originally announced April 2022.

Comments: 24 pages, comments welcome!

MSC Class: 14J42

Quantum $K$-theory of $G/P$ and $K$-homology of affine Grassmannian

Authors: Chi Hong Chow, Naichung Conan Leung

Abstract: This paper is the $K$-theoretic analogue of a recent new proof, given by the first named author, of Peterson-Lam-Shimozono's theorem via Savelyev's generalization of Seidel representations. The outcome is a new proof of Lam-Li-Mihalcea-Shimozono's conjecture, including its extension to the parabolic case, which was first verified by Kato. This paper is the $K$-theoretic analogue of a recent new proof, given by the first named author, of Peterson-Lam-Shimozono's theorem via Savelyev's generalization of Seidel representations. The outcome is a new proof of Lam-Li-Mihalcea-Shimozono's conjecture, including its extension to the parabolic case, which was first verified by Kato. △ Less

Submitted 30 January, 2022; originally announced January 2022.

Comments: Due to an unresolved dispute, this paper will not be published in any journal

MSC Class: 14N15

Berezin-Toeplitz Quantization in Real Polarizations with Toric Singularities

Authors: NaiChung Conan Leung, YuTung Yau

Abstract: On a compact Kähler manifold $X$, Toeplitz operators determine a deformation quantization $(\operatorname{C}^\infty(X, \mathbb{C})[[\hbar]], \star)$ with separation of variables [10] with respect to transversal complex polarizations $T^{1, 0}X, T^{0, 1}X$ as $\hbar \to 0^+$ [15]. The analogous statement is proved for compact symplectic manifolds with transversal non-singular real polarizations [13… ▽ More On a compact Kähler manifold $X$, Toeplitz operators determine a deformation quantization $(\operatorname{C}^\infty(X, \mathbb{C})[[\hbar]], \star)$ with separation of variables [10] with respect to transversal complex polarizations $T^{1, 0}X, T^{0, 1}X$ as $\hbar \to 0^+$ [15]. The analogous statement is proved for compact symplectic manifolds with transversal non-singular real polarizations [13]. In this paper, we establish the analogous result for transversal singular real polarizations on compact toric symplectic manifolds $X$. Due to toric singularities, half-form correction and localization of our Toeplitz operators are essential. Via norm estimations, we show that these Toeplitz operators determine a star product on $X$ as $\hbar \to 0^+$. △ Less

Submitted 6 May, 2021; originally announced May 2021.

Comments: 16 pages

Deformation quantization via Toeplitz operators on geometric quantization in real polarizations

Authors: Naichung Conan Leung, Yutung Yau

Abstract: In this paper, we study quantization on a compact integral symplectic manifold $X$ with transversal real polarizations. In the case of complex polarizations, namely $X$ is Kähler equipped with transversal complex polarizations $T^{1, 0}X, T^{0, 1}X$, geometric quantization gives $H^0(X, L^{\otimes k})$'s. They are acted upon by $\mathcal{C}^\infty(X, \mathbb{C})$ via Toeplitz operators as… ▽ More In this paper, we study quantization on a compact integral symplectic manifold $X$ with transversal real polarizations. In the case of complex polarizations, namely $X$ is Kähler equipped with transversal complex polarizations $T^{1, 0}X, T^{0, 1}X$, geometric quantization gives $H^0(X, L^{\otimes k})$'s. They are acted upon by $\mathcal{C}^\infty(X, \mathbb{C})$ via Toeplitz operators as $\hbar = \tfrac{1}{k} \to 0^+$, determining a deformation quantization $(\mathcal{C}^\infty(X, \mathbb{C})[[\hbar]], \star)$ of $X$.\par We investigate the real analogue to these, comparing deformation quantization, geometric quantization and Berezin-Toeplitz quantization. The techniques used are different from the complex case as distributional sections supported on Bohr-Sommerfeld fibres are involved.\par By switching the roles of the two real polarizations, we obtain Fourier-type transforms for both deformation quantization and geometric quantization, and they are compatible asymptotically as $\hbar \to 0^+$. We also show that the asymptotic expansion of traces of Toeplitz operators realizes a trace map on deformation quantization. △ Less

Submitted 12 April, 2021; originally announced April 2021.

Comments: 20 pages

Applications of the theory of Floer to symmetric spaces

Authors: Hanwool Bae, Chi Hong Chow, Naichung Conan Leung

Abstract: We quantize the problem considered by Bott-Samelson who applied Morse theory to any compact symmetric space $G/K$ and the associated real flag manifold $G_{\mathbb{R}}/B$ which is a real locus of a complex partial flag variety $G_{\mathbb{C}}/P_σ$. We prove that the Pontryagin ring $H_{-*}(Ω(G/K))$ of the based loop space $Ω(G/K)$ is isomorphic to the Floer cohomology ring… ▽ More We quantize the problem considered by Bott-Samelson who applied Morse theory to any compact symmetric space $G/K$ and the associated real flag manifold $G_{\mathbb{R}}/B$ which is a real locus of a complex partial flag variety $G_{\mathbb{C}}/P_σ$. We prove that the Pontryagin ring $H_{-*}(Ω(G/K))$ of the based loop space $Ω(G/K)$ is isomorphic to the Floer cohomology ring $HF^*(G_{\mathbb{R}}/B,G_{\mathbb{R}}/B)$ after localization. When $G/K$ is a Lie group, this is a conjecture of Peterson, proved combinatorially by Lam-Shimozono, in the context of quantum cohomologies of complex flag varieties. Our approach is geometric in nature: we construct a Lagrangian correspondence from $T^*(G/K)$ to $G_{\mathbb{C}}/P_σ$ which geometrically composes with a cotangent fiber to $G_{\mathbb{R}}/B$, and compute the linear part of the associated Ma'u-Wehrheim-Woodward's $A_{\infty}$ homomorphism from a Floer model of $Ω(G/K)$ to $CF^*(G_{\mathbb{R}}/B,G_{\mathbb{R}}/B)$. The crux is to make use of the geometry of $G/K$ to construct specific perturbation data which enables us to reduce the computations to the case when $G/K$ is a torus. △ Less

Submitted 16 July, 2021; v1 submitted 27 February, 2021; originally announced March 2021.

Comments: Combined with arXiv:2102.03103, 36 pages, Comments welcome

MSC Class: 57R58; 57T15

Peterson conjecture via Lagrangian correspondences and wonderful compactifications

Authors: Hanwool Bae, Naichung Conan Leung

Abstract: For a simply-connected compact semisimple Lie group $G$ and its maximal torus $T$, we study the $A_{\infty}$-functor associated to the moment Lagrangian correspondence from the cotangent bundle $T^*G$ to the square $G/T^{-} \times G/T$. In particular, we compute the leading term of the $A_{\infty}$-homomorphism from the wrapped Floer cohomology $HW^*(T^*_e G, T^*_e G)$ of the cotangent fiber… ▽ More For a simply-connected compact semisimple Lie group $G$ and its maximal torus $T$, we study the $A_{\infty}$-functor associated to the moment Lagrangian correspondence from the cotangent bundle $T^*G$ to the square $G/T^{-} \times G/T$. In particular, we compute the leading term of the $A_{\infty}$-homomorphism from the wrapped Floer cohomology $HW^*(T^*_e G, T^*_e G)$ of the cotangent fiber $T_e^*G$ to the Floer cohomology $HF^*(Δ, Δ)$ of the diagonal $Δ$ in the square $G/T^{-} \times G/T$ by determining the count of certain pseudo-holomorphic quilts. As a consequence, we prove that the Floer cohomologies $HW^*(T^*_e G, T^*_e G)$ and $HF^*(Δ,Δ)$ are isomorphic as rings after a localization. △ Less

Submitted 27 July, 2021; v1 submitted 5 February, 2021; originally announced February 2021.

Comments: Combined with arXiv:2103.00382v2

MSC Class: 53Dxx; 57R58; 53D45

Multimode photon blockade

Authors: Srivatsan Chakram, Kevin He, Akash V. Dixit, Andrew E. Oriani, Ravi K. Naik, Nelson Leung, Hyeokshin Kwon, Wen-Long Ma, Liang Jiang, David I. Schuster

Abstract: Interactions are essential for the creation of correlated quantum many-body states. While two-body interactions underlie most natural phenomena, three- and four-body interactions are important for the physics of nuclei [1], exotic few-body states in ultracold quantum gases [2], the fractional quantum Hall effect [3], quantum error correction [4], and holography [5, 6]. Recently, a number of artifi… ▽ More Interactions are essential for the creation of correlated quantum many-body states. While two-body interactions underlie most natural phenomena, three- and four-body interactions are important for the physics of nuclei [1], exotic few-body states in ultracold quantum gases [2], the fractional quantum Hall effect [3], quantum error correction [4], and holography [5, 6]. Recently, a number of artificial quantum systems have emerged as simulators for many-body physics, featuring the ability to engineer strong interactions. However, the interactions in these systems have largely been limited to the two-body paradigm, and require building up multi-body interactions by combining two-body forces. Here, we demonstrate a pure N-body interaction between microwave photons stored in an arbitrary number of electromagnetic modes of a multimode cavity. The system is dressed such that there is collectively no interaction until a target total photon number is reached across multiple distinct modes, at which point they interact strongly. The microwave cavity features 9 modes with photon lifetimes of $\sim 2$ ms coupled to a superconducting transmon circuit, forming a multimode circuit QED system with single photon cooperativities of $\sim10^9$. We generate multimode interactions by using cavity photon number resolved drives on the transmon circuit to blockade any multiphoton state with a chosen total photon number distributed across the target modes. We harness the interaction for state preparation, preparing Fock states of increasing photon number via quantum optimal control pulses acting only on the cavity modes. We demonstrate multimode interactions by generating entanglement purely with uniform cavity drives and multimode photon blockade, and characterize the resulting two- and three-mode W states using a new protocol for multimode Wigner tomography. △ Less

Submitted 28 October, 2020; originally announced October 2020.

Comments: 5 pages of main text with 5 figures. 11 pages of supplementary information with 10 figures

Geometric quantization and quantum moment maps on coadjoint orbits and Kähler-Einstein manifolds

Authors: Naichung Conan Leung, Qin Li, Ziming Nikolas Ma

Abstract: Deformation quantization and geometric quantization on Kähler manifolds give the mathematical description of the algebra of quantum observables and the Hilbert spaces respectively, where the later forms a representation of quantum observables asymptotically via Toeplitz operators. When there is a Hamiltonian $G$-action on a Kähler manifold, there are associated symmetries on both the quantum algeb… ▽ More Deformation quantization and geometric quantization on Kähler manifolds give the mathematical description of the algebra of quantum observables and the Hilbert spaces respectively, where the later forms a representation of quantum observables asymptotically via Toeplitz operators. When there is a Hamiltonian $G$-action on a Kähler manifold, there are associated symmetries on both the quantum algebra and representation aspects. We show that in nice cases of coadjoint orbits and Kähler-Einstein manifolds, these symmetries are strictly compatible (not only asymptotically). △ Less

Submitted 27 October, 2020; originally announced October 2020.

Comments: 9 pages, comments are welcome

Sharp Hardy inequalities via Riemannian submanifolds

Authors: Yunxia Chen, Naichung Conan Leung, Wei Zhao

Abstract: This paper is devoted to Hardy inequalities concerning distance functions from submanifolds of arbitrary codimensions in the Riemannian setting. On a Riemannian manifold with non-negative curvature, we establish several sharp weighted Hardy inequalities in the cases when the submanifold is compact as well as non-compact. In particular, these inequalities remain valid even if the ambient manifold i… ▽ More This paper is devoted to Hardy inequalities concerning distance functions from submanifolds of arbitrary codimensions in the Riemannian setting. On a Riemannian manifold with non-negative curvature, we establish several sharp weighted Hardy inequalities in the cases when the submanifold is compact as well as non-compact. In particular, these inequalities remain valid even if the ambient manifold is compact, in which case we find an optimal space of smooth functions to study Hardy inequalities. Further examples are also provided. Our results complement in several aspects those obtained recently in the Euclidean and Riemannian settings. △ Less

Submitted 11 January, 2021; v1 submitted 20 September, 2020; originally announced September 2020.

Quantization of Kähler manifolds

Authors: Kwokwai Chan, Naichung Conan Leung, Qin Li

Abstract: This is a survey on our recent works which reveal new relationships among deformation quantization, geometric quantization, Berezin-Toeplitz quantization and BV quantization on Kähler manifolds. This is a survey on our recent works which reveal new relationships among deformation quantization, geometric quantization, Berezin-Toeplitz quantization and BV quantization on Kähler manifolds. △ Less

Submitted 31 May, 2021; v1 submitted 7 September, 2020; originally announced September 2020.

Comments: 21 pages; v2: final version. arXiv admin note: text overlap with arXiv:2008.11496

Journal ref: J. Geom. Phys. 163 (2021), 104143, 13 pp

Bargmann-Fock sheaves on Kähler manifolds

Authors: Kwokwai Chan, Naichung Conan Leung, Qin Li

Abstract: Fedosov used flat sections of the Weyl bundle on a symplectic manifold to construct a star product $\star$ which gives rise to a deformation quantization. By extending Fedosov's method, we give an explicit, analytic construction of a sheaf of Bargmann-Fock modules over the Weyl bundle of a Kähler manifold $X$ equipped with a compatible Fedosov abelian connection, and show that the sheaf of flat se… ▽ More Fedosov used flat sections of the Weyl bundle on a symplectic manifold to construct a star product $\star$ which gives rise to a deformation quantization. By extending Fedosov's method, we give an explicit, analytic construction of a sheaf of Bargmann-Fock modules over the Weyl bundle of a Kähler manifold $X$ equipped with a compatible Fedosov abelian connection, and show that the sheaf of flat sections forms a module sheaf over the sheaf of deformation quantization algebras defined $(C^\infty_X[[\hbar]], \star)$. This sheaf can be viewed as the $\hbar$-expansion of $L^{\otimes k}$ as $k \to \infty$, where $L$ is a prequantum line bundle on $X$ and $\hbar = 1/k$. △ Less

Submitted 2 December, 2021; v1 submitted 26 August, 2020; originally announced August 2020.

Comments: 27 pages; v2: published version

Journal ref: Comm. Math. Phys. 388 (2021), no. 3, 1297-1322

Kapranov's $L_\infty$ structures, Fedosov's star products, and one-loop exact BV quantizations on Kähler manifolds

Authors: Kwokwai Chan, Naichung Conan Leung, Qin Li

Abstract: We study quantization schemes on a Kähler manifold and relate several interesting structures. We first construct Fedosov's star products on a Kähler manifold $X$ as quantizations of Kapranov's $L_\infty$-algebra structure. Then we investigate the Batalin-Vilkovisky (BV) quantizations associated to these star products. A remarkable feature is that they are all one-loop exact, meaning that the Feynm… ▽ More We study quantization schemes on a Kähler manifold and relate several interesting structures. We first construct Fedosov's star products on a Kähler manifold $X$ as quantizations of Kapranov's $L_\infty$-algebra structure. Then we investigate the Batalin-Vilkovisky (BV) quantizations associated to these star products. A remarkable feature is that they are all one-loop exact, meaning that the Feynman weights associated to graphs with two or more loops all vanish. This leads to a succinct cochain level formula in de Rham cohomology for the algebraic index. △ Less

Submitted 29 April, 2022; v1 submitted 16 August, 2020; originally announced August 2020.

Comments: 42 pages; v2, published version

Journal ref: Commun. Number Theory Phys. 16 (2022), no. 2, 299-351

Cyclic group actions on Fukaya categories and mirror symmetry

Authors: Chi Hong Chow, Naichung Conan Leung

Abstract: Let $(X,ω)$ be a compact symplectic manifold whose first Chern class $c_1(X)$ is divisible by a positive integer $n$. We construct a $\mathbb{Z}_{2n}$-action on its Fukaya category $Fuk(X)$ and a $\mathbb{Z}_n$-action on the local models of its moduli of Lagrangian branes. We show that this action is compatible with the gluing functions for different local models. Let $(X,ω)$ be a compact symplectic manifold whose first Chern class $c_1(X)$ is divisible by a positive integer $n$. We construct a $\mathbb{Z}_{2n}$-action on its Fukaya category $Fuk(X)$ and a $\mathbb{Z}_n$-action on the local models of its moduli of Lagrangian branes. We show that this action is compatible with the gluing functions for different local models. △ Less

Submitted 21 June, 2020; v1 submitted 21 April, 2020; originally announced April 2020.

Comments: The construction of the action on Fukaya category is significantly simplified. A new section about the compatibility of the action on local mirrors with gluing functions is added. Comments are welcome

MSC Class: 53D37 (primary); 53D12 (secondary)

A geometric construction of representations of the Berezin-Toeplitz quantization

Authors: Kwokwai Chan, Naichung Conan Leung, Qin Li

Abstract: For a Kähler manifold $X$ equipped with a prequantum line bundle $L$, we give a geometric construction of a family of representations of the Berezin-Toeplitz deformation quantization algebra $(C^\infty(X)[[\hbar]],\star_{BT})$ parametrized by points $z_0 \in X$. The key idea is to use peak sections to suitably localize the Hilbert spaces $H^{0}\left(X,L^{\otimes m}\right)$ around $z_{0}$ in the la… ▽ More For a Kähler manifold $X$ equipped with a prequantum line bundle $L$, we give a geometric construction of a family of representations of the Berezin-Toeplitz deformation quantization algebra $(C^\infty(X)[[\hbar]],\star_{BT})$ parametrized by points $z_0 \in X$. The key idea is to use peak sections to suitably localize the Hilbert spaces $H^{0}\left(X,L^{\otimes m}\right)$ around $z_{0}$ in the large volume limit. △ Less

Submitted 24 October, 2022; v1 submitted 29 January, 2020; originally announced January 2020.

Comments: 28 pages, 1 figure; v3: published version

MSC Class: 53D50; 53D55

Journal ref: Adv. Theor. Math. Phys. 26 (2022), no. 1, 1-36

DK Conjecture for Some $K$-inequivalences from Grassmannians

Authors: Naichung Conan Leung, Ying Xie

Abstract: The DK conjecture of Bondal-Orlov and Kawamata states that there should be an embedding of bounded derived categories for any $K$-inequivalence, which is proved to be true for the toroidal case. In this paper, we construct examples of non-toroidal $K$-inequivalences from Grassmannians inspired by Kuznetsov, Kanemitsu, Ueda, and Morimura, and we show that these $K$-inequivalences satisfy the DK con… ▽ More The DK conjecture of Bondal-Orlov and Kawamata states that there should be an embedding of bounded derived categories for any $K$-inequivalence, which is proved to be true for the toroidal case. In this paper, we construct examples of non-toroidal $K$-inequivalences from Grassmannians inspired by Kuznetsov, Kanemitsu, Ueda, and Morimura, and we show that these $K$-inequivalences satisfy the DK conjecture. △ Less

Submitted 20 September, 2023; v1 submitted 18 November, 2019; originally announced November 2019.

Comments: All comments are wellcome!

Partial Compilation of Variational Algorithms for Noisy Intermediate-Scale Quantum Machines

Authors: Pranav Gokhale, Yongshan Ding, Thomas Propson, Christopher Winkler, Nelson Leung, Yunong Shi, David I. Schuster, Henry Hoffmann, Frederic T. Chong

Abstract: Quantum computing is on the cusp of reality with Noisy Intermediate-Scale Quantum (NISQ) machines currently under development and testing. Some of the most promising algorithms for these machines are variational algorithms that employ classical optimization coupled with quantum hardware to evaluate the quality of each candidate solution. Recent work used GRadient Descent Pulse Engineering (GRAPE)… ▽ More Quantum computing is on the cusp of reality with Noisy Intermediate-Scale Quantum (NISQ) machines currently under development and testing. Some of the most promising algorithms for these machines are variational algorithms that employ classical optimization coupled with quantum hardware to evaluate the quality of each candidate solution. Recent work used GRadient Descent Pulse Engineering (GRAPE) to translate quantum programs into highly optimized machine control pulses, resulting in a significant reduction in the execution time of programs. This is critical, as quantum machines can barely support the execution of short programs before failing. However, GRAPE suffers from high compilation latency, which is untenable in variational algorithms since compilation is interleaved with computation. We propose two strategies for partial compilation, exploiting the structure of variational circuits to pre-compile optimal pulses for specific blocks of gates. Our results indicate significant pulse speedups ranging from 1.5x-3x in typical benchmarks, with only a small fraction of the compilation latency of GRAPE. △ Less

Submitted 16 September, 2019; originally announced September 2019.

Comments: Appearing in the 52nd Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-52), October 12-16, 2019, Columbus, OH, USA

Geometry of the Maurer-Cartan equation near degenerate Calabi-Yau varieties

Authors: Kwokwai Chan, Naichung Conan Leung, Ziming Nikolas Ma

Abstract: Given a degenerate Calabi-Yau variety $X$ equipped with local deformation data, we construct an almost differential graded Batalin-Vilkovisky (dgBV) algebra $PV^{*,*}(X)$, producing a singular version of the extended Kodaira-Spencer differential graded Lie algebra (dgLa) in the Calabi-Yau setting. Assuming Hodge-to-de Rham degeneracy and a local condition that guarantees freeness of the Hodge bund… ▽ More Given a degenerate Calabi-Yau variety $X$ equipped with local deformation data, we construct an almost differential graded Batalin-Vilkovisky (dgBV) algebra $PV^{*,*}(X)$, producing a singular version of the extended Kodaira-Spencer differential graded Lie algebra (dgLa) in the Calabi-Yau setting. Assuming Hodge-to-de Rham degeneracy and a local condition that guarantees freeness of the Hodge bundle, we prove a Bogomolov-Tian-Todorov--type unobstructedness theorem for smoothing of singular Calabi-Yau varieties. In particular, this provides a unified proof for the existence of smoothing of both $d$-semistable log smooth Calabi-Yau varieties (as studied by Friedman and Kawamata-Namikawa and maximally degenerate Calabi-Yau varieties (as studied by Kontsevich-Soibelman and Gross-Siebert). We also demonstrate how our construction yields a logarithmic Frobenius manifold structure on a formal neighborhood of $X$ in the extended moduli space by applying the technique of Barannikov-Kontsevich. △ Less

Submitted 15 July, 2021; v1 submitted 28 February, 2019; originally announced February 2019.

Comments: 64 pages; v5: final version to appear in JDG

Journal ref: J. Differential Geom. 125 (2023), no. 1, 1-84

A Note on Disk Counting in Toric Orbifolds

Authors: Kwokwai Chan, Cheol-Hyun Cho, Siu-Cheong Lau, Naichung Conan Leung, Hsian-Hua Tseng

Abstract: We compute orbi-disk invariants of compact Gorenstein semi-Fano toric orbifolds by extending the method used for toric Calabi-Yau orbifolds. As a consequence the orbi-disc potential is analytic over complex numbers. We compute orbi-disk invariants of compact Gorenstein semi-Fano toric orbifolds by extending the method used for toric Calabi-Yau orbifolds. As a consequence the orbi-disc potential is analytic over complex numbers. △ Less

Submitted 17 June, 2020; v1 submitted 13 February, 2019; originally announced February 2019.

Comments: arXiv admin note: text overlap with arXiv:1306.0437

Journal ref: SIGMA 16 (2020), 055, 15 pages

Refined scattering diagrams and theta functions from asymptotic analysis of Maurer-Cartan equations

Authors: Naichung Conan Leung, Ziming Nikolas Ma, Matthew B. Young

Abstract: We further develop the asymptotic analytic approach to the study of scattering diagrams. We do so by analyzing the asymptotic behavior of Maurer-Cartan elements of a differential graded Lie algebra constructed from a (not-necessarily tropical) monoid-graded Lie algebra. In this framework, we give alternative differential geometric proofs of the consistent completion of scattering diagrams, origina… ▽ More We further develop the asymptotic analytic approach to the study of scattering diagrams. We do so by analyzing the asymptotic behavior of Maurer-Cartan elements of a differential graded Lie algebra constructed from a (not-necessarily tropical) monoid-graded Lie algebra. In this framework, we give alternative differential geometric proofs of the consistent completion of scattering diagrams, originally proved by Kontsevich-Soibelman, Gross-Siebert and Bridgeland. We also give a geometric interpretation of theta functions and their wall-crossing. In the tropical setting, we interpret Maurer-Cartan elements, and therefore consistent scattering diagrams, in terms of the refined counting of tropical disks. We also describe theta functions, in both their tropical and Hall algebraic settings, in terms of flat sections of the Maurer-Cartan-deformed differential. In particular, this allows us to give a combinatorial description of Hall algebra theta functions for acyclic quivers with non-degenerate skew-symmetrized Euler forms. △ Less

Submitted 27 March, 2019; v1 submitted 15 February, 2019; originally announced February 2019.

Comments: 31 pages, 4 figures; comments are welcome

Optimized Compilation of Aggregated Instructions for Realistic Quantum Computers

Authors: Yunong Shi, Nelson Leung, Pranav Gokhale, Zane Rossi, David I. Schuster, Henry Hoffman, Fred T. Chong

Abstract: Recent developments in engineering and algorithms have made real-world applications in quantum computing possible in the near future. Existing quantum programming languages and compilers use a quantum assembly language composed of 1- and 2-qubit (quantum bit) gates. Quantum compiler frameworks translate this quantum assembly to electric signals (called control pulses) that implement the specified… ▽ More Recent developments in engineering and algorithms have made real-world applications in quantum computing possible in the near future. Existing quantum programming languages and compilers use a quantum assembly language composed of 1- and 2-qubit (quantum bit) gates. Quantum compiler frameworks translate this quantum assembly to electric signals (called control pulses) that implement the specified computation on specific physical devices. However, there is a mismatch between the operations defined by the 1- and 2-qubit logical ISA and their underlying physical implementation, so the current practice of directly translating logical instructions into control pulses results in inefficient, high-latency programs. To address this inefficiency, we propose a universal quantum compilation methodology that aggregates multiple logical operations into larger units that manipulate up to 10 qubits at a time. Our methodology then optimizes these aggregates by (1) finding commutative intermediate operations that result in more efficient schedules and (2) creating custom control pulses optimized for the aggregate (instead of individual 1- and 2-qubit operations). Compared to the standard gate-based compilation, the proposed approach realizes a deeper vertical integration of high-level quantum software and low-level, physical quantum hardware. We evaluate our approach on important near-term quantum applications on simulations of superconducting quantum architectures. Our proposed approach provides a mean speedup of $5\times$, with a maximum of $10\times$. Because latency directly affects the feasibility of quantum computation, our results not only improve performance but also have the potential to enable quantum computation sooner than otherwise possible. △ Less

Submitted 17 February, 2019; v1 submitted 4 February, 2019; originally announced February 2019.

Comments: 13 pages, to apper in ASPLOS

Derived category of projectivizations and flops

Authors: Qingyuan Jiang, Naichung Conan Leung

Abstract: In this paper, we prove a generalization of Orlov's projectivization formula for the derived category $D^b_{\rm coh} (\mathbb{P}(\mathscr{E}))$, where $\mathscr{E}$ does not need to be a vector bundle; Instead, $\mathscr{E}$ is a coherent sheaf which locally admits two-step resolutions. As a special case, this also gives Orlov's generalized universal hyperplane section formula. As applications, (i… ▽ More In this paper, we prove a generalization of Orlov's projectivization formula for the derived category $D^b_{\rm coh} (\mathbb{P}(\mathscr{E}))$, where $\mathscr{E}$ does not need to be a vector bundle; Instead, $\mathscr{E}$ is a coherent sheaf which locally admits two-step resolutions. As a special case, this also gives Orlov's generalized universal hyperplane section formula. As applications, (i) we obtain a blowup formula for blowup along codimension two Cohen-Macaulay subschemes, (ii) we obtain new "flop-flop=twist" results for a large class of flops obtained by crepant resolutions of degeneracy loci. As another consequence, this gives a perverse Schober on C. (iii) we give applications of the above results to symmetric powers of curves and $Θ$-flops, following Toda. △ Less

Submitted 16 December, 2021; v1 submitted 29 November, 2018; originally announced November 2018.

Comments: 40 pages, 1 figure. Many grammatical problems fixed, and references updated

Pseudotoric structures and special Lagrangian torus fibrations on certain flag varieties

Authors: Kwokwai Chan, Naichung Conan Leung, Changzheng Li

Abstract: We construct pseudotoric structures (à la Tyurin) on the two-step flag variety $F\ell_{1, n-1; n}$, and explain a general relation between pseudotoric structures and special Lagrangian torus fibrations, the latter of which are important in the study of SYZ mirror symmetry. As an application, we speculate how our constructions can explain the number of terms in the superpotential of Rietsch's Landa… ▽ More We construct pseudotoric structures (à la Tyurin) on the two-step flag variety $F\ell_{1, n-1; n}$, and explain a general relation between pseudotoric structures and special Lagrangian torus fibrations, the latter of which are important in the study of SYZ mirror symmetry. As an application, we speculate how our constructions can explain the number of terms in the superpotential of Rietsch's Landau-Ginzburg mirror. △ Less

Submitted 15 August, 2019; v1 submitted 24 November, 2018; originally announced November 2018.

Comments: 21 pages; v2: minor corrections and references added

Journal ref: J. Geom. Phys. 146 (2019), 103489, 16 pp

Categorical duality between joins and intersections

Authors: Qingyuan Jiang, Naichung Conan Leung

Abstract: Classically, the projective duality between joins of varieties and the intersections of varieties only holds in good cases. In this paper, we show that categorically, the duality between joins and intersections holds in the framework of homological projective duality (HPD) [K07], as long as the intersections have expected dimensions. This result together with its various applications provide furth… ▽ More Classically, the projective duality between joins of varieties and the intersections of varieties only holds in good cases. In this paper, we show that categorically, the duality between joins and intersections holds in the framework of homological projective duality (HPD) [K07], as long as the intersections have expected dimensions. This result together with its various applications provide further evidences for the proposal of homological projective geometry of Kuznetsov and Perry [KP18]. When the varieties are inside disjoint linear subspaces, our approach also provides a new proof of the main result "formation of categorical joins commutes with HPD" of [KP18]. We also introduce the concept of an $n$-HPD category, and study its properties and connections with joins and HPDs. △ Less

Submitted 13 November, 2018; originally announced November 2018.

Comments: 41 pages. Comments are welcome!

Blowing up linear categories, refinements, and homological projective duality with base locus

Authors: Qingyuan Jiang, Naichung Conan Leung

Abstract: In this paper, we first introduce geometric operations for linear categories, and as a consequence generalize Orlov's blow up formula [O04] to possibly singular local complete intersection centres. Second, we introduce refined blowing up of linear category along base--locus, and show that this operation is dual to taking linear section. Finally, as an application we produce examples of Calabi--Yau… ▽ More In this paper, we first introduce geometric operations for linear categories, and as a consequence generalize Orlov's blow up formula [O04] to possibly singular local complete intersection centres. Second, we introduce refined blowing up of linear category along base--locus, and show that this operation is dual to taking linear section. Finally, as an application we produce examples of Calabi--Yau manifolds which admits Calabi--Yau categories fibrations over projective spaces. △ Less

Submitted 22 September, 2019; v1 submitted 13 November, 2018; originally announced November 2018.

Comments: 41 pages. Comments are welcome! v2: applications to CY fibrations added

Embeddings from noncompact symmetric spaces to their compact duals

Authors: Yunxia Chen, Yongdong Huang, Naichung Conan Leung

Abstract: Every compact symmetric space $M$ admits a dual noncompact symmetric space $\check{M}$. When $M$ is a generalized Grassmannian, we can view $\check{M}$ as a open submanifold of it consisting of space-like subspaces \cite{HL}. Motivated from this, we study the embeddings from noncompact symmetric spaces to their compact duals, including space-like embedding for generalized Grassmannians, Borel embe… ▽ More Every compact symmetric space $M$ admits a dual noncompact symmetric space $\check{M}$. When $M$ is a generalized Grassmannian, we can view $\check{M}$ as a open submanifold of it consisting of space-like subspaces \cite{HL}. Motivated from this, we study the embeddings from noncompact symmetric spaces to their compact duals, including space-like embedding for generalized Grassmannians, Borel embedding for Hermitian symmetric spaces and the generalized embedding for symmetric R-spaces. We will compare these embeddings and describe their images using cut loci. △ Less

Submitted 7 November, 2018; originally announced November 2018.

$ADE$ bundles over $ADE$ singular surfaces and flag varieties of $ADE$ type

Authors: Yunxia Chen, Naichung Conan Leung

Abstract: Based on the Brieskorn-Slodowy-Grothendieck diagram, we write the holomorphic structures (or filtrations) of the ADE Lie algebra bundles over the corresponding type ADE flag varieties, over the cotangent bundles of these flag varieties, and over the corresponding type $ADE$ singular surfaces. The main tool is the cohomology of line bundles over flag varieties and their cotangent bundles. Based on the Brieskorn-Slodowy-Grothendieck diagram, we write the holomorphic structures (or filtrations) of the ADE Lie algebra bundles over the corresponding type ADE flag varieties, over the cotangent bundles of these flag varieties, and over the corresponding type $ADE$ singular surfaces. The main tool is the cohomology of line bundles over flag varieties and their cotangent bundles. △ Less

Submitted 7 November, 2018; originally announced November 2018.

Equivariant deformation quantization and coadjoint orbit method

Authors: Naichung Conan Leung, Shilin Yu

Abstract: The purpose of this paper is to apply deformation quantization to the study of the coadjoint orbit method in the case of real reductive groups. We first prove some general results on the existence of equivariant deformation quantization of vector bundles on closed Lagrangian subvarieties, which lie in smooth symplectic varieties with Hamiltonian group actions. Then we apply them to orbit method an… ▽ More The purpose of this paper is to apply deformation quantization to the study of the coadjoint orbit method in the case of real reductive groups. We first prove some general results on the existence of equivariant deformation quantization of vector bundles on closed Lagrangian subvarieties, which lie in smooth symplectic varieties with Hamiltonian group actions. Then we apply them to orbit method and construct nontrivial irreducible Harish-Chandra modules for certain coadjoint orbits. Our examples include new geometric construction of representations associated to certain orbits of real exceptional Lie groups. △ Less

Submitted 24 September, 2018; originally announced September 2018.

Comments: Comments are welcome

MSC Class: 22E46; 53D55

A Dissipatively Stabilized Mott Insulator of Photons

Authors: Ruichao Ma, Brendan Saxberg, Clai Owens, Nelson Leung, Yao Lu, Jonathan Simon, David I. Schuster

Abstract: Superconducting circuits are a competitive platform for quantum computation because they offer controllability, long coherence times and strong interactions - properties that are essential for the study of quantum materials comprising microwave photons. However, intrinsic photon losses in these circuits hinder the realization of quantum many-body phases. Here we use superconducting circuits to exp… ▽ More Superconducting circuits are a competitive platform for quantum computation because they offer controllability, long coherence times and strong interactions - properties that are essential for the study of quantum materials comprising microwave photons. However, intrinsic photon losses in these circuits hinder the realization of quantum many-body phases. Here we use superconducting circuits to explore strongly correlated quantum matter by building a Bose-Hubbard lattice for photons in the strongly interacting regime. We develop a versatile method for dissipative preparation of incompressible many-body phases through reservoir engineering and apply it to our system to stabilize a Mott insulator of photons against losses. Site- and time-resolved readout of the lattice allows us to investigate the microscopic details of the thermalization process through the dynamics of defect propagation and removal in the Mott phase. Our experiments demonstrate the power of superconducting circuits for studying strongly correlated matter in both coherent and engineered dissipative settings. In conjunction with recently demonstrated superconducting microwave Chern insulators, we expect that our approach will enable the exploration of topologically ordered phases of matter. △ Less

Submitted 3 August, 2019; v1 submitted 30 July, 2018; originally announced July 2018.

Comments: Maintext 10 pages, 5 figures; Supplementary Information with 12 figures and 3 tables. Very similar to the published version

Journal ref: Nature 566, 51-57 (2019)

Scattering diagrams from asymptotic analysis on Maurer-Cartan equations

Authors: Kwokwai Chan, Naichung Conan Leung, Ziming Nikolas Ma

Abstract: Let $\check{X}_0$ be a semi-flat Calabi-Yau manifold equipped with a Lagrangian torus fibration $\check{p}:\check{X}_0 \rightarrow B_0$. We investigate the asymptotic behavior of Maurer-Cartan solutions of the Kodaira-Spencer deformation theory on $\check{X}_0$ by expanding them into Fourier series along fibres of $\check{p}$ over a contractible open subset $U\subset B_0$, following a program set… ▽ More Let $\check{X}_0$ be a semi-flat Calabi-Yau manifold equipped with a Lagrangian torus fibration $\check{p}:\check{X}_0 \rightarrow B_0$. We investigate the asymptotic behavior of Maurer-Cartan solutions of the Kodaira-Spencer deformation theory on $\check{X}_0$ by expanding them into Fourier series along fibres of $\check{p}$ over a contractible open subset $U\subset B_0$, following a program set forth by Fukaya in 2005. We prove that semi-classical limits (i.e. leading order terms in asymptotic expansions) of the Fourier modes of a specific class of Maurer-Cartan solutions naturally give rise to consistent scattering diagrams, which are tropical combinatorial objects that have played a crucial role in works of Kontsevich-Soibelman and Gross-Siebert on the reconstruction problem in mirror symmetry. △ Less

Submitted 7 January, 2019; v1 submitted 21 July, 2018; originally announced July 2018.

Comments: 54 pages, 17 figures; v2: significantly shortened because the preliminary materials (Sections 2 and 3) have been made much more concise (see the survey article arXiv:1811.09042 for more background) and Section 6, the main result of which basically follows directly from previous sections, has been removed (and will be appear elsewhere); all the main results and their proofs remain unchanged

Journal ref: J. Eur. Math. Soc. (JEMS) 24 (2022), no. 3, 773-849

Deterministic Bidirectional Communication and Remote Entanglement Generation Between Superconducting Quantum Processors

Authors: N. Leung, Y. Lu, S. Chakram, R. K. Naik, N. Earnest, R. Ma, K. Jacobs, A. N. Cleland, D. I. Schuster

Abstract: We propose and experimentally demonstrate a simple and efficient scheme for photonic communication between two remote superconducting modules. Each module consists of a random access quantum information processor with eight-qubit multimode memory and a single flux tunable transmon. The two processor chips are connected through a one-meter long coaxial cable that is coupled to a dedicated "communi… ▽ More We propose and experimentally demonstrate a simple and efficient scheme for photonic communication between two remote superconducting modules. Each module consists of a random access quantum information processor with eight-qubit multimode memory and a single flux tunable transmon. The two processor chips are connected through a one-meter long coaxial cable that is coupled to a dedicated "communication" resonator on each chip. The two communication resonators hybridize with a mode of the cable to form a dark "communication mode" that is highly immune to decay in the coaxial cable. We modulate the transmon frequency via a parametric drive to generate sideband interactions between the transmon and the communication mode. We demonstrate bidirectional single-photon transfer with a success probability exceeding 60 %, and generate an entangled Bell pair with a fidelity of 79.3 $\pm$ 0.3 %. △ Less

Submitted 5 April, 2018; originally announced April 2018.

Shoulder Physiotherapy Exercise Recognition: Machine Learning the Inertial Signals from a Smartwatch

Authors: David Burns, Nathan Leung, Michael Hardisty, Cari Whyne, Patrick Henry, Stewart McLachlin

Abstract: Objective: Participation in a physical therapy program is considered one of the greatest predictors of successful conservative management of common shoulder disorders. However, adherence to these protocols is often poor and typically worse for unsupervised home exercise programs. Currently, there are limited tools available for objective measurement of adherence in the home setting. The goal of th… ▽ More Objective: Participation in a physical therapy program is considered one of the greatest predictors of successful conservative management of common shoulder disorders. However, adherence to these protocols is often poor and typically worse for unsupervised home exercise programs. Currently, there are limited tools available for objective measurement of adherence in the home setting. The goal of this study was to develop and evaluate the potential for performing home shoulder physiotherapy monitoring using a commercial smartwatch. Approach: Twenty healthy adult subjects with no prior shoulder disorders performed seven exercises from an evidence-based rotator cuff physiotherapy protocol, while 6-axis inertial sensor data was collected from the active extremity. Within an activity recognition chain (ARC) framework, four supervised learning algorithms were trained and optimized to classify the exercises: k-nearest neighbor (k-NN), random forest (RF), support vector machine classifier (SVC), and a convolutional recurrent neural network (CRNN). Algorithm performance was evaluated using 5-fold cross-validation stratified first temporally and then by subject. Main Results: Categorical classification accuracy was above 94% for all algorithms on the temporally stratified cross validation, with the best performance achieved by the CRNN algorithm (99.4%). The subject stratified cross validation, which evaluated classifier performance on unseen subjects, yielded lower accuracies scores again with CRNN performing best (88.9%). Significance: This proof of concept study demonstrates the technical feasibility of a smartwatch device and supervised machine learning approach to more easily monitor and assess the at-home adherence of shoulder physiotherapy exercise protocols. △ Less

Submitted 28 February, 2018; v1 submitted 5 February, 2018; originally announced February 2018.

ACM Class: I.2.1

Energy bound for Kapustin-Witten solutions on $S^3\times\mathbb{R}^+$

Authors: Naichung Conan Leung, Ryosuke Takahashi

Abstract: We consider solutions of Kapustin-Witten equation with Nahm pole boundary on $S^3\times \mathbb{R}^+$. These solutions are usually called Nahm pole solutions. In this paper, we will prove that there exists a constant $C>0$ such that $\|F_A\|_{L^2}\leq C$ for any Nahm pole solution $(A,φ)$. We consider solutions of Kapustin-Witten equation with Nahm pole boundary on $S^3\times \mathbb{R}^+$. These solutions are usually called Nahm pole solutions. In this paper, we will prove that there exists a constant $C>0$ such that $\|F_A\|_{L^2}\leq C$ for any Nahm pole solution $(A,φ)$. △ Less

Submitted 2 August, 2018; v1 submitted 13 January, 2018; originally announced January 2018.

Universal stabilization of a parametrically coupled qubit

Authors: Yao Lu, Srivatsan Chakram, Nelson Leung, Nathan Earnest, Ravi K. Naik, Ziwen Huang, Peter Groszkowski, Eliot Kapit, Jens Koch, David I. Schuster

Abstract: We autonomously stabilize arbitrary states of a qubit through parametric modulation of the coupling between a fixed frequency qubit and resonator. The coupling modulation is achieved with a tunable coupler design, in which the qubit and the resonator are connected in parallel to a superconducting quantum interference device. This allows for quasi-static tuning of the qubit-cavity coupling strength… ▽ More We autonomously stabilize arbitrary states of a qubit through parametric modulation of the coupling between a fixed frequency qubit and resonator. The coupling modulation is achieved with a tunable coupler design, in which the qubit and the resonator are connected in parallel to a superconducting quantum interference device. This allows for quasi-static tuning of the qubit-cavity coupling strength from 12 MHz to more than 300 MHz. Additionally, the coupling can be dynamically modulated, allowing for single photon exchange in 6 ns. Qubit coherence times exceeding 20 $μ$s are maintained over the majority of the range of tuning, limited primarily by the Purcell effect. The parametric stabilization technique realized using the tunable coupler involves engineering the qubit bath through a combination of photon non-conserving sideband interactions realized by flux modulation, and direct qubit Rabi driving. We demonstrate that the qubit can be stabilized to arbitrary states on the Bloch sphere with a worst-case fidelity exceeding 80 %. △ Less

Submitted 5 July, 2017; originally announced July 2017.

Journal ref: Phys. Rev. Lett. 119, 150502 (2017)

Realization of a $Λ$ system with metastable states of a capacitively-shunted fluxonium

Authors: Nathan Earnest, Srivatsan Chakram, Yao Lu, Nicholas Irons, Ravi K. Naik, Nelson Leung, Leo Ocola, David A. Czaplewski, Brian Baker, Jay Lawrence, Jens Koch, David I. Schuster

Abstract: We realize a $Λ$ system in a superconducting circuit, with metastable states exhibiting lifetimes up to 8\,ms. We exponentially suppress the tunneling matrix elements involved in spontaneous energy relaxation by creating a "heavy" fluxonium, realized by adding a capacitive shunt to the original circuit design. The device allows for both cavity-assisted and direct fluorescent readout, as well as st… ▽ More We realize a $Λ$ system in a superconducting circuit, with metastable states exhibiting lifetimes up to 8\,ms. We exponentially suppress the tunneling matrix elements involved in spontaneous energy relaxation by creating a "heavy" fluxonium, realized by adding a capacitive shunt to the original circuit design. The device allows for both cavity-assisted and direct fluorescent readout, as well as state preparation schemes akin to optical pum**. Since direct transitions between the metastable states are strongly suppressed, we utilize Raman transitions for coherent manipulation of the states. △ Less

Submitted 13 April, 2018; v1 submitted 3 July, 2017; originally announced July 2017.

Comments: Total of 10 pages. 5 pages in main tex, and 5 in supplement. Total of 9 figures in entire document

Journal ref: Phys. Rev. Lett. 120, 150504 (2018)

Random access quantum information processors

Authors: R. K. Naik, N. Leung, S. Chakram, P. Groszkowski, Y. Lu, N. Earnest, D. C. McKay, Jens Koch, D. I. Schuster

Abstract: Qubit connectivity is an important property of a quantum processor, with an ideal processor having random access -- the ability of arbitrary qubit pairs to interact directly. Here, we implement a random access superconducting quantum information processor, demonstrating universal operations on a nine-bit quantum memory, with a single transmon serving as the central processor. The quantum memory us… ▽ More Qubit connectivity is an important property of a quantum processor, with an ideal processor having random access -- the ability of arbitrary qubit pairs to interact directly. Here, we implement a random access superconducting quantum information processor, demonstrating universal operations on a nine-bit quantum memory, with a single transmon serving as the central processor. The quantum memory uses the eigenmodes of a linear array of coupled superconducting resonators. The memory bits are superpositions of vacuum and single-photon states, controlled by a single superconducting transmon coupled to the edge of the array. We selectively stimulate single-photon vacuum Rabi oscillations between the transmon and individual eigenmodes through parametric flux modulation of the transmon frequency, producing sidebands resonant with the modes. Utilizing these oscillations for state transfer, we perform a universal set of single- and two-qubit gates between arbitrary pairs of modes, using only the charge and flux bias of the transmon. Further, we prepare multimode entangled Bell and GHZ states of arbitrary modes. The fast and flexible control, achieved with efficient use of cryogenic resources and control electronics, in a scalable architecture compatible with state-of-the-art quantum memories is promising for quantum computation and simulation. △ Less

Submitted 1 May, 2017; originally announced May 2017.

Comments: 7 pages, 5 figures, supplementary information ancillary file, 21 pages

Journal ref: Nature Communications 8, 1904 (2017)

Categorical Plücker Formula and Homological Projective Duality

Authors: Qingyuan Jiang, Naichung Conan Leung, Ying Xie

Abstract: Homological Projective duality (HP-duality) theory, introduced by Kuznetsov [42], is one of the most powerful frameworks in the homological study of algebraic geometry. The main result (HP-duality theorem) of the theory gives complete descriptions of bounded derived categories of coherent sheaves of (dual) linear sections of HP-dual varieties. We show the theorem also holds for more general inters… ▽ More Homological Projective duality (HP-duality) theory, introduced by Kuznetsov [42], is one of the most powerful frameworks in the homological study of algebraic geometry. The main result (HP-duality theorem) of the theory gives complete descriptions of bounded derived categories of coherent sheaves of (dual) linear sections of HP-dual varieties. We show the theorem also holds for more general intersections beyond linear sections. More explicitly, for a given HP-dual pair $(X,Y)$, then analogue of HP-duality theorem holds for their intersections with another HP-dual pair $(S,T)$, provided that they intersect properly. We also prove a relative version of our main result. Taking $(S,T)$ to be dual linear subspaces (resp. subbundles), our method provides a more direct proof of the original (relative) HP-duality theorem. △ Less

Submitted 4 April, 2017; originally announced April 2017.

Comments: 68 pages, 5 figures

Speedup for quantum optimal control from automatic differentiation based on graphics processing units

Authors: Nelson Leung, Mohamed Abdelhafez, Jens Koch, David I. Schuster

Abstract: We implement a quantum optimal control algorithm based on automatic differentiation and harness the acceleration afforded by graphics processing units (GPUs). Automatic differentiation allows us to specify advanced optimization criteria and incorporate them in the optimization process with ease. We show that the use of GPUs can speed up calculations by more than an order of magnitude. Our strategy… ▽ More We implement a quantum optimal control algorithm based on automatic differentiation and harness the acceleration afforded by graphics processing units (GPUs). Automatic differentiation allows us to specify advanced optimization criteria and incorporate them in the optimization process with ease. We show that the use of GPUs can speed up calculations by more than an order of magnitude. Our strategy facilitates efficient numerical simulations on affordable desktop computers, and exploration of a host of optimization constraints and system parameters relevant to real-life experiments. We demonstrate optimization of quantum evolution based on fine-grained evaluation of performance at each intermediate time step, thus enabling more intricate control on the evolution path, suppression of departures from the truncated model subspace, as well as minimization of the physical time needed to perform high-fidelity state preparation and unitary gates. △ Less

Submitted 18 April, 2017; v1 submitted 15 December, 2016; originally announced December 2016.

Comments: 14 pages, 6 figures

Journal ref: Phys. Rev. A 95, 042318 (2017)

Mukai flops and Plücker type formulas for hyper-Kähler manifolds

Authors: Yalong Cao, Naichung Conan Leung

Abstract: We study the intersection theory of complex Lagrangian subvarieties inside holomorphic symplectic manifolds. In particular, we study their behaviour under Mukai flops and give a rigorous proof of the Plücker type formula for Legendre dual subvarieties written down by the second author before. Then we apply the formula to study projective dual varieties in projective spaces. We study the intersection theory of complex Lagrangian subvarieties inside holomorphic symplectic manifolds. In particular, we study their behaviour under Mukai flops and give a rigorous proof of the Plücker type formula for Legendre dual subvarieties written down by the second author before. Then we apply the formula to study projective dual varieties in projective spaces. △ Less

Submitted 20 October, 2015; originally announced October 2015.

Comments: 12 pages, This paper is a revise and expansion of arXiv:math/0111179

Journal ref: Proc. Amer. Math. Soc. 148 (2020), no. 10, 4119-4135

Twin Lagrangian fibrations in mirror symmetry

Authors: Naichung Conan Leung, Yin Li

Abstract: A twin Lagrangian fibration, originally introduced by Yau and the first author, is roughly a geometric structure consisting of two Lagrangian fibrations whose fibers intersect with each other cleanly. In this paper, we show the existence of twin Lagrangian fibrations on certain symplectic manifolds whose mirrors are fibered by rigid analytic cycles. Using family Floer theory in the sense of Fukaya… ▽ More A twin Lagrangian fibration, originally introduced by Yau and the first author, is roughly a geometric structure consisting of two Lagrangian fibrations whose fibers intersect with each other cleanly. In this paper, we show the existence of twin Lagrangian fibrations on certain symplectic manifolds whose mirrors are fibered by rigid analytic cycles. Using family Floer theory in the sense of Fukaya and Abouzaid, these twin Lagrangian fibrations are shown to be induced from fibrations by rigid analytic subvarieties on the mirror. As additional evidences, we discuss two simple applications of our constructions. △ Less

Submitted 24 September, 2018; v1 submitted 15 June, 2015; originally announced June 2015.

Comments: 35 pages, 2 fiigures; v6: Final version, to appear in Journal of Symplectic Geometry

Remarks on mirror symmetry of Donaldson-Thomas theory for Calabi-Yau 4-folds

Authors: Yalong Cao, Naichung Conan Leung

Abstract: Motivated by Strominger-Yau-Zaslow's mirror symmetry proposal and Kontsevich's homological mirror symmetry conjecture, we study mirror phenomena (in A-model) of certain results from Donaldson-Thomas theory for Calabi-Yau 4-folds. Motivated by Strominger-Yau-Zaslow's mirror symmetry proposal and Kontsevich's homological mirror symmetry conjecture, we study mirror phenomena (in A-model) of certain results from Donaldson-Thomas theory for Calabi-Yau 4-folds. △ Less

Submitted 12 June, 2015; originally announced June 2015.

Comments: 9 pages

Journal ref: "Tsinghua Lectures in Mathematics", Adv. Lect. Math. 45, (2018)