User guide
Search the GHU Lab guides by task or model family: controls, worked examples, assumptions and source attribution.
Choose a task
Browse by family
Start here
- Getting started
Getting started: choose, calculate, interpret and save
Choose a laboratory task, run a reference example and understand what its result does and does not establish.
SU(7) · Komori–Maru
- Menu section
Hierarchy
Calculate a compactification scale and Higgs mass for a chosen SU(7) bulk content, and compare the moment approximation with the implemented full Fourier potential.
- Menu section
Design a scale
Search for integer bulk contents compatible with a target compactification scale and Higgs-mass window under the displayed SU(7) moment conventions.
- Menu section
Count a rung
Count supported SU(7) bulk contents at selected moment coordinates without having to list every content individually.
- Menu section
Atlas
Browse the 1,286 supported SU(7) bulk contents with at most five multiplets, compare their potential shapes and load an example into the model.
- Menu section
Same potential?
Compare two SU(7) bulk contents using the full-potential coordinates, and distinguish equal potentials from equal low-order moments.
- Embedded experiment
Hypotheses: local response and experimental context
Compare nine recalibrated GHU benchmarks and inspect a separate CMS spectrum with its covariance. Each selection includes a reading of the calculated values and their scope.
- Menu section
Anomalies & proton
Inspect the SU(7) bulk anomaly contributions and the boundary matter needed to cancel them; the separate RS experiment studies another model's anomaly flow.
- Menu section
Escape from proton decay
Construct the supported SU(7) boundary-matter assignments and check their anomaly cancellation and proton-protection selection rules separately.
- Menu section
Multiplets & parities
Inspect how supported SU(7) representations split under the boundary symmetries, and how their parity signs determine zero modes and potential terms.
- Menu section
Screen a table
Arithmetic screens for a published row, with conditional rung certificates and independent full-potential witness checks.
- Menu section
Collider
Which state a dijet search bounds, plus a separate Higgs-rate scenario checked against pinned experimental datasets.
- Embedded experiment
Higgs rates, total width and experimental comparisons
Construct an explicit CP-even Higgs scenario at 125.2 GeV and inspect production, widths, branching fractions and matching external experimental results.
- Embedded experiment
First KK gluon at the LHC: couplings, widths, tt̄ / dijet limits and the m(tt̄) spectrum
Compute the first KK gluon of flat GHU (√2 g_s to every quark) or of a warped extra dimension (zero-mode quarks of bulk mass c), its widths and branching fractions, and compare its leading-order σ × BR with the ATLAS tt̄ and CMS dijet limits as r = prediction / limit. Then compute the m(tt̄) spectrum with the interference between the KK gluon and the QCD gluon, in the bins of the CMS parton-level measurement, and the expected Δχ² against its covariance.
- Embedded experiment
RS anomaly flow and baryon current
Inspect UV and IR anomaly factors from normalized Z-tower wavefunctions and compare gauge cancellation with the baryon-current anomaly.
SU(4) · AHMN
- Menu section
Selection rule
Check the supported SU(4) representation and Wilson-domain selection conditions, including the chiral-count test for a quark-generation embedding.
- Menu section
Model calculator
Evaluate the supported SU(4) one-loop potential, locate its vacuum and calculate the associated Higgs curvature for a chosen matter content.
- Menu section
eta-meter
Compare the analytic and directly evaluated response of supported SU(4) multiplets to their boundary sign η.
Flat 5D models
- Menu section
Five dimensions
Evaluate the supported Haba–Yamashita five-dimensional SU(3) example and compare its potential, located vacuum and Kaluza–Klein spectrum.
- Menu section
SU(N) builder
Build a supported five-dimensional SU(N) model on S¹/Z₂ from boundary blocks and bulk matter, then inspect its one-loop potential and vacuum.
- Menu section
Paper models
Four models somebody else published, taken off their pages and run through this instrument's engine.
- Embedded experiment
Maru–Nago SU(6): families and the Wilson minimum
Reproduce the supported Type 2 / Type 3 bulk Wilson potential and compare its minimum with the published table and an independent infinite-sum calculation.
- Menu section
4D spectrum
What the model on the builder CONTAINS: the four-dimensional fields and their Kaluza–Klein towers.
- Menu section
Anomalies
What that content owes: every anomaly channel of the unbroken group, in exact rationals.
- Menu section
Brane matter
Who pays that bill, and what it costs: matter on the two fixed points, held at once to the anomaly ledger and to Part I's boundary-mass gate.
- Menu section
Scan
Search a bounded set of supported 5D SU(N) boundary conditions and bulk contents through selected group, Higgs, chirality, anomaly and vacuum filters.
- Menu section
One model, every verdict
Compare supported model diagnostics across gauge-equivalent boundary descriptions and identify which results remain unchanged in that comparison.
- Menu section
Simulator
Choose among three distinct calculation modes: the 5D builder model, a top-KK Higgs-production reference, or the 4D neutrino-ring research model.
- Simulator mode
Simulator: 5D builder predictions
Convert the supported SU(N) builder vacuum into dimensionful masses and compare specified model quantities with named reference measurements.
Neutrino ring
- Simulator mode
Simulator: the 4D neutrino ring
Explore light masses, active-current deficit and six heavy pairs in the supported four-dimensional neutrino-ring research model.
- Embedded experiment
Three active flavours and a rank 2 or rank 3 extension
Reconstruct a three-copy ring extension from chosen light masses, PMNS parameters and active deficits.
- Embedded experiment
Fixed light inputs: distinguish the heavy ring
Follow parameter paths that preserve selected light masses and mixing while changing heavy states or current factors.
- Integrated analysis
Neutrino decays, Majoron channels and coherence
Calculate the included heavy-neutrino partial widths and conditional lifetime, flight-window and isolated-pair coherence diagnostics.
Higgs and thermal diagnostics
- Simulator mode
Simulator: Higgs production from a top KK tower
Compare the leading top-KK correction to Higgs production with finite-tower and resummed low-energy-theorem calculations under a stated domain policy.
- Embedded experiment
Finite-temperature SU(3): potential and coexistence
Reproduce the supported flat SU(3) thermal benchmarks and inspect their Wilson potential, minima and coexistence candidates.
- Embedded experiment
Nucleation, percolation and conditional gravitational waves
Integrate bubble growth using a matching refined action table and explicit cosmological assumptions.
Boundary conditions
- Menu section
Boundary conditions
Group supported orbifold boundary conditions into equivalence classes and compare their apparent symmetries under the stated ordinary-boundary relation.
- Menu section
Classify an orbifold
Derive supported orbifold classification data from an integer rotation matrix, then compare the SU, SO and Sp cases under the stated hypotheses.
- Menu section
Name the relations
Which equivalence relation on boundary conditions the literature already owns, and whether a proposed move set connects a class.
- Menu section
Conjugate boundary conditions
Compare conjugate boundary conditions on S¹/Z₂ under two explicit hypotheses about the allowed transformations at the endpoints.
- Embedded experiment
Boundary research: spectra, profiles, anomalies and certified response
Separate tests help investigate a proposed GHU boundary mechanism: roots of a flat fermion boundary problem, the numerical rank of overlapping profiles, exact parity-inserted spinor traces and a restricted six-dimensional SU(2) tensor condition. The fifth compares two wall profiles after common pole and residue matching, using replayed continuum certificates. The sixth counts finite neutral-complex classes on exact strata. Section 6b adds a continuous mass enclosure and isolation test for the light neutral vector at three exact Wilson angles.
Boundary terms, gravity and literature
- Menu section
Brane kinetic terms
What happens to the tower when brane-localised kinetic terms make the masses stop being n/R.
- Embedded experiment
Warped SU(6): running and UV boundary terms
Calculate two independent inverse-coupling differences and the UV boundary terms required for the supported warped SU(6) assignments.
- Menu section
Gravity–gauge · 3D
Which physical information a complete tower of masses leaves undetermined in a controlled gravity-gauge example.
- Menu section
The literature
The reading list behind the series: what each paper publishes, and which ones a person has actually read.
- Menu section
Quantization and certificates
Compare exact quantization criteria for H=S(U(2)×U(3)), closed spin-four periods, a conditional parent transfer and a joint U(2) example.
Current instrument guide. Archived editions retain their own scope.
Back to top