WEBVTT

00:00:02.335 --> 00:00:07.120
Welcome to G H U Lab. This revised
walkthrough covers every menu section,

00:00:07.120 --> 00:00:10.720
the three Simulator modes and the embedded
research experiments.

00:00:10.720 --> 00:00:15.575
It now demonstrates the S U seven
certificates, approximation errors,
uncertainty

00:00:15.575 --> 00:00:19.600
budget, thermal solver comparison, named
collider references and the first

00:00:19.600 --> 00:00:22.730
Kaluza Klein gluon against L H C data.

00:00:22.730 --> 00:00:26.975
Every section and card also has a Demo
button that runs a guided simulation.

00:00:26.975 --> 00:00:29.280
Choose a chapter to revisit a topic.

00:00:30.602 --> 00:00:33.147
Start with a named model or reference.

00:00:33.147 --> 00:00:37.567
Change one assumption at a time, and read
the result with its units and scope.

00:00:37.567 --> 00:00:42.557
Theorem, verified, measured and unknown
describe different kinds of evidence.

00:00:42.557 --> 00:00:46.727
A computed scenario value is not
automatically an experimental measurement.

00:00:49.868 --> 00:00:54.443
Open Hierarchy. For a bulk content of the S
U seven model, inspect the

00:00:54.443 --> 00:00:58.468
compactification scale and Higgs mass under
the displayed conventions.

00:00:58.468 --> 00:01:02.113
The ceiling belongs to the stated small-
angle moment approximation.

00:01:03.402 --> 00:01:06.922
Change the diagnostic gauge coupling to
zero point seven.

00:01:06.922 --> 00:01:10.347
The response plots separate a change of
model convention from propagation

00:01:10.347 --> 00:01:13.657
of the measured W input and from winding
convergence.

00:01:13.657 --> 00:01:16.322
Read the axes and the central values
together.

00:01:17.668 --> 00:01:21.153
The calculated phase does not reproduce the
printed phase.

00:01:21.153 --> 00:01:24.973
The mismatch varies between rows, and an
overall multiplication of the potential

00:01:24.973 --> 00:01:27.443
cannot move its stationary points.

00:01:27.443 --> 00:01:31.303
Absolute scales remain conditional on
resolving this discrepancy.

00:01:31.303 --> 00:01:34.103
The arithmetic identities are separate
statements.

00:01:35.402 --> 00:01:37.827
Load the first certified benchmark.

00:01:37.827 --> 00:01:41.672
The table encloses two different stationary
points: the quartic logarithmic

00:01:41.672 --> 00:01:44.362
approximation and the full Fourier minimum.

00:01:44.362 --> 00:01:48.442
Phase, Higgs mass and compactification
scale have separate absolute and relative

00:01:48.442 --> 00:01:52.692
error intervals. They apply to the
displayed matter content, gauge choice

00:01:52.692 --> 00:01:54.452
and fixed mass inputs.

00:01:55.802 --> 00:01:57.682
What limits the precision?

00:01:57.682 --> 00:02:01.722
Read approximation bias, root-location
bounds and the Fourier remainder separately

00:02:01.722 --> 00:02:04.592
from the propagated W-mass uncertainty.

00:02:04.592 --> 00:02:08.352
The ten percent coupling variation is a
chosen scenario, without an assigned

00:02:08.352 --> 00:02:12.992
probability. Physical theory uncertainty is
explicitly not quantified;

00:02:12.992 --> 00:02:15.417
there is no combined physical error bar.

00:02:16.735 --> 00:02:18.755
Save the error certificate.

00:02:18.755 --> 00:02:22.815
The download keeps the rational enclosures,
numerical budget, W input and

00:02:22.815 --> 00:02:27.650
attribution. The full mass enclosure
already includes root and Fourier errors;

00:02:27.650 --> 00:02:29.820
do not add its half-width again.

00:02:29.820 --> 00:02:32.960
A different matter content or mass
convention needs a matching certificate

00:02:32.960 --> 00:02:34.020
of its own.

00:02:35.335 --> 00:02:39.570
The ATLAS and C M S rows are separate
published Higgs-mass references.

00:02:39.570 --> 00:02:43.695
Compare the certified curvature mass with
each stated channel and error band.

00:02:43.695 --> 00:02:46.880
The listed difference is not an exclusion
significance.

00:02:46.880 --> 00:02:50.150
Connecting a one-loop curvature mass to a
measured pole mass still requires

00:02:50.150 --> 00:02:52.570
matching and higher-order uncertainties.

00:02:53.868 --> 00:02:57.328
The dataset links explain the route to a
fuller comparison.

00:02:57.328 --> 00:03:00.153
Channels have not been combined into a
likelihood.

00:03:00.153 --> 00:03:04.398
C E R N hosts the experiments and is not a
third independent measurement.

00:03:04.398 --> 00:03:08.753
Archive the inputs and sources beside the
result; a certified numerical calculation

00:03:08.753 --> 00:03:11.458
alone does not establish agreement with
nature.

00:03:14.602 --> 00:03:19.327
Open Design a scale. The map run backwards:
name a compactification scale

00:03:19.327 --> 00:03:22.857
and a Higgs-mass window, and get a bulk
content that lands there — or a named

00:03:22.857 --> 00:03:24.847
certificate that none exists.

00:03:26.135 --> 00:03:29.745
Enter a target compactification scale of
two teraelectronvolts and run the

00:03:29.745 --> 00:03:34.040
design. Inspect the returned content or the
named certificate.

00:03:34.040 --> 00:03:38.600
A search budget is a stopping condition,
not evidence that no solution exists.

00:03:39.935 --> 00:03:43.850
budget means the search stopped, not that
the rung is empty; the page keeps

00:03:43.850 --> 00:03:48.060
the two apart on purpose. The reachable-set
panel resolves each cluster into

00:03:48.060 --> 00:03:50.480
the finite set of points it really is.

00:03:53.602 --> 00:03:58.857
Open Count a rung. How many bulk contents
sit on a rung — counted, not built.

00:04:00.202 --> 00:04:03.382
The counting graph is generated when the
section opens.

00:04:03.382 --> 00:04:06.427
Click a different horizontal position to
move the moment probe and compare

00:04:06.427 --> 00:04:11.317
counts across the rungs. These are counts
of contents, not a list of experimentally

00:04:11.317 --> 00:04:12.732
viable models.

00:04:14.068 --> 00:04:17.818
The four published-seed totals reproduce an
independent enumeration of 69

00:04:17.818 --> 00:04:22.438
022 464 contents. The candidate uses even

00:04:22.438 --> 00:04:26.708
rungs and half-integral A₄; its counts are
computed separately, without transferring

00:04:26.708 --> 00:04:28.718
the published measured-mass fibre.

00:04:31.868 --> 00:04:36.473
Open Atlas. Every bulk content of at most
five multiplets — 1

00:04:36.473 --> 00:04:39.473
286 of them — with its potential drawn as
one tile.

00:04:40.802 --> 00:04:44.632
Draw the lattice of one thousand two
hundred and eighty-six contents.

00:04:44.632 --> 00:04:46.962
Each tile is a different potential.

00:04:46.962 --> 00:04:51.657
Inspect its colour and shape; a flat or
blank potential is itself a result.

00:04:51.657 --> 00:04:54.502
Clicking a tile transfers that content to
the model.

00:04:55.802 --> 00:05:00.287
One tile is green in the Higgs window, and
it is the published row (2).

00:05:00.287 --> 00:05:03.982
A blank tile is a content whose potential
is flat, and the harness predicts

00:05:03.982 --> 00:05:06.347
which tiles blank before they are drawn.

00:05:09.468 --> 00:05:14.273
Open Same potential?. Whether two bulk
contents are the same one-loop potential,

00:05:14.273 --> 00:05:16.393
by Part VII's Theorem 3.

00:05:17.735 --> 00:05:21.515
Copy the first content and construct its
canonical representative.

00:05:21.515 --> 00:05:24.655
Compare the potential curves and the five
coordinates.

00:05:24.655 --> 00:05:27.885
Different lists of matter can produce
exactly the same one-loop potential

00:05:27.885 --> 00:05:29.540
under the stated theorem.

00:05:30.868 --> 00:05:34.253
Same five coordinates ⟺ identically the
same potential.

00:05:34.253 --> 00:05:39.038
The dashed curve riding exactly on the
solid one is the theorem, not a
coincidence.

00:05:40.335 --> 00:05:43.835
Load the equal-moment example and inspect
the local range.

00:05:43.835 --> 00:05:47.685
These two contents have exactly the same D,
A four and G through their integer

00:05:47.685 --> 00:05:51.455
coordinates, while their endpoint
coordinate differs.

00:05:51.455 --> 00:05:54.415
Matching the small-angle expansion is a
weaker condition than matching the

00:05:54.415 --> 00:05:55.930
complete potential.

00:05:57.268 --> 00:05:59.498
Switch to the full phase interval.

00:05:59.498 --> 00:06:03.448
The plotted full potentials separate even
though the local expansions match.

00:06:03.448 --> 00:06:07.413
These curves illustrate finite Fourier
sums; the exact coordinate statement

00:06:07.413 --> 00:06:10.088
and the interval proof are recorded
separately.

00:06:10.088 --> 00:06:13.063
Use the full potential when judging a
global vacuum.

00:06:14.402 --> 00:06:18.512
For content B, the endpoint at alpha equal
to one has certified energy below

00:06:18.512 --> 00:06:22.757
its local minimum. This rules out that
local minimum as global.

00:06:22.757 --> 00:06:25.892
It does not prove that the endpoint itself
is global.

00:06:25.892 --> 00:06:29.492
Save the comparison to retain the exact
inputs and the scope of this mathematical

00:06:29.492 --> 00:06:30.557
example.

00:06:33.668 --> 00:06:38.258
Open Anomalies & proton. What each
multiplet contributes to the anomaly bill,

00:06:38.258 --> 00:06:41.433
in eighths, and what the proton-decay
escape costs.

00:06:42.735 --> 00:06:46.430
Read the signed contributions to the
anomaly bill and the rung ladder.

00:06:46.430 --> 00:06:51.020
A nonzero bulk bill does not, by itself,
make the theory inconsistent:

00:06:51.020 --> 00:06:54.035
possible brane matter must be considered
separately.

00:06:54.035 --> 00:06:57.645
The research card later in this section
studies a different warped model.

00:06:58.935 --> 00:07:02.870
A non-zero bill is not an inconsistency:
brane fermions pay into the same

00:07:02.870 --> 00:07:04.990
channels with the opposite sign.

00:07:04.990 --> 00:07:07.905
What the ladder forbids is a rung, not a
model.

00:07:11.002 --> 00:07:13.297
Open Escape from proton decay.

00:07:13.297 --> 00:07:17.467
The escape from proton decay, constructed:
type a brane content and watch

00:07:17.467 --> 00:07:21.317
the six channels, the assignments and the
selection rule recompute.

00:07:22.602 --> 00:07:26.492
Choose the scalar charge associated with
the eighty-four representation.

00:07:26.492 --> 00:07:30.287
The rational anomaly channels and charge
assignments update together.

00:07:30.287 --> 00:07:33.697
Inspect which assignments meet the
displayed proton-protection rule; the

00:07:33.697 --> 00:07:37.097
calculation does not supply a measured
proton lifetime.

00:07:38.402 --> 00:07:41.902
Every assignment that protects the proton
can also cancel all six channels —

00:07:41.902 --> 00:07:44.337
protection never costs an anomaly.

00:07:44.337 --> 00:07:47.057
That is an enumeration, not an argument.

00:07:50.202 --> 00:07:52.557
Open Multiplets & parities.

00:07:52.557 --> 00:07:56.502
The layer under the term tables: every
representation broken into multiplets

00:07:56.502 --> 00:07:58.297
with their three Z₂ parities.

00:07:59.602 --> 00:08:03.542
Select the eighty-four representation and
change its parity assignment.

00:08:03.542 --> 00:08:07.772
The decomposition and parity picture update
from the representation data.

00:08:07.772 --> 00:08:11.067
Use the table to connect a surviving zero
mode with the sign of its potential

00:08:11.067 --> 00:08:12.392
contribution.

00:08:13.735 --> 00:08:16.825
The term tables here are DERIVED and then
checked against the ones the rest

00:08:16.825 --> 00:08:18.750
of the page computes with.

00:08:18.750 --> 00:08:22.280
If the two ever disagreed, this panel is
where it would show.

00:08:25.402 --> 00:08:29.927
Open Screen a table. Arithmetic screens for
a published row, with conditional

00:08:29.927 --> 00:08:33.382
rung certificates and independent full-
potential witness checks.

00:08:34.668 --> 00:08:38.543
Enter a candidate resonance at four
thousand gigaelectronvolts.

00:08:38.543 --> 00:08:41.768
The comb samples nearby teeth for the
displayed rungs.

00:08:41.768 --> 00:08:45.708
Its filters, spacing table and download now
use the same conditional-bound

00:08:45.708 --> 00:08:47.823
check for the chosen inputs.

00:08:47.823 --> 00:08:51.368
A surviving tooth is not proof of an
attainable physical vacuum.

00:08:52.668 --> 00:08:56.678
The moment ceilings remain conditional on
the small-angle approximation.

00:08:56.678 --> 00:09:00.033
The five printed phase rounding intervals
contain no stationary point for

00:09:00.033 --> 00:09:02.003
the implemented potential.

00:09:02.003 --> 00:09:06.423
All eight fermion coefficient tables now
agree with an independent reconstruction.

00:09:06.423 --> 00:09:09.753
The physical gauge determinant and the
origin of the printed numerical mismatch

00:09:09.753 --> 00:09:10.963
remain open.

00:09:12.268 --> 00:09:15.323
Expand Certified S U seven benchmarks.

00:09:15.323 --> 00:09:19.468
Twenty-six Lean theorems verify finite
algebraic identities.

00:09:19.468 --> 00:09:22.868
Separate interval proofs certify ten global
minima on the stated one-phase

00:09:22.868 --> 00:09:27.283
domain: five reference contents under each
of two gauge prescriptions.

00:09:27.283 --> 00:09:30.638
These statements do not certify an
arbitrary edited model.

00:09:31.935 --> 00:09:34.140
Download the certificate bundle.

00:09:34.140 --> 00:09:38.845
It contains rational enclosures, continuum
partitions, checksums and reproduction

00:09:38.845 --> 00:09:43.060
records. The infinite Fourier analysis is
computer-assisted and has not been

00:09:43.060 --> 00:09:47.460
formalized in Lean. A global-minimum
certificate is conditional on its potential

00:09:47.460 --> 00:09:51.185
and assumptions; it is not a certificate of
physical viability.

00:09:52.535 --> 00:09:56.900
The English dossier assigns the model to
Komori and Maru, the expansion antecedents

00:09:56.900 --> 00:10:01.500
to Haba, Takenaga and Yamashita and to
Sakamoto and Takenaga, and the S U

00:10:01.500 --> 00:10:04.715
seven application in Part Seven to Carles
Marín.

00:10:04.715 --> 00:10:07.785
Verification does not establish
originality.

00:10:07.785 --> 00:10:11.175
The dossier keeps the remaining physical
questions explicit.

00:10:14.268 --> 00:10:18.828
Open Collider. Which state a dijet search
bounds, plus a separate Higgs-rate

00:10:18.828 --> 00:10:21.968
scenario checked against pinned
experimental datasets.

00:10:23.268 --> 00:10:26.218
Move the dijet mass probe to five point
two.

00:10:26.218 --> 00:10:29.878
Read the selected state, mass scale and
published comparison under its colour

00:10:29.878 --> 00:10:34.443
hypothesis. The separate Higgs experiment
below uses another explicitly supplied

00:10:34.443 --> 00:10:35.928
scalar scenario.

00:10:37.268 --> 00:10:40.833
The dijet delta chi  squared  values are
quoted from the published record;

00:10:40.833 --> 00:10:43.733
the Higgs experiment computes its own
comparison.

00:10:43.733 --> 00:10:48.553
Its 159 HiggsSignals observables are not
159 independent degrees

00:10:48.553 --> 00:10:52.978
of freedom. Coupling and width assumptions
can compensate in visible rates,

00:10:52.978 --> 00:10:56.468
so this scalar comparison is not a complete
G H U fit.

00:10:57.802 --> 00:11:01.982
The displayed recast table belongs to the
earlier archived calculation.

00:11:01.982 --> 00:11:06.377
Separately, the dossier now records the C M
S angular dataset at one hundred

00:11:06.377 --> 00:11:11.347
thirty-eight inverse femtobarns: seven
distributions and seventy-seven bins.

00:11:11.347 --> 00:11:14.347
Integrity checks validate the imported
tables.

00:11:14.347 --> 00:11:17.397
Importing them has not produced a new G H U
fit.

00:11:18.735 --> 00:11:22.575
The released correlation matrix describes
fitted signal strengths.

00:11:22.575 --> 00:11:26.005
It cannot automatically be used as the
covariance of the normalized unfolded

00:11:26.005 --> 00:11:31.190
distributions. A new reinterpretation
requires the G H U signal, selections

00:11:31.190 --> 00:11:35.100
and nuisance parameters, with a justified
statistical model.

00:11:35.100 --> 00:11:39.550
The dossier distinguishes reviewed
resources from analyses actually executed.

00:11:42.668 --> 00:11:47.063
Open Selection rule. Which alpha -domain a
search may legally use, and which

00:11:47.063 --> 00:11:50.488
S U 4 representations can hold a quark
generation.

00:11:51.802 --> 00:11:56.297
Select the representation with Dynkin
labels one, zero, one.

00:11:56.297 --> 00:11:59.522
The centre-charge and chiral-projection
results determine which search domain

00:11:59.522 --> 00:12:02.527
is permitted and which content can host a
generation.

00:12:02.527 --> 00:12:06.847
The domain is computed from the
representation, not chosen for convenience.

00:12:08.135 --> 00:12:11.595
The centre-charge gate is classical and is
credited as such.

00:12:11.595 --> 00:12:14.975
What is ours is the chiral projection that
gives the closed count.

00:12:18.068 --> 00:12:22.723
Open Model calculator. A matter content in,
the Higgs out — the AHMN

00:12:22.723 --> 00:12:24.923
model recomputed in front of you.

00:12:26.268 --> 00:12:29.008
Load the named A H M N reference model.

00:12:29.008 --> 00:12:33.858
Its terms, potential and derived quantities
are recalculated by the browser.

00:12:33.858 --> 00:12:37.278
Start with this anchored content before
changing multiplicities or boundary

00:12:37.278 --> 00:12:41.873
signs, and retain the stated normalization
caveat for absolute scales.

00:12:43.202 --> 00:12:46.802
The mass ratio carries no normalisation and
no caveat.

00:12:46.802 --> 00:12:48.452
Absolute scales do.

00:12:51.602 --> 00:12:55.882
Open eta-meter. What the boundary sign eta
does to a multiplet's contribution —

00:12:55.882 --> 00:12:58.532
in closed form, from one integer.

00:12:59.868 --> 00:13:03.553
Load the supplied example made from a blind
multiplet, then flip every eta

00:13:03.553 --> 00:13:08.173
sign. In this example the potential is
insensitive to that change.

00:13:08.173 --> 00:13:11.713
The eta-difference view exposes the
cancellation; it is not evidence that

00:13:11.713 --> 00:13:13.673
boundary signs never matter.

00:13:15.002 --> 00:13:18.212
In difference mode every blind multiplet
goes blank.

00:13:18.212 --> 00:13:21.287
That is Part V's theorem seen without
reading a number.

00:13:24.402 --> 00:13:29.172
Open Five dimensions. Haba–Yamashita's own
5D S U 3 model,

00:13:29.172 --> 00:13:31.567
with the vacuum their paper leaves undone.

00:13:32.868 --> 00:13:36.183
Compare the pure-gauge case with the
supplied marginal trio.

00:13:36.183 --> 00:13:38.648
Read the potential and vacuum together.

00:13:38.648 --> 00:13:42.553
This panel uses the five-dimensional S U
three reference, so its arithmetic

00:13:42.553 --> 00:13:46.798
and assumptions must not be borrowed from
the six-dimensional S U seven benchmark.

00:13:48.135 --> 00:13:51.825
Pure gauge never breaks the symmetry (D =
−9).

00:13:51.825 --> 00:13:56.220
In this whole 5D class 8D is even: the odd
rung the S U 7 ceiling stands

00:13:56.220 --> 00:13:58.165
on needs the sixth dimension.

00:14:01.268 --> 00:14:05.848
Open the S U N builder. Boundary conditions
and supported bulk representations

00:14:05.848 --> 00:14:10.123
define the implemented one-loop Wilson-line
potential in five dimensions.

00:14:10.123 --> 00:14:11.793
The model is the input.

00:14:13.135 --> 00:14:16.085
Load section four point three of the source
paper.

00:14:16.085 --> 00:14:19.320
This pure-gauge example prefers the
endpoint at one.

00:14:19.320 --> 00:14:23.000
Read the surviving group from the joint
commutant: being at an endpoint does

00:14:23.000 --> 00:14:25.875
not prove that the generators at zero
survive.

00:14:25.875 --> 00:14:30.315
The potential plot and the reported minimum
now use the same V over C normalization.

00:14:31.602 --> 00:14:35.422
The four worked examples are checked
against the implemented formulas.

00:14:35.422 --> 00:14:40.032
With one Wilson phase, the cosine terms
admit the same moment construction.

00:14:40.032 --> 00:14:43.787
Its closed stationary branch is a small-
angle approximation.

00:14:43.787 --> 00:14:47.417
The numerical Fourier minimum is a separate
calculation, and a finite grid

00:14:47.417 --> 00:14:49.797
is not a certificate of the global minimum.

00:14:52.935 --> 00:14:57.465
Open Paper models. Four models somebody
else published, taken off their

00:14:57.465 --> 00:15:00.035
pages and run through this instrument's
engine.

00:15:01.335 --> 00:15:05.475
Change the triplet Dirac-fermion count to
five in the supported reference.

00:15:05.475 --> 00:15:09.995
Inspect which outputs are actually computed
and which remain structural statements.

00:15:09.995 --> 00:15:13.655
Where offered, the load button transfers
the supported content into the general

00:15:13.655 --> 00:15:14.600
builder.

00:15:15.935 --> 00:15:19.320
Three of the four are supersymmetric and
this engine's potential is not,

00:15:19.320 --> 00:15:23.080
so their rows are boundary-condition and
zero-mode statements only.

00:15:23.080 --> 00:15:27.185
An amber row disagrees with one printed
equation, not with a paper, and names

00:15:27.185 --> 00:15:30.000
which of that paper's own equations agrees
with which.

00:15:33.135 --> 00:15:37.780
Open 4D spectrum. What the model on the
builder CONTAINS: the four-dimensional

00:15:37.780 --> 00:15:40.145
fields and their Kaluza–Klein towers.

00:15:41.468 --> 00:15:45.008
Load the S U six example and move the
Wilson-line probe.

00:15:45.008 --> 00:15:48.398
Compare the potential families with the
exact low-lying tower.

00:15:48.398 --> 00:15:51.288
The lowest levels can require a different
reading from the families used

00:15:51.288 --> 00:15:53.033
to construct the potential.

00:15:54.335 --> 00:15:58.435
The cosine families reconstruct the
potential, but do not by themselves
determine

00:15:58.435 --> 00:16:00.975
every lowest level of the exact tower.

00:16:00.975 --> 00:16:05.135
The moved probe is a chosen phase, not
necessarily a vacuum.

00:16:05.135 --> 00:16:08.785
Read its surviving group separately; a
boundary coordinate alone does not

00:16:08.785 --> 00:16:10.650
determine symmetry breaking.

00:16:13.735 --> 00:16:18.310
Open Anomalies. What that content owes:
every anomaly channel of the unbroken

00:16:18.310 --> 00:16:20.625
group, in exact rationals.

00:16:21.935 --> 00:16:26.280
Load the S U six example. The ledger
evaluates each anomaly channel of the

00:16:26.280 --> 00:16:29.280
unbroken group in exact rational
arithmetic.

00:16:29.280 --> 00:16:33.590
Distinguish a vanishing bill from a case
with no massless fermions to test.

00:16:33.590 --> 00:16:36.345
Brane cancellation is a separate
calculation.

00:16:37.668 --> 00:16:41.898
A non-zero row is a BILL, not an
inconsistency: the brane fermions such a

00:16:41.898 --> 00:16:45.378
model needs pay into the same channels with
the opposite sign.

00:16:45.378 --> 00:16:48.428
And a model with no massless fermion has
nothing to cancel — that is no

00:16:48.428 --> 00:16:50.648
subject, not cancels.

00:16:53.735 --> 00:16:58.305
Open Brane matter. Who pays that bill, and
what it costs: matter on the

00:16:58.305 --> 00:17:02.505
two fixed points, held at once to the
anomaly ledger and to Part I's boundary-
mass

00:17:02.505 --> 00:17:03.400
gate.

00:17:04.735 --> 00:17:08.460
Load the supplied S U five brane example
and solve its supported linear charge

00:17:08.460 --> 00:17:13.175
channels. Compare the anomaly ledger with
the surviving massless fields.

00:17:13.175 --> 00:17:16.835
Paying an anomaly bill and giving a field a
mass are different requirements.

00:17:18.135 --> 00:17:22.720
Two verdicts, kept apart on purpose: the
bill before and after, and the massless

00:17:22.720 --> 00:17:27.265
count before and after. The same field can
pay one and not the other, because

00:17:27.265 --> 00:17:30.555
the charge that cancels an anomaly is not
in general the charge a mass term

00:17:30.555 --> 00:17:34.685
needs. The surviving count is a lower bound
— the rank test assumes generic

00:17:34.685 --> 00:17:35.860
couplings.

00:17:39.002 --> 00:17:43.272
Open Scan. Walk the displayed finite space
of boundary conditions and matter

00:17:43.272 --> 00:17:45.747
contents through the selected filters.

00:17:45.747 --> 00:17:49.377
The breaking filter tests which generators
at phase zero survive at the numerically

00:17:49.377 --> 00:17:50.742
located minimum.

00:17:52.068 --> 00:17:54.308
Run the displayed finite sweep.

00:17:54.308 --> 00:17:58.278
Read the denominator, each filter in the
funnel, the survivors and the unresolved

00:17:58.278 --> 00:18:03.293
cases. The interface counts boundary
conditions and equivalence classes
separately,

00:18:03.293 --> 00:18:06.638
so surviving rows are not automatically
distinct theories.

00:18:07.935 --> 00:18:11.905
Surviving boundary conditions are not
surviving theories: [p,q,r,s] ~ [p−

00:18:11.905 --> 00:18:17.585
1,q+1,r+1,s−1] is the same theory, so the
headline is a pair of numbers.

00:18:17.585 --> 00:18:20.505
An undecided vacuum is counted apart from a
no.

00:18:23.602 --> 00:18:26.167
Open One model, every verdict.

00:18:26.167 --> 00:18:29.322
Which of the instrument's answers about
this model are about the THEORY,

00:18:29.322 --> 00:18:31.997
and which only about the frame you are
standing in.

00:18:33.335 --> 00:18:36.785
Start the built-in example, then choose its
displayed equivalent boundary

00:18:36.785 --> 00:18:41.130
condition. Compare the tags identifying
properties of the theory and properties

00:18:41.130 --> 00:18:45.220
of the chosen frame. A changed coordinate
description can move a displayed

00:18:45.220 --> 00:18:47.760
quantity without changing the physical
theory.

00:18:49.068 --> 00:18:52.398
The tags compare quantities in the
evaluated frames.

00:18:52.398 --> 00:18:56.028
Read boundary coordinates and the surviving
symmetry separately.

00:18:56.028 --> 00:18:59.158
Reported energies share the potential
normalization.

00:18:59.158 --> 00:19:03.178
Numerical agreement between the located
minima is evidence for these evaluations,

00:19:03.178 --> 00:19:05.758
not an exhaustive global-minimum
certificate.

00:19:08.868 --> 00:19:13.563
Open Simulator. Choose builder predictions,
a top-Kaluza Klein Higgs-rate

00:19:13.563 --> 00:19:17.568
reference or the neutrino ring; compare
calculated responses with their explicitly

00:19:17.568 --> 00:19:19.798
scoped experimental references.

00:19:21.135 --> 00:19:24.785
Load the published builder example and set
the gauge coupling to one.

00:19:24.785 --> 00:19:28.730
Higgs masses now use analytic Fourier
second derivatives, with an explicit

00:19:28.730 --> 00:19:33.400
truncation error bound. The export retains
the actual coupling and phase,

00:19:33.400 --> 00:19:36.985
and distinguishes a chosen probe from a
numerically located minimum.

00:19:38.335 --> 00:19:41.610
The thermal history belongs to a separate S
U three benchmark and the stated

00:19:41.610 --> 00:19:45.590
supported regime. It is not a detector
forecast or the thermal history of

00:19:45.590 --> 00:19:50.030
this builder. At commuting endpoints, the
present mass dictionary does not

00:19:50.030 --> 00:19:53.420
identify a shifted W candidate to set the
scale.

00:19:53.420 --> 00:19:57.485
That limitation does not imply that the
phase-zero gauge group survives.

00:20:00.602 --> 00:20:04.942
Open Boundary conditions. Which boundary
conditions are the same theory,

00:20:04.942 --> 00:20:07.662
walked as orbits rather than quoted as a
theorem.

00:20:09.002 --> 00:20:12.947
Switch from the interval orbifold to the
two-dimensional Z three example.

00:20:12.947 --> 00:20:17.287
The orbit structure and class count change
with the specified boundary problem.

00:20:17.287 --> 00:20:21.822
Equivalence classes identify descriptions
connected by the allowed transformations.

00:20:23.135 --> 00:20:27.815
The counts come out (N+1) squared  at every
N on S¹/

00:20:27.815 --> 00:20:32.010
Z₂, which is Haba–Hosotani–Kawamura's
theorem as a measurement.

00:20:32.010 --> 00:20:35.055
Press T squared /Z₃ and the answer changes.

00:20:38.202 --> 00:20:40.462
Open Classify an orbifold.

00:20:40.462 --> 00:20:44.177
The alphabet of an orbifold, derived from
its rotation matrix and nothing

00:20:44.177 --> 00:20:45.132
else.

00:20:46.468 --> 00:20:50.138
Select the two-dimensional Z four rotation
and classify it.

00:20:50.138 --> 00:20:53.453
The group-theoretic alphabet is derived
from the matrix.

00:20:53.453 --> 00:20:57.508
You can enter another supported matrix, but
an invalid finite-order hypothesis

00:20:57.508 --> 00:21:00.393
must be refused rather than silently
classified.

00:21:01.735 --> 00:21:04.035
Nothing is entered but the matrix.

00:21:04.035 --> 00:21:07.930
A matrix of infinite order, or one whose
characteristic polynomial is not

00:21:07.930 --> 00:21:12.805
a power of the m-th cyclotomic, comes back
REFUSED rather than classified.

00:21:15.935 --> 00:21:20.010
Open Name the relations. Which equivalence
relation on boundary conditions

00:21:20.010 --> 00:21:24.530
the literature already owns, and whether a
proposed move set connects a class.

00:21:25.868 --> 00:21:30.138
Switch to the Z four boundary problem and
judge the displayed proposed move.

00:21:30.138 --> 00:21:33.833
Read the local and global qualifications
and the source attribution.

00:21:33.833 --> 00:21:37.593
A useful move in one boundary problem is
not automatically a complete equivalence

00:21:37.593 --> 00:21:39.038
relation in another.

00:21:40.335 --> 00:21:44.075
The local/global distinction is the one
that gets misquoted, and the page

00:21:44.075 --> 00:21:45.720
carries it explicitly.

00:21:48.868 --> 00:21:51.398
Open Conjugate boundary conditions.

00:21:51.398 --> 00:21:55.788
How many inequivalent CONJUGATE boundary
conditions there are on S¹/Z₂ —

00:21:55.788 --> 00:21:59.968
and, because that count rests on a
hypothesis nobody has settled, what each

00:21:59.968 --> 00:22:01.683
of the two answers would be.

00:22:03.002 --> 00:22:07.167
Increase the group rank and compare the two
hypotheses printed in the table.

00:22:07.167 --> 00:22:10.112
Conjugate twists transform by congruence.

00:22:10.112 --> 00:22:13.507
Independent boundary transformations and
one linked transformation lead to

00:22:13.507 --> 00:22:18.152
different classification questions, so the
hypothesis travels with the count.

00:22:19.468 --> 00:22:23.048
What the panel puts on screen is the
disagreement, not a number, and that

00:22:23.048 --> 00:22:27.423
is the point: the twists move by congruence
rather than similarity, and independence

00:22:27.423 --> 00:22:31.453
decides between four classes flat in N and
no finite count at all.

00:22:31.453 --> 00:22:34.428
What the label leaves unbroken is not a
property of the label — the same

00:22:34.428 --> 00:22:37.393
verdict the ordinary panel reaches by
another route.

00:22:37.393 --> 00:22:41.278
The exported card carries the hypothesis
beside the count, so a number never

00:22:41.278 --> 00:22:43.738
travels without the condition it rests on.

00:22:46.868 --> 00:22:51.003
Open Brane kinetic terms. What happens to
the tower when brane-localised

00:22:51.003 --> 00:22:54.288
kinetic terms make the masses stop being
n/R.

00:22:55.602 --> 00:22:58.577
Increase the brane kinetic coefficient to
twelve.

00:22:58.577 --> 00:23:02.867
The spectrum responds because the roots are
no longer a simple integer tower.

00:23:02.867 --> 00:23:07.007
Compare the root conditions and
normalization, then use the separate
warped-unification

00:23:07.007 --> 00:23:09.227
card for coupling-running questions.

00:23:10.535 --> 00:23:13.760
The special functions are checked against
mpmath at forty digits, and the

00:23:13.760 --> 00:23:17.355
c  to  0 limit is computed in closed form
by code that shares nothing with

00:23:17.355 --> 00:23:20.925
the solver. That limit found three real
defects.

00:23:24.068 --> 00:23:28.633
Open Gravity–gauge · 3D. Which physical
information a complete tower of masses

00:23:28.633 --> 00:23:31.763
leaves undetermined in a controlled
gravity-gauge example.

00:23:33.068 --> 00:23:37.033
Select eta equal to minus zero point nine,
then display the gauge kinetic

00:23:37.033 --> 00:23:41.988
function. The paired masses and the source
response carry different information.

00:23:41.988 --> 00:23:46.718
The Wilson quantity here is a kinetic
normalization, not a Higgs-mass prediction.

00:23:48.068 --> 00:23:51.453
The positive paired tensor NN and vector DD
masses are protected by their

00:23:51.453 --> 00:23:53.543
common canonical operator.

00:23:53.543 --> 00:23:56.953
The gauge NN control has different
boundaries and moves.

00:23:56.953 --> 00:24:01.028
The source position is in the extra
dimension, not a laboratory location;

00:24:01.028 --> 00:24:03.998
the Wilson kinetic scale is not a Higgs
mass.

00:24:03.998 --> 00:24:08.568
For p=1.1 a canonical bulk scalar realizes
the family, with stability

00:24:08.568 --> 00:24:10.228
and cutoff still open.

00:24:13.335 --> 00:24:17.540
Open The literature. The reading list
behind the series: what each paper

00:24:17.540 --> 00:24:20.930
publishes, and which ones a person has
actually read.

00:24:22.268 --> 00:24:25.398
Filter the reading list to the complete-
triple selection.

00:24:25.398 --> 00:24:29.308
Inspect the recorded sources and what each
paper actually supplies.

00:24:29.308 --> 00:24:33.288
Keyword signals help navigate this corpus;
they are not proofs, and this

00:24:33.288 --> 00:24:36.083
reading list is not an exhaustive map of
the field.

00:24:37.402 --> 00:24:42.272
A signal is a keyword, and a keyword sweep
misses whatever is phrased differently.

00:24:42.272 --> 00:24:45.742
Nothing is asserted from a signal alone,
and the corpus is our reading list

00:24:45.742 --> 00:24:47.132
rather than the field.

00:24:50.268 --> 00:24:54.693
The second Simulator mode is the top Kaluza
Klein Higgs-production reference.

00:24:54.693 --> 00:24:58.598
Its leading rate, finite tower and resummed
comparison answer one specified

00:24:58.598 --> 00:24:59.963
model question.

00:25:01.268 --> 00:25:05.423
Move the Kaluza Klein scale to fifteen
hundred gigaelectronvolts.

00:25:05.423 --> 00:25:08.638
Inspect the rate curve and the separate
convergence display.

00:25:08.638 --> 00:25:12.718
The chosen comparison window is
conditional, and a custom window is a user-
supplied

00:25:12.718 --> 00:25:13.828
scenario.

00:25:16.935 --> 00:25:19.560
Select the four-dimensional neutrino ring.

00:25:19.560 --> 00:25:22.885
Calibration can hold the light mass and
active-current deficit fixed while

00:25:22.885 --> 00:25:25.460
the required couplings are reconstructed.

00:25:25.460 --> 00:25:28.035
Six heavy pairs belong to this base model.

00:25:29.335 --> 00:25:33.600
Compare mu B equal to zero with five
thousand kilo electron volts.

00:25:33.600 --> 00:25:37.595
The leading light mass and the heavy pair
splittings carry different information.

00:25:37.595 --> 00:25:40.930
Read the approximation indicators alongside
the spectrum.

00:25:44.068 --> 00:25:47.478
The C M S comparison uses published
observed and expected curves with their

00:25:47.478 --> 00:25:52.238
bands. The overlay keeps the selected
flavour and Dirac or Majorana hypothesis

00:25:52.238 --> 00:25:53.238
visible.

00:25:54.535 --> 00:25:57.575
Choose muon flavour and the Majorana
reference.

00:25:57.575 --> 00:26:01.980
Inspect the per-component convention, mass
domain and reference ratios.

00:26:01.980 --> 00:26:05.675
The ring overlay is not a likelihood that
includes its complete flavour structure,

00:26:05.675 --> 00:26:08.655
decay acceptance and multi-state
interference.

00:26:11.802 --> 00:26:14.857
The decay card starts from the weak-channel
scenario.

00:26:14.857 --> 00:26:18.377
Select a heavy pair and inspect where its
width goes, its lifetime and the

00:26:18.377 --> 00:26:20.282
fixed-boost flight estimate.

00:26:21.602 --> 00:26:24.377
Include the calculated Majoron channels.

00:26:24.377 --> 00:26:27.357
The width and the derived lifetime respond
together.

00:26:27.357 --> 00:26:30.402
An extra width is a separate user
hypothesis.

00:26:30.402 --> 00:26:34.302
Read the isolated-pair and overlap
diagnostics before interpreting the same-
sign

00:26:34.302 --> 00:26:36.177
over opposite-sign ratio.

00:26:37.468 --> 00:26:40.748
Change the fixed boost to ten and inspect
the flight curve.

00:26:40.748 --> 00:26:44.228
This illustrates the supplied kinematic
scenario; it does not integrate a

00:26:44.228 --> 00:26:46.973
detector acceptance or a production
spectrum.

00:26:50.068 --> 00:26:54.698
Three sterile copies reconstruct the chosen
light masses and mixing orientation.

00:26:54.698 --> 00:26:58.618
The mass ordering, phases and active
deficits are inputs.

00:26:58.618 --> 00:27:01.863
The card also displays eighteen heavy-pair
flavour weights.

00:27:03.202 --> 00:27:06.012
Change the Dirac phase to ninety degrees.

00:27:06.012 --> 00:27:09.722
Compare neutrino and antineutrino
appearance in the unitary vacuum limit,

00:27:09.722 --> 00:27:12.062
then inspect the flavour fractions.

00:27:12.062 --> 00:27:15.747
Majorana phases cancel from these
oscillation curves but can affect the
displayed

00:27:15.747 --> 00:27:17.837
light-sector double-beta quantity.

00:27:20.935 --> 00:27:24.500
This experiment holds the chosen light
masses and mixing orientation fixed

00:27:24.500 --> 00:27:27.070
while reconstructing a parameter path.

00:27:27.070 --> 00:27:29.560
The green strip tells you what is fixed.

00:27:29.560 --> 00:27:34.060
The five figures separate heavy masses,
splitting, current factors, small

00:27:34.060 --> 00:27:36.055
differences and reference data.

00:27:37.402 --> 00:27:40.567
Move the selected position from one tenth
to eight tenths along the mu B

00:27:40.567 --> 00:27:44.852
path. The mass stays fixed while the pair
splitting changes.

00:27:44.852 --> 00:27:47.592
The open circle tracks the selected point.

00:27:47.592 --> 00:27:51.657
Equal light inputs therefore do not
determine every heavy-sector response.

00:27:53.002 --> 00:27:56.432
Now choose the common active deficit and
its upper endpoint.

00:27:56.432 --> 00:28:00.602
The raw vacuum current factor is
suppressed, but the specified near
normalization

00:28:00.602 --> 00:28:02.662
cancels the common factor.

00:28:02.662 --> 00:28:05.892
The difference figure labels numerical
coincidence rather than amplifying

00:28:05.892 --> 00:28:06.987
roundoff.

00:28:08.335 --> 00:28:10.565
Choose deficit direction three.

00:28:10.565 --> 00:28:13.480
Unequal deficits can leave a shape
response.

00:28:13.480 --> 00:28:16.640
The fourth graph magnifies an absolute
difference that is difficult to see

00:28:16.640 --> 00:28:18.630
in the overlapping curves.

00:28:18.630 --> 00:28:23.130
Its scale is explicit, and the exported
samples retain their original precision.

00:28:24.468 --> 00:28:27.873
The DeepCore map uses the archived twenty-
eighteen standard-three-neutrino

00:28:27.873 --> 00:28:32.298
tables. The cross stays fixed along the
ring path because these light inputs

00:28:32.298 --> 00:28:36.413
stay fixed. The map is not a nonunitary
ring likelihood and is not added

00:28:36.413 --> 00:28:37.798
to NuFIT.

00:28:39.135 --> 00:28:42.630
To move the cross, change sine squared
theta twenty-three in the flavour

00:28:42.630 --> 00:28:46.190
card. Here it is set to zero point six.

00:28:46.190 --> 00:28:48.845
The reference updates for the new light
input.

00:28:48.845 --> 00:28:53.220
Outside its published grid the laboratory
withholds a value instead of extrapolating.

00:28:56.335 --> 00:29:00.870
This paper-model experiment reconstructs
the stated flat S U six potential.

00:29:00.870 --> 00:29:04.495
Matter content and the winding cutoff are
explicit controls.

00:29:04.495 --> 00:29:07.735
A small Wilson minimum must be read with
its convergence check.

00:29:09.068 --> 00:29:13.163
Set the winding cutoff to ten and inspect
the shifted minimum and comparison.

00:29:13.163 --> 00:29:16.423
A finite truncation can change the apparent
result.

00:29:16.423 --> 00:29:19.783
The supported potential can be transferred
to the builder; this does not

00:29:19.783 --> 00:29:22.028
certify a complete flavour model.

00:29:25.135 --> 00:29:28.180
The warped-unification card compares
differential gauge running under the

00:29:28.180 --> 00:29:30.200
selected matter assignment.

00:29:30.200 --> 00:29:33.640
Required ultraviolet boundary terms and
their residuals are outputs of that

00:29:33.640 --> 00:29:35.340
stated approximation.

00:29:36.668 --> 00:29:39.203
Switch the matter assignment to C two.

00:29:39.203 --> 00:29:42.753
The running differences and required
boundary terms respond.

00:29:42.753 --> 00:29:46.103
The naive-dimensional-analysis reference is
a scale estimate.

00:29:46.103 --> 00:29:50.418
The separate localization probe is not a
complete fermion-spectrum calculation.

00:29:53.535 --> 00:29:56.480
The thermal card is its own S U three
benchmark.

00:29:56.480 --> 00:30:00.290
It uses named paper cases and compares
potential cutoffs.

00:30:00.290 --> 00:30:03.675
A stored matching PhaseTracer result is
available offline for the recorded

00:30:03.675 --> 00:30:04.775
inputs.

00:30:06.068 --> 00:30:09.598
Load paper case two and compare the
potential and phase flow.

00:30:09.598 --> 00:30:13.263
Coexistence and a nucleation proxy are
different questions.

00:30:13.263 --> 00:30:16.898
A new point needs a matching bounce
calculation; changing the builder model

00:30:16.898 --> 00:30:19.908
does not turn this benchmark into its
thermal history.

00:30:21.202 --> 00:30:24.892
The new comparison runs PhaseTracer and
CosmoTransitions on the same S U

00:30:24.892 --> 00:30:27.287
three potential and canonical field.

00:30:27.287 --> 00:30:30.322
Nine matched temperatures compare the
bounce action.

00:30:30.322 --> 00:30:33.997
The programs share shooting-method
ancestry, so agreement is a numerical

00:30:33.997 --> 00:30:38.537
cross-check, not an independent interval
proof or an experimental validation.

00:30:39.868 --> 00:30:43.638
The table changes the spatial and thermal
Fourier cutoffs together.

00:30:43.638 --> 00:30:47.578
T one-forty solves S three over T equal to
one hundred forty.

00:30:47.578 --> 00:30:52.498
It is a proxy, separate from the integrated
nucleation and percolation results.

00:30:52.498 --> 00:30:56.118
The older displayed proxy used a looser
shooting tolerance; compare like

00:30:56.118 --> 00:30:58.508
settings before interpreting a difference.

00:30:59.802 --> 00:31:02.167
Open the numerical diagnostics.

00:31:02.167 --> 00:31:05.832
Tolerance shifts, profile sampling and the
virial residual test different

00:31:05.832 --> 00:31:07.967
aspects of the calculation.

00:31:07.967 --> 00:31:11.997
The targets are numerical criteria, not
confidence levels.

00:31:11.997 --> 00:31:16.867
Higher loops, thermal resummation and
plasma dynamics remain unquantified.

00:31:16.867 --> 00:31:21.117
These S U three examples are separate from
the S U seven mass certificates.

00:31:22.402 --> 00:31:25.037
Change the coupling away from the
reference.

00:31:25.037 --> 00:31:28.537
The archived solver comparison disappears
because all thermal inputs must

00:31:28.537 --> 00:31:32.887
match. A stale certificate must not follow
an edited point.

00:31:32.887 --> 00:31:36.452
Load a named paper case again to recover
its evidence; a new point needs

00:31:36.452 --> 00:31:37.987
a new calculation.

00:31:39.335 --> 00:31:42.650
Reload case two and save the experiment
JSON.

00:31:42.650 --> 00:31:47.180
It retains both solver versions,
tolerances, cutoffs and sources.

00:31:47.180 --> 00:31:51.085
The thermal potential is credited to Hirose
and Shibuya, CosmoTransitions

00:31:51.085 --> 00:31:55.275
to Carroll Wainwright, and PhaseTracer to
Athron and collaborators.

00:31:55.275 --> 00:31:57.980
Keep this provenance with every exported
result.

00:32:01.068 --> 00:32:04.688
Integrated transition history uses refined
action tables.

00:32:04.688 --> 00:32:08.318
Read nucleation, percolation and completion
separately.

00:32:08.318 --> 00:32:11.853
The false-vacuum fraction and physical-
volume condition make those distinctions

00:32:11.853 --> 00:32:12.848
visible.

00:32:14.135 --> 00:32:17.400
Set the assumed wall speed to zero point
eight and the fluid efficiency to

00:32:17.400 --> 00:32:22.190
zero point one. Compare the history and
conditional acoustic spectrum.

00:32:22.190 --> 00:32:25.995
Wall friction, plasma evolution and
detector significance are not calculated

00:32:25.995 --> 00:32:27.525
by these controls.

00:32:30.668 --> 00:32:34.603
This warped-model experiment separates
ultraviolet and infrared anomaly factors,

00:32:34.603 --> 00:32:37.863
gauge cancellation and the baryon-current
matrix.

00:32:37.863 --> 00:32:41.903
Its sources and approximation are distinct
from the base S U seven ledger.

00:32:43.202 --> 00:32:46.692
Remove the lepton generations in this test
configuration.

00:32:46.692 --> 00:32:50.152
The imbalance exposes a gauge anomaly that
needs completion.

00:32:50.152 --> 00:32:54.127
A nonzero baryon-current anomaly is a
separate statement; it is not a computed

00:32:54.127 --> 00:32:56.897
proton lifetime or baryogenesis yield.

00:33:00.002 --> 00:33:03.392
Begin with the stored Standard Model-like
scalar reference.

00:33:03.392 --> 00:33:06.992
Local couplings determine production rates,
partial widths and branching

00:33:06.992 --> 00:33:11.212
fractions. Matching HiggsBounds and
HiggsSignals calculations use pinned

00:33:11.212 --> 00:33:13.087
experimental datasets.

00:33:14.402 --> 00:33:17.442
Add one mega electron volt of invisible
width.

00:33:17.442 --> 00:33:21.102
The local predictions update, and the old
experimental result is withdrawn

00:33:21.102 --> 00:33:23.657
because its inputs no longer match.

00:33:23.657 --> 00:33:26.862
Run the optional engine or import a
matching result before assigning a new

00:33:26.862 --> 00:33:28.502
experimental verdict.

00:33:31.602 --> 00:33:35.962
Every menu section, Simulator mode and
experiment card now has a Demo button,

00:33:35.962 --> 00:33:37.937
marked with a film clapper.

00:33:37.937 --> 00:33:41.977
It presses the real controls, explains each
step in a banner, and ends with

00:33:41.977 --> 00:33:46.882
how to read the result. Here the Kaluza
Klein gluon card starts its own demo.

00:33:48.202 --> 00:33:52.292
Stop the demo and take over: load the
published R S point of Casagrande and

00:33:52.292 --> 00:33:56.022
collaborators, with all nine of its quark
bulk masses.

00:33:56.022 --> 00:33:59.442
The card computes the couplings of a warped
Kaluza Klein gluon to zero-mode

00:33:59.442 --> 00:34:03.412
quarks, its width and branching fractions,
and compares its leading-order

00:34:03.412 --> 00:34:07.632
rates with the ATLAS top-pair limit and the
C M S dijet limit as r, prediction

00:34:07.632 --> 00:34:08.777
over limit.

00:34:10.068 --> 00:34:14.148
At three point seven five tera electron
volts, r for the top pair is close

00:34:14.148 --> 00:34:17.718
to one: the two thousand eight reference
point sits at the edge of the ATLAS

00:34:17.718 --> 00:34:22.338
comparison. That is a comparison with
ATLAS's thirty percent width benchmark,

00:34:22.338 --> 00:34:24.838
not a validated exclusion at this width.

00:34:26.135 --> 00:34:29.910
Below the plots, the top-pair mass spectrum
is computed with the interference

00:34:29.910 --> 00:34:33.955
between the Kaluza Klein gluon and the Q C
D gluon, in the fifteen bins of

00:34:33.955 --> 00:34:36.480
the C M S parton-level measurement.

00:34:36.480 --> 00:34:40.145
For this point the light-quark and top
couplings have opposite signs, so

00:34:40.145 --> 00:34:42.760
the interference is constructive below the
pole.

00:34:44.068 --> 00:34:48.873
Now load the flat G H U coloron at four
point five tera electron volts.

00:34:48.873 --> 00:34:53.053
Every quark couples equally, the couplings
share one sign, and the interference

00:34:53.053 --> 00:34:56.513
turns destructive: the low bins go down
instead of up.

00:34:57.802 --> 00:35:01.812
The last plot is the expected delta chi
squared against the measured covariance,

00:35:01.812 --> 00:35:04.957
with ten percent S M theory uncertainty per
bin.

00:35:04.957 --> 00:35:08.137
Set that uncertainty to zero and the reach
moves from about three point eight

00:35:08.137 --> 00:35:10.797
to about five tera electron volts.

00:35:10.797 --> 00:35:14.667
With the same ten percent taken as one
correlated normalisation, delta chi

00:35:14.667 --> 00:35:18.282
squared would be five point three instead
of one point eight: the reach depends

00:35:18.282 --> 00:35:21.302
on that assumption, and the card shows
both.

00:35:21.302 --> 00:35:25.337
It is a sensitivity if the data equal the S
M, not an exclusion, and the

00:35:25.337 --> 00:35:29.867
open certificates show the independent
Dirac-trace and L H A P D F check.

00:35:33.002 --> 00:35:36.262
Use a comparison snapshot before changing a
point.

00:35:36.262 --> 00:35:41.652
Save the experiment JSON to retain the
inputs, calculated arrays, assumptions,

00:35:41.652 --> 00:35:44.237
provenance and optional saved reference.

00:35:44.237 --> 00:35:47.687
The global result card and LaTeX exports
provide another view of the selected

00:35:47.687 --> 00:35:48.997
calculation.

00:35:50.335 --> 00:35:53.130
Choose a figure and save its vector SVG.

00:35:53.130 --> 00:35:57.310
The new neutrino figures carry sampled data
and provenance in their metadata.

00:35:57.310 --> 00:36:01.000
The link button preserves controls in the
address; archive external results

00:36:01.000 --> 00:36:03.580
and comparisons in JSON as well.

00:36:04.868 --> 00:36:08.563
The browser calculations and stored
references run offline.

00:36:08.563 --> 00:36:12.588
New HiggsTools and PhaseTracer points use
the optional local engine.

00:36:12.588 --> 00:36:16.593
The source repository contains the
reproduction commands, independent checks

00:36:16.593 --> 00:36:21.173
and archived studies. Return to a chapter,
vary one assumption, and

00:36:21.173 --> 00:36:23.428
keep the scope beside every result.