Source author record

Ping Xu

Ping Xu appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

44works
21topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

44 published item(s)

preprint2026arXiv

Optimal Distributed Similarity Estimation of Quantum Channels

We study distributed similarity estimation of quantum channels (DSEC), a primitive for cross-platform verification where two remote quantum devices are compared by estimating the inner product of their Choi states. We show that the optimal channel query complexity of DSEC for two $d$-dimensional quantum channels is $Θ(\max\{\sqrt{d}/\varepsilon, 1/\varepsilon^2\})$, where $\varepsilon$ is the additive error. We first prove an information-theoretic lower bound with this scaling, which holds even in the strongest setting, allowing adaptive strategies, multiple rounds of classical communication, and coherent access with arbitrary ancillas. We then give a matching upper bound in the weakest setting, namely non-adaptive and ancilla-free incoherent access, via a randomized measurement protocol achieving this bound. Finally, we show that our protocol achieves a quadratic improvement over classical shadow baselines. Our results provide theoretically optimal and practical methods for cross-platform verification, quantum device benchmarking, and distributed quantum learning.

preprint2026arXiv

Real-Time Lane Detection via Efficient Feature Alignment and Covariance Optimization for Low-Power Embedded Systems

Real-time lane detection in embedded systems encounters significant challenges due to subtle and sparse visual signals in RGB images, often constrained by limited computational resources and power consumption. Although deep learning models for lane detection categorized into segmentation-based, anchor-based, and curve-based methods there remains a scarcity of universally applicable optimization techniques tailored for low-power embedded environments. To overcome this, we propose an innovative Covariance Distribution Optimization (CDO) module specifically designed for efficient, real-time applications. The CDO module aligns lane feature distributions closely with ground-truth labels, significantly enhancing detection accuracy without increasing computational complexity. Evaluations were conducted on six diverse models across all three method categories, including two optimized for real-time applications and four state-of-the-art (SOTA) models, tested comprehensively on three major datasets: CULane, TuSimple, and LLAMAS. Experimental results demonstrate accuracy improvements ranging from 0.01% to 1.5%. The proposed CDO module is characterized by ease of integration into existing systems without structural modifications and utilizes existing model parameters to facilitate ongoing training, thus offering substantial benefits in performance, power efficiency, and operational flexibility in embedded systems.

preprint2022arXiv

Large-scale full-programmable quantum walk and its applications

With photonics, the quantum computational advantage has been demonstrated on the task of boson sampling. Next, developing quantum-enhanced approaches for practical problems becomes one of the top priorities for photonic systems. Quantum walks are powerful kernels for developing new and useful quantum algorithms. Here we realize large-scale quantum walks using a fully programmable photonic quantum computing system. The system integrates a silicon quantum photonic chip, enabling the simulation of quantum walk dynamics on graphs with up to 400 vertices and possessing full programmability over quantum walk parameters, including the particle property, initial state, graph structure, and evolution time. In the 400-dimensional Hilbert space, the average fidelity of random entangled quantum states after the whole on-chip circuit evolution reaches as high as 94.29$\pm$1.28$\%$. With the system, we demonstrated exponentially faster hitting and quadratically faster mixing performance of quantum walks over classical random walks, achieving more than two orders of magnitude of enhancement in the experimental hitting efficiency and almost half of the reduction in the experimental evolution time for mixing. We utilize the system to implement a series of quantum applications, including measuring the centrality of scale-free networks, searching targets on Erdös-Rényi networks, distinguishing non-isomorphic graph pairs, and simulating the topological phase of higher-order topological insulators. Our work shows one feasible path for quantum photonics to address applications of practical interests in the near future.

preprint2022arXiv

Maximal coin-walker entanglement in a ballistic quantum walk

We report the position-inhomogeneous quantum walk (IQW) can be utilized to produce the maximal high dimensional entanglement while maintaining the quadratic speedup spread of the wave-function. Our calculations show that the maximal coin-walker entanglement can be generated in any odd steps or asymptotically in even steps, and the nearly maximal entanglement can be obtained in even steps after $2$. We implement the IQW by a stable resource-saving time-bin optical network, in which a polarization Sagnac loop is employed to realize the precisely tunable phase shift. Our approach opens up an efficient way for high-dimensional entanglement engineering as well as promotes investigations on the role of coin-walker interactions in QW based applications.

preprint2022arXiv

QC-ODKLA: Quantized and Communication-Censored Online Decentralized Kernel Learning via Linearized ADMM

This paper focuses on online kernel learning over a decentralized network. Each agent in the network receives continuous streaming data locally and works collaboratively to learn a nonlinear prediction function that is globally optimal in the reproducing kernel Hilbert space with respect to the total instantaneous costs of all agents. In order to circumvent the curse of dimensionality issue in traditional online kernel learning, we utilize random feature (RF) mapping to convert the non-parametric kernel learning problem into a fixed-length parametric one in the RF space. We then propose a novel learning framework named Online Decentralized Kernel learning via Linearized ADMM (ODKLA) to efficiently solve the online decentralized kernel learning problem. To further improve the communication efficiency, we add the quantization and censoring strategies in the communication stage and develop the Quantized and Communication-censored ODKLA (QC-ODKLA) algorithm. We theoretically prove that both ODKLA and QC-ODKLA can achieve the optimal sublinear regret $\mathcal{O}(\sqrt{T})$ over $T$ time slots. Through numerical experiments, we evaluate the learning effectiveness, communication, and computation efficiencies of the proposed methods.

preprint2021arXiv

Dg manifolds, formal exponential maps and homotopy Lie algebras

This paper is devoted to the study of the relation between `formal exponential maps,' the Atiyah class, and Kapranov $L_\infty[1]$ algebras associated with dg manifolds in the $C^\infty$ context. Given a dg manifold, we prove that a `formal exponential map' exists if and only if the Atiyah class vanishes. Inspired by Kapranov's construction of a homotopy Lie algebra associated with the holomorphic tangent bundle of a complex manifold, we prove that the space of vector fields on a dg manifold admits an $L_\infty[1]$ algebra structure, unique up to isomorphism, whose unary bracket is the Lie derivative w.r.t. the homological vector field, whose binary bracket is a 1-cocycle representative of the Atiyah class, and whose higher multibrackets can be computed by a recursive formula. For the dg manifold $(T_X^{0,1}[1],\bar{\partial})$ arising from a complex manifold $X$, we prove that this $L_\infty[1]$ algebra structure is quasi-isomorphic to the standard $L_\infty[1]$ algebra structure on the Dolbeault complex $Ω^{0,\bullet}(T^{1,0}_X)$.

preprint2021arXiv

Observing geometry of quantum states in a three-level system

In quantum mechanics, geometry has been demonstrated as a useful tool for inferring non-classical behaviors and exotic properties of quantum systems. One standard approach to illustrate the geometry of quantum systems is to project the quantum state space to the Euclidean space via measurements of observables on the system. Despite the great success of this method in studying two-level quantum systems (qubits) with the celebrated Bloch sphere representation, there is always the difficulty to reveal the geometry of multi-dimensional quantum systems. Here we report the first experiment measuring the geometry of such projections beyond the qubit. Specifically, we observe the joint numerical ranges (JNRs) of a triple of observables in a three-level photonic system, providing complete classification of the JNRs. We further show that the geometry of different classes reveal ground-state degeneracies of a Hamiltonian as a linear combination of the observables, which is related to quantum phases in the thermodynamic limit. Our results offer a versatile geometric approach for exploring the properties of higher-dimensional quantum systems.

preprint2021arXiv

Polyvector fields and polydifferential operators associated with Lie pairs

We prove that the spaces $\operatorname{tot}\big(Γ(Λ^\bullet A^\vee \otimes_R\mathcal{T}_{\operatorname{poly}}^{\bullet}\big)$ and $\operatorname{tot}\big(Γ(Λ^\bullet A^\vee)\otimes_R\mathcal{D}_{\operatorname{poly}}^{\bullet}\big)$ associated with a Lie pair $(L,A)$ each carry an $L_\infty$ algebra structure canonical up to an $L_\infty$ isomorphism with the identity map as linear part. These two spaces serve, respectively, as replacements for the spaces of formal polyvector fields and formal polydifferential operators on the Lie pair $(L,A)$. Consequently, both $\mathbb{H}^\bullet_{\operatorname{CE}}(A,\mathcal{T}_{\operatorname{poly}}^{\bullet})$ and $\mathbb{H}^\bullet_{\operatorname{CE}}(A,\mathcal{D}_{\operatorname{poly}}^{\bullet})$ admit unique Gerstenhaber algebra structures. Our approach is based on homotopy transfer and the construction of a Fedosov dg Lie algebroid (i.e. a dg foliation on a Fedosov dg manifold).

preprint2021arXiv

Symplectic realizations of holomorphic Poisson manifolds

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$.

preprint2021arXiv

Tracking quantum state evolution by the Berry curvature with a two-level system

We investigate two kinds of topological structures (sphere and torus) spanned by the controlled parameters of a driven two-level system's Hamiltonian, and consider the connection between the structures and the system's dynamics. We discuss the Berry curvature obtained through the dynamical response method, show the certain physical and observable manifolds including the gapped region probed by integrating the Berry curvature, and demonstrate the system's state evolution can be tracked and manipulated by extracting the Berry curvature.

preprint2020arXiv

Sample caching Markov chain Monte Carlo approach to boson sampling simulation

Boson sampling is a promising candidate for quantum supremacy. It requires to sample from a complicated distribution, and is trusted to be intractable on classical computers. Among the various classical sampling methods, the Markov chain Monte Carlo method is an important approach to the simulation and validation of boson sampling. This method however suffers from the severe sample loss issue caused by the autocorrelation of the sample sequence. Addressing this, we propose the sample caching Markov chain Monte Carlo method that eliminates the correlations among the samples, and prevents the sample loss at the meantime, allowing more efficient simulation of boson sampling. Moreover, our method can be used as a general sampling framework that can benefit a wide range of sampling tasks, and is particularly suitable for applications where a large number of samples are taken.

preprint2020arXiv

Variational Quantum Circuits for Quantum State Tomography

Quantum state tomography is a key process in most quantum experiments. In this work, we employ quantum machine learning for state tomography. Given an unknown quantum state, it can be learned by maximizing the fidelity between the output of a variational quantum circuit and this state. The number of parameters of the variational quantum circuit grows linearly with the number of qubits and the circuit depth, so that only polynomial measurements are required, even for highly-entangled states. After that, a subsequent classical circuit simulator is used to transform the information of the target quantum state from the variational quantum circuit into a familiar format. We demonstrate our method by performing numerical simulations for the tomography of the ground state of a one-dimensional quantum spin chain, using a variational quantum circuit simulator. Our method is suitable for near-term quantum computing platforms, and could be used for relatively large-scale quantum state tomography for experimentally relevant quantum states.

preprint2019arXiv

Fedosov dg manifolds associated with Lie pairs

Given any pair $(L,A)$ of Lie algebroids, we construct a differential graded manifold $(L[1]\oplus L/A,Q)$, which we call Fedosov dg manifold. We prove that the cohomological vector field $Q$ constructed on $L[1]\oplus L/A$ by the Fedosov iteration method arises as a byproduct of the Poincaré--Birkhoff--Witt map established in arXiv:1408.2903. Finally, using the homological perturbation lemma, we establish a quasi-isomorphism of Dolgushev--Fedosov type: the differential graded algebras of functions on the dg manifolds $(A[1],d_A)$ and $(L[1]\oplus L/A,Q)$ are homotopy equivalent.

preprint2019arXiv

Polarization design for ground-to-satellite quantum entanglement distribution

Polarization maintenance is a key technology for free-space quantum communication. In this paper, we describe a polarization maintenance design of a transmitting antenna with an average polarization extinction ratio of 887 : 1 by a local test. We implemented a feasible polarization-compensation scheme for satellite motions that has a polarization fidelity more than 0.995. Finally, we distribute entanglement to a satellite from ground for the first time with a violation of Bell inequality by 2.312+-0.096.

preprint2018arXiv

Shifted derived Poisson manifolds associated with Lie pairs

We study the shifted analogue of the "Lie--Poisson" construction for $L_\infty$ algebroids and we prove that any $L_\infty$ algebroid naturally gives rise to shifted derived Poisson manifolds. We also investigate derived Poisson structures from a purely algebraic perspective and, in particular, we establish a homotopy transfer theorem for derived Poisson algebras. As an application, we prove that, given a Lie pair $(L,A)$, the space $\operatorname{tot}Ω^{\bullet}_A(Λ^\bullet(L/A))$ admits a degree $(+1)$ derived Poisson algebra structure with the wedge product as associative multiplication and the Chevalley--Eilenberg differential $d_A^{\operatorname{Bott}}:Ω^{\bullet}_A(Λ^\bullet(L/A))\to Ω^{\bullet +1}_A(Λ^\bullet(L/A))$ as unary $L_\infty$ bracket. This degree $(+1)$ derived Poisson algebra structure on $\operatorname{tot}Ω^{\bullet}_A(Λ^\bullet(L/A))$ is unique up to an isomorphism having the identity map as first Taylor coefficient. Consequently, the Chevalley--Eilenberg hypercohomology $\mathbb{H}(Ω^{\bullet}_A(Λ^\bullet(L/A)),d_A^{\operatorname{Bott}})$ admits a canonical Gerstenhaber algebra structure.

preprint2016arXiv

Grover Walks on a Line with Absorbing Boundaries

In this paper, we study Grover walks on a line with one and two absorbing boundaries. In particular, we present some results for the absorbing probabilities both in a semi-finite and finite line. Analytical expressions for these absorbing probabilities are presented by using the combinatorial approach. These results are perfectly matched with numerical simulations. We show that the behavior of Grover walks on a line with absorbing boundaries is strikingly different from that of classical walks and that of Hadamard walks.

preprint2016arXiv

The Lackadaisical Quantum Walker is NOT Lazy at all

In this paper, we study the properties of lackadaisical quantum walks on a line. This model is first proposed in~\cite{wong2015grover} as a quantum analogue of lazy random walks where each vertex is attached $τ$ self-loops. We derive an analytic expression for the localization probability of the walker at the origin after infinite steps, and obtain the peak velocities of the walker. We also calculate rigorously the wave function of the walker starting from the origin and obtain a long time approximation for the entire probability density function. As an application of the density function, we prove that lackadaisical quantum walks spread ballistically for arbitrary $τ$, and give an analytic solution for the variance of the walker's probability distribution.

preprint2015arXiv

Periodic Cyclic Homology and Equivariant Gerbes

This paper is our first step in establishing a de Rham model for equivariant twisted $K$-theory using machinery from noncommutative geometry. Let $G$ be a compact Lie group, $M$ a compact manifold on which $G$ acts smoothly. For any $α\in H^3_G (M, {\mathbb Z})$ we introduce a notion of localized equivariant twisted cohomology $H^\bullet ({\barΩ}^\bullet (M, G, L)_g, d^α_{G^g})$, indexed by $g\in G$. We prove that there exists a natural family of chain maps, indexed by $g\in G$, inducing a family of morphisms from the equivariant periodic cyclic homology $HP^G_\bullet ( C^\infty (M, α) )$, where $C^\infty (M, α)$ is a certain smooth algebra constructed from an equivariant bundle gerbe defined by $α\in H^3_G (M,{\mathbb Z} )$, to $H^\bullet ( {\barΩ}^\bullet (M, G, L)_g, d^α_{G^g})$. We formulate a conjecture of Atiyah-Hirzebruch type theorem for equivariant twisted $K$-theory.

preprint2015arXiv

Rozansky-Witten-type invariants from symplectic Lie pairs

We introduce symplectic structures on "Lie pairs" of (real or complex) algebroids as studied by Chen, Stienon and the second author (From Atiyah classes to homotopy Leibniz algebras, arXiv:1204.1075), encompassing homogeneous symplectic spaces, symplectic manifolds with a $\mathfrak g$-action and holomorphic symplectic manifolds. We show that to each such symplectic Lie pair are associated Rozansky-Witten-type invariants of three-manifolds and knots, given respectively by weight systems on trivalent and chord diagrams.

preprint2015arXiv

The Atiyah class of a dg-vector bundle

We introduce the notions of Atiyah class and Todd class of a differential graded vector bundle with respect to a differential graded Lie algebroid. We prove that the space of vector fields on a dg-manifold with homological vector field $Q$ admits a structure of L-infinity algebra with the Lie derivative $L_Q$ as unary bracket, and the Atiyah cocycle corresponding to a torsion-free affine connection as binary bracket.

preprint2014arXiv

A Hopf algebra associated to a Lie pair

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})$.

preprint2014arXiv

Implementation of a Measurement-Device-Independent Entanglement Witness

Entanglement, the essential resource in quantum information processing, should be witnessed in many tasks such as quantum computing and quantum communication. The conventional entanglement witness method, relying on an idealized implementation of measurements, could wrongly conclude a separable state to be entangled due to imperfect detections. Inspired by the idea of a time-shift attack, we construct an attack on the conventional entanglement witness process and demonstrate that a separable state can be falsely identified to be entangled. To close such detection loopholes, based on a recently proposed measurement-device-independent entanglement witness method, we design and experimentally demonstrate a measurement-device-independent entanglement witness for a variety of two-qubit states. By the new scheme, we show that an entanglement witness can be realized without detection loopholes.

preprint2013arXiv

Quantum teleportation and entanglement distribution over 100-kilometre free-space channels

A long standing goal for quantum communication is to transfer a quantum state over arbitrary distances. Free-space quantum communication provides a promising solution towards this challenging goal. Here, through a 97-km free space channel, we demonstrate long distance quantum teleportation over a 35-53 dB loss one-link channel, and entanglement distribution over a 66-85 dB high-loss two-link channel. We achieve an average fidelity of {80.4(9)}% for teleporting six distinct initial states and observe the violation of the Clauser-Horne-Shimony-Holt inequality after distributing entanglement. Besides being of fundamental interest, our result represents a significant step towards a global quantum network. Moreover, the high-frequency and high-accuracy acquiring, pointing and tracking technique developed in our experiment provides an essential tool for future satellite-based quantum communication.

preprint2012arXiv

Experimental demonstration of topological error correction

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.

preprint2012arXiv

Experimental measurement-based quantum computing beyond the cluster-state model

The paradigm of measurement-based quantum computation opens new experimental avenues to realize a quantum computer and deepens our understanding of quantum physics. Measurement-based quantum computation starts from a highly entangled universal resource state. For years, clusters states have been the only known universal resources. Surprisingly, a novel framework namely quantum computation in correlation space has opened new routes to implement measurement-based quantum computation based on quantum states possessing entanglement properties different from cluster states. Here we report an experimental demonstration of every building block of such a model. With a four-qubit and a six-qubit state as distinct from cluster states, we have realized a universal set of single-qubit rotations, two-qubit entangling gates and further Deutsch's algorithm. Besides being of fundamental interest, our experiment proves in-principle the feasibility of universal measurement-based quantum computation without using cluster states, which represents a new approach towards the realization of a quantum computer.

preprint2012arXiv

Realizing bending waveguides with anisotropic epsilon-near-zero metamaterials

We study metamaterials with an anisotropic effective permittivity tensor in which one component is near zero. We find that such an anisotropic metamaterial can be used to control wave propagation and construct almost perfect bending waveguides with a high transmission rate (>95%). This interesting effect originates in the power flow redistribution by the surface waves on the input and output interfaces, which smoothly matches with the propagating modes inside the metamaterial waveguide. We also find that waves in such anisotropic epsilon-near-zero materials can be reflected by small-sized perfect magnetic conductor defects. Numerical calculations have been performed to confirm the above effects.

preprint2011arXiv

Compact source of narrow-band counterpropagating polarization-entangled photon pairs using a single dual-periodically poled crystal

We propose a scheme for the generation of counterpropagating polarization-entangled photon pairs from a dual-periodically poled crystal. Compared with the usual forward-wave type source, this source, in the backward-wave way, has a much narrower bandwidth. With a 2-cm-long bulk crystal, the bandwidths of the example sources are estimated to be 3.6 GHz, and the spectral brightnesses are more than 100 pairs/(s GHz mW). Two concurrent quasi-phase-matched spontaneous parametric down-conversion processes in a single crystal enable our source to be compact and stable. This scheme does not rely on any state projection and applies to both degenerate and non-degenerate cases, facilitating applications of the entangled photons.

preprint2011arXiv

String topology for stacks

We establish the general machinery of string topology for differentiable stacks. This machinery allows us to treat on an equal footing free loops in stacks and hidden loops. In particular, we give a good notion of a free loop stack, and of a mapping stack $\map(Y,\XX)$, where $Y$ is a compact space and $\XX$ a topological stack, which is functorial both in $\XX$ and $Y$ and behaves well enough with respect to pushouts. We also construct a bivariant (in the sense of Fulton and MacPherson) theory for topological stacks: it gives us a flexible theory of Gysin maps which are automatically compatible with pullback, pushforward and products. Further we prove an excess formula in this context. We introduce oriented stacks, generalizing oriented manifolds, which are stacks on which we can do string topology. We prove that the homology of the free loop stack of an oriented stack and the homology of hidden loops (sometimes called ghost loops) are a Frobenius algebra which are related by a natural morphism of Frobenius algebras. We also prove that the homology of free loop stack has a natural structure of a BV-algebra, which together with the Frobenius structure fits into an homological conformal field theories with closed positive boundaries. Using our general machinery, we construct an intersection pairing for (non necessarily compact) almost complex orbifolds which is in the same relation to the intersection pairing for manifolds as Chen-Ruan orbifold cup-product is to ordinary cup-product of manifolds. We show that the hidden loop product of almost complex is isomorphic to the orbifold intersection pairing twisted by a canonical class. Finally we gave some examples including the case of the classifying stacks $[*/G]$ of a compact Lie group.

preprint2010arXiv

Cohomology of Lie 2-groups

In this paper we study the cohomology of (strict) Lie 2-groups. We obtain an explicit Bott-Shulman type map in the case of a Lie 2-group corresponding to the crossed module $A\to 1$. The cohomology of the Lie 2-groups corresponding to the universal crossed modules $G\to \Aut(G)$ and $G\to \Aut^+(G)$ is the abutment of a spectral sequence involving the cohomology of $GL(n,\Z)$ and $SL(n,\Z)$. When the dimension of the center of $G$ is less than 3, we compute explicitly these cohomology groups. We also compute the cohomology of the Lie 2-group corresponding to a crossed module $G\to H$ whose kernel is compact and cokernel is connected, simply connected and compact and apply the result to the string 2-group.

preprint2010arXiv

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

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.

preprint2008arXiv

Experimental demonstration of a hyper-entangled ten-qubit Schrödinger cat state

Coherent manipulation of an increasing number of qubits for the generation of entangled states has been an important goal and benchmark in the emerging field of quantum information science. The multiparticle entangled states serve as physical resources for measurement-based quantum computing and high-precision quantum metrology. However, their experimental preparation has proved extremely challenging. To date, entangled states up to six, eight atoms, or six photonic qubits have been demonstrated. Here, by exploiting both the photons' polarization and momentum degrees of freedom, we report the creation of hyper-entangled six-, eight-, and ten-qubit Schrödinger cat states. We characterize the cat states by evaluating their fidelities and detecting the presence of genuine multi-partite entanglement. Small modifications of the experimental setup will allow the generation of various graph states up to ten qubits. Our method provides a shortcut to expand the effective Hilbert space, opening up interesting applications such as quantum-enhanced super-resolving phase measurement, graph-state generation for anyonic simulation and topological error correction, and novel tests of nonlocality with hyper-entanglement.

preprint2008arXiv

Integration of Holomorphic Lie Algebroids

We prove that a holomorphic Lie algebroid is integrable if, and only if, its underlying real Lie algebroid is integrable. Thus the integrability criteria of Crainic-Fernandes do also apply in the holomorphic context without any modification. As a consequence we give another proof of the following theorem: a holomorphic Poisson manifold is integrable if, and only if, its real (or imaginary) part is integrable as a real Poisson manifold.

preprint2008arXiv

Reduction of Generalized Complex Structures

We study reduction of generalized complex structures. More precisely, we investigate the following question. Let $J$ be a generalized complex structure on a manifold $M$, which admits an action of a Lie group $G$ preserving $J$. Assume that $M_0$ is a $G$-invariant smooth submanifold and the $G$-action on $M_0$ is proper and free so that $M_G:=M_0/G$ is a smooth manifold. Under what condition does $J$ descend to a generalized complex structure on $M_G$? We describe a sufficient condition for the reduction to hold, which includes the Marsden-Weinstein reduction of symplectic manifolds and the reduction of the complex structures in Kähler manifolds as special cases. As an application, we study reduction of generalized Kähler manifolds.

preprint2002arXiv

Quantum dynamical Yang-Baxter equation over a nonabelian base

In this paper we consider dynamical r-matrices over a nonabelian base. There are two main results. First, corresponding to a fat reductive decomposition of a Lie algebra $\frakg =\frakh \oplus \frakm$, we construct geometrically a non-degenerate triangular dynamical r-matrix using symplectic fibrations. Second, we prove that a triangular dynamical r-matrix $r: \frakh^* \lon \wedge^2 \frakg$ corresponds to a Poisson manifold $\frakh^* \times G$. A special type of quantizations of this Poisson manifold, called compatible star products in this paper, yields a generalized version of the quantum dynamical Yang-Baxter equation (or Gervais-Neveu-Felder equation). As a result, the quantization problem of a general dynamical r-matrix is proposed.

preprint2001arXiv

Dirac submanifolds and Poisson involutions

Dirac submanifolds are a natural generalization in the Poisson category for symplectic submanifolds of a symplectic manifold. In a certain sense they correspond to symplectic subgroupoids of the symplectic groupoid of the given Poisson manifold. In particular, Dirac submanifolds arise as the stable locus of a Poisson involution. In this paper, we provide a general study for these submanifolds including both local and global aspects. In the second part of the paper, we study Poisson involutions and the induced Poisson structures on their stable locuses. We discuss the Poisson involutions on a special class of Poisson groups, and more generally Poisson groupoids, called symmetric Poisson groups (and symmetric Poisson groupoids). Many well-known examples, including the standard Poisson group structures on semi-simple Lie groups, Bruhat Poisson structures on compact semi-simple Lie groups, and Poisson groupoids connecting with dynamical $r$-matrices of semi-simple Lie algebras are symmetric, so they admit a Poisson involution. For symmetric Poisson groups, the relation between the stable locus Poisson structure and Poisson symmetric spaces is discussed. As a consequence, we show that the Dubrovin-Ugaglia-Boalch-Bondal Poisson structure on the space of Stokes matrices $U_{+}$ appearing in Dubrovin's theory of Frobenius manifolds is indeed a Poisson symmetric space for the Poisson group $B_{+}*B_{-}$.

preprint2000arXiv

Quantum groupoids

We introduce a general notion of quantum universal enveloping algebroids (QUE algebroids), or quantum groupoids, as a unification of quantum groups and star-products. Some basic properties are studied including the twist construction and the classical limits. In particular, we show that a quantum groupoid naturally gives rise to a Lie bialgebroid as a classical limit. Conversely, we formulate a conjecture on the existence of a quantization for any Lie bialgebroid, and prove this conjecture for the special case of regular triangular Lie bialgebroids. As an application of this theory, we study the dynamical quantum groupoid ${\cal D}\otimes_{\hbar} U_{\hbar}(\frakg)$, which gives an interpretation of the quantum dynamical Yang-Baxter equation in terms of Hopf algebroids.

preprint1996arXiv

Fedosov *-products and quantum momentum maps

We study various aspects of Fedosov star-products on symplectic manifolds. By introducing the notion of "quantum exponential maps", we give a criterion characterizing Fedosov connections. As a consequence, a geometric realization is obtained for the equivalence between an arbitrary *-product and a Fedosov one. Every Fedosov *-product is shown to be a Vey *-product. Consequently, one obtains that every *-product is equivalent to a Vey * -product, a classical result of Lichnerowicz. Quantization of a hamiltonian G-space, and in particular, quantum momentum maps are studied. Lagrangian submanifolds are also studied under a deformation quantization.