{
  "artifact_id": "qft.artifact.holography-quantum-gravity.wormholes-gravitational-path-integrals-and-ensembles.alpha-parameter-claim-gates",
  "owner_page_id": "qft.topic.holography-quantum-gravity.baby-universes-alpha-parameters-proposed-superselection-sectors",
  "title": "Alpha-Parameter Claim Gates",
  "revision": 2,
  "created_on": "2026-08-29",
  "updated_on": "2026-08-30",
  "creator": "OpenAI Codex, for QFT.org",
  "original_work": true,
  "reader_question": "When may the auxiliary alpha in a wormhole-induced Gaussian rewrite be interpreted as a physical spectral or superselection label, and how do shared, sharp, and independently redrawn protocols differ?",
  "takeaway": "The Hubbard-Stratonovich label is algebraic. A physical spectral alpha requires a positive null-quotiented Hilbert space and represented strongly commuting normal boundary operators; identifying it with the Gaussian variable additionally requires a measure-and-action match, while superselection requires preservation by the accessible algebra.",
  "scope": {
    "figure_type": "qualitative claim-gate and preparation-protocol diagram",
    "schematic": true,
    "not_to_scale": true,
    "domain": "dilute wormhole-induced bilocal kernel, positive Gaussian toy representation, reflection-positive spectral construction, and protocol-level covariance",
    "not_claimed": [
      "existence of a positive nonperturbative gravitational path integral",
      "a fixed-theory ensemble interpretation",
      "absence of residual connected contributions at fixed alpha",
      "a universal value of the baby-universe Hilbert-space dimension"
    ]
  },
  "tracks": [
    {
      "id": "formal-semiclassical",
      "steps": [
        "admitted wormhole mouth pair",
        "dilute-gas exponentiation to exp(1/2 C_ij O_i O_j)",
        "Hubbard-Stratonovich representation integral d^N beta p_C(beta) exp(beta_i O_i)"
      ],
      "conditions": [
        "the topology policy admits the wormhole",
        "its contour coefficient is nonzero",
        "the dilute noninteracting approximation licenses 1/m! exponentiation",
        "C is real symmetric positive-definite on the displayed real contour"
      ],
      "output": "auxiliary beta",
      "claim_ceiling": "an algebraic representation of the declared bilocal kernel"
    },
    {
      "id": "physical-spectral",
      "steps": [
        "boundary-prepared vectors",
        "reflection-positive pairing",
        "quotient of null states and Hilbert-space completion",
        "represented strongly commuting normal boundary-insertion operators Zhat[J] with Zhat[J]^dagger = Zhat[J*]",
        "joint spectral alpha"
      ],
      "equation": "Zhat[J] |alpha> = Z_alpha[J] |alpha>",
      "claim_ceiling": "a spectral label for the represented strongly commuting normal boundary algebra"
    }
  ],
  "identification_gate": {
    "relation": "The auxiliary and spectral labels may be identified only after additional physical construction and an explicit representation match; the Gaussian identity, positivity, and a shared symbol do not imply the identification.",
    "required_conditions": [
      "positive path-integral pairing",
      "null-state quotient and completion",
      "a represented sufficiently complete family of strongly commuting normal boundary operators",
      "a measure-and-action match between the spectral representation and the Gaussian variable on the declared generating algebra",
      "a specified preparation or conditioning rule",
      "preservation of spectral projectors by the accessible algebra"
    ],
    "matching_contract": {
      "map": "f: A_spec -> R^N",
      "pushforward": "f_* mu_HH = p_C(beta) d^N beta",
      "action": "I_eff(xi) = I_base + [lambda_i - f_i(xi)] O_i on the declared generating algebra",
      "stronger_alternative": "a unitary equivalence intertwining the relevant cyclic representations"
    },
    "superselection_test": "[A, P_alphahat(Delta)] = 0 for every accessible A and every Borel spectral set Delta"
  },
  "protocols": [
    {
      "id": "shared-unconditioned",
      "preparation": "one persistent alpha label shared by both boundary observables and averaged with measure mu",
      "equation": "G_12^c = integral mu(d alpha) G_12,c^(alpha) + Cov_mu(Z_1(alpha), Z_2(alpha))",
      "result": "sector covariance can survive",
      "warning": "the residual fixed-alpha connected term must be checked separately"
    },
    {
      "id": "sharp-window",
      "preparation": "condition first on a finite spectral window and then take a controlled sharp-alpha limit",
      "result": "the complete commuting boundary-insertion algebra factorizes only in the controlled point-sector limit",
      "warning": "a finite window generally retains within-window alpha covariance; a larger algebra may contain sector-changing intertwiners, and unrelated residual connected observables need not vanish"
    },
    {
      "id": "independent-redraws",
      "preparation": "draw alpha_1 and alpha_2 independently from the same one-boundary measure",
      "equation": "integral mu(d alpha_1) mu(d alpha_2) Z_1(alpha_1) Z_2(alpha_2) = mean(Z_1) mean(Z_2)",
      "result": "sector covariance vanishes by the sampling protocol",
      "warning": "this is not the same operation as conditioning a shared label"
    }
  ],
  "failure_cases": [
    {
      "intervention": "make C indefinite or complex on the real contour",
      "outcome": "the positive-probability reading of p_C fails, although a deformed-contour representation may remain"
    },
    {
      "intervention": "find a nonzero G_12,c^(alpha)",
      "outcome": "alpha averaging is not the complete explanation of the connected amplitude"
    },
    {
      "intervention": "admit an alpha-changing intertwiner in the accessible algebra",
      "outcome": "the spectral subspaces are not superselection sectors for that algebra"
    },
    {
      "intervention": "replace a shared alpha by independent redraws",
      "outcome": "the sector covariance vanishes even though the one-boundary marginals are unchanged"
    },
    {
      "intervention": "fail the pushforward measure or effective-action match between the spectral and Gaussian representations",
      "outcome": "the two labels cannot be identified even if both constructions remain separately valid"
    },
    {
      "intervention": "condition on a finite spectral window without taking a controlled point-sector limit",
      "outcome": "within-window alpha covariance can remain, so exact factorization does not follow"
    }
  ],
  "visual_encoding": {
    "solid_arrows": "licensed implication after the condition printed beside the arrow",
    "dashed_arrow": "conditional identification that is forbidden without every gate hypothesis",
    "pale_key_nodes": "the auxiliary and spectral alpha endpoints",
    "three_separate_protocol_cards": "shared, sharp, and independently redrawn preparations",
    "canvas": "explicit white background; no scientific distinction is encoded by color alone"
  },
  "accessibility": {
    "reading_order": [
      "panel A formal semiclassical route from wormhole to auxiliary alpha",
      "dashed physical-identification gate",
      "panel B physical spectral route from preparations to spectral alpha",
      "panel C shared, sharp, and independently redrawn protocols",
      "claim-ceiling footer"
    ],
    "non_color_encoding": "Tracks are enclosed in separately titled panels. Solid and dashed arrows, node borders and fills, direct labels, and separate protocol cards redundantly encode every distinction.",
    "canvas": "explicit white background for light, dark, monochrome, and print contrast",
    "motion": "none"
  },
  "caption": "The Hubbard-Stratonovich route is an algebraic representation of a controlled bilocal kernel. The spectral route additionally constructs the baby-universe Hilbert space and its strongly commuting normal boundary operators. Identifying their labels also requires the displayed measure-and-action match. A shared unconditioned label can produce covariance; a finite spectral window can retain it; only a controlled sharp-alpha limit factorizes the complete commuting insertion algebra. Independent redraws factorize for a different reason. Original schematic, not to scale; it does not prove that gravity supplies the gated hypotheses.",
  "alt_text": "A wormhole-induced bilocal kernel admits an auxiliary Gaussian beta representation, while a separate reflection-positive construction quotients null states, completes the Hilbert space, and produces spectral alpha labels from strongly commuting normal boundary operators. A dashed gate additionally requires a measure-and-action match, preparation rules, and sector preservation before the labels may be identified physically. A finite spectral window can retain covariance; only a controlled sharp-alpha limit factorizes the complete commuting insertion algebra, while independent redraws factorize by preparation.",
  "independent_checks": [
    "the Gaussian route requires real symmetric positive-definite C for the displayed probability measure",
    "the Hilbert-space route places positivity, the null quotient, and strong commutation plus normality before the joint spectrum",
    "the dashed arrow requires an explicit pushforward measure and effective-action match and cannot be read as an automatic implication",
    "the shared-protocol equation retains the residual fixed-alpha connected term",
    "the finite-window protocol retains possible within-window covariance and limits factorization to a controlled sharp-alpha point-sector limit of the complete commuting boundary-insertion algebra",
    "the independent-redraw protocol uses two integration variables and factorizes by preparation",
    "the footer rejects fixed-theory ensemble and universal Hilbert-dimension conclusions"
  ],
  "sources": [
    {
      "citation": "Marolf and Maxfield, Transcending the Ensemble, sections 2.1-2.4 (2020)",
      "url": "https://doi.org/10.1007/JHEP08(2020)044",
      "role": "positive path-integral Hilbert space, strongly commuting normal boundary insertions, alpha spectral decomposition, and fixed-alpha factorization"
    },
    {
      "citation": "McNamara and Vafa, Baby Universes, Holography, and the Swampland, sections 3-4 (2020)",
      "url": "https://arxiv.org/abs/2004.06738",
      "role": "conditional exact baby-universe Hilbert-space and one-dimensionality claims"
    },
    {
      "citation": "QFT.org, Fixed-Theory, Ensemble, and Superselection Claims",
      "url": "/holography-quantum-gravity/quantum-gravity-claims-observables-and-evidence/fixed-theory-ensemble-and-superselection-claims/",
      "role": "site convention for fixed theory, shared sector, independent copies, and algebra-relative superselection"
    }
  ]
}