Quantum Computing SEArchived Jun 05, 2026✓ Full text saved
While trying to construct a distance 5 magic state cultivation circuit according to Gidney et al.'s " Magic state cultivation: growing T states as cheap as CNOT gates paper." I inspected the detector slice diagram of the circuit after the escape stage and wanted to verify the code distance. Is verifying the code distance of a topological code like this possible using visual inspection or some other property of topological codes? Or is it necessary to brute-force enumerate errors of all lower wei
Full text archived locally
✦ AI Summary· Claude Sonnet
Distance of a non-standard topological code
Ask Question
Asked yesterday
Modified yesterday
Viewed 78 times
1
While trying to construct a distance 5 magic state cultivation circuit according to Gidney et al.'s "Magic state cultivation: growing T states as cheap as CNOT gates paper." I inspected the detector slice diagram of the circuit after the escape stage and wanted to verify the code distance.
Is verifying the code distance of a topological code like this possible using visual inspection or some other property of topological codes? Or is it necessary to brute-force enumerate errors of all lower weight until one doesn't commute with the stabilizers?
detector slice diagram:
error-correctionstabilizer-codesurface-codemagic-states
Share
Improve this question
Follow
asked yesterday
PrimeSoup
474
4 bronze badges
Add a comment
1 Answer
Sorted by:
Highest score (default)
Date modified (newest first)
Date created (oldest first)
2
You can do better than brute force search by knowing that for an undetectable logical error it must be the case that any stabilizer that gets flipped by an error must also get un-flipped by some other error. So after you pick your first error to insert, you can pick one of your excited stabilizers and pick between errors that would flip it again (rather than picking between all possible errors). Keep doing that until all the stabilizers are cleared but the logical operator is still flipped and you have a logical error.
A second optimization you can apply that is always safe is to only start the search from errors that flip the logical operator. A logical error must include at least one physical error that flipped the logical operator.
A third optimization is to remember states you have seen (i.e. the same set of stabilizers and logical operators being flipped) to avoid exploring them again if they are encountered via a different path.
In some situations (which happen to include the case you showed) these three optimizations are sufficient to reduce the problem into a linear time shortest path search rather than an exponential time search. In particular, if you have a surface code where the logical operator is defined along a boundary and you are only considering bit flip errors (or phase flip errors) then finding an error is equivalent to a shortest path problem from one boundary to another.
Unfortunately, in general, things are harder than linear time. For example, in the toric code the shortest logical errors correspond to loops rather than paths and there's no boundary errors to seed the search with a single excitation rather than two excitations (which can introduce quadratic overheads).
Share
Improve this answer
Follow
answered yesterday
Craig Gidney
51.8k1
1 gold badge
54
54 silver badges
135
135 bronze badges
Ok this is quite helpful but what about the case I showed lets you know it is a shortest path search? Or is this only known because you checked? –
PrimeSoup
Commented
22 hours ago
@PrimeSoup you can tell because it's matchable (each qubit touched by at most 2 blue and 2 red shapes) and has logical operators only running along boundaries. –
Craig Gidney
Commented
10 hours ago
Add a comment
Your Answer
Sign up or log in
Sign up using Google
Sign up using Email and Password
Post as a guest
Name
Email
Required, but never shown
Post Your Answer
By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.
Start asking to get answers
Find the answer to your question by asking.
Ask question
Explore related questions
error-correctionstabilizer-codesurface-codemagic-states
See similar questions with these tags.
The Overflow Blog
What it takes to be a player in the international AI...
Making the OWASP top ten in the vibe code...
Featured on Meta
Native Ads Coming To Comments
Related
13
How to calculate the distance of stabilizer code?
4
How to calculate distance of
k=0
𝑘
=
0
stabilizer code?
9
Why do we need to keep of history of
d
𝑑
cycle for surface code in order to resist against data *and* measurement errors
3
Are there standard forms for non-additive quantum codes?
6
Smallest distance-2 codes with non-trivial logical transversal
T
𝑇
gates
2
Estimating topological errors of a CCZ factory
1
Why does the distance-15 grafted matchable code in Magic State Cultivation idle like only a distance-11 surface code?
0
Magic state cultivation: order of logical error and a T state being "too good"
2
Non-degenerate quantum codes with linear distance
0
Carrying out Magic State Cultivation using d=3 color code and d=5 surface code
Hot Network Questions
Older sci-fi paperback. Possibly 1970’s. Main protagonist was a Liquid Metal entity. Not terminator
Where can you *actually* sell silver near its price?
Some kinds of Multiplication tables
Double Minipage Macro Aligns to Bottom with [t]
Can a semi-parametric survival model produce survival and hazard estimates past the max event time?
How do I need to drain my plumbing to replace a stop valve?
What is the duplicate filter in ranger for? And how to use it?
How to prevent underlines getting colours when the URL contains a line break?
why does замётано mean "agreed"?
Seven Stones, Six Paths
Dependence of orbital energy in single-electron atoms
How do we uniquely determine current density in classical electromagnetism and Maxwell's equations?
Is metaphysical solipsism a coherent position?
Rigid body cylinder falling through floor
Automatically swtiched from interim release to LTS
Can I transfer codes from Google Authenticator, without using a separate device?
What length tubeless valves for a Stumpy?
List of possibilities from `apt install` is sorted randomly on Ubuntu 26.04
Struggling with constraints
Did anyone had similar thought about past and the future? Interpreting Parmenides
Are projector operators in quantum mechanics unitary?
Can the grey underside of metal roofing handle the elements?
Trouble scaling my map
Space opera short story about a board game player
Question feed
By continuing to use this website, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy. By exiting this window, default cookies will be accepted. To reject cookies, select an option from below.
Customize settings
Cookie consent preference center
When you visit any of our websites, it may store or retrieve information on your browser, mostly in the form of cookies. This information might be about you, your preferences, or your device and is mostly used to make the site work as you expect it to. The information does not usually directly identify you, but it can give you a more personalized experience. Because we respect your right to privacy, you can choose not to allow some types of cookies. Click on the different category headings to find out more and manage your preferences. Please note, blocking some types of cookies may impact your experience of the site and the services we are able to offer.
Cookie policy
Accept all cookies
Manage consent preferences
Strictly Necessary Cookies
Always Active
These cookies are necessary for the website to function and cannot be switched off in our systems. They are usually only set in response to actions made by you which amount to a request for services, such as setting your privacy preferences, logging in or filling in forms. You can set your browser to block or alert you about these cookies, but some parts of the site will not then work. These cookies do not store any personally identifiable information.
Targeting Cookies
Targeting Cookies
These cookies are used to make advertising messages more relevant to you and may be set through our site by us or by our advertising partners. They may be used to build a profile of your interests and show you relevant advertising on our site or on other sites. They do not store directly personal information, but are based on uniquely identifying your browser and internet device.
Performance Cookies
Performance Cookies
These cookies allow us to count visits and traffic sources so we can measure and improve the performance of our site. They help us to know which pages are the most and least popular and see how visitors move around the site. All information these cookies collect is aggregated and therefore anonymous. If you do not allow these cookies we will not know when you have visited our site, and will not be able to monitor its performance.
Functional Cookies
Functional Cookies
These cookies enable the website to provide enhanced functionality and personalisation. They may be set by us or by third party providers whose services we have added to our pages. If you do not allow these cookies then some or all of these services may not function properly.
Cookie List
Clear
checkbox label label
Apply Cancel
Consent Leg.Interest
checkbox label label
checkbox label label
checkbox label label
Necessary cookies only Confirm my choices