Skip to main content
Quantum Computing

You are not logged in. Your edit will be placed in a queue until it is peer reviewed.

We welcome edits that make the post easier to understand and more valuable for readers. Because community members review edits, please try to make the post substantially better than how you found it, for example, by fixing grammar or adding additional resources and hyperlinks.

Required fields*

3
  • $\begingroup$ What are "obscure facts in linear algebra"? $\endgroup$ Commented Feb 22, 2024 at 19:03
  • $\begingroup$ ... and would it be sufficient to prove this for the $B_k$ with the HS inner product? And what is wrong with a diagrammatic proof -- those can usually be easily rewritten without resorting to diagrammatic techniques, unless there are dozens of indices. $\endgroup$ Commented Feb 22, 2024 at 19:05
  • $\begingroup$ @NorbertSchuch Ok I guess that is a fair point. I am just thinking from the perspective of students taking the course who may not be acquainted with diagrammatic techniques. And yes, for $B_k$ with HS inner product I think that's how the diagrammatic proof would look simplest. I was just wondering if there are more direct method without, as you say, using thousands of indices of brute force computation (which would amount to taking the diagram and translate them literally). If there is none I am happy with it. $\endgroup$ Commented Feb 23, 2024 at 10:44