Graph theory is important in information theory. We introduce a quantization process on graphs and apply the quantized graphs in quantum information. The quon language provides a mathematical theory to study such quantized graphs in a general framework. We give a new method to construct graphical quantum error correcting codes on quantized graphs and characterize all optimal ones. We establish a further connection to geometric group theory and construct quantum low-density parity-check stabilizer codes on the Cayley graphs of groups. Their logical qubits can be encoded by the ground states of newly constructed exactly solvable models with translation-invariant local Hamiltonians. Moreover, the Hamiltonian is gapped in the large limit when the underlying group is infinite.

We give a transparent algebraic formulation of our pictorial approach to the reflection positivity (RP), that we introduced in a previous paper. We apply this quantization to the 2+1 Levin–Wen model to obtain 1+1 anyonic/quantum spin chain theory on the boundary, possibly entangled in the bulk. The reflection positivity property has played a central role in both mathematics and physics, as well as providing a crucial link between the two subjects. In a previous paper we gave a new geometric approach to understanding reflection positivity in terms of pictures. Here we give a transparent algebraic formulation of our pictorial approach. We use insights from this translation to establish the reflection positivity property for the fashionable Levin–Wen models with respect both to vacuum and to bulk excitations. We believe these methods will be useful for understanding a variety of other problems.

We introduce a quantum trace map for an ideally triangulated hyperbolic knot complement S^3∖K. The map assigns a quantum operator to each element of Kauffmann Skein module of the 3-manifold. The quantum operator lives in a module generated by products of quantized edge parameters of the ideal triangulation modulo some equivalence relations determined by gluing equations. Combining the quantum map with a state-integral model of SL(2,C) Chern-Simons theory, one can define perturbative invariants of knot K in the knot complement whose leading part is determined by its complex hyperbolic length. We then conjecture that the perturbative invariants determine an asymptotic expansion of the Jones polynomial for a link composed of K and K. We propose the explicit quantum trace map for figure-eight knot complement and confirm the length conjecture up to the second order in the asymptotic expansion both numerically and analytically.

This paper studies a notion of enumerative invariants for stable A-branes, and discusses its relation to invariants defined by spectral and exponential networks. A natural definition of stable A-branes and their counts is provided by the string theoretic origin of the topological A-model. This is the Witten index of the supersymmetric quantum mechanics of a single D3 brane supported on a special Lagrangian in a Calabi-Yau threefold. Geometrically, this is closely related to the Euler characteristic of the A-brane moduli space. Using the natural torus action on this moduli space, we reduce the computation of its Euler characteristic to a count of fixed points via equivariant localization. Studying the A-branes that correspond to fixed points, we make contact with definitions of spectral and exponential networks. We find agreement between the counts defined via the Witten index, and the BPS invariants defined by networks. By extension, our definition also matches with Donaldson-Thomas invariants of B-branes related by homological mirror symmetry.

We study hybrid models arising as homological projective duals (HPD) of certain projective embeddings f:X→P(V) of Fano manifolds X. More precisely, the category of B-branes of such hybrid models corresponds to the HPD category of the embedding f. B-branes on these hybrid models can be seen as global matrix factorizations over some compact space B or, equivalently, as the derived category of the sheaf of A-modules on B, where A is an A_∞ algebra. This latter interpretation corresponds to a noncommutative resolution of B. We compute explicitly the algebra A by several methods, for some specific class of hybrid models, and find that in general it takes the form of a smash product of an A_∞ algebra with a cyclic group. Then we apply our results to the HPD of f corresponding to a Veronese embedding of projective space and the projective embedding of Fano complete intersections in P^n.