Scan
Search a bounded set of supported 5D SU(N) boundary conditions and bulk contents through selected group, Higgs, chirality, anomaly and vacuum filters.
Control names are kept as they appear in the application. Start with a reference, change one input at a time, and retain the assumptions with your result.
What this tool is for
Use this when a single-model investigation suggests a precise search question. The filters run from cheaper structural checks to more expensive vacuum calculations. Starting with a small range makes it easier to understand which requirement removes candidates before increasing the search size.
First steps
- Choose N and a small maximum content size for your first run.
- Select the required filters, including what you mean by a Higgs doublet.
- Run the sweep and read the stage-by-stage funnel.
- Load a surviving hit into the builder and inspect its detailed spectrum, ledger and vacuum status.
Controls and inputs
| Control | Meaning | Try this |
|---|---|---|
| N and maximum content size | Define the finite model space to be enumerated. | Use a small case to understand the funnel before increasing the range. |
| Group, chirality and anomaly filters | Specify which supported conditions a candidate must pass. | Change one filter at a time so you can identify its effect on the count. |
| Higgs requirement | Distinguishes no requirement, any supported doublet and a colour-singlet doublet. | Read the colour condition explicitly before interpreting a Higgs-candidate count. |
| Run and load hit | Perform the bounded search and transfer one result into the builder. | Inspect a hit individually after the sweep. |
Reading the results
| Result | Meaning |
|---|---|
| Filter funnel | Reports how many candidates were considered and survived each requested stage. |
| Boundary conditions and theory classes | Separates multiple descriptions of an equivalent model from distinct classes under the implemented equivalence. |
| Rejected and undecided cases | A failed condition and a vacuum question left unresolved are different outcomes. |
The headline distinguishes boundary descriptions from equivalence classes. A hit passes the filters that were actually requested, within the searched range. Undecided vacuum calculations remain separate from rejected models.
Worked example
Find which requirement reduces a search
- Run a small sweep with a minimal set of filters.
- Record the tested range and stage counts.
- Add a colour-singlet Higgs requirement or another supported filter.
- Compare the funnel and load one surviving hit.
What to expect: You can state which requirement was imposed and how many inputs it removed. The result remains bounded by the selected search space.
Scope and limitations
- A finite search cannot establish absence outside its rank and content limits.
- Equivalent boundary conditions must not be counted as unrelated theories.
- Passing the available filters does not supply every interaction or experimental comparison of a complete model.
If something is unclear
No hits survive.
Read the first stage that removes all candidates and the exact searched range before claiming nonexistence.
The vacuum stage reports undecided cases.
Keep them in the unresolved category and investigate selected cases individually.
Terms used here
Sources and attribution
Current instrument guide. Archived editions retain their own scope.
Back to top