Papers
Topics
Authors
Recent
Search
2000 character limit reached

Density and unitarity of the Burau representation from a non-semisimple TQFT

Published 20 Feb 2024 in math.GT, math.QA, math.RT, and quant-ph | (2402.13242v1)

Abstract: We study the density of the Burau representation from the perspective of a non-semisimple TQFT at a fourth root of unity. This gives a TQFT construction of Squier's Hermitian form on the Burau representation with possibly mixed signature. We prove that the image of the braid group in the space of possibly indefinite unitary representations is dense. We also argue for the potential applications of non-semisimple TQFTs toward topological quantum computation.

Definition Search Book Streamline Icon: https://streamlinehq.com
References (62)
  1. Polynomial quantum algorithms for additive approximations of the Potts model and other points of the Tutte plane. 2007. arXiv:quant-ph/0702008.
  2. L. Baribeau and T. Ransford. On the set of discrete two-generator groups. Math. Proc. Cambridge Philos. Soc., 128(2):245–255, 2000.
  3. A.F. Beardon. The geometry of discrete groups, volume 91 of Graduate Texts in Mathematics. Springer-Verlag, New York, 1995. Corrected reprint of the 1983 original.
  4. Joan S. Birman. Braids, links, and mapping class groups, volume No. 82 of Annals of Mathematics Studies. Princeton University Press, Princeton, NJ; University of Tokyo Press, Tokyo, 1974.
  5. T. Blackman and Z. Stier. Fast Navigation with Icosahedral Golden Gates. 2022. arXiv:2205.03007.
  6. Non-semi-simple TQFTs, Reidemeister torsion and Kashaev’s invariants. Adv. Math., 301:1–78, 2016. arXiv:1404.7289.
  7. Optimal ancilla-free Pauli+V circuits for axial rotations. Journal of Mathematical Physics, 56(12):122201, 12 2015.
  8. Efficient decomposition of single-qubit gates into V basis circuits. Phys. Rev. A, 88:012313, Jul 2013.
  9. The ADO invariants are a q-holonomic family. 2005. arXiv:2005.08176.
  10. Non-semi-simple TQFTs, Reidemeister torsion and Kashaev’s invariants. Adv. Math., 301:1–78, 2016. arXiv:1406.0410 .
  11. Quantum invariants of 3-manifolds via link surgery presentations and non-semi-simple categories. J. Topol., 7(4):1005–1053, 2014. arXiv:1202.3553.
  12. Some remarks on the unrolled quantum group of 𝔰⁢𝔩⁢(2)𝔰𝔩2\mathfrak{sl}(2)fraktur_s fraktur_l ( 2 ). J. Pure Appl. Algebra, 219(8):3238–3262, 2015.
  13. F. Costantino and J. Murakami. On the SL⁢(2,ℂ)SL2ℂ\rm{SL}(2,\mathbb{C})roman_SL ( 2 , blackboard_C ) quantum 6⁢j6𝑗6j6 italic_j-symbols and their relation to the hyperbolic volume. Quantum Topol., 4(3):303–351, 2013.
  14. S. Cui and Z. Wang. Universal quantum computation with metaplectic anyons. J. Math. Phys., 56(3):032202, 18, 2015.
  15. D. Djokovic and K. Hofmann. The surjectivity question for the exponential function of real Lie groups: a status report. J. Lie Theory, 7(2):171–199, 1997.
  16. D. Djokovic and Nguyêñ Q. Thǎńg. Conjugacy classes of maximal tori in simple real algebraic groups and applications. Canad. J. Math., 46(4):699–717, 1994.
  17. D. Djokovic and Nguyêñ Q. Thǎńg. On the exponential map of almost simple real algebraic groups. J. Lie Theory, 5(2):275–291, 1995.
  18. Lie groups with dense exponential image. Math. Z., 225(1):35–47, 1997.
  19. S. Evra and O. Parzanchevski. Ramanujan complexes and golden gates in P⁢U⁢(3)𝑃𝑈3PU(3)italic_P italic_U ( 3 ). Geom. Funct. Anal., 32(2):193–235, 2022.
  20. Topological quantum computation. volume 40, pages 31–38. 2003. Mathematical challenges of the 21st century (Los Angeles, CA, 2000).
  21. The two-eigenvalue problem and density of Jones representation of braid groups. Comm. Math. Phys., 228(1):177–199, 2002.
  22. A modular functor which is universal for quantum computation. Comm. Math. Phys., 227(3):605–622, 2002.
  23. L. Funar. Zariski density and finite quotients of mapping class groups. Int. Math. Res. Not. IMRN, (9):2078–2096, 2013.
  24. Generalized trace and modified dimension functions on ribbon categories. Selecta Math. (N.S.), 17(2):453–504, 2011.
  25. A Hermitian TQFT from a non-semisimple category of quantum 𝔰⁢𝔩⁢(2)𝔰𝔩2\mathfrak{sl}(2)fraktur_s fraktur_l ( 2 )-modules. Lett. Math. Phys., 112(4):Paper No. 74, 27, 2022. arXiv:2108.09242.
  26. Non-semisimple Levin-Wen models and Hermitian TQFTs from quantum (super)groups. 2022. arXiv:2208.14566 .
  27. Pseudo-Hermitian Levin-Wen models from non-semisimple TQFTs. Ann. Physics, 442:Paper No. 168937, 33, 2022.
  28. Modified 6⁢j6𝑗6j6 italic_j-symbols and 3-manifold invariants. Adv. Math., 228(2):1163–1202, 2011.
  29. Exact synthesis of multiqubit Clifford+T𝑇{T}italic_T circuits. Phys. Rev. A, 87:032332, Mar 2013.
  30. R. L. Graham and J. H. van Lint. On the distribution of n⁢θ𝑛𝜃n\thetaitalic_n italic_θ modulo 1111. Canadian J. Math., 20:1020–1024, 1968.
  31. Efficient discrete approximations of quantum gates. volume 43, pages 4445–4451. 2002. Quantum information theory.
  32. K. Hofmann and A. Mukherjea. On the density of the image of the exponential function. Math. Ann., 234(3):263–273, 1978.
  33. Topological quantum compiling. Phys. Rev. B, 75:165310, Apr 2007.
  34. A. Yu. Kitaev. Quantum computations: algorithms and error correction. Uspekhi Mat. Nauk, 52(6(318)):53–112, 1997.
  35. Asymptotically optimal topological quantum compiling. Phys. Rev. Lett., 112(14):140504–1–140504–5, 2014.
  36. Asymptotically optimal approximation of single qubit unitaries by clifford and t𝑡titalic_t circuits using a constant number of ancillary qubits. Phys. Rev. Lett., 110:190502, May 2013.
  37. Fast and efficient exact synthesis of single-qubit unitaries generated by Clifford and T gates. Quantum Inf. Comput., 13(7-8):607–630, 2013.
  38. Practical approximation of single-qubit unitaries by single-qubit quantum clifford and T circuits. IEEE Transactions on Computers, 65(1):161–172, 2016.
  39. G. Kuperberg. Denseness and Zariski denseness of Jones braid representations. Geom. Topol., 15(1):11–39, 2011.
  40. G. Kuperberg. How hard is it to approximate the Jones polynomial? Theory Comput., 11:183–219, 2015.
  41. Hecke operators and distributing points on the sphere. I. volume 39, pages S149–S186. 1986. Frontiers of the mathematical sciences: 1985 (New York, 1985).
  42. Hecke operators and distributing points on S2superscript𝑆2S^{2}italic_S start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT. II. Comm. Pure Appl. Math., 40(4):401–420, 1987.
  43. J. Martel. The non semi-simple TQFT of the sphere with four punctures. 2020. arXiv:2006.07079.
  44. C.T. McMullen. Braid groups and Hodge theory. Math. Ann., 355(3):893–946, 2013.
  45. M. Moskowitz. The surjectivity of the exponential map for certain Lie groups. Ann. Mat. Pura Appl. (4), 166:129–143, 1994.
  46. J. Murakami. Colored Alexander invariants and cone-manifolds. Osaka J. Math., 45(2):541–564, 2008.
  47. Non-abelian anyons and topological quantum computation. Rev. Modern Phys., 80(3):1083–1159, 2008. arXiv:0707.1889.
  48. K. Neeb. Weakly exponential Lie groups. J. Algebra, 179(2):331–361, 1996.
  49. T. Ohtsuki. Quantum invariants, volume 29 of Series on Knots and Everything. World Scientific Publishing Co., Inc., River Edge, NJ, 2002. A study of knots, 3-manifolds, and their sets.
  50. O. Parzanchevski and P. Sarnack. Super-Golden-Gates for PU(2). 2017. arXiv:1704.02106.
  51. N.J. Ross. Optimal ancilla-free Clifford+V approximation of z𝑧zitalic_z-rotations. Quantum Inf. Comput., 15(11–12):932–950, 2015.
  52. N.J. Ross and P. Selinger. Optimal ancilla-free Clifford+TClifford𝑇{\rm Clifford}+Troman_Clifford + italic_T approximation of z𝑧zitalic_z-rotations. Quantum Inf. Comput., 16(11-12):901–953, 2016.
  53. N. Salter. Linear-central filtrations and the image of the Burau representation. Geom. Dedicata, 211:145–163, 2021.
  54. P. Sarnak. Letter to Scott Aaronson and Andy Pollington on the Solovay–Kitaev theorem and Golden Gates. 2015.
  55. N. Scherich. Classification of the real discrete specialisations of the Burau representation of B3subscript𝐵3B_{3}italic_B start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT. Math. Proc. Cambridge Philos. Soc., 168(2):295–304, 2020.
  56. N. Scherich. Discrete real specializations of sesquilinear representations of the braid groups. Algebr. Geom. Topol., 23(5):2009–2028, 2023.
  57. P. Selinger. Efficient Clifford+T approximation of single-qubit operators. Quantum Info. Comput., 15(1–2):159–180, jan 2015.
  58. Topological quantum computing with only one mobile quasiparticle. Phys. Rev. Lett., 96:070503, Feb 2006.
  59. C.K. Squier. The Burau representation is unitary. Proc. Amer. Math. Soc., 90(2):199–202, 1984.
  60. Z. Stier. Optimal topological generators of U⁢(1)𝑈1U(1)italic_U ( 1 ). J. Number Theory, 214:63–78, 2020.
  61. D. Sullivan. Quasiconformal homeomorphisms and dynamics. II. Structural stability implies hyperbolicity for Kleinian groups. Acta Math., 155(3-4):243–260, 1985.
  62. T. N. Venkataramana. Image of the Burau representation at d𝑑ditalic_d-th roots of unity. Ann. of Math. (2), 179(3):1041–1083, 2014.
Citations (1)
View on Semantic Scholar

Summary

No one has generated a summary of this paper yet.

Sign Up to Summarize

Paper to Video (Beta)

No one has generated a video about this paper yet.

Sign Up to Generate All Videos Subscribe on YouTube

Whiteboard

No one has generated a whiteboard explanation for this paper yet.

Sign Up to Generate

Open Problems

We found no open problems mentioned in this paper.

Continue Learning

We haven't generated follow-up questions for this paper yet.

Generate Now

Collections

Sign up for free to add this paper to one or more collections.

Sign Up

Tweets

Sign up for free to view the 3 tweets with 4 likes about this paper.

Sign Up for Free