WEBVTT

00:00:02.335 --> 00:00:07.010
Welcome to G H U Lab. This walkthrough
covers every menu section, the three

00:00:07.010 --> 00:00:10.300
Simulator modes and the embedded research
experiments.

00:00:10.300 --> 00:00:13.315
We will use real controls and inspect the
results.

00:00:13.315 --> 00:00:16.215
Choose a chapter when you want to revisit
one topic.

00:00:17.535 --> 00:00:20.080
Start with a named model or reference.

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

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

00:00:29.490 --> 00:00:33.660
A computed scenario value is not
automatically an experimental measurement.

00:00:36.802 --> 00:00:42.082
Open Hierarchy. Given a bulk content of the
S U 7 model, where the compactification

00:00:42.082 --> 00:00:45.412
scale and the Higgs mass land — and how far
that content sits below the ceiling

00:00:45.412 --> 00:00:47.187
no content can pass.

00:00:48.535 --> 00:00:52.055
Change the diagnostic gauge coupling to
zero point seven.

00:00:52.055 --> 00:00:55.480
The response plots separate a change of
model convention from propagation

00:00:55.480 --> 00:00:58.790
of the measured W input and from winding
convergence.

00:00:58.790 --> 00:01:01.455
Read the axes and the central values
together.

00:01:02.802 --> 00:01:06.632
Every absolute tera electron volts and giga
electron volts inherits the anchor

00:01:06.632 --> 00:01:10.382
caveat at the top of the page: our alpha
does not reproduce the published

00:01:10.382 --> 00:01:13.747
alpha , by a factor that varies from row to
row.

00:01:13.747 --> 00:01:16.602
The mass ratio and the arithmetic laws do
not.

00:01:19.735 --> 00:01:24.460
Open Design a scale. The map run backwards:
name a compactification scale

00:01:24.460 --> 00:01:27.990
and a Higgs-mass window, and get a bulk
content that lands there — or a named

00:01:27.990 --> 00:01:29.980
certificate that none exists.

00:01:31.268 --> 00:01:34.878
Enter a target compactification scale of
two teraelectronvolts and run the

00:01:34.878 --> 00:01:39.173
design. Inspect the returned content or the
named certificate.

00:01:39.173 --> 00:01:43.733
A search budget is a stopping condition,
not evidence that no solution exists.

00:01:45.068 --> 00:01:48.983
budget means the search stopped, not that
the rung is empty; the page keeps

00:01:48.983 --> 00:01:53.193
the two apart on purpose. The reachable-set
panel resolves each cluster into

00:01:53.193 --> 00:01:55.613
the finite set of points it really is.

00:01:58.735 --> 00:02:03.990
Open Count a rung. How many bulk contents
sit on a rung — counted, not built.

00:02:05.335 --> 00:02:08.515
The counting graph is generated when the
section opens.

00:02:08.515 --> 00:02:11.560
Click a different horizontal position to
move the moment probe and compare

00:02:11.560 --> 00:02:16.450
counts across the rungs. These are counts
of contents, not a list of experimentally

00:02:16.450 --> 00:02:17.865
viable models.

00:02:19.202 --> 00:02:22.952
The four published-seed totals reproduce an
independent enumeration of 69

00:02:22.952 --> 00:02:27.572
022 464 contents. The candidate uses even

00:02:27.572 --> 00:02:31.842
rungs and half-integral A₄; its counts are
computed separately, without transferring

00:02:31.842 --> 00:02:33.852
the published measured-mass fibre.

00:02:37.002 --> 00:02:41.607
Open Atlas. Every bulk content of at most
five multiplets — 1

00:02:41.607 --> 00:02:44.607
286 of them — with its potential drawn as
one tile.

00:02:45.935 --> 00:02:49.765
Draw the lattice of one thousand two
hundred and eighty-six contents.

00:02:49.765 --> 00:02:52.095
Each tile is a different potential.

00:02:52.095 --> 00:02:56.790
Inspect its colour and shape; a flat or
blank potential is itself a result.

00:02:56.790 --> 00:02:59.635
Clicking a tile transfers that content to
the model.

00:03:00.935 --> 00:03:05.420
One tile is green in the Higgs window, and
it is the published row (2).

00:03:05.420 --> 00:03:09.115
A blank tile is a content whose potential
is flat, and the harness predicts

00:03:09.115 --> 00:03:11.480
which tiles blank before they are drawn.

00:03:14.602 --> 00:03:19.407
Open Same potential?. Whether two bulk
contents are the same one-loop potential,

00:03:19.407 --> 00:03:21.527
by Part VII's Theorem 3.

00:03:22.868 --> 00:03:26.648
Copy the first content and construct its
canonical representative.

00:03:26.648 --> 00:03:29.788
Compare the potential curves and the five
coordinates.

00:03:29.788 --> 00:03:33.018
Different lists of matter can produce
exactly the same one-loop potential

00:03:33.018 --> 00:03:34.673
under the stated theorem.

00:03:36.002 --> 00:03:39.387
Same five coordinates ⟺ identically the
same potential.

00:03:39.387 --> 00:03:44.172
The dashed curve riding exactly on the
solid one is the theorem, not a
coincidence.

00:03:47.268 --> 00:03:51.858
Open Anomalies & proton. What each
multiplet contributes to the anomaly bill,

00:03:51.858 --> 00:03:55.033
in eighths, and what the proton-decay
escape costs.

00:03:56.335 --> 00:04:00.030
Read the signed contributions to the
anomaly bill and the rung ladder.

00:04:00.030 --> 00:04:04.620
A nonzero bulk bill does not, by itself,
make the theory inconsistent:

00:04:04.620 --> 00:04:07.635
possible brane matter must be considered
separately.

00:04:07.635 --> 00:04:11.245
The research card later in this section
studies a different warped model.

00:04:12.535 --> 00:04:16.470
A non-zero bill is not an inconsistency:
brane fermions pay into the same

00:04:16.470 --> 00:04:18.590
channels with the opposite sign.

00:04:18.590 --> 00:04:21.505
What the ladder forbids is a rung, not a
model.

00:04:24.602 --> 00:04:26.897
Open Escape from proton decay.

00:04:26.897 --> 00:04:31.067
The escape from proton decay, constructed:
type a brane content and watch

00:04:31.067 --> 00:04:34.917
the six channels, the assignments and the
selection rule recompute.

00:04:36.202 --> 00:04:40.092
Choose the scalar charge associated with
the eighty-four representation.

00:04:40.092 --> 00:04:43.887
The rational anomaly channels and charge
assignments update together.

00:04:43.887 --> 00:04:47.297
Inspect which assignments meet the
displayed proton-protection rule; the

00:04:47.297 --> 00:04:50.697
calculation does not supply a measured
proton lifetime.

00:04:52.002 --> 00:04:55.502
Every assignment that protects the proton
can also cancel all six channels —

00:04:55.502 --> 00:04:57.937
protection never costs an anomaly.

00:04:57.937 --> 00:05:00.657
That is an enumeration, not an argument.

00:05:03.802 --> 00:05:06.157
Open Multiplets & parities.

00:05:06.157 --> 00:05:10.102
The layer under the term tables: every
representation broken into multiplets

00:05:10.102 --> 00:05:11.897
with their three Z₂ parities.

00:05:13.202 --> 00:05:17.142
Select the eighty-four representation and
change its parity assignment.

00:05:17.142 --> 00:05:21.372
The decomposition and parity picture update
from the representation data.

00:05:21.372 --> 00:05:24.667
Use the table to connect a surviving zero
mode with the sign of its potential

00:05:24.667 --> 00:05:25.992
contribution.

00:05:27.335 --> 00:05:30.425
The term tables here are DERIVED and then
checked against the ones the rest

00:05:30.425 --> 00:05:32.350
of the page computes with.

00:05:32.350 --> 00:05:35.880
If the two ever disagreed, this panel is
where it would show.

00:05:39.002 --> 00:05:43.527
Open Screen a table. Arithmetic screens for
a published row, with conditional

00:05:43.527 --> 00:05:46.982
rung certificates and independent full-
potential witness checks.

00:05:48.268 --> 00:05:52.143
Enter a candidate resonance at four
thousand gigaelectronvolts.

00:05:52.143 --> 00:05:56.248
The arithmetic comb compares the supplied
point with its allowed spacings.

00:05:56.248 --> 00:05:59.963
Then inspect the separate conditional
bounds and vacuum witnesses.

00:05:59.963 --> 00:06:03.463
An arithmetic match is not a full physical-
vacuum certificate.

00:06:04.802 --> 00:06:08.062
The interval certificates bound a small-
angle moment relaxation under the

00:06:08.062 --> 00:06:12.912
stated conventions. They do not certify a
ceiling for the full potential.

00:06:12.912 --> 00:06:16.547
The separate vacuum checks compare
numerically located extrema with Fourier-
tail

00:06:16.547 --> 00:06:20.492
errors; an observed surviving witness is
not an exhaustive optimum.

00:06:23.602 --> 00:06:28.162
Open Collider. Which state a dijet search
bounds, plus a separate Higgs-rate

00:06:28.162 --> 00:06:31.302
scenario checked against pinned
experimental datasets.

00:06:32.602 --> 00:06:35.552
Move the dijet mass probe to five point
two.

00:06:35.552 --> 00:06:39.212
Read the selected state, mass scale and
published comparison under its colour

00:06:39.212 --> 00:06:43.777
hypothesis. The separate Higgs experiment
below uses another explicitly supplied

00:06:43.777 --> 00:06:45.262
scalar scenario.

00:06:46.602 --> 00:06:50.167
The dijet delta chi  squared  values are
quoted from the published record;

00:06:50.167 --> 00:06:53.067
the Higgs experiment computes its own
comparison.

00:06:53.067 --> 00:06:57.887
Its 159 HiggsSignals observables are not
159 independent degrees

00:06:57.887 --> 00:07:02.312
of freedom. Coupling and width assumptions
can compensate in visible rates,

00:07:02.312 --> 00:07:05.802
so this scalar comparison is not a complete
G H U fit.

00:07:08.935 --> 00:07:13.330
Open Selection rule. Which alpha -domain a
search may legally use, and which

00:07:13.330 --> 00:07:16.755
S U 4 representations can hold a quark
generation.

00:07:18.068 --> 00:07:22.563
Select the representation with Dynkin
labels one, zero, one.

00:07:22.563 --> 00:07:25.788
The centre-charge and chiral-projection
results determine which search domain

00:07:25.788 --> 00:07:28.793
is permitted and which content can host a
generation.

00:07:28.793 --> 00:07:33.113
The domain is computed from the
representation, not chosen for convenience.

00:07:34.402 --> 00:07:37.862
The centre-charge gate is classical and is
credited as such.

00:07:37.862 --> 00:07:41.242
What is ours is the chiral projection that
gives the closed count.

00:07:44.335 --> 00:07:48.990
Open Model calculator. A matter content in,
the Higgs out — the AHMN

00:07:48.990 --> 00:07:51.190
model recomputed in front of you.

00:07:52.535 --> 00:07:55.275
Load the named A H M N reference model.

00:07:55.275 --> 00:08:00.125
Its terms, potential and derived quantities
are recalculated by the browser.

00:08:00.125 --> 00:08:03.545
Start with this anchored content before
changing multiplicities or boundary

00:08:03.545 --> 00:08:08.140
signs, and retain the stated normalization
caveat for absolute scales.

00:08:09.468 --> 00:08:13.068
The mass ratio carries no normalisation and
no caveat.

00:08:13.068 --> 00:08:14.718
Absolute scales do.

00:08:17.868 --> 00:08:22.148
Open eta-meter. What the boundary sign eta
does to a multiplet's contribution —

00:08:22.148 --> 00:08:24.798
in closed form, from one integer.

00:08:26.135 --> 00:08:29.820
Load the supplied example made from a blind
multiplet, then flip every eta

00:08:29.820 --> 00:08:34.440
sign. In this example the potential is
insensitive to that change.

00:08:34.440 --> 00:08:37.980
The eta-difference view exposes the
cancellation; it is not evidence that

00:08:37.980 --> 00:08:39.940
boundary signs never matter.

00:08:41.268 --> 00:08:44.478
In difference mode every blind multiplet
goes blank.

00:08:44.478 --> 00:08:47.553
That is Part V's theorem seen without
reading a number.

00:08:50.668 --> 00:08:55.438
Open Five dimensions. Haba–Yamashita's own
5D S U 3 model,

00:08:55.438 --> 00:08:57.833
with the vacuum their paper leaves undone.

00:08:59.135 --> 00:09:02.450
Compare the pure-gauge case with the
supplied marginal trio.

00:09:02.450 --> 00:09:04.915
Read the potential and vacuum together.

00:09:04.915 --> 00:09:08.820
This panel uses the five-dimensional S U
three reference, so its arithmetic

00:09:08.820 --> 00:09:13.065
and assumptions must not be borrowed from
the six-dimensional S U seven benchmark.

00:09:14.402 --> 00:09:18.092
Pure gauge never breaks the symmetry (D =
−9).

00:09:18.092 --> 00:09:22.487
In this whole 5D class 8D is even: the odd
rung the S U 7 ceiling stands

00:09:22.487 --> 00:09:24.432
on needs the sixth dimension.

00:09:27.535 --> 00:09:32.050
Open SU(N) builder. The one-loop Wilson-
line potential of ANY

00:09:32.050 --> 00:09:37.455
5D SU(N) model on S¹/Z₂ — the model is the
input.

00:09:38.802 --> 00:09:42.142
Load the source paper section four point
three benchmark.

00:09:42.142 --> 00:09:45.322
The boundary blocks and bulk content become
the model.

00:09:45.322 --> 00:09:49.312
The potential is reconstructed from these
inputs; the Spectrum, Anomalies

00:09:49.312 --> 00:09:52.502
and Simulator sections can inspect the same
builder model.

00:09:53.802 --> 00:09:56.972
Every equation of all four worked examples
in the source paper is checked

00:09:56.972 --> 00:10:01.577
against this. With one Wilson-line phase
the terms are the same (m,

00:10:01.577 --> 00:10:06.392
s, c) triples the S U 7 sections run on, so
Part VII's

00:10:06.392 --> 00:10:09.167
closed form applies to somebody else's
model.

00:10:12.268 --> 00:10:16.798
Open Paper models. Four models somebody
else published, taken off their

00:10:16.798 --> 00:10:19.368
pages and run through this instrument's
engine.

00:10:20.668 --> 00:10:24.808
Change the triplet Dirac-fermion count to
five in the supported reference.

00:10:24.808 --> 00:10:29.328
Inspect which outputs are actually computed
and which remain structural statements.

00:10:29.328 --> 00:10:32.988
Where offered, the load button transfers
the supported content into the general

00:10:32.988 --> 00:10:33.933
builder.

00:10:35.268 --> 00:10:38.653
Three of the four are supersymmetric and
this engine's potential is not,

00:10:38.653 --> 00:10:42.413
so their rows are boundary-condition and
zero-mode statements only.

00:10:42.413 --> 00:10:46.518
An amber row disagrees with one printed
equation, not with a paper, and names

00:10:46.518 --> 00:10:49.333
which of that paper's own equations agrees
with which.

00:10:52.468 --> 00:10:57.113
Open 4D spectrum. What the model on the
builder CONTAINS: the four-dimensional

00:10:57.113 --> 00:10:59.478
fields and their Kaluza–Klein towers.

00:11:00.802 --> 00:11:04.342
Load the S U six example and move the
Wilson-line probe.

00:11:04.342 --> 00:11:07.732
Compare the potential families with the
exact low-lying tower.

00:11:07.732 --> 00:11:10.622
The lowest levels can require a different
reading from the families used

00:11:10.622 --> 00:11:12.367
to construct the potential.

00:11:13.668 --> 00:11:17.003
The families are the potential's multiset
and are right for it; at a broken

00:11:17.003 --> 00:11:19.918
vacuum they are wrong at the LOWEST level
of the adjoint and the symmetric

00:11:19.918 --> 00:11:24.358
tensor, which is why the exact tower is a
second table and not a repetition.

00:11:27.468 --> 00:11:32.043
Open Anomalies. What that content owes:
every anomaly channel of the unbroken

00:11:32.043 --> 00:11:34.358
group, in exact rationals.

00:11:35.668 --> 00:11:40.013
Load the S U six example. The ledger
evaluates each anomaly channel of the

00:11:40.013 --> 00:11:43.013
unbroken group in exact rational
arithmetic.

00:11:43.013 --> 00:11:47.323
Distinguish a vanishing bill from a case
with no massless fermions to test.

00:11:47.323 --> 00:11:50.078
Brane cancellation is a separate
calculation.

00:11:51.402 --> 00:11:55.632
A non-zero row is a BILL, not an
inconsistency: the brane fermions such a

00:11:55.632 --> 00:11:59.112
model needs pay into the same channels with
the opposite sign.

00:11:59.112 --> 00:12:02.162
And a model with no massless fermion has
nothing to cancel — that is no

00:12:02.162 --> 00:12:04.382
subject, not cancels.

00:12:07.468 --> 00:12:12.038
Open Brane matter. Who pays that bill, and
what it costs: matter on the

00:12:12.038 --> 00:12:16.238
two fixed points, held at once to the
anomaly ledger and to Part I's boundary-
mass

00:12:16.238 --> 00:12:17.133
gate.

00:12:18.468 --> 00:12:22.193
Load the supplied S U five brane example
and solve its supported linear charge

00:12:22.193 --> 00:12:26.908
channels. Compare the anomaly ledger with
the surviving massless fields.

00:12:26.908 --> 00:12:30.568
Paying an anomaly bill and giving a field a
mass are different requirements.

00:12:31.868 --> 00:12:36.453
Two verdicts, kept apart on purpose: the
bill before and after, and the massless

00:12:36.453 --> 00:12:40.998
count before and after. The same field can
pay one and not the other, because

00:12:40.998 --> 00:12:44.288
the charge that cancels an anomaly is not
in general the charge a mass term

00:12:44.288 --> 00:12:48.418
needs. The surviving count is a lower bound
— the rank test assumes generic

00:12:48.418 --> 00:12:49.593
couplings.

00:12:52.735 --> 00:12:57.295
Open Scan. The model-building loop closed:
walk the whole space of boundary

00:12:57.295 --> 00:12:59.725
conditions and contents through filters.

00:13:01.068 --> 00:13:03.308
Run the displayed finite sweep.

00:13:03.308 --> 00:13:07.278
Read the denominator, each filter in the
funnel, the survivors and the unresolved

00:13:07.278 --> 00:13:12.293
cases. The interface counts boundary
conditions and equivalence classes
separately,

00:13:12.293 --> 00:13:15.638
so surviving rows are not automatically
distinct theories.

00:13:16.935 --> 00:13:20.905
Surviving boundary conditions are not
surviving theories: [p,q,r,s] ~ [p−

00:13:20.905 --> 00:13:26.585
1,q+1,r+1,s−1] is the same theory, so the
headline is a pair of numbers.

00:13:26.585 --> 00:13:29.505
An undecided vacuum is counted apart from a
no.

00:13:32.602 --> 00:13:35.167
Open One model, every verdict.

00:13:35.167 --> 00:13:38.322
Which of the instrument's answers about
this model are about the THEORY,

00:13:38.322 --> 00:13:40.997
and which only about the frame you are
standing in.

00:13:42.335 --> 00:13:45.785
Start the built-in example, then choose its
displayed equivalent boundary

00:13:45.785 --> 00:13:50.130
condition. Compare the tags identifying
properties of the theory and properties

00:13:50.130 --> 00:13:54.220
of the chosen frame. A changed coordinate
description can move a displayed

00:13:54.220 --> 00:13:56.760
quantity without changing the physical
theory.

00:13:58.068 --> 00:14:01.758
The tag is measured on that render, never
read off a list.

00:14:01.758 --> 00:14:05.093
The lines at the minimum are the theory's;
the ones at the symmetric point

00:14:05.093 --> 00:14:08.093
are mostly the frame's — which is the whole
point of the section.

00:14:11.202 --> 00:14:15.897
Open Simulator. Choose builder predictions,
a top-Kaluza Klein Higgs-rate

00:14:15.897 --> 00:14:19.902
reference or the neutrino ring; compare
calculated responses with their explicitly

00:14:19.902 --> 00:14:22.132
scoped experimental references.

00:14:23.468 --> 00:14:26.923
Load the built-in published builder
example, then change the gauge coupling

00:14:26.923 --> 00:14:32.068
to one. Compare the resulting Higgs
quantity and compactification reference.

00:14:32.068 --> 00:14:36.378
This is a model calculation with named
measured inputs and comparison hypotheses;

00:14:36.378 --> 00:14:38.483
no collider events are simulated.

00:14:39.802 --> 00:14:42.032
No collider event is simulated.

00:14:42.032 --> 00:14:45.507
The thermal history is a separate S U 3
benchmark with supplied wall and

00:14:45.507 --> 00:14:49.627
efficiency parameters; its acoustic
spectrum is evaluated only in the supported

00:14:49.627 --> 00:14:53.352
completed, weak-transition, fast-wall
regime.

00:14:53.352 --> 00:14:57.632
It is not a detector forecast or the
thermal history of the S U 7 builder.

00:14:57.632 --> 00:15:00.987
A symmetric vacuum sets no compactification
scale.

00:15:04.135 --> 00:15:08.475
Open Boundary conditions. Which boundary
conditions are the same theory,

00:15:08.475 --> 00:15:11.195
walked as orbits rather than quoted as a
theorem.

00:15:12.535 --> 00:15:16.480
Switch from the interval orbifold to the
two-dimensional Z three example.

00:15:16.480 --> 00:15:20.820
The orbit structure and class count change
with the specified boundary problem.

00:15:20.820 --> 00:15:25.355
Equivalence classes identify descriptions
connected by the allowed transformations.

00:15:26.668 --> 00:15:31.348
The counts come out (N+1) squared  at every
N on S¹/

00:15:31.348 --> 00:15:35.543
Z₂, which is Haba–Hosotani–Kawamura's
theorem as a measurement.

00:15:35.543 --> 00:15:38.588
Press T squared /Z₃ and the answer changes.

00:15:41.735 --> 00:15:43.995
Open Classify an orbifold.

00:15:43.995 --> 00:15:47.710
The alphabet of an orbifold, derived from
its rotation matrix and nothing

00:15:47.710 --> 00:15:48.665
else.

00:15:50.002 --> 00:15:53.672
Select the two-dimensional Z four rotation
and classify it.

00:15:53.672 --> 00:15:56.987
The group-theoretic alphabet is derived
from the matrix.

00:15:56.987 --> 00:16:01.042
You can enter another supported matrix, but
an invalid finite-order hypothesis

00:16:01.042 --> 00:16:03.927
must be refused rather than silently
classified.

00:16:05.268 --> 00:16:07.568
Nothing is entered but the matrix.

00:16:07.568 --> 00:16:11.463
A matrix of infinite order, or one whose
characteristic polynomial is not

00:16:11.463 --> 00:16:16.338
a power of the m-th cyclotomic, comes back
REFUSED rather than classified.

00:16:19.468 --> 00:16:23.543
Open Name the relations. Which equivalence
relation on boundary conditions

00:16:23.543 --> 00:16:28.063
the literature already owns, and whether a
proposed move set connects a class.

00:16:29.402 --> 00:16:33.672
Switch to the Z four boundary problem and
judge the displayed proposed move.

00:16:33.672 --> 00:16:37.367
Read the local and global qualifications
and the source attribution.

00:16:37.367 --> 00:16:41.127
A useful move in one boundary problem is
not automatically a complete equivalence

00:16:41.127 --> 00:16:42.572
relation in another.

00:16:43.868 --> 00:16:47.608
The local/global distinction is the one
that gets misquoted, and the page

00:16:47.608 --> 00:16:49.253
carries it explicitly.

00:16:52.402 --> 00:16:54.932
Open Conjugate boundary conditions.

00:16:54.932 --> 00:16:59.322
How many inequivalent CONJUGATE boundary
conditions there are on S¹/Z₂ —

00:16:59.322 --> 00:17:03.502
and, because that count rests on a
hypothesis nobody has settled, what each

00:17:03.502 --> 00:17:05.217
of the two answers would be.

00:17:06.535 --> 00:17:10.700
Increase the group rank and compare the two
hypotheses printed in the table.

00:17:10.700 --> 00:17:13.645
Conjugate twists transform by congruence.

00:17:13.645 --> 00:17:17.040
Independent boundary transformations and
one linked transformation lead to

00:17:17.040 --> 00:17:21.685
different classification questions, so the
hypothesis travels with the count.

00:17:23.002 --> 00:17:26.582
What the panel puts on screen is the
disagreement, not a number, and that

00:17:26.582 --> 00:17:30.957
is the point: the twists move by congruence
rather than similarity, and independence

00:17:30.957 --> 00:17:34.987
decides between four classes flat in N and
no finite count at all.

00:17:34.987 --> 00:17:37.962
What the label leaves unbroken is not a
property of the label — the same

00:17:37.962 --> 00:17:40.927
verdict the ordinary panel reaches by
another route.

00:17:40.927 --> 00:17:44.812
The exported card carries the hypothesis
beside the count, so a number never

00:17:44.812 --> 00:17:47.272
travels without the condition it rests on.

00:17:50.402 --> 00:17:54.537
Open Brane kinetic terms. What happens to
the tower when brane-localised

00:17:54.537 --> 00:17:57.822
kinetic terms make the masses stop being
n/R.

00:17:59.135 --> 00:18:02.110
Increase the brane kinetic coefficient to
twelve.

00:18:02.110 --> 00:18:06.400
The spectrum responds because the roots are
no longer a simple integer tower.

00:18:06.400 --> 00:18:10.540
Compare the root conditions and
normalization, then use the separate
warped-unification

00:18:10.540 --> 00:18:12.760
card for coupling-running questions.

00:18:14.068 --> 00:18:17.293
The special functions are checked against
mpmath at forty digits, and the

00:18:17.293 --> 00:18:20.888
c  to  0 limit is computed in closed form
by code that shares nothing with

00:18:20.888 --> 00:18:24.458
the solver. That limit found three real
defects.

00:18:27.602 --> 00:18:32.167
Open Gravity–gauge · 3D. Which physical
information a complete tower of masses

00:18:32.167 --> 00:18:35.297
leaves undetermined in a controlled
gravity-gauge example.

00:18:36.602 --> 00:18:40.567
Select eta equal to minus zero point nine,
then display the gauge kinetic

00:18:40.567 --> 00:18:45.522
function. The paired masses and the source
response carry different information.

00:18:45.522 --> 00:18:50.252
The Wilson quantity here is a kinetic
normalization, not a Higgs-mass prediction.

00:18:51.602 --> 00:18:54.987
The positive paired tensor NN and vector DD
masses are protected by their

00:18:54.987 --> 00:18:57.077
common canonical operator.

00:18:57.077 --> 00:19:00.487
The gauge NN control has different
boundaries and moves.

00:19:00.487 --> 00:19:04.562
The source position is in the extra
dimension, not a laboratory location;

00:19:04.562 --> 00:19:07.532
the Wilson kinetic scale is not a Higgs
mass.

00:19:07.532 --> 00:19:12.102
For p=1.1 a canonical bulk scalar realizes
the family, with stability

00:19:12.102 --> 00:19:13.762
and cutoff still open.

00:19:16.868 --> 00:19:21.073
Open The literature. The reading list
behind the series: what each paper

00:19:21.073 --> 00:19:24.463
publishes, and which ones a person has
actually read.

00:19:25.802 --> 00:19:28.932
Filter the reading list to the complete-
triple selection.

00:19:28.932 --> 00:19:32.842
Inspect the recorded sources and what each
paper actually supplies.

00:19:32.842 --> 00:19:36.822
Keyword signals help navigate this corpus;
they are not proofs, and this

00:19:36.822 --> 00:19:39.617
reading list is not an exhaustive map of
the field.

00:19:40.935 --> 00:19:44.810
A signal is a keyword, and a keyword sweep
misses whatera electron voltser

00:19:44.810 --> 00:19:48.900
is phrased differently. Nothing is asserted
from a signal alone, and the

00:19:48.900 --> 00:19:51.495
corpus is our reading list rather than the
field.

00:19:54.602 --> 00:19:59.027
The second Simulator mode is the top Kaluza
Klein Higgs-production reference.

00:19:59.027 --> 00:20:02.932
Its leading rate, finite tower and resummed
comparison answer one specified

00:20:02.932 --> 00:20:04.297
model question.

00:20:05.602 --> 00:20:09.757
Move the Kaluza Klein scale to fifteen
hundred gigaelectronvolts.

00:20:09.757 --> 00:20:12.972
Inspect the rate curve and the separate
convergence display.

00:20:12.972 --> 00:20:17.052
The chosen comparison window is
conditional, and a custom window is a user-
supplied

00:20:17.052 --> 00:20:18.162
scenario.

00:20:21.268 --> 00:20:23.893
Select the four-dimensional neutrino ring.

00:20:23.893 --> 00:20:27.218
Calibration can hold the light mass and
active-current deficit fixed while

00:20:27.218 --> 00:20:29.793
the required couplings are reconstructed.

00:20:29.793 --> 00:20:32.368
Six heavy pairs belong to this base model.

00:20:33.668 --> 00:20:37.933
Compare mu B equal to zero with five
thousand kilo electron volts.

00:20:37.933 --> 00:20:41.928
The leading light mass and the heavy pair
splittings carry different information.

00:20:41.928 --> 00:20:45.263
Read the approximation indicators alongside
the spectrum.

00:20:48.402 --> 00:20:51.812
The C M S comparison uses published
observed and expected curves with their

00:20:51.812 --> 00:20:56.572
bands. The overlay keeps the selected
flavour and Dirac or Majorana hypothesis

00:20:56.572 --> 00:20:57.572
visible.

00:20:58.868 --> 00:21:01.908
Choose muon flavour and the Majorana
reference.

00:21:01.908 --> 00:21:06.313
Inspect the per-component convention, mass
domain and reference ratios.

00:21:06.313 --> 00:21:10.008
The ring overlay is not a likelihood that
includes its complete flavour structure,

00:21:10.008 --> 00:21:12.988
decay acceptance and multi-state
interference.

00:21:16.135 --> 00:21:19.190
The decay card starts from the weak-channel
scenario.

00:21:19.190 --> 00:21:22.710
Select a heavy pair and inspect where its
width goes, its lifetime and the

00:21:22.710 --> 00:21:24.615
fixed-boost flight estimate.

00:21:25.935 --> 00:21:28.710
Include the calculated Majoron channels.

00:21:28.710 --> 00:21:31.690
The width and the derived lifetime respond
together.

00:21:31.690 --> 00:21:34.735
An extra width is a separate user
hypothesis.

00:21:34.735 --> 00:21:38.635
Read the isolated-pair and overlap
diagnostics before interpreting the same-
sign

00:21:38.635 --> 00:21:40.510
over opposite-sign ratio.

00:21:41.802 --> 00:21:45.082
Change the fixed boost to ten and inspect
the flight curve.

00:21:45.082 --> 00:21:48.562
This illustrates the supplied kinematic
scenario; it does not integrate a

00:21:48.562 --> 00:21:51.307
detector acceptance or a production
spectrum.

00:21:54.402 --> 00:21:59.032
Three sterile copies reconstruct the chosen
light masses and mixing orientation.

00:21:59.032 --> 00:22:02.952
The mass ordering, phases and active
deficits are inputs.

00:22:02.952 --> 00:22:06.197
The card also displays eighteen heavy-pair
flavour weights.

00:22:07.535 --> 00:22:10.345
Change the Dirac phase to ninety degrees.

00:22:10.345 --> 00:22:14.055
Compare neutrino and antineutrino
appearance in the unitary vacuum limit,

00:22:14.055 --> 00:22:16.395
then inspect the flavour fractions.

00:22:16.395 --> 00:22:20.080
Majorana phases cancel from these
oscillation curves but can affect the
displayed

00:22:20.080 --> 00:22:22.170
light-sector double-beta quantity.

00:22:25.268 --> 00:22:28.833
This experiment holds the chosen light
masses and mixing orientation fixed

00:22:28.833 --> 00:22:31.403
while reconstructing a parameter path.

00:22:31.403 --> 00:22:33.893
The green strip tells you what is fixed.

00:22:33.893 --> 00:22:38.393
The five figures separate heavy masses,
splitting, current factors, small

00:22:38.393 --> 00:22:40.388
differences and reference data.

00:22:41.735 --> 00:22:44.900
Move the selected position from one tenth
to eight tenths along the mu B

00:22:44.900 --> 00:22:49.185
path. The mass stays fixed while the pair
splitting changes.

00:22:49.185 --> 00:22:51.925
The open circle tracks the selected point.

00:22:51.925 --> 00:22:55.990
Equal light inputs therefore do not
determine every heavy-sector response.

00:22:57.335 --> 00:23:00.765
Now choose the common active deficit and
its upper endpoint.

00:23:00.765 --> 00:23:04.935
The raw vacuum current factor is
suppressed, but the specified near
normalization

00:23:04.935 --> 00:23:06.995
cancels the common factor.

00:23:06.995 --> 00:23:10.225
The difference figure labels numerical
coincidence rather than amplifying

00:23:10.225 --> 00:23:11.320
roundoff.

00:23:12.668 --> 00:23:14.898
Choose deficit direction three.

00:23:14.898 --> 00:23:17.813
Unequal deficits can leave a shape
response.

00:23:17.813 --> 00:23:20.973
The fourth graph magnifies an absolute
difference that is difficult to see

00:23:20.973 --> 00:23:22.963
in the overlapping curves.

00:23:22.963 --> 00:23:27.463
Its scale is explicit, and the exported
samples retain their original precision.

00:23:28.802 --> 00:23:32.207
The DeepCore map uses the archived twenty-
eighteen standard-three-neutrino

00:23:32.207 --> 00:23:36.632
tables. The cross stays fixed along the
ring path because these light inputs

00:23:36.632 --> 00:23:40.747
stay fixed. The map is not a nonunitary
ring likelihood and is not added

00:23:40.747 --> 00:23:42.132
to NuFIT.

00:23:43.468 --> 00:23:46.963
To move the cross, change sine squared
theta twenty-three in the flavour

00:23:46.963 --> 00:23:50.523
card. Here it is set to zero point six.

00:23:50.523 --> 00:23:53.178
The reference updates for the new light
input.

00:23:53.178 --> 00:23:57.553
Outside its published grid the laboratory
withholds a value instead of extrapolating.

00:24:00.668 --> 00:24:05.203
This paper-model experiment reconstructs
the stated flat S U six potential.

00:24:05.203 --> 00:24:08.828
Matter content and the winding cutoff are
explicit controls.

00:24:08.828 --> 00:24:12.068
A small Wilson minimum must be read with
its convergence check.

00:24:13.402 --> 00:24:17.497
Set the winding cutoff to ten and inspect
the shifted minimum and comparison.

00:24:17.497 --> 00:24:20.757
A finite truncation can change the apparent
result.

00:24:20.757 --> 00:24:24.117
The supported potential can be transferred
to the builder; this does not

00:24:24.117 --> 00:24:26.362
certify a complete flavour model.

00:24:29.468 --> 00:24:32.513
The warped-unification card compares
differential gauge running under the

00:24:32.513 --> 00:24:34.533
selected matter assignment.

00:24:34.533 --> 00:24:37.973
Required ultraviolet boundary terms and
their residuals are outputs of that

00:24:37.973 --> 00:24:39.673
stated approximation.

00:24:41.002 --> 00:24:43.537
Switch the matter assignment to C two.

00:24:43.537 --> 00:24:47.087
The running differences and required
boundary terms respond.

00:24:47.087 --> 00:24:50.437
The naive-dimensional-analysis reference is
a scale estimate.

00:24:50.437 --> 00:24:54.752
The separate localization probe is not a
complete fermion-spectrum calculation.

00:24:57.868 --> 00:25:00.813
The thermal card is its own S U three
benchmark.

00:25:00.813 --> 00:25:04.623
It uses named paper cases and compares
potential cutoffs.

00:25:04.623 --> 00:25:08.008
A stored matching PhaseTracer result is
available offline for the recorded

00:25:08.008 --> 00:25:09.108
inputs.

00:25:10.402 --> 00:25:13.932
Load paper case two and compare the
potential and phase flow.

00:25:13.932 --> 00:25:17.597
Coexistence and a nucleation proxy are
different questions.

00:25:17.597 --> 00:25:21.232
A new point needs a matching bounce
calculation; changing the builder model

00:25:21.232 --> 00:25:24.242
does not turn this benchmark into its
thermal history.

00:25:27.335 --> 00:25:30.955
Integrated transition history uses refined
action tables.

00:25:30.955 --> 00:25:34.585
Read nucleation, percolation and completion
separately.

00:25:34.585 --> 00:25:38.120
The false-vacuum fraction and physical-
volume condition make those distinctions

00:25:38.120 --> 00:25:39.115
visible.

00:25:40.402 --> 00:25:43.667
Set the assumed wall speed to zero point
eight and the fluid efficiency to

00:25:43.667 --> 00:25:48.457
zero point one. Compare the history and
conditional acoustic spectrum.

00:25:48.457 --> 00:25:52.262
Wall friction, plasma evolution and
detector significance are not calculated

00:25:52.262 --> 00:25:53.792
by these controls.

00:25:56.935 --> 00:26:00.870
This warped-model experiment separates
ultraviolet and infrared anomaly factors,

00:26:00.870 --> 00:26:04.130
gauge cancellation and the baryon-current
matrix.

00:26:04.130 --> 00:26:08.170
Its sources and approximation are distinct
from the base S U seven ledger.

00:26:09.468 --> 00:26:12.958
Remove the lepton generations in this test
configuration.

00:26:12.958 --> 00:26:16.418
The imbalance exposes a gauge anomaly that
needs completion.

00:26:16.418 --> 00:26:20.393
A nonzero baryon-current anomaly is a
separate statement; it is not a computed

00:26:20.393 --> 00:26:23.163
proton lifetime or baryogenesis yield.

00:26:26.268 --> 00:26:29.658
Begin with the stored Standard Model-like
scalar reference.

00:26:29.658 --> 00:26:33.258
Local couplings determine production rates,
partial widths and branching

00:26:33.258 --> 00:26:37.478
fractions. Matching HiggsBounds and
HiggsSignals calculations use pinned

00:26:37.478 --> 00:26:39.353
experimental datasets.

00:26:40.668 --> 00:26:43.708
Add one mega electron volt of invisible
width.

00:26:43.708 --> 00:26:47.368
The local predictions update, and the old
experimental result is withdrawn

00:26:47.368 --> 00:26:49.923
because its inputs no longer match.

00:26:49.923 --> 00:26:53.128
Run the optional engine or import a
matching result before assigning a new

00:26:53.128 --> 00:26:54.768
experimental verdict.

00:26:57.868 --> 00:27:01.128
Use a comparison snapshot before changing a
point.

00:27:01.128 --> 00:27:06.518
Save the experiment JSON to retain the
inputs, calculated arrays, assumptions,

00:27:06.518 --> 00:27:09.103
provenance and optional saved reference.

00:27:09.103 --> 00:27:12.553
The global result card and LaTeX exports
provide another view of the selected

00:27:12.553 --> 00:27:13.863
calculation.

00:27:15.202 --> 00:27:17.997
Choose a figure and save its vector SVG.

00:27:17.997 --> 00:27:22.177
The new neutrino figures carry sampled data
and provenance in their metadata.

00:27:22.177 --> 00:27:25.867
The link button preserves controls in the
address; archive external results

00:27:25.867 --> 00:27:28.447
and comparisons in JSON as well.

00:27:29.735 --> 00:27:33.430
The browser calculations and stored
references run offline.

00:27:33.430 --> 00:27:37.455
New HiggsTools and PhaseTracer points use
the optional local engine.

00:27:37.455 --> 00:27:41.460
The source repository contains the
reproduction commands, independent checks

00:27:41.460 --> 00:27:46.040
and archived studies. Return to a chapter,
vary one assumption, and

00:27:46.040 --> 00:27:48.295
keep the scope beside every result.