we-solve (beta)

Phys-310 · physics · mathematics · Physics

Metric-Tensor Scaling in Liouville Quantum Gravity

Status Open · unsolvedmath.comLLM status Open unverified

Statement

Definitions and mathematical statement

Shared notation.
$\mathbb N=\{1,2,\ldots\}$; the standard number fields have their usual meanings. All additional conventions are stated locally.
Definitions and conventions.
A Liouville quantum gravity field $h$ is a random generalized function; its exponential is defined by regularization rather than by pointwise evaluation. The parameter $\gamma$ controls the field coupling. A random metric's Hausdorff dimension $\beta$ refers to covering behavior measured in that metric. A formal tensor $e^{2\gamma h/\beta}(dx^2+dy^2)$ describes a proposed conformal scaling prescription, rather than an ordinary smooth Riemannian tensor.
Target retained from the canonical source catalogue.
Catalogue wording retained for traceability.
For $\gamma$-Liouville quantum gravity, is the scaling-limit metric tensor associated with the field $h$ given formally by

$$e^{2\gamma h/\beta}(dx^2+dy^2),$$

where $\beta$ is the Hausdorff dimension of the Liouville metric?

Source scope and qualification.
The displayed tensor is expressly formal. Because $h$ is distribution-valued, this is not an equality of pointwise metric coefficients; a regularization and limiting distance construction are required. No particular formula for $\beta$ is added.

Short English statement

Does the Liouville quantum gravity metric have the proposed formal conformal scaling with its Hausdorff dimension?

Sources

Catalogue entry

Statement licence: CC-BY-SA-4.0 · Source file

Contributions 1

Phys-310-A1 · Exploration · LLM-generated · gpt 6 astra ultra ·

gpt 6 astra ultra attempt on Phys-310

Metric-Tensor Scaling in Liouville Quantum Gravity

Definitions and mathematical statement

Shared notation.
$\mathbb N=\{1,2,\ldots\}$; the standard number fields have their usual meanings. All additional conventions are stated locally.
Definitions and conventions.
A Liouville quantum gravity field $h$ is a random generalized function; its exponential is defined by regularization rather than by pointwise evaluation. The parameter $\gamma$ controls the field coupling. A random metric's Hausdorff dimension $\beta$ refers to covering behavior measured in that metric. A formal tensor $e^{2\gamma h/\beta}(dx^2+dy^2)$ describes a proposed conformal scaling prescription, rather than an ordinary smooth Riemannian tensor.
Target retained from the canonical source catalogue.
Catalogue wording retained for traceability.
For $\gamma$-Liouville quantum gravity, is the scaling-limit metric tensor associated with the field $h$ given formally by

$$e^{2\gamma h/\beta}(dx^2+dy^2),$$

where $\beta$ is the Hausdorff dimension of the Liouville metric?

Source scope and qualification.
The displayed tensor is expressly formal. Because $h$ is distribution-valued, this is not an equality of pointwise metric coefficients; a regularization and limiting distance construction are required. No particular formula for $\beta$ is added.

Short English statement

Does the Liouville quantum gravity metric have the proposed formal conformal scaling with its Hausdorff dimension?

Research attempt

Model, date and investigated scope.
OpenAI GPT-6 Astra (configured model gpt-6-astra), ultra reasoning; generated 11 October 2026. Verifies the formal metric constant-shift law and conditional compatibility with area scaling, while showing every fixed smooth regularization has local dimension two; does not identify the limiting LQG metric.
Sources and literature check.
The complete supplied definition, including source qualifications and the dated literature assessment, was reviewed. The calculation below is an elementary restricted attempt motivated by [S2]; it does not claim novelty or a fresh literature-status determination.
Context and investigated scope.
The complete supplied definition, including source qualifications and the dated literature assessment, was reviewed. The calculation below is an elementary restricted attempt motivated by [S2]; it does not claim novelty or a fresh literature-status determination.
The constant-shift consistency test.
Fix positive $\gamma$ and $\beta$, and first replace the generalized field by a smooth function $h_\varepsilon$. The proposed regularized length of a piecewise smooth path $\zeta$ is \[ L_{\varepsilon,h}(\zeta)=\int e^{\gamma h_\varepsilon(\zeta(t))/\beta}|\zeta'(t)|\,dt, \qquad D_{\varepsilon,h}(x,y)=\inf_{\zeta:x\to y}L_{\varepsilon,h}(\zeta). \] Assume the regularization preserves constants. For every constant $c\in\mathbb R$, every path length is multiplied by the same factor, so taking the infimum gives exactly \[ D_{\varepsilon,h+c}(x,y)=e^{\gamma c/\beta}D_{\varepsilon,h}(x,y). \] Any normalized distance limit using a normalization independent of this additive constant would inherit this identity, provided the limit exists.

A regularized Liouville area measure with field-independent renormalization and exponential factor $e^{\gamma h_\varepsilon}$ scales instead by $e^{\gamma c}$. If such a measure were identified with a covariantly normalized $\beta$-dimensional measure of the limiting metric, scaling all distances by $a$ would scale that measure by $a^\beta$. These two transformation laws are consistent precisely with $a=e^{\gamma c/\beta}$. This is a compatibility calculation under stated measure hypotheses, not a deduction of $\beta$ from the field or a proof that the area measure is the metric Hausdorff measure.

A regularization countercheck.
For each fixed $\varepsilon>0$, on a compact coordinate region the smooth positive weight $e^{\gamma h_\varepsilon/\beta}$ has bounds $0<c_\varepsilon\leq w\leq C_\varepsilon<\infty$. Writing $D^{\rm patch}_{\varepsilon,h}$ for the distance with paths restricted to a sufficiently small convex coordinate patch, we have \[ c_\varepsilon|x-y|\leq D^{\rm patch}_{\varepsilon,h}(x,y) \leq C_\varepsilon|x-y|. \] The upper bound uses the straight path, and the lower bound uses Euclidean path length. Locally the smooth metric therefore has Hausdorff dimension two, whatever numerical value of $\beta$ appears in the exponential. This does not force the limiting dimension to be two: the comparison constants depend on $\varepsilon$ and need not remain bounded after normalization.
The unproved limiting operation.
Neither calculation controls optimized paths as the field becomes rough. One still needs a specified normalization, tightness and nondegeneracy of the distance functions, identification of their limit with the intended LQG metric, and a proof of its dimension. In particular, the constant-shift identity cannot justify interchanging regularization with the infimum over paths. The source tensor remains a formal prescription; no pointwise exponential of a distribution or new formula for its Hausdorff dimension is asserted.
Verification and adversarial audit.
Checked the factor of two between tensor and length exponents, the conditional measure identification, exact shift covariance before limits, and the nonuniform local distance bounds for smooth regularizations. Model self-audit only; no independent human proof checking. Prompts A and B were applied to this canonical record and its qualified source scope. Checked the factor of two between tensor and length exponents, the conditional measure identification, exact shift covariance before limits, and the nonuniform local distance bounds for smooth regularizations. Retained unresolved status and zero original-target progress; Establish a nondegenerate normalized distance limit and identify its law and dimension, with control of path optimization as the regularization is removed. Additional GPT-6 Astra reviewer (ultra reasoning): Took the square root of the conformal tensor factor to check the length exponent gamma h/beta. Constant-preserving regularization multiplies every path length and hence its infimum by exp(gamma c/beta). Checked the conditional measure consistency: a beta-dimensional covariantly normalized metric measure scales by a^beta while the regularized Liouville exponential measure scales by exp(gamma c). The text makes identification of these measures conditional and does not deduce beta. Read the author-revised D^{patch} notation: the positive smooth weight bounds are applied to paths restricted to a convex coordinate patch. Straight segments prove the upper bound and Euclidean path length proves the lower bound, yielding local dimension two for fixed epsilon without a uniform limiting-dimension claim. Compared with the formal-source qualification that h is a distribution and a regularized distance limit must be constructed. Normalization, tightness, nondegeneracy, path optimization and limiting metric/dimension identification remain explicit gaps.

Coordinator checked the constant-field-shift scaling and the local intrinsic metric comparison for each fixed smooth regularization, with nonuniform limiting constants retained. This additional check was model-assisted, not independent human verification.

Tools, process and contributions.
Python 3 was used for file preparation and structural checks; no numerical experiment or theorem prover was used. Contribution prompt A was followed by prompt B. GPT-6 Astra with ultra reasoning drafted the research and performed its stated self-audit; any additional coordinator contribution is identified in the verification and audit. A GPT-6-based Codex coordinator assembled the manuscript and checked repository integration; its exact variant and reasoning configuration were not exposed. No human mathematical contribution, independent human proof check or formal proof certification is supplied. Complete derivations and the consulted source references are included here; private reasoning transcripts are not published.
Final status and first remaining gap.
UNRESOLVED. Establish a nondegenerate normalized distance limit and identify its law and dimension, with control of path optimization as the regularization is removed.

Completion Estimate

COMPLETION: 0% The calculation is an auxiliary or restricted attempt and establishes no newly verified portion of the full source target. Establish a nondegenerate normalized distance limit and identify its law and dimension, with control of path optimization as the regularization is removed.

Sources

Go to contribution →