Hidden cut demo #1401
Open
Hidden cut demo #1401
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
cognigami
reviewed
Jul 11, 2025
| # when it takes light itself 33 billion years to travel between the qubits is one of the most | ||
| # philosophically loaded questions at the heart of quantum foundations. | ||
| # | ||
| # Despite entanglement being so philosophically provocative, it’s somewhat surprising that in fact it |
There was a problem hiding this comment.
Suggested change
| # Despite entanglement being so philosophically provocative, it’s somewhat surprising that in fact it | |
| # Despite entanglement being so philosophically provocative, it’s somewhat surprising that it is so |
| # problem related to unentanglement, called the *hidden cut problem*. In this problem we assume that | ||
| # we’re given a state consisting of many components. As we discussed, it’ll generally be the case that | ||
| # most of these components are entangled with one another. But in the hidden cut problem we are | ||
| # guaranteed that it’s possible to split the components up into two groups, so that between the two |
There was a problem hiding this comment.
Suggested change
| # guaranteed that it’s possible to split the components up into two groups, so that between the two | |
| # guaranteed that it’s possible to split the components into two groups, so that between the two |
| # , where :math:`\ket{\psi_A}` is a state of system :math:`A` and :math:`\ket{\psi_B}` is a state of | ||
| # system :math:`B`. We also use the term *separable* or *factorizable* to describe an unentagled | ||
| # state. We’ll usually not bother writing the tensor product sign and just write | ||
| # :math:`\ket{\psi} = \ket{\psi_A}\ket{\psi_B}`. And if :math:`\ket{\psi}` isn’t unentangled we say |
There was a problem hiding this comment.
"And if ..." could we drop this sentence?
| # | ||
| # \ket{\psi} = \ket{\psi_S}\ket{\psi_{\bar S}}, | ||
| # | ||
| # but we aren’t told what :math:`S` and :math:`\bar S` are. The hidden cut problem asks us, given |
There was a problem hiding this comment.
Could we move the interjection to the end of the sentence? "The hidden cut problem asks us to determine :math:S and :math:\bar S, given only :math:\ket\psi."
…en-cut Merge latest changes from upstream master
|
This is failing because the build environment doesn't include galois (I think). Working on it with the maintainers. |
|
Thank you for opening this pull request. You can find the built site at this link. Deployment Info:
Note: It may take several minutes for updates to this pull request to be reflected on the deployed site. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Title: Hidden cut demo
Summary: Completed first draft of hidden cut demo.
Relevant references: N/A
Possible Drawbacks: N/A
Related GitHub Issues: N/A
If you are writing a demonstration, please answer these questions to facilitate the marketing process.
GOALS — Why are we working on this now?
Show a PL implementation of a recent paper (arxiv 2410.12706)
AUDIENCE — Who is this for?
Anyone interested in entanglement or hidden subgroup problems.
KEYWORDS — What words should be included in the marketing post?
Entanglement, Hidden Subgroup Problem, Hidden Cut, StateHSP
Which of the following types of documentation is most similar to your file?
(more details here)