Skip to content

Conversation

@dartsushi
Copy link
Contributor

The fixing of degeneracy was incorrect. I fixed the fix_degeneracies function and added some comments concerning the relation between the momentum and conformal spins.

@codecov
Copy link

codecov bot commented May 12, 2025

Codecov Report

All modified and coverable lines are covered by tests ✅

see 3 files with indirect coverage changes

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

Copy link
Member

@lkdvos lkdvos left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Just making sure I get this right, the issue effectively was that the momentum function already took the angle, while it shouldn't have?
Also, the normalization was unnecessary because the vectors already come out as normalized?

Otherwise I'm definitely happy with this change, thanks for the fix!
If you don't mind I'll rerun the example and push the changes here so the docs get updated appropriately?

@dartsushi
Copy link
Contributor Author

dartsushi commented May 12, 2025

Just making sure I get this right, the issue effectively was that the momentum function already took the angle, while it shouldn't have?
Also, the normalization was unnecessary because the vectors already come out as normalized?

Yes, basically!

If you don't mind I'll rerun the example and push the changes here so the docs get updated appropriately?

Yes please :)

@dartsushi
Copy link
Contributor Author

I also realized that imposing Z2 helps to keep the degeneracies and thus the better momentum

@lkdvos lkdvos added the documentation Improvements or additions to documentation label May 13, 2025
@lkdvos lkdvos merged commit aed3366 into QuantumKitHub:master May 13, 2025
28 checks passed
Comment on lines +99 to +100
" id = complex(isomorphism(ℂ^2, ℂ^2))\n",
" @tensor O[-1 -2; -3 -4] := id[-1, -3] * id[-2, -4]\n",
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

How about? id is already a function in TensorKit.jl

    "    I = id(ComplexF64, ℂ^2)\n",
    "    @tensor O[-1 -2; -3 -4] := I[-1, -3] * I[-2, -4]\n",

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Oops, I didn't notice this PR is merged already; was reading it via email.

Comment on lines +56 to +57
id = complex(isomorphism(ℂ^2, ℂ^2))
@tensor O[-1 -2; -3 -4] := id[-1, -3] * id[-2, -4]
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Same here.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants