BKT model scaling analysis workbench

Family 216: Critical and near-critical XY scaling and BKT universality. First application triage, 9 October 2026 Australia/Brisbane.

Problem and potential new use

Statistical-physics researchers can distinguish fitted XY critical power/log corrections from correlation-length essential singularity and conditional height-field conclusions.

Applicability and commercial boundary

The lattice, symmetry, free-box limit and additional field inputs are specific. Unknown amplitudes and finite-size crossovers prevent direct material forecasts.

Initial business decision

Conditional research. Buyer budget, commercial novelty and profitability are unvalidated.

Next verification action

Define a finite-size fitting experiment with alternatives and preserve conditional inputs in the report.

Evidence scope

The catalog statement was individually reviewed. This record does not imply a manuscript proof review or formal-scope comparison. No independent Lean check was run. Source revision fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb. See source metadata.

Main source

The critical logarithmic correction for the planar XY model.