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:41.377
Open Hierarchy. For a bulk content of the S
U seven model, inspect the

00:00:41.377 --> 00:00:45.402
compactification scale and Higgs mass under
the displayed conventions.

00:00:45.402 --> 00:00:49.047
The ceiling belongs to the stated small-
angle moment approximation.

00:00:50.335 --> 00:00:53.855
Change the diagnostic gauge coupling to
zero point seven.

00:00:53.855 --> 00:00:57.280
The response plots separate a change of
model convention from propagation

00:00:57.280 --> 00:01:00.590
of the measured W input and from winding
convergence.

00:01:00.590 --> 00:01:03.255
Read the axes and the central values
together.

00:01:04.602 --> 00:01:08.087
The calculated phase does not reproduce the
printed phase.

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

00:01:11.907 --> 00:01:14.377
cannot move its stationary points.

00:01:14.377 --> 00:01:18.237
Absolute scales remain conditional on
resolving this discrepancy.

00:01:18.237 --> 00:01:21.037
The arithmetic identities are separate
statements.

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

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

00:01:32.390 --> 00:01:34.380
certificate that none exists.

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

00:01:39.278 --> 00:01:43.573
design. Inspect the returned content or the
named certificate.

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

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

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

00:01:57.593 --> 00:02:00.013
the finite set of points it really is.

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

00:02:09.735 --> 00:02:12.915
The counting graph is generated when the
section opens.

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

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

00:02:20.850 --> 00:02:22.265
viable models.

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

00:02:27.352 --> 00:02:31.972
022 464 contents. The candidate uses even

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

00:02:36.242 --> 00:02:38.252
the published measured-mass fibre.

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

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

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

00:02:54.165 --> 00:02:56.495
Each tile is a different potential.

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

00:03:01.190 --> 00:03:04.035
Clicking a tile transfers that content to
the model.

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

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

00:03:13.515 --> 00:03:15.880
which tiles blank before they are drawn.

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

00:03:23.807 --> 00:03:25.927
by Part VII's Theorem 3.

00:03:27.268 --> 00:03:31.048
Copy the first content and construct its
canonical representative.

00:03:31.048 --> 00:03:34.188
Compare the potential curves and the five
coordinates.

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

00:03:37.418 --> 00:03:39.073
under the stated theorem.

00:03:40.402 --> 00:03:43.787
Same five coordinates ⟺ identically the
same potential.

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

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

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

00:04:00.735 --> 00:04:04.430
Read the signed contributions to the
anomaly bill and the rung ladder.

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

00:04:09.020 --> 00:04:12.035
possible brane matter must be considered
separately.

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

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

00:04:20.870 --> 00:04:22.990
channels with the opposite sign.

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

00:04:29.002 --> 00:04:31.297
Open Escape from proton decay.

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

00:04:35.467 --> 00:04:39.317
the six channels, the assignments and the
selection rule recompute.

00:04:40.602 --> 00:04:44.492
Choose the scalar charge associated with
the eighty-four representation.

00:04:44.492 --> 00:04:48.287
The rational anomaly channels and charge
assignments update together.

00:04:48.287 --> 00:04:51.697
Inspect which assignments meet the
displayed proton-protection rule; the

00:04:51.697 --> 00:04:55.097
calculation does not supply a measured
proton lifetime.

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

00:04:59.902 --> 00:05:02.337
protection never costs an anomaly.

00:05:02.337 --> 00:05:05.057
That is an enumeration, not an argument.

00:05:08.202 --> 00:05:10.557
Open Multiplets & parities.

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

00:05:14.502 --> 00:05:16.297
with their three Z₂ parities.

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

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

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

00:05:29.067 --> 00:05:30.392
contribution.

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

00:05:34.825 --> 00:05:36.750
of the page computes with.

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

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

00:05:47.927 --> 00:05:51.382
rung certificates and independent full-
potential witness checks.

00:05:52.668 --> 00:05:56.543
Enter a candidate resonance at four
thousand gigaelectronvolts.

00:05:56.543 --> 00:05:59.768
The comb samples nearby teeth for the
displayed rungs.

00:05:59.768 --> 00:06:03.708
Its filters, spacing table and download now
use the same conditional-bound

00:06:03.708 --> 00:06:05.823
check for the chosen inputs.

00:06:05.823 --> 00:06:09.368
A surviving tooth is not proof of an
attainable physical vacuum.

00:06:10.668 --> 00:06:14.433
The interval bounds apply to the small-
angle moment relaxation, not the full

00:06:14.433 --> 00:06:18.498
potential. The Sage audit also excludes a
stationary point throughout the

00:06:18.498 --> 00:06:22.668
rounding interval of each of the five
printed S U seven phases, for the
implemented

00:06:22.668 --> 00:06:27.478
coefficient table. Reconciling that table
with the paper remains open.

00:06:27.478 --> 00:06:29.923
This is not a proof that the paper is
wrong.

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

00:06:37.628 --> 00:06:40.768
scenario checked against pinned
experimental datasets.

00:06:42.068 --> 00:06:45.018
Move the dijet mass probe to five point
two.

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

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

00:06:53.243 --> 00:06:54.728
scalar scenario.

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

00:06:59.633 --> 00:07:02.533
the Higgs experiment computes its own
comparison.

00:07:02.533 --> 00:07:07.353
Its 159 HiggsSignals observables are not
159 independent degrees

00:07:07.353 --> 00:07:11.778
of freedom. Coupling and width assumptions
can compensate in visible rates,

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

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

00:07:22.797 --> 00:07:26.222
S U 4 representations can hold a quark
generation.

00:07:27.535 --> 00:07:32.030
Select the representation with Dynkin
labels one, zero, one.

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

00:07:35.255 --> 00:07:38.260
is permitted and which content can host a
generation.

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

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

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

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

00:07:58.457 --> 00:08:00.657
model recomputed in front of you.

00:08:02.002 --> 00:08:04.742
Load the named A H M N reference model.

00:08:04.742 --> 00:08:09.592
Its terms, potential and derived quantities
are recalculated by the browser.

00:08:09.592 --> 00:08:13.012
Start with this anchored content before
changing multiplicities or boundary

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

00:08:18.935 --> 00:08:22.535
The mass ratio carries no normalisation and
no caveat.

00:08:22.535 --> 00:08:24.185
Absolute scales do.

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

00:08:31.615 --> 00:08:34.265
in closed form, from one integer.

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

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

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

00:08:47.447 --> 00:08:49.407
boundary signs never matter.

00:08:50.735 --> 00:08:53.945
In difference mode every blind multiplet
goes blank.

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

00:09:00.135 --> 00:09:04.905
Open Five dimensions. Haba–Yamashita's own
5D S U 3 model,

00:09:04.905 --> 00:09:07.300
with the vacuum their paper leaves undone.

00:09:08.602 --> 00:09:11.917
Compare the pure-gauge case with the
supplied marginal trio.

00:09:11.917 --> 00:09:14.382
Read the potential and vacuum together.

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

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

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

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

00:09:31.953 --> 00:09:33.898
on needs the sixth dimension.

00:09:37.002 --> 00:09:41.582
Open the S U N builder. Boundary conditions
and supported bulk representations

00:09:41.582 --> 00:09:45.857
define the implemented one-loop Wilson-line
potential in five dimensions.

00:09:45.857 --> 00:09:47.527
The model is the input.

00:09:48.868 --> 00:09:51.818
Load section four point three of the source
paper.

00:09:51.818 --> 00:09:55.053
This pure-gauge example prefers the
endpoint at one.

00:09:55.053 --> 00:09:58.733
Read the surviving group from the joint
commutant: being at an endpoint does

00:09:58.733 --> 00:10:01.608
not prove that the generators at zero
survive.

00:10:01.608 --> 00:10:06.048
The potential plot and the reported minimum
now use the same V over C normalization.

00:10:07.335 --> 00:10:11.155
The four worked examples are checked
against the implemented formulas.

00:10:11.155 --> 00:10:15.765
With one Wilson phase, the cosine terms
admit the same moment construction.

00:10:15.765 --> 00:10:19.520
Its closed stationary branch is a small-
angle approximation.

00:10:19.520 --> 00:10:23.150
The numerical Fourier minimum is a separate
calculation, and a finite grid

00:10:23.150 --> 00:10:25.530
is not a certificate of the global minimum.

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

00:10:33.198 --> 00:10:35.768
pages and run through this instrument's
engine.

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

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

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

00:10:49.388 --> 00:10:50.333
builder.

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

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

00:10:58.813 --> 00:11:02.918
An amber row disagrees with one printed
equation, not with a paper, and names

00:11:02.918 --> 00:11:05.733
which of that paper's own equations agrees
with which.

00:11:08.868 --> 00:11:13.513
Open 4D spectrum. What the model on the
builder CONTAINS: the four-dimensional

00:11:13.513 --> 00:11:15.878
fields and their Kaluza–Klein towers.

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

00:11:20.742 --> 00:11:24.132
Compare the potential families with the
exact low-lying tower.

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

00:11:27.022 --> 00:11:28.767
to construct the potential.

00:11:30.068 --> 00:11:34.168
The cosine families reconstruct the
potential, but do not by themselves
determine

00:11:34.168 --> 00:11:36.708
every lowest level of the exact tower.

00:11:36.708 --> 00:11:40.868
The moved probe is a chosen phase, not
necessarily a vacuum.

00:11:40.868 --> 00:11:44.518
Read its surviving group separately; a
boundary coordinate alone does not

00:11:44.518 --> 00:11:46.383
determine symmetry breaking.

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

00:11:54.043 --> 00:11:56.358
group, in exact rationals.

00:11:57.668 --> 00:12:02.013
Load the S U six example. The ledger
evaluates each anomaly channel of the

00:12:02.013 --> 00:12:05.013
unbroken group in exact rational
arithmetic.

00:12:05.013 --> 00:12:09.323
Distinguish a vanishing bill from a case
with no massless fermions to test.

00:12:09.323 --> 00:12:12.078
Brane cancellation is a separate
calculation.

00:12:13.402 --> 00:12:17.632
A non-zero row is a BILL, not an
inconsistency: the brane fermions such a

00:12:17.632 --> 00:12:21.112
model needs pay into the same channels with
the opposite sign.

00:12:21.112 --> 00:12:24.162
And a model with no massless fermion has
nothing to cancel — that is no

00:12:24.162 --> 00:12:26.382
subject, not cancels.

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

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

00:12:38.238 --> 00:12:39.133
gate.

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

00:12:44.193 --> 00:12:48.908
channels. Compare the anomaly ledger with
the surviving massless fields.

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

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

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

00:13:02.998 --> 00:13:06.288
the charge that cancels an anomaly is not
in general the charge a mass term

00:13:06.288 --> 00:13:10.418
needs. The surviving count is a lower bound
— the rank test assumes generic

00:13:10.418 --> 00:13:11.593
couplings.

00:13:14.735 --> 00:13:19.005
Open Scan. Walk the displayed finite space
of boundary conditions and matter

00:13:19.005 --> 00:13:21.480
contents through the selected filters.

00:13:21.480 --> 00:13:25.110
The breaking filter tests which generators
at phase zero survive at the numerically

00:13:25.110 --> 00:13:26.475
located minimum.

00:13:27.802 --> 00:13:30.042
Run the displayed finite sweep.

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

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

00:13:39.027 --> 00:13:42.372
so surviving rows are not automatically
distinct theories.

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

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

00:13:53.318 --> 00:13:56.238
An undecided vacuum is counted apart from a
no.

00:13:59.335 --> 00:14:01.900
Open One model, every verdict.

00:14:01.900 --> 00:14:05.055
Which of the instrument's answers about
this model are about the THEORY,

00:14:05.055 --> 00:14:07.730
and which only about the frame you are
standing in.

00:14:09.068 --> 00:14:12.518
Start the built-in example, then choose its
displayed equivalent boundary

00:14:12.518 --> 00:14:16.863
condition. Compare the tags identifying
properties of the theory and properties

00:14:16.863 --> 00:14:20.953
of the chosen frame. A changed coordinate
description can move a displayed

00:14:20.953 --> 00:14:23.493
quantity without changing the physical
theory.

00:14:24.802 --> 00:14:28.132
The tags compare quantities in the
evaluated frames.

00:14:28.132 --> 00:14:31.762
Read boundary coordinates and the surviving
symmetry separately.

00:14:31.762 --> 00:14:34.892
Reported energies share the potential
normalization.

00:14:34.892 --> 00:14:38.912
Numerical agreement between the located
minima is evidence for these evaluations,

00:14:38.912 --> 00:14:41.492
not an exhaustive global-minimum
certificate.

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

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

00:14:53.302 --> 00:14:55.532
scoped experimental references.

00:14:56.868 --> 00:15:00.518
Load the published builder example and set
the gauge coupling to one.

00:15:00.518 --> 00:15:04.463
Higgs masses now use analytic Fourier
second derivatives, with an explicit

00:15:04.463 --> 00:15:09.133
truncation error bound. The export retains
the actual coupling and phase,

00:15:09.133 --> 00:15:12.718
and distinguishes a chosen probe from a
numerically located minimum.

00:15:14.068 --> 00:15:17.343
The thermal history belongs to a separate S
U three benchmark and the stated

00:15:17.343 --> 00:15:21.323
supported regime. It is not a detector
forecast or the thermal history of

00:15:21.323 --> 00:15:25.763
this builder. At commuting endpoints, the
present mass dictionary does not

00:15:25.763 --> 00:15:29.153
identify a shifted W candidate to set the
scale.

00:15:29.153 --> 00:15:33.218
That limitation does not imply that the
phase-zero gauge group survives.

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

00:15:40.675 --> 00:15:43.395
walked as orbits rather than quoted as a
theorem.

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

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

00:15:53.020 --> 00:15:57.555
Equivalence classes identify descriptions
connected by the allowed transformations.

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

00:16:03.548 --> 00:16:07.743
Z₂, which is Haba–Hosotani–Kawamura's
theorem as a measurement.

00:16:07.743 --> 00:16:10.788
Press T squared /Z₃ and the answer changes.

00:16:13.935 --> 00:16:16.195
Open Classify an orbifold.

00:16:16.195 --> 00:16:19.910
The alphabet of an orbifold, derived from
its rotation matrix and nothing

00:16:19.910 --> 00:16:20.865
else.

00:16:22.202 --> 00:16:25.872
Select the two-dimensional Z four rotation
and classify it.

00:16:25.872 --> 00:16:29.187
The group-theoretic alphabet is derived
from the matrix.

00:16:29.187 --> 00:16:33.242
You can enter another supported matrix, but
an invalid finite-order hypothesis

00:16:33.242 --> 00:16:36.127
must be refused rather than silently
classified.

00:16:37.468 --> 00:16:39.768
Nothing is entered but the matrix.

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

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

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

00:16:55.743 --> 00:17:00.263
the literature already owns, and whether a
proposed move set connects a class.

00:17:01.602 --> 00:17:05.872
Switch to the Z four boundary problem and
judge the displayed proposed move.

00:17:05.872 --> 00:17:09.567
Read the local and global qualifications
and the source attribution.

00:17:09.567 --> 00:17:13.327
A useful move in one boundary problem is
not automatically a complete equivalence

00:17:13.327 --> 00:17:14.772
relation in another.

00:17:16.068 --> 00:17:19.808
The local/global distinction is the one
that gets misquoted, and the page

00:17:19.808 --> 00:17:21.453
carries it explicitly.

00:17:24.602 --> 00:17:27.132
Open Conjugate boundary conditions.

00:17:27.132 --> 00:17:31.522
How many inequivalent CONJUGATE boundary
conditions there are on S¹/Z₂ —

00:17:31.522 --> 00:17:35.702
and, because that count rests on a
hypothesis nobody has settled, what each

00:17:35.702 --> 00:17:37.417
of the two answers would be.

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

00:17:42.900 --> 00:17:45.845
Conjugate twists transform by congruence.

00:17:45.845 --> 00:17:49.240
Independent boundary transformations and
one linked transformation lead to

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

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

00:17:58.782 --> 00:18:03.157
is the point: the twists move by congruence
rather than similarity, and independence

00:18:03.157 --> 00:18:07.187
decides between four classes flat in N and
no finite count at all.

00:18:07.187 --> 00:18:10.162
What the label leaves unbroken is not a
property of the label — the same

00:18:10.162 --> 00:18:13.127
verdict the ordinary panel reaches by
another route.

00:18:13.127 --> 00:18:17.012
The exported card carries the hypothesis
beside the count, so a number never

00:18:17.012 --> 00:18:19.472
travels without the condition it rests on.

00:18:22.602 --> 00:18:26.737
Open Brane kinetic terms. What happens to
the tower when brane-localised

00:18:26.737 --> 00:18:30.022
kinetic terms make the masses stop being
n/R.

00:18:31.335 --> 00:18:34.310
Increase the brane kinetic coefficient to
twelve.

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

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

00:18:42.740 --> 00:18:44.960
card for coupling-running questions.

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

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

00:18:53.088 --> 00:18:56.658
the solver. That limit found three real
defects.

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

00:19:04.367 --> 00:19:07.497
leaves undetermined in a controlled
gravity-gauge example.

00:19:08.802 --> 00:19:12.767
Select eta equal to minus zero point nine,
then display the gauge kinetic

00:19:12.767 --> 00:19:17.722
function. The paired masses and the source
response carry different information.

00:19:17.722 --> 00:19:22.452
The Wilson quantity here is a kinetic
normalization, not a Higgs-mass prediction.

00:19:23.802 --> 00:19:27.187
The positive paired tensor NN and vector DD
masses are protected by their

00:19:27.187 --> 00:19:29.277
common canonical operator.

00:19:29.277 --> 00:19:32.687
The gauge NN control has different
boundaries and moves.

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

00:19:36.762 --> 00:19:39.732
the Wilson kinetic scale is not a Higgs
mass.

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

00:19:44.302 --> 00:19:45.962
and cutoff still open.

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

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

00:19:58.002 --> 00:20:01.132
Filter the reading list to the complete-
triple selection.

00:20:01.132 --> 00:20:05.042
Inspect the recorded sources and what each
paper actually supplies.

00:20:05.042 --> 00:20:09.022
Keyword signals help navigate this corpus;
they are not proofs, and this

00:20:09.022 --> 00:20:11.817
reading list is not an exhaustive map of
the field.

00:20:13.135 --> 00:20:18.005
A signal is a keyword, and a keyword sweep
misses whatever is phrased differently.

00:20:18.005 --> 00:20:21.475
Nothing is asserted from a signal alone,
and the corpus is our reading list

00:20:21.475 --> 00:20:22.865
rather than the field.

00:20:26.002 --> 00:20:30.427
The second Simulator mode is the top Kaluza
Klein Higgs-production reference.

00:20:30.427 --> 00:20:34.332
Its leading rate, finite tower and resummed
comparison answer one specified

00:20:34.332 --> 00:20:35.697
model question.

00:20:37.002 --> 00:20:41.157
Move the Kaluza Klein scale to fifteen
hundred gigaelectronvolts.

00:20:41.157 --> 00:20:44.372
Inspect the rate curve and the separate
convergence display.

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

00:20:48.452 --> 00:20:49.562
scenario.

00:20:52.668 --> 00:20:55.293
Select the four-dimensional neutrino ring.

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

00:20:58.618 --> 00:21:01.193
the required couplings are reconstructed.

00:21:01.193 --> 00:21:03.768
Six heavy pairs belong to this base model.

00:21:05.068 --> 00:21:09.333
Compare mu B equal to zero with five
thousand kilo electron volts.

00:21:09.333 --> 00:21:13.328
The leading light mass and the heavy pair
splittings carry different information.

00:21:13.328 --> 00:21:16.663
Read the approximation indicators alongside
the spectrum.

00:21:19.802 --> 00:21:23.212
The C M S comparison uses published
observed and expected curves with their

00:21:23.212 --> 00:21:27.972
bands. The overlay keeps the selected
flavour and Dirac or Majorana hypothesis

00:21:27.972 --> 00:21:28.972
visible.

00:21:30.268 --> 00:21:33.308
Choose muon flavour and the Majorana
reference.

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

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

00:21:41.408 --> 00:21:44.388
decay acceptance and multi-state
interference.

00:21:47.535 --> 00:21:50.590
The decay card starts from the weak-channel
scenario.

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

00:21:54.110 --> 00:21:56.015
fixed-boost flight estimate.

00:21:57.335 --> 00:22:00.110
Include the calculated Majoron channels.

00:22:00.110 --> 00:22:03.090
The width and the derived lifetime respond
together.

00:22:03.090 --> 00:22:06.135
An extra width is a separate user
hypothesis.

00:22:06.135 --> 00:22:10.035
Read the isolated-pair and overlap
diagnostics before interpreting the same-
sign

00:22:10.035 --> 00:22:11.910
over opposite-sign ratio.

00:22:13.202 --> 00:22:16.482
Change the fixed boost to ten and inspect
the flight curve.

00:22:16.482 --> 00:22:19.962
This illustrates the supplied kinematic
scenario; it does not integrate a

00:22:19.962 --> 00:22:22.707
detector acceptance or a production
spectrum.

00:22:25.802 --> 00:22:30.432
Three sterile copies reconstruct the chosen
light masses and mixing orientation.

00:22:30.432 --> 00:22:34.352
The mass ordering, phases and active
deficits are inputs.

00:22:34.352 --> 00:22:37.597
The card also displays eighteen heavy-pair
flavour weights.

00:22:38.935 --> 00:22:41.745
Change the Dirac phase to ninety degrees.

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

00:22:45.455 --> 00:22:47.795
then inspect the flavour fractions.

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

00:22:51.480 --> 00:22:53.570
light-sector double-beta quantity.

00:22:56.668 --> 00:23:00.233
This experiment holds the chosen light
masses and mixing orientation fixed

00:23:00.233 --> 00:23:02.803
while reconstructing a parameter path.

00:23:02.803 --> 00:23:05.293
The green strip tells you what is fixed.

00:23:05.293 --> 00:23:09.793
The five figures separate heavy masses,
splitting, current factors, small

00:23:09.793 --> 00:23:11.788
differences and reference data.

00:23:13.135 --> 00:23:16.300
Move the selected position from one tenth
to eight tenths along the mu B

00:23:16.300 --> 00:23:20.585
path. The mass stays fixed while the pair
splitting changes.

00:23:20.585 --> 00:23:23.325
The open circle tracks the selected point.

00:23:23.325 --> 00:23:27.390
Equal light inputs therefore do not
determine every heavy-sector response.

00:23:28.735 --> 00:23:32.165
Now choose the common active deficit and
its upper endpoint.

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

00:23:36.335 --> 00:23:38.395
cancels the common factor.

00:23:38.395 --> 00:23:41.625
The difference figure labels numerical
coincidence rather than amplifying

00:23:41.625 --> 00:23:42.720
roundoff.

00:23:44.068 --> 00:23:46.298
Choose deficit direction three.

00:23:46.298 --> 00:23:49.213
Unequal deficits can leave a shape
response.

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

00:23:52.373 --> 00:23:54.363
in the overlapping curves.

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

00:24:00.202 --> 00:24:03.607
The DeepCore map uses the archived twenty-
eighteen standard-three-neutrino

00:24:03.607 --> 00:24:08.032
tables. The cross stays fixed along the
ring path because these light inputs

00:24:08.032 --> 00:24:12.147
stay fixed. The map is not a nonunitary
ring likelihood and is not added

00:24:12.147 --> 00:24:13.532
to NuFIT.

00:24:14.868 --> 00:24:18.363
To move the cross, change sine squared
theta twenty-three in the flavour

00:24:18.363 --> 00:24:21.923
card. Here it is set to zero point six.

00:24:21.923 --> 00:24:24.578
The reference updates for the new light
input.

00:24:24.578 --> 00:24:28.953
Outside its published grid the laboratory
withholds a value instead of extrapolating.

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

00:24:36.603 --> 00:24:40.228
Matter content and the winding cutoff are
explicit controls.

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

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

00:24:48.897 --> 00:24:52.157
A finite truncation can change the apparent
result.

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

00:24:55.517 --> 00:24:57.762
certify a complete flavour model.

00:25:00.868 --> 00:25:03.913
The warped-unification card compares
differential gauge running under the

00:25:03.913 --> 00:25:05.933
selected matter assignment.

00:25:05.933 --> 00:25:09.373
Required ultraviolet boundary terms and
their residuals are outputs of that

00:25:09.373 --> 00:25:11.073
stated approximation.

00:25:12.402 --> 00:25:14.937
Switch the matter assignment to C two.

00:25:14.937 --> 00:25:18.487
The running differences and required
boundary terms respond.

00:25:18.487 --> 00:25:21.837
The naive-dimensional-analysis reference is
a scale estimate.

00:25:21.837 --> 00:25:26.152
The separate localization probe is not a
complete fermion-spectrum calculation.

00:25:29.268 --> 00:25:32.213
The thermal card is its own S U three
benchmark.

00:25:32.213 --> 00:25:36.023
It uses named paper cases and compares
potential cutoffs.

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

00:25:39.408 --> 00:25:40.508
inputs.

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

00:25:45.332 --> 00:25:48.997
Coexistence and a nucleation proxy are
different questions.

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

00:25:52.632 --> 00:25:55.642
does not turn this benchmark into its
thermal history.

00:25:58.735 --> 00:26:02.355
Integrated transition history uses refined
action tables.

00:26:02.355 --> 00:26:05.985
Read nucleation, percolation and completion
separately.

00:26:05.985 --> 00:26:09.520
The false-vacuum fraction and physical-
volume condition make those distinctions

00:26:09.520 --> 00:26:10.515
visible.

00:26:11.802 --> 00:26:15.067
Set the assumed wall speed to zero point
eight and the fluid efficiency to

00:26:15.067 --> 00:26:19.857
zero point one. Compare the history and
conditional acoustic spectrum.

00:26:19.857 --> 00:26:23.662
Wall friction, plasma evolution and
detector significance are not calculated

00:26:23.662 --> 00:26:25.192
by these controls.

00:26:28.335 --> 00:26:32.270
This warped-model experiment separates
ultraviolet and infrared anomaly factors,

00:26:32.270 --> 00:26:35.530
gauge cancellation and the baryon-current
matrix.

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

00:26:40.868 --> 00:26:44.358
Remove the lepton generations in this test
configuration.

00:26:44.358 --> 00:26:47.818
The imbalance exposes a gauge anomaly that
needs completion.

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

00:26:51.793 --> 00:26:54.563
proton lifetime or baryogenesis yield.

00:26:57.668 --> 00:27:01.058
Begin with the stored Standard Model-like
scalar reference.

00:27:01.058 --> 00:27:04.658
Local couplings determine production rates,
partial widths and branching

00:27:04.658 --> 00:27:08.878
fractions. Matching HiggsBounds and
HiggsSignals calculations use pinned

00:27:08.878 --> 00:27:10.753
experimental datasets.

00:27:12.068 --> 00:27:15.108
Add one mega electron volt of invisible
width.

00:27:15.108 --> 00:27:18.768
The local predictions update, and the old
experimental result is withdrawn

00:27:18.768 --> 00:27:21.323
because its inputs no longer match.

00:27:21.323 --> 00:27:24.528
Run the optional engine or import a
matching result before assigning a new

00:27:24.528 --> 00:27:26.168
experimental verdict.

00:27:29.268 --> 00:27:32.528
Use a comparison snapshot before changing a
point.

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

00:27:37.918 --> 00:27:40.503
provenance and optional saved reference.

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

00:27:43.953 --> 00:27:45.263
calculation.

00:27:46.602 --> 00:27:49.397
Choose a figure and save its vector SVG.

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

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

00:27:57.267 --> 00:27:59.847
and comparisons in JSON as well.

00:28:01.135 --> 00:28:04.830
The browser calculations and stored
references run offline.

00:28:04.830 --> 00:28:08.855
New HiggsTools and PhaseTracer points use
the optional local engine.

00:28:08.855 --> 00:28:12.860
The source repository contains the
reproduction commands, independent checks

00:28:12.860 --> 00:28:17.440
and archived studies. Return to a chapter,
vary one assumption, and

00:28:17.440 --> 00:28:19.695
keep the scope beside every result.