Showing 1–36 of 36 results for author: Xu, P

Spontaneous Chern-Euler Duality Transitions

Authors: Kang Yang, Zhi Li, Peng Xue, Emil J. Bergholtz, Piet W. Brouwer

Abstract: Topological phase transitions are typically characterized by abrupt changes in a quantized invariant. Here we report a contrasting paradigm in non-Hermitian parity-time symmetric systems, where the topological invariant remains conserved, but its nature transitions between the Chern number, characteristic of chiral transport in complex bands, and the Euler number, which characterizes the number of… ▽ More Topological phase transitions are typically characterized by abrupt changes in a quantized invariant. Here we report a contrasting paradigm in non-Hermitian parity-time symmetric systems, where the topological invariant remains conserved, but its nature transitions between the Chern number, characteristic of chiral transport in complex bands, and the Euler number, which characterizes the number of nodal points in pairs of real bands. The transition features qualitative changes in the non-Abelian geometric phases during spontaneous parity-time symmetry breaking, where different quantized components become mutually convertible. Our findings establish a novel topological duality principle governing transitions across symmetry classes and reveal unique non-unitary features intertwining topology, symmetry, and non-Abelian gauge structure. △ Less

Submitted 27 March, 2025; originally announced March 2025.

Comments: 5+12 pages, 3 figures

Efficient Verification of Stabilizer Code Subspaces with Local Measurements

Authors: Congcong Zheng, Xutao Yu, Zaichen Zhang, Ping Xu, Kun Wang

Abstract: We address the task of verifying whether a quantum computer, designed to be protected by a specific stabilizer code, correctly encodes the corresponding logical qubits. To achieve this, we develop a general framework for subspace verification and explore several stabilizer code subspaces of practical significance. First, we present two efficient verification strategies for general stabilizer code… ▽ More We address the task of verifying whether a quantum computer, designed to be protected by a specific stabilizer code, correctly encodes the corresponding logical qubits. To achieve this, we develop a general framework for subspace verification and explore several stabilizer code subspaces of practical significance. First, we present two efficient verification strategies for general stabilizer code subspaces, utilizing measurements of their stabilizer generators and stabilizer groups, respectively. Then, building on the observation that certain tests can be conducted in parallel when the subspace exhibits specific structural properties, we propose a coloring strategy tailored to graph code subspaces and an XZ strategy tailored to Calderbank-Shor-Steane (CSS) code subspaces. Compared to stabilizer-based strategies, these new strategies require significantly fewer measurement settings and consume fewer state copies, approaching near-global optimality. Notably, all the strategies employ a limited number of Pauli measurements, are non-adaptive, and work on mixed states, enabling efficient experimental certification of both logical qubits and logical operations in noisy quantum computers. This work contributes to the first systematic study of efficient verification of stabilizer code subspaces with local measurements. △ Less

Submitted 7 December, 2024; v1 submitted 29 September, 2024; originally announced September 2024.

Comments: After the submission of this work, we have become aware of a related work by Chen et al. in arXiv:2410.12551

Quantum memory assisted entangled state verification with local measurements

Authors: Siyuan Chen, Wei Xie, Ping Xu, Kun Wang

Abstract: We consider the quantum memory assisted quantum state verification task, where an adversary prepare independent multipartite entangled states and send to the local verifiers, who then store several copies in the quantum memory and measure them collectively to make decision. We establish an exact analytic formula for optimizing two-copy state verification, where the verifiers store two copies, and… ▽ More We consider the quantum memory assisted quantum state verification task, where an adversary prepare independent multipartite entangled states and send to the local verifiers, who then store several copies in the quantum memory and measure them collectively to make decision. We establish an exact analytic formula for optimizing two-copy state verification, where the verifiers store two copies, and give a globally optimal two-copy strategy for multi-qubit graph states involving only Bell measurements. When the verifiers can store arbitrarily many copies, we present a dimension expansion technique that designs efficient verification strategies for this case, showcasing its application to efficiently verifying GHZ-like states. These strategies become increasingly advantageous with growing memory resources, ultimately approaching the theoretical limit of efficiency. Our findings demonstrate that quantum memories enhance state verification efficiency, sheding light on error-resistant strategies and practical applications of large-scale quantum memory-assisted verification. △ Less

Submitted 26 September, 2024; v1 submitted 18 December, 2023; originally announced December 2023.

Comments: 23 pages, 6 figures, comments are welcome!

The Space of Closed $G_2$-Structures. I. Connections

Authors: Pengfei Xu, Kai Zheng

Abstract: In this article, we develop foundational theory for geometries of the space of closed $G_2$-structures in a given cohomology class as an infinite-dimensional manifold. We introduce Sobolev-type metrics, construct their Levi-Civita connections, formulate geodesic equations, and analyse the variational structures of torsion free $G_2$-structures under these Sobolev-type metrics. In this article, we develop foundational theory for geometries of the space of closed $G_2$-structures in a given cohomology class as an infinite-dimensional manifold. We introduce Sobolev-type metrics, construct their Levi-Civita connections, formulate geodesic equations, and analyse the variational structures of torsion free $G_2$-structures under these Sobolev-type metrics. △ Less

Submitted 4 December, 2022; originally announced December 2022.

Comments: 51 pages

Journal ref: Q. J. Math. 75 (2024), no. 1, 333-390

Hochschild cohomology of dg manifolds associated to integrable distributions

Authors: Zhuo Chen, Maosong Xiang, Ping Xu

Abstract: For the field $\mathbb{K} = \mathbb{R}$ or $\mathbb{C}$, and an integrable distribution $F \subseteq T_M \otimes_{\mathbb{R}} \mathbb{K}$ on a smooth manifold $M$, we study the Hochschild cohomology of the dg manifold $(F[1],d_F)$ and establish a canonical isomorphism with the Hochschild cohomology of the algebra of functions on leaf space in terms of transversal polydifferential operators of $F$.… ▽ More For the field $\mathbb{K} = \mathbb{R}$ or $\mathbb{C}$, and an integrable distribution $F \subseteq T_M \otimes_{\mathbb{R}} \mathbb{K}$ on a smooth manifold $M$, we study the Hochschild cohomology of the dg manifold $(F[1],d_F)$ and establish a canonical isomorphism with the Hochschild cohomology of the algebra of functions on leaf space in terms of transversal polydifferential operators of $F$. In particular, for the dg manifold $(T_X^{0,1}[1],\bar{\partial})$ associated with a complex manifold $X$, we prove that its Hochschild cohomology is canonically isomorphic to the Hochschild cohomology $HH^{\bullet}(X)$ of the complex manifold $X$. As an application, we show that the Duflo-Kontsevich type theorem for the dg manifold $(T_X^{0,1}[1],\bar{\partial})$ implies the Duflo-Kontsevich theorem for complex manifolds. △ Less

Submitted 3 August, 2022; v1 submitted 14 March, 2021; originally announced March 2021.

Comments: 32 pages, final version; references added; To appear in Comm.Math.Phys

MSC Class: 57R30; 32Q55

Exact solutions of the $C_n$ quantum spin chain

Authors: Guang-Liang Li, Panpan Xue, Pei Sun, Hulin Yang, Xiaotian Xu, Junpeng Cao, Tao Yang, Wen-Li Yang

Abstract: We study the exact solutions of quantum integrable model associated with the $C_n$ Lie algebra, with either a periodic or an open one with off-diagonal boundary reflections, by generalizing the nested off-diagonal Bethe ansatz method. Taking the $C_3$ as an example we demonstrate how the generalized method works. We give the fusion structures of the model and provide a way to close fusion processe… ▽ More We study the exact solutions of quantum integrable model associated with the $C_n$ Lie algebra, with either a periodic or an open one with off-diagonal boundary reflections, by generalizing the nested off-diagonal Bethe ansatz method. Taking the $C_3$ as an example we demonstrate how the generalized method works. We give the fusion structures of the model and provide a way to close fusion processes. Based on the resulted operator product identities among fused transfer matrices and some necessary additional constraints such as asymptotic behaviors and relations at some special points, we obtain the eigenvalues of transfer matrices and parameterize them as homogeneous $T-Q$ relations in the periodic case or inhomogeneous ones in the open case. We also give the exact solutions of the $C_n$ model with an off-diagonal open boundary condition. The method and results in this paper can be generalized to other high rank integrable models associated with other Lie algebras. △ Less

Submitted 23 February, 2021; v1 submitted 5 November, 2020; originally announced November 2020.

Journal ref: Nuclear Physics B 965 (2021), 115333

Off-diagonal Bethe Ansatz for the $D^{(1)}_3$ model

Authors: Guang-Liang Li, Junpeng Cao, Panpan Xue, Kun Hao, Pei Sun, Wen-Li Yang, Kangjie Shi, Yupeng Wang

Abstract: The exact solutions of the $D^{(1)}_3$ model (or the $so(6)$ quantum spin chain) with either periodic or general integrable open boundary conditions are obtained by using the off-diagonal Bethe Ansatz. From the fusion, the complete operator product identities are obtained, which are sufficient to enable us to determine spectrum of the system. Eigenvalues of the fused transfer matrices are construc… ▽ More The exact solutions of the $D^{(1)}_3$ model (or the $so(6)$ quantum spin chain) with either periodic or general integrable open boundary conditions are obtained by using the off-diagonal Bethe Ansatz. From the fusion, the complete operator product identities are obtained, which are sufficient to enable us to determine spectrum of the system. Eigenvalues of the fused transfer matrices are constructed by the $T-Q$ relations for the periodic case and by the inhomogeneous $T-Q$ one for the non-diagonal boundary reflection case. The present method can be generalized to deal with the $D^{(1)}_{n}$ model directly. △ Less

Submitted 26 December, 2022; v1 submitted 17 September, 2019; originally announced September 2019.

Comments: typos are corrected. arXiv admin note: text overlap with arXiv:1902.08891

Journal ref: JHEP 12 (2019) 051

Lévy walk revisited: Hermite polynomial expansion approach

Authors: Pengbo Xu, Weihua Deng, Trifce Sandev

Abstract: Integral transform method (Fourier or Laplace transform, etc) is more often effective to do the theoretical analysis for the stochastic processes. However, for the time-space coupled cases, e.g., Lévy walk or nonlinear cases, integral transform method may fail to be so strong or even do not work again. Here we provide Hermite polynomial expansion approach, being complementary to integral transform… ▽ More Integral transform method (Fourier or Laplace transform, etc) is more often effective to do the theoretical analysis for the stochastic processes. However, for the time-space coupled cases, e.g., Lévy walk or nonlinear cases, integral transform method may fail to be so strong or even do not work again. Here we provide Hermite polynomial expansion approach, being complementary to integral transform method. Some statistical observables of general Lévy walks are calculated by the Hermite polynomial expansion approach, and the comparisons are made when both the integral transform method and the newly introduced approach work well. △ Less

Submitted 27 August, 2019; originally announced August 2019.

Comments: 14 pages, 9 figures

Journal ref: Journal of Physics A: Mathematical and Theoretical, 53(11), 115002, 2020

Off-diagonal Bethe Ansatz on the $so(5)$ spin chain

Authors: Guang-Liang Li, Junpeng Cao, Panpan Xue, Kun Hao, Pei Sun, Wen-Li Yang, Kangjie Shi, Yupeng Wang

Abstract: The $so(5)$ (i.e., $B_2$) quantum integrable spin chains with both periodic and non-diagonal boundaries are studied via the off-diagonal Bethe Ansatz method. By using the fusion technique, sufficient operator product identities (comparing to those in [1]) to determine the spectrum of the transfer matrices are derived. For the periodic case, we recover the results obtained in \cite{NYReshetikhin1},… ▽ More The $so(5)$ (i.e., $B_2$) quantum integrable spin chains with both periodic and non-diagonal boundaries are studied via the off-diagonal Bethe Ansatz method. By using the fusion technique, sufficient operator product identities (comparing to those in [1]) to determine the spectrum of the transfer matrices are derived. For the periodic case, we recover the results obtained in \cite{NYReshetikhin1}, while for the non-diagonal boundary case, a new inhomogeneous $T-Q$ relation is constructed. The present method can be directly generalized to deal with the $so(2n+1)$ (i.e., $B_n$) quantum integrable spin chains with general boundaries. △ Less

Submitted 17 September, 2019; v1 submitted 23 February, 2019; originally announced February 2019.

Comments: Published version, 42 pages, no figure

Journal ref: Nucl. Phys. B 946, 114719 (2019)

Exact solution of the $sp(4)$ integrable spin chain with generic boundaries

Authors: Guang-Liang Li, Junpeng Cao, Panpan Xue, Zhi-Rong Xin, Kun Hao, Wen-Li Yang, Kangjie Shi, Yupeng Wang

Abstract: The off-diagonal Bethe ansatz method is generalized to the integrable model associated with the $sp(4)$ (or $C_2$) Lie algebra. By using the fusion technique, we obtain the complete operator product identities among the fused transfer matrices. These relations, together with some asymptotic behaviors and values of the transfer matrices at certain points, enable us to determine the eigenvalues of t… ▽ More The off-diagonal Bethe ansatz method is generalized to the integrable model associated with the $sp(4)$ (or $C_2$) Lie algebra. By using the fusion technique, we obtain the complete operator product identities among the fused transfer matrices. These relations, together with some asymptotic behaviors and values of the transfer matrices at certain points, enable us to determine the eigenvalues of the transfer matrices completely. For the periodic boundary condition case, we recover the same $T-Q$ relations obtained via conventional Bethe ansatz methods previously, while for the off-diagonal boundary condition case, the eigenvalues are given in terms of inhomogeneous $T-Q$ relations, which could not be obtained by the conventional Bethe ansatz methods. The method developed in this paper can be directly generalized to generic $sp(2n)$ (i.e., $C_n$) integrable model. △ Less

Submitted 16 May, 2019; v1 submitted 9 December, 2018; originally announced December 2018.

Comments: Published version, 20 pages

Journal ref: JHEP 05 (2019) 067

Models for characterizing the transition among anomalous diffusions with different diffusion exponents

Authors: Trifce Sandev, Weihua Deng, Pengbo Xu

Abstract: Based on the theory of continuous time random walks (CTRW), we build the models of characterizing the transitions among anomalous diffusions with different diffusion exponents, often observed in natural world. In the CTRW framework, we take the waiting time probability density function (PDF) as an infinite series in three parameter Mittag-Leffler functions. According to the models, the mean square… ▽ More Based on the theory of continuous time random walks (CTRW), we build the models of characterizing the transitions among anomalous diffusions with different diffusion exponents, often observed in natural world. In the CTRW framework, we take the waiting time probability density function (PDF) as an infinite series in three parameter Mittag-Leffler functions. According to the models, the mean squared displacement of the process is analytically obtained and numerically verified, in particular, the trend of its transition is shown; furthermore the stochastic representation of the process is presented and the positiveness of the PDF of the position of the particles is strictly proved. Finally, the fractional moments of the model are calculated, and the analytical solutions of the model with external harmonic potential are obtained and some applications are proposed. △ Less

Submitted 16 August, 2018; v1 submitted 4 February, 2018; originally announced February 2018.

Comments: 11 pages, 5 figures

Journal ref: Journal of Physics A: Mathematical and Theoretical 51, 405002 (2018)

Atiyah and Todd classes arising from integrable distributions

Authors: Zhuo Chen, Maosong Xiang, Ping Xu

Abstract: In this paper, we study the Atiyah class and Todd class of the DG manifold $(F[1],d_F)$ corresponding to an integrable distribution $F \subset T_{\mathbb{K}} M = TM \otimes_{\mathbb{R}} \mathbb{K}$, where $\mathbb{K} = \mathbb{R}$ or $\mathbb{C}$. We show that these two classes are canonically identical to those of the Lie pair $(T_{\mathbb{K}} M, F)$. As a consequence, the Atiyah class of a compl… ▽ More In this paper, we study the Atiyah class and Todd class of the DG manifold $(F[1],d_F)$ corresponding to an integrable distribution $F \subset T_{\mathbb{K}} M = TM \otimes_{\mathbb{R}} \mathbb{K}$, where $\mathbb{K} = \mathbb{R}$ or $\mathbb{C}$. We show that these two classes are canonically identical to those of the Lie pair $(T_{\mathbb{K}} M, F)$. As a consequence, the Atiyah class of a complex manifold $X$ is isomorphic to the Atiyah class of the corresponding DG manifold $(T^{0,1}_X[1],\bar{\partial})$. Moreover, if $X$ is a compact Kähler manifold, then the Todd class of $X$ is also isomorphic to the Todd class of the corresponding DG manifold $(T^{0,1}_X[1],\bar{\partial})$. △ Less

Submitted 26 January, 2018; v1 submitted 30 November, 2017; originally announced November 2017.

Comments: 19 pages, the contexts are rearranged, typos removed

MSC Class: 53D17; 57R20

Journal ref: Journal of Geometry and Physics 136 (2019)

Symplectic realizations of holomorphic Poisson manifolds

Authors: Damien Broka, Ping Xu

Abstract: Symplectic realization is a longstanding problem which can be traced back to Sophus Lie. In this paper, we present an explicit solution to this problem for an arbitrary holomorphic Poisson manifold. More precisely, for any holomorphic Poisson manifold $(X, π)$, we prove that there exists a holomorphic symplectic structure in a neighborhood $Y$ of the zero section of $T^*X$ such that the projection… ▽ More Symplectic realization is a longstanding problem which can be traced back to Sophus Lie. In this paper, we present an explicit solution to this problem for an arbitrary holomorphic Poisson manifold. More precisely, for any holomorphic Poisson manifold $(X, π)$, we prove that there exists a holomorphic symplectic structure in a neighborhood $Y$ of the zero section of $T^*X$ such that the projection map is a symplectic realization of the given Poisson manifold, and moreover the zero section is a holomorphic Lagrangian submanifold. We describe an explicit construction for such a new holomorphic symplectic structure on $Y \subseteq T^*X$. △ Less

Submitted 29 January, 2021; v1 submitted 29 December, 2015; originally announced December 2015.

Comments: 25 pages; references added, typos corrected, minor cosmetic changes in the presentation; To appear in Mathematical Research Letters

Weyl quantization of degree 2 symplectic graded manifolds

Authors: Melchior Grützmann, Jean-Philippe Michel, Ping Xu

Abstract: Let $S$ be a spinor bundle of a pseudo-Euclidean vector bundle $(E,\mathrm{g})$ of even rank. We introduce a new filtration on the algebra $\mathcal{D}(M,S)$ of differential operators on $S$. As main property, the associated graded algebra $\mathrm{gr}\mathcal{D}(M,S)$ is isomorphic to the algebra $\mathcal{O}(\mathcal{M})$ of functions on $\mathcal{M}$, where $\mathcal{M}$ is the symplectic grade… ▽ More Let $S$ be a spinor bundle of a pseudo-Euclidean vector bundle $(E,\mathrm{g})$ of even rank. We introduce a new filtration on the algebra $\mathcal{D}(M,S)$ of differential operators on $S$. As main property, the associated graded algebra $\mathrm{gr}\mathcal{D}(M,S)$ is isomorphic to the algebra $\mathcal{O}(\mathcal{M})$ of functions on $\mathcal{M}$, where $\mathcal{M}$ is the symplectic graded manifold of degree $2$ canonically associated to $(E,\mathrm{g})$. Accordingly, we define the Weyl quantization on $\mathcal{M}$ as a map $\mathcal{WQ}_\hbar:\mathcal{O}(\mathcal{M})\to\mathcal{D}(M,S)$, and prove that $\mathcal{WQ}_\hbar$ satisfies all desired usual properties. As an application, we obtain a bijection between Courant algebroid structures $(E,\mathrm{g},ρ,[\cdot,\cdot])$, that are encoded by Hamiltonian generating functions on $\mathcal{M}$, and skew-symmetric Dirac generating operators $D\in\mathcal{D}(M,S)$. The operator $D^2$ gives a new invariant of $(E,\mathrm{g},ρ,[\cdot,\cdot])$, which generalizes the square norm of the Cartan $3$-form of a quadratic Lie algebra. We study in detail the particular case of $E$ being the double of a Lie bialgebroid $(A,A^*)$. △ Less

Submitted 27 June, 2021; v1 submitted 13 October, 2014; originally announced October 2014.

Comments: typos corrected; final version to appear in Journal de Mathématiques Pures et Appliquées

MSC Class: 53D17; 53D18; 53D55; 81S10; 16W70; 15A66; 17B63; 53B05

A Hopf algebra associated to a Lie pair

Authors: Zhuo Chen, Mathieu Stiénon, Ping Xu

Abstract: The quotient $L/A[-1]$ of a pair $A\hookrightarrow L$ of Lie algebroids is a Lie algebra object in the derived category $D^b(\mathscr{A})$ of the category $\mathscr{A}$ of left $\mathcal{U}(A)$-modules, the Atiyah class $α_{L/A}$ being its Lie bracket. In this note, we describe the universal enveloping algebra of the Lie algebra object $L/A[-1]$ and we prove that it is a Hopf algebra object in… ▽ More The quotient $L/A[-1]$ of a pair $A\hookrightarrow L$ of Lie algebroids is a Lie algebra object in the derived category $D^b(\mathscr{A})$ of the category $\mathscr{A}$ of left $\mathcal{U}(A)$-modules, the Atiyah class $α_{L/A}$ being its Lie bracket. In this note, we describe the universal enveloping algebra of the Lie algebra object $L/A[-1]$ and we prove that it is a Hopf algebra object in $D^b(\mathscr{A})$. △ Less

Submitted 23 September, 2014; originally announced September 2014.

Comments: 6 pages

Journal ref: C. R. Math. Acad. Sci. Paris 352 (2014), no. 11, 929-933

Poincaré--Birkhoff--Witt isomorphisms and Kapranov dg-manifolds

Authors: Camille Laurent-Gengoux, Mathieu Stiénon, Ping Xu

Abstract: We prove that to every inclusion $A\hookrightarrow L$ of Lie algebroids over the same base manifold $M$ corresponds a Kapranov dg-manifold structure on $A[1]\oplus L/A$, which is canonical up to isomorphism. As a consequence, $Γ(Λ^\bullet A^\vee\otimes L/A)$ carries a canonical $L_\infty[1]$ algebra structure whose unary bracket is the Chevalley--Eilenberg differential corresponding to the Bott re… ▽ More We prove that to every inclusion $A\hookrightarrow L$ of Lie algebroids over the same base manifold $M$ corresponds a Kapranov dg-manifold structure on $A[1]\oplus L/A$, which is canonical up to isomorphism. As a consequence, $Γ(Λ^\bullet A^\vee\otimes L/A)$ carries a canonical $L_\infty[1]$ algebra structure whose unary bracket is the Chevalley--Eilenberg differential corresponding to the Bott representation of $A$ on $L/A$ and whose binary bracket is a cocycle representative of the Atiyah class of the Lie pair $(L,A)$. To this end, we construct explicit isomorphisms of $C^\infty(M)$-coalgebras $Γ\big(S(L/A)\big)\xrightarrow{\sim}\frac{\mathcal{U}(L)}{\mathcal{U}(L)Γ(A)}$, which we elect to call Poincaré--Birkhoff--Witt maps. These maps admit a recursive characterization that allows for explicit computations. They generalize both the classical symmetrization map $S(\mathfrak{g})\to\mathcal{U}(\mathfrak{g})$ of Lie theory and (the inverse of) the complete symbol map for differential operators. Finally, we prove that the Kapranov dg-manifold $A[1]\oplus L/A$ is linearizable if and only if the Atiyah class of the Lie pair $(L,A)$ vanishes. △ Less

Submitted 3 June, 2021; v1 submitted 12 August, 2014; originally announced August 2014.

Comments: 48 pages

Journal ref: Advances in Mathematics 387 (2021) 107792

Glanon groupoids

Authors: Madeleine Jotz, Mathieu Stiénon, Ping Xu

Abstract: We introduce the notion of Glanon groupoids, which are Lie groupoids equipped with multiplicative generalized complex structures. It combines symplectic groupoids, holomorphic Lie groupoids and holomorphic Poisson groupoids into a unified framework. Their infinitesimal, Glanon Lie algebroids are studied. We prove that there is a bijection between Glanon Lie algebroids and source-simply connected a… ▽ More We introduce the notion of Glanon groupoids, which are Lie groupoids equipped with multiplicative generalized complex structures. It combines symplectic groupoids, holomorphic Lie groupoids and holomorphic Poisson groupoids into a unified framework. Their infinitesimal, Glanon Lie algebroids are studied. We prove that there is a bijection between Glanon Lie algebroids and source-simply connected and source-connected Glanon groupoids. As a consequence, we recover various integration theorem and obtain the integration theorem for holomorphic Poisson groupoids. △ Less

Submitted 23 August, 2012; v1 submitted 23 September, 2011; originally announced September 2011.

Comments: Improved version

Journal ref: Math. Ann. 364 (2016), no. 1-2, 485-518

Weak Lie 2-bialgebra

Authors: Zhuo Chen, Mathieu Stienon, Ping Xu

Abstract: We introduce the notion of weak Lie 2-bialgebra. Roughly, a weak Lie 2-bialgebra is a pair of compatible 2-term $L_\infty$-algebra structures on a vector space and its dual. The compatibility condition is described in terms of the big bracket. We prove that (strict) Lie 2-bialgebras are in one-one correspondence with crossed modules of Lie bialgebras. We introduce the notion of weak Lie 2-bialgebra. Roughly, a weak Lie 2-bialgebra is a pair of compatible 2-term $L_\infty$-algebra structures on a vector space and its dual. The compatibility condition is described in terms of the big bracket. We prove that (strict) Lie 2-bialgebras are in one-one correspondence with crossed modules of Lie bialgebras. △ Less

Submitted 4 February, 2013; v1 submitted 11 September, 2011; originally announced September 2011.

Comments: 14 pages, LaTeX; typoes removed; references modified

MSC Class: 17B65

Journal ref: Journal of Geometry and Physics 68 (2013) 59--68

Poisson Cohomology of Del Pezzo surfaces

Authors: Wei Hong, Ping Xu

Abstract: In this note, we compute the Poisson cohomology groups for any Poisson Del Pezzo surface. In this note, we compute the Poisson cohomology groups for any Poisson Del Pezzo surface. △ Less

Submitted 7 February, 2011; v1 submitted 7 January, 2010; originally announced January 2010.

Journal ref: Journal of Algebra (2011)

On Regular Courant Algebroids

Authors: Zhuo Chen, Mathieu Stienon, Ping Xu

Abstract: For any regular Courant algebroid, we construct a characteristic class a la Chern-Weil. This intrinsic invariant of the Courant algebroid is a degree-3 class in its naive cohomology. When the Courant algebroid is exact, it reduces to the Severa class (in H^3_{DR}(M)). On the other hand, when the Courant algebroid is a quadratic Lie algebra g, it coincides with the class of the Cartan 3-form (in… ▽ More For any regular Courant algebroid, we construct a characteristic class a la Chern-Weil. This intrinsic invariant of the Courant algebroid is a degree-3 class in its naive cohomology. When the Courant algebroid is exact, it reduces to the Severa class (in H^3_{DR}(M)). On the other hand, when the Courant algebroid is a quadratic Lie algebra g, it coincides with the class of the Cartan 3-form (in H^3(g)). We also give a complete classification of regular Courant algebroids and discuss its relation to the characteristic class. △ Less

Submitted 15 September, 2009; v1 submitted 2 September, 2009; originally announced September 2009.

Comments: Section 3.3 and references added; An error about classification is corrected

MSC Class: 14F40

Journal ref: Journal of Symplectic Geometry 11 (2013), no. 1, 1-24

Experimental Realization of a Controlled-NOT Gate with Four-Photon Six-Qubit Cluster States

Authors: Wei-Bo Gao, Ping Xu, Xing-Can Yao, Otfried Gühne, Adán Cabello, Chao-Yang Lu, Cheng-Zhi Peng, Zeng-Bing Chen, Jian-Wei Pan

Abstract: We experimentally demonstrate an optical controlled-NOT (CNOT) gate with arbitrary single inputs based on a 4-photon 6-qubit cluster state entangled both in polarization and spatial modes. We first generate the 6-qubit state, and then by performing single-qubit measurements the CNOT gate is applied to arbitrary single input qubits. To characterize the performance of the gate, we estimate its qua… ▽ More We experimentally demonstrate an optical controlled-NOT (CNOT) gate with arbitrary single inputs based on a 4-photon 6-qubit cluster state entangled both in polarization and spatial modes. We first generate the 6-qubit state, and then by performing single-qubit measurements the CNOT gate is applied to arbitrary single input qubits. To characterize the performance of the gate, we estimate its quantum process fidelity and prove its entangling capability. The results show that the gate cannot be reproduced by local operations and classical communication. Our experiment shows that cluster states are promising candidates for efficient optical quantum computation. △ Less

Submitted 30 March, 2010; v1 submitted 13 May, 2009; originally announced May 2009.

Comments: 5 pages, 3 figures, typos corrected, references added

Journal ref: Phys. Rev. Lett. 104, 020501 (2010).

Experimental demonstration of topological error correction

Authors: Wei-Bo Gao, Austin G. Fowler, Robert Raussendorf, Xing-Can Yao, He Lu, Ping Xu, Chao-Yang Lu, Cheng-Zhi Peng, Youjin Deng, Zeng-Bing Chen, Jian-Wei Pan

Abstract: Topological error correction--a novel method to actively correct errors based on cluster states with topological properties--has the highest order of tolerable error rates known to date (10^{-2}). Moreover, the scheme requires only nearest-neighbour interaction, particularly suitable for most physical systems. Here we report the first experimental demonstration of topological error correction wi… ▽ More Topological error correction--a novel method to actively correct errors based on cluster states with topological properties--has the highest order of tolerable error rates known to date (10^{-2}). Moreover, the scheme requires only nearest-neighbour interaction, particularly suitable for most physical systems. Here we report the first experimental demonstration of topological error correction with an 8-qubit optical cluster state. In the experiment, it is shown that a correlation can be protected against a single error on any single qubit. In addition, when all qubits are simultaneously subjected to errors with equal probability, the effective error rate is significantly reduced, clearly verifying the advantage of topological error correction. The quantum gate with the error rate below the threshold is within the current experimental technology. We believe topological error correction should be a critical ingredient for the future large-scale quantum computation. △ Less

Submitted 26 February, 2012; v1 submitted 11 May, 2009; originally announced May 2009.

Comments: This paper has been withdrawn. Please search the title and see the new version implemented with the eight-photon entangled state

Geometry of Maurer-Cartan Elements on Complex Manifolds

Authors: Zhuo Chen, Mathieu Stienon, Ping Xu

Abstract: The semi-classical data attached to stacks of algebroids in the sense of Kashiwara and Kontsevich are Maurer-Cartan elements on complex manifolds, which we call extended Poisson structures as they generalize holomorphic Poisson structures. A canonical Lie algebroid is associated to each Maurer-Cartan element. We study the geometry underlying these Maurer-Cartan elements in the light of Lie algeb… ▽ More The semi-classical data attached to stacks of algebroids in the sense of Kashiwara and Kontsevich are Maurer-Cartan elements on complex manifolds, which we call extended Poisson structures as they generalize holomorphic Poisson structures. A canonical Lie algebroid is associated to each Maurer-Cartan element. We study the geometry underlying these Maurer-Cartan elements in the light of Lie algebroid theory. In particular, we extend Lichnerowicz-Poisson cohomology and Koszul-Brylinski homology to the realm of extended Poisson manifolds; we establish a sufficient criterion for these to be finite dimensional; we describe how homology and cohomology are related through the Evens-Lu-Weinstein duality module; and we describe a duality on Koszul-Brylinski homology, which generalizes the Serre duality of Dolbeault cohomology. △ Less

Submitted 4 January, 2010; v1 submitted 26 April, 2009; originally announced April 2009.

Comments: final version to appear in Comm. Math. Phys

MSC Class: 15A66; 17B63; 17B66; 53C15; 53D17; 55R65; 58A10

Journal ref: Comm. Math. Phys. 297 (2010), no. 1, 169-187

Hamiltonian spaces for Manin pairs over manifolds

Authors: David Iglesias Ponte, Ping Xu

Abstract: We introduce the notion of Hamiltonian spaces for Manin pairs over manifolds, using the so-called generalized Dirac structures. As an example, we describe Hamiltonian spaces of a quasi-Lie bialgebroid using this general framework. We also discuss reduction of Hamiltonian spaces of this general type. We introduce the notion of Hamiltonian spaces for Manin pairs over manifolds, using the so-called generalized Dirac structures. As an example, we describe Hamiltonian spaces of a quasi-Lie bialgebroid using this general framework. We also discuss reduction of Hamiltonian spaces of this general type. △ Less

Submitted 23 September, 2008; originally announced September 2008.

Comments: 15 pages

Holomorphic Poisson Manifolds and Holomorphic Lie Algebroids

Authors: Camille Laurent-Gengoux, Mathieu Stienon, Ping Xu

Abstract: We study holomorphic Poisson manifolds and holomorphic Lie algebroids from the viewpoint of real Poisson geometry. We give a characterization of holomorphic Poisson structures in terms of the Poisson Nijenhuis structures of Magri-Morosi and describe a double complex which computes the holomorphic Poisson cohomology. A holomorphic Lie algebroid structure on a vector bundle $A\to X$ is shown to be… ▽ More We study holomorphic Poisson manifolds and holomorphic Lie algebroids from the viewpoint of real Poisson geometry. We give a characterization of holomorphic Poisson structures in terms of the Poisson Nijenhuis structures of Magri-Morosi and describe a double complex which computes the holomorphic Poisson cohomology. A holomorphic Lie algebroid structure on a vector bundle $A\to X$ is shown to be equivalent to a matched pair of complex Lie algebroids $(T^{0,1}X,A^{1,0})$, in the sense of Lu. The holomorphic Lie algebroid cohomology of $A$ is isomorphic to the cohomology of the elliptic Lie algebroid $T^{0,1}X\bowtie A^{1,0}$. In the case when $(X,π)$ is a holomorphic Poisson manifold and $A=(T^*X)_π$, such an elliptic Lie algebroid coincides with the Dirac structure corresponding to the associated generalized complex structure of the holomorphic Poisson manifold. △ Less

Submitted 14 July, 2008; v1 submitted 28 July, 2007; originally announced July 2007.

Comments: 29 pages, v2: paper split into two, part 1 of 2, v3: two references added, v4: final version to appear in International Mathematics Research Notices

Journal ref: International Mathematics Research Notices (2008) Vol. 2008 : article ID rnn088, 46 pages

Differentiable Stacks and Gerbes

Authors: Kai Behrend, Ping Xu

Abstract: We introduce differentiable stacks and explain the relationship with Lie groupoids. Then we study $S^1$-bundles and $S^1$-gerbes over differentiable stacks. In particular, we establish the relationship between $S^1$-gerbes and groupoid $S^1$-central extensions. We define connections and curvings for groupoid $S^1$-central extensions extending the corresponding notions of Brylinski, Hitchin and M… ▽ More We introduce differentiable stacks and explain the relationship with Lie groupoids. Then we study $S^1$-bundles and $S^1$-gerbes over differentiable stacks. In particular, we establish the relationship between $S^1$-gerbes and groupoid $S^1$-central extensions. We define connections and curvings for groupoid $S^1$-central extensions extending the corresponding notions of Brylinski, Hitchin and Murray for $S^1$-gerbes over manifolds. We develop a Chern-Weil theory of characteristic classes in this general setting by presenting a construction of Chern classes and Dixmier-Douady classes in terms of analogues of connections and curvatures. We also describe a prequantization result for both $S^1$-bundles and $S^1$-gerbes extending the well-known result of Weil and Kostant. In particular, we give an explicit construction of $S^1$-central extensions with prescribed curvature-like data. △ Less

Submitted 30 December, 2008; v1 submitted 26 May, 2006; originally announced May 2006.

Comments: 48 pages, minor revision, examples added, references added and updated

The ring structure for equivariant twisted K-theory

Authors: Jean-Louis Tu, Ping Xu

Abstract: We prove, under some mild conditions, that the equivariant twisted K-theory group of a crossed module admits a ring structure if the twisting 2-cocycle is 2-multiplicative. We also give an explicit construction of the transgression map $T_1: H^*(Γ;A) \to H^{*-1}((N\rtimes Γ;A)$ for any crossed module $N\to Γ$ and prove that any element in the image is $\infty$-multiplicative. As a consequence, w… ▽ More We prove, under some mild conditions, that the equivariant twisted K-theory group of a crossed module admits a ring structure if the twisting 2-cocycle is 2-multiplicative. We also give an explicit construction of the transgression map $T_1: H^*(Γ;A) \to H^{*-1}((N\rtimes Γ;A)$ for any crossed module $N\to Γ$ and prove that any element in the image is $\infty$-multiplicative. As a consequence, we prove that, under some mild conditions, for a crossed module $N \to \gm$ and any $e \in \check{Z}^3(Γ;S^1)$, that the equivariant twisted K-theory group $K^*_{e,Γ}(N)$ admits a ring structure. As an application, we prove that for a compact, connected and simply connected Lie group G, the equivariant twisted K-theory group $K_{[c], G}^* (G)$ is endowed with a canonical ring structure $K^{i+d}_{[c],G}(G)\otimes K^{j+d}_{[c],G}(G)\to K^{i+j+d}_{[c], G}(G)$, where $d=dim G$ and $[c]\in H^2(G\rtimes G;S^1)$. △ Less

Submitted 23 March, 2009; v1 submitted 7 April, 2006; originally announced April 2006.

Comments: 47 pages. To appear in Crelle

MSC Class: 19L47 (Primary); 55N91; 46L80; 20L05 (Secondary)

Non Abelian Differentiable Gerbes

Authors: Camille Laurent-Gengoux, Mathieu Stienon, Ping Xu

Abstract: We study non-abelian differentiable gerbes over stacks using the theory of Lie groupoids. More precisely, we develop the theory of connections on Lie groupoid $G$-extensions, which we call "connections on gerbes", and study the induced connections on various associated bundles. We also prove analogues of the Bianchi identities. In particular, we develop a cohomology theory which measures the exi… ▽ More We study non-abelian differentiable gerbes over stacks using the theory of Lie groupoids. More precisely, we develop the theory of connections on Lie groupoid $G$-extensions, which we call "connections on gerbes", and study the induced connections on various associated bundles. We also prove analogues of the Bianchi identities. In particular, we develop a cohomology theory which measures the existence of connections and curvings for $G$-gerbes over stacks. We also introduce $G$-central extensions of groupoids, generalizing the standard groupoid $S^1$-central extensions. As an example, we apply our theory to study the differential geometry of $G$-gerbes over a manifold. △ Less

Submitted 31 December, 2008; v1 submitted 29 November, 2005; originally announced November 2005.

Comments: 67 pages, references added and updated, final version to appear in Adv. Math

Journal ref: Advances in Mathematics 220 (2009) 1357-1427

Chern character for twisted K-theory of orbifolds

Authors: Jean-Louis Tu, Ping Xu

Abstract: For an orbifold X and $α\in H^3(X, Z)$, we introduce the twisted cohomology $H^*_c(X, α)$ and prove that the Connes-Chern character establishes an isomorphism between the twisted K-groups $K_α^* (X) \otimes C$ and twisted cohomology $H^*_c(X, α)$. This theorem, on the one hand, generalizes a classical result of Baum-Connes, Brylinski-Nistor, and others, that if X is an orbifold then the Chern ch… ▽ More For an orbifold X and $α\in H^3(X, Z)$, we introduce the twisted cohomology $H^*_c(X, α)$ and prove that the Connes-Chern character establishes an isomorphism between the twisted K-groups $K_α^* (X) \otimes C$ and twisted cohomology $H^*_c(X, α)$. This theorem, on the one hand, generalizes a classical result of Baum-Connes, Brylinski-Nistor, and others, that if X is an orbifold then the Chern character establishes an isomorphism between the K-groups of X tensored with C, and the compactly-supported cohomology of the inertia orbifold. On the other hand, it also generalizes a recent result of Adem-Ruan regarding the Chern character isomorphism of twisted orbifold K-theory when the orbifold is a global quotient by a finite group and the twist is a special torsion class, as well as Mathai-Stevenson's theorem regarding the Chern character isomorphism of twisted K-theory of a compact manifold. △ Less

Submitted 3 December, 2005; v1 submitted 12 May, 2005; originally announced May 2005.

Comments: 26 pages. To appear in Advances in Mathematics

MSC Class: 19L10 (Primary) 46L87; 46L80 (Secondary)

Chern-Weil map for principal bundles over groupoids

Authors: Camille Laurent-Gengoux, Jean-Louis Tu, Ping Xu

Abstract: The theory of principal $G$-bundles over a Lie groupoid is an important one, unifying the various types of principal $G$-bundles, including those over manifolds, those over orbifolds, as well as equivariant principal $G$-bundles. In this paper, we study the differential geometry of these objects, including connections and holonomy maps. We also introduce a Chern-Weil map for these principal bund… ▽ More The theory of principal $G$-bundles over a Lie groupoid is an important one, unifying the various types of principal $G$-bundles, including those over manifolds, those over orbifolds, as well as equivariant principal $G$-bundles. In this paper, we study the differential geometry of these objects, including connections and holonomy maps. We also introduce a Chern-Weil map for these principal bundles and prove that the characteristic classes obtained coincide with the universal characteristic classes. As an application, we recover the equivariant Chern-Weil map of Bott-Tu. We also obtain an explicit chain map between the Weil model and the simplicial model of equivariant cohomology which reduces to the Bott-Shulman map $S({\mathfrak g}^*)^G \to H^*(BG)$ when the manifold is a point. △ Less

Submitted 10 February, 2006; v1 submitted 29 January, 2004; originally announced January 2004.

Comments: 43 pages. References added, typos corrected

MSC Class: 58F05

Quantization of Quasi-Presymplectic Groupoids and their Hamiltonian Spaces

Authors: Camille Laurent-Gengoux, Ping Xu

Abstract: We study the prequantization of quasi-presymplectic groupoids and their Hamiltonian spaces using $S^1$-gerbes. We give a geometric description of the integrality condition. As an application, we study the prequantization of the quasi-Hamiltonian $G$-spaces of Alekseev--Malkin--Meinrenken. We study the prequantization of quasi-presymplectic groupoids and their Hamiltonian spaces using $S^1$-gerbes. We give a geometric description of the integrality condition. As an application, we study the prequantization of the quasi-Hamiltonian $G$-spaces of Alekseev--Malkin--Meinrenken. △ Less

Submitted 26 July, 2004; v1 submitted 10 November, 2003; originally announced November 2003.

Comments: 30 pages Latex file, typos corrected, final version to appear in "Progress in Mathematics, Festschrift in honor of Alan Weinstein, Birkauser"

MSC Class: 58F05

Momentum Maps and Morita Equivalence

Authors: Ping Xu

Abstract: We introduce quasi-symplectic groupoids and explain their relation with momentum map theories. This approach enables us to unify into a single framework various momentum map theories, including the ordinary Hamiltonian $G$-spaces, Lu's momentum maps of Poisson group actions, and group valued momentum maps of Alekseev--Malkin--Meinrenken. More precisely, we carry out the following program: (1… ▽ More We introduce quasi-symplectic groupoids and explain their relation with momentum map theories. This approach enables us to unify into a single framework various momentum map theories, including the ordinary Hamiltonian $G$-spaces, Lu's momentum maps of Poisson group actions, and group valued momentum maps of Alekseev--Malkin--Meinrenken. More precisely, we carry out the following program: (1) Define and study properties of quasi-symplectic groupoids; (2) Study the momentum map theory defined by a quasi-symplectic groupoid. In particular, we study the reduction theory and prove that the reduced space is always a symplectic manifold. More generally, we prove that the classical intertwiner space between two Hamiltonian $Γ$-spaces is always a symplectic manifold whenever it is a smooth manifold; (3) Study the Morita equivalence of quasi-symplectic groupoids. In particular, we prove that Morita equivalent quasi-symplectic groupoids give rise to equivalent momentum map theories and that the intertwiner space depends only on the Morita equivalence class. As a result, we recover various well-known results concerning equivalence of momentum maps including Alekseev-- Ginzburg--Weinstein linearization theorem and Alekseev--Malkin--Meinrenken equivalence theorem between quasi-Hamiltonian spaces and Hamiltonian loop group sapces. △ Less

Submitted 26 July, 2004; v1 submitted 23 July, 2003; originally announced July 2003.

Comments: 34 pages, Latex file, typos corrected, final version to appear in J. Diff. Geom

MSC Class: 58F05

Equivariant gerbes over compact simple Lie groups

Authors: Kai Behrend, Ping Xu, Bin Zhang

Abstract: Using groupoid $S^1$-central extensions, we present, for a compact simple Lie group $G$, an infinite dimensional model of $S^1$-gerbe over the differential stack $G/G$ whose Dixmier-Douady class corresponds to the canonical generator of the equivariant cohomology $H_G^3 (G, Z)$. Using groupoid $S^1$-central extensions, we present, for a compact simple Lie group $G$, an infinite dimensional model of $S^1$-gerbe over the differential stack $G/G$ whose Dixmier-Douady class corresponds to the canonical generator of the equivariant cohomology $H_G^3 (G, Z)$. △ Less

Submitted 11 June, 2003; originally announced June 2003.

Comments: 6 pages

Journal ref: C. R. Acad. Sci. Paris, Ser. I 336 (2003) 251-256

S^1-bundles and gerbes over differentiable stacks

Authors: Kai Behrend, Ping Xu

Abstract: We study $S^1$-bundles and $S^1$-gerbes over differentiable stacks in terms of Lie groupoids, and construct Chern classes and Dixmier-Douady classes in terms of analogues of connections and curvature. We study $S^1$-bundles and $S^1$-gerbes over differentiable stacks in terms of Lie groupoids, and construct Chern classes and Dixmier-Douady classes in terms of analogues of connections and curvature. △ Less

Submitted 11 June, 2003; originally announced June 2003.

Comments: 6 pages

Journal ref: published in C. R. Acad. Sci. Paris, Ser. I 336 (2003) 163-168

Twisted K-theory of differentiable stacks

Authors: Jean-Louis Tu, Ping Xu, Camille Laurent-Gengoux

Abstract: In this paper, we develop twisted $K$-theory for stacks, where the twisted class is given by an $S^1$-gerbe over the stack. General properties, including the Mayer-Vietoris property, Bott periodicity, and the product structure $K^i_α\otimes K^j_β\to K^{i+j}_{α+β}$ are derived. Our approach provides a uniform framework for studying various twisted $K$-theories including the usual twisted $K$-theo… ▽ More In this paper, we develop twisted $K$-theory for stacks, where the twisted class is given by an $S^1$-gerbe over the stack. General properties, including the Mayer-Vietoris property, Bott periodicity, and the product structure $K^i_α\otimes K^j_β\to K^{i+j}_{α+β}$ are derived. Our approach provides a uniform framework for studying various twisted $K$-theories including the usual twisted $K$-theory of topological spaces, twisted equivariant $K$-theory, and the twisted $K$-theory of orbifolds. We also present a Fredholm picture, and discuss the conditions under which twisted $K$-groups can be expressed by so-called "twisted vector bundles". Our approach is to work on presentations of stacks, namely \emph{groupoids}, and relies heavily on the machinery of $K$-theory ($KK$-theory) of $C^*$-algebras. △ Less

Submitted 13 September, 2004; v1 submitted 8 June, 2003; originally announced June 2003.

Comments: 74 pages

MSC Class: 46L80 (Primary) 19K35; 22A22; 47L90; 53-xx (Secondary)

Integration of twisted Poisson structures

Authors: Alberto S. Cattaneo, Ping Xu

Abstract: Poisson manifolds may be regarded as the infinitesimal form of symplectic groupoids. Twisted Poisson manifolds considered by Severa and Weinstein [math.SG/0107133] are a natural generalization of the former which also arises in string theory. In this note it is proved that twisted Poisson manifolds are in bijection with a (possibly singular) twisted version of symplectic groupoids. Poisson manifolds may be regarded as the infinitesimal form of symplectic groupoids. Twisted Poisson manifolds considered by Severa and Weinstein [math.SG/0107133] are a natural generalization of the former which also arises in string theory. In this note it is proved that twisted Poisson manifolds are in bijection with a (possibly singular) twisted version of symplectic groupoids. △ Less

Submitted 18 May, 2003; v1 submitted 21 February, 2003; originally announced February 2003.

Comments: 12 pages; minor corrections (especially in terminology: "twisted symplectic" replaces "quasi-symplectic"), references updated; to appear in J. Geom. Phys

MSC Class: 53D17; 53D20; 22A22; 58H05; 58H15

Journal ref: J. Geom. Phys. 49, 187-196 (2004)