BZPEERReading, trust and collaboration for research
Menu

Discover

SearchFind papers, people, topics and opportunities from one place.GraphOpen maps around papers, topics and saved views.

Workspaces

HomeOpen the ranked research feed.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Source author record

Shawn X. Cui

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

ResearcherUnclaimed source record
math.QAquant-phmath.GTComputational Complexitycond-mat.othercond-mat.str-elInformation Theorymath-phmath.COmath.ITmath.MP

Catalog footprint

What is connected

6works
11topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this map preview

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

Published work

6 published item(s)

preprint2016arXiv

Quantum Max-flow/Min-cut

The classical max-flow min-cut theorem describes transport through certain idealized classical networks. We consider the quantum analog for tensor networks. By associating an integral capacity to each edge and a tensor to each vertex in a flow network, we can also interpret it as a tensor network, and more specifically, as a linear map from the input space to the output space. The quantum max flow is defined to be the maximal rank of this linear map over all choices of tensors. The quantum min cut is defined to be the minimum product of the capacities of edges over all cuts of the tensor network. We show that unlike the classical case, the quantum max-flow=min-cut conjecture is not true in general. Under certain conditions, e.g., when the capacity on each edge is some power of a fixed integer, the quantum max-flow is proved to equal the quantum min-cut. However, concrete examples are also provided where the equality does not hold. We also found connections of quantum max-flow/min-cut with entropy of entanglement and the quantum satisfiability problem. We speculate that the phenomena revealed may be of interest both in spin systems in condensed matter and in quantum gravity.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Universal Quantum Computation with Metaplectic Anyons

We show that braidings of the metaplectic anyons $X_ε$ in $SO(3)_2=SU(2)_4$ with their total charge equal to the metaplectic mode $Y$ supplemented with measurements of the total charge of two metaplectic anyons are universal for quantum computation. We conjecture that similar universal computing models can be constructed for all metaplectic anyon systems $SO(p)_2$ for any odd prime $p\geq 5$. In order to prove universality, we find new conceptually appealing universal gate sets for qutrits and qupits.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Complexity Classes as Mathematical Axioms II

The second author previously discussed how classical complexity separation conjectures, we call them "axioms", have implications in three manifold topology: polynomial length stings of operations which preserve certain Jones polynomial evaluations cannot produce exponential simplifications of link diagrams. In this paper, we continue this theme, exploring now more subtle separation axioms for quantum complexity classes. Surprisingly, we now find that similar strings are unable to effect even linear simplifications of the diagrams.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Framed Cord Algebra Invariant of Knots in $S^1 \times S^2$

We generalize Ng's two-variable algebraic/combinatorial $0$-th framed knot contact homology for framed oriented knots in $S^3$ to knots in $S^1 \times S^2$, and prove that the resulting knot invariant is the same as the framed cord algebra of knots. Actually, our cord algebra has an extra variable, which potentially corresponds to the third variable in Ng's three-variable knot contact homology. Our main tool is Lin's generalization of the Markov theorem for braids in $S^3$ to braids in $S^1 \times S^2$. We conjecture that our framed cord algebras are always finitely generated for non-local knots.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

On Enriching the Levin-Wen model with Symmetry

Symmetry protected and symmetry enriched topological phases of matter are of great interest in condensed matter physics due to new materials such as topological insulators. The Levin-Wen model for spin/boson systems is an important rigorously solvable model for studying $2D$ topological phases. The input data for the Levin-Wen model is a unitary fusion category, but the same model also works for unitary multi-fusion categories. In this paper, we provide the details for this extension of the Levin-Wen model, and show that the extended Levin-Wen model is a natural playground for the theoretical study of symmetry protected and symmetry enriched topological phases of matter.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Universal quantum computation with weakly integral anyons

Harnessing non-abelian statistics of anyons to perform quantum computational tasks is getting closer to reality. While the existence of universal anyons by braiding alone such as the Fibonacci anyon is theoretically a possibility, accessible anyons with current technology all belong to a class that is called weakly integral---anyons whose squared quantum dimensions are integers. We analyze the computational power of the first non-abelian anyon system with only integral quantum dimensions---$D(S_3)$, the quantum double of $S_3$. Since all anyons in $D(S_3)$ have finite images of braid group representations, they cannot be universal for quantum computation by braiding alone. Based on our knowledge of the images of the braid group representations, we set up three qutrit computational models. Supplementing braidings with some measurements and ancillary states, we find a universal gate set for each model.

0 citations0 reviewsNo code linkedOpen access