[MPS] 🌠 Wander/漫步者: Issue #265 Hydrodynamics from Quantum Chains (Self-Proposed Challenge, not for Adjudication) - #284
Open
JunkaiWang-TheoPhy wants to merge 4 commits into
Conversation
Expand the public package into a layered research narrative that connects the original machine discovery, exact field and averaging constraints, the finite-window moment mechanism, the registered scalar and two-mode competition, and the quantum-computing endpoint. Restore the frozen stochastic solver-budget evidence so the packaged status machine reaches the intended observable-completeness gate. Constraint: Preserve all frozen hypotheses, thresholds, manifests, blindness controls, source hashes, and scientific claim boundaries Tested: 170 pytest checks; Python compileall; JSON validation; local-link and display-math audits; GitHub GFM rendering; solver-budget SHA-256 verification Co-authored-by: OmX <omx@oh-my-codex.dev>
Recast the public research package around established evidence, the current research stage, and the next evidence-producing action. Preserve the public measurements, field-identification argument, open-system derivation, registered thresholds, solver budget, and SCNet evidence. Constraint: Keep frozen scientific contracts and machine-compatible interfaces unchanged while translating reader-facing states into constructive research destinations. Tested: 170 pytest checks; Python compilation; 15 JSON records; 11 Markdown link sets; display-math balance; five GitHub GFM renders; positive-language audit. Co-authored-by: OmX <omx@oh-my-codex.dev>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
第三幕 · 在地图尽头重新发问
第十五章 · 没有一粒沙知道河流
系列从一台送出问题卡的机器开始,最后回到机器从量子链数据中发现的一条河流。
每一粒沙都只知道局部运动,而我们必须判断:量子多体中的流体方程近似究竟是渐近定律,还是有限时间留下的形状。
← 上一章:当能谱沉默,几何开始说话 · 回到开场:清晨,问题机器醒来 ↺
Team
Challenge
This PR addresses #265 by classifying the machine-discovered,
constant-coefficient viscous Burgers equation from finite-time,
high-temperature Heisenberg-chain data. The classification asks whether the
equation is a transferable asymptotic law, a chiral-mode law, or a precise
finite-window closure of a trajectory-conditioned field.
For the normalized weak-domain-wall profile (U=\langle S^z\rangle/\mu),
Kharkov et al. discovered
[
\partial_tU+aU\partial_xU=D_{\rm cl}\partial_x^2U,
\qquad
a\approx0.24,
\quad
D_{\rm cl}\approx1.90.
]
The research program resolves four concrete questions:
effective closure?
conditions and future times?
counting statistics through one parameter set?
Result established by the public trajectory
The reproducible audit establishes a high-precision finite-window Burgers
benchmark:
The last row supplies the analytical explanation for the exceptional fit. For
wall width (W), the Burgers moment relation is
[
D_{\rm moment}=D_{\rm cl}+vW,
\qquad
A_W=\frac{2}{3}\frac{dW^{3/2}}{dt},
\qquad
A_B=2\sqrt{D_{\rm cl}v}.
]
The measured ratio differs from unity by approximately (0.085%). Across
the observed interval, the constant-coefficient Burgers constitutive line is
almost exactly tangent to the scale-dependent moment diffusivity sampled by
the wall. The machine therefore found a compact local representation of real
hydrodynamic broadening.
This mechanism produces a sharp prediction. For an underlying
(D_{\rm moment}\propto\sqrt W) law, rolling Burgers fits flow approximately
as
[
a(t_)\propto t_^{-1/3},
\qquad
D_{\rm cl}(t_)\propto t_^{1/3},
]
while preserving the local tangent amplitude. Production A measures this flow
across amplitudes, orientations, shapes, backgrounds, and observables.
Exact field identity from symmetry
At zero magnetic field, spin flip transforms physical magnetization and its
current as
[
m\mapsto-m,
\qquad
j_m\mapsto-j_m.
]
An autonomous local current written directly in terms of physical (m) has
odd parity,
[
j_m(m)=c_1m+c_3m^3+\cdots.
]
The Burgers advective current (am^2/2) has even parity. This algebra assigns
the fitted quadratic term to a field carrying chiral, orientation, sector,
background, or trajectory information. The registered symmetry-aware scalar
competitor makes that assignment quantitative:
[
a_i=2\sigma_i g\mu_i,
\qquad
D_i=D.
]
Both wall orientations and four amplitudes measure whether (g) transfers as
a shared material parameter.
Open-system mean evolution
For a stochastic Burgers mode, ensemble averaging gives
[
\langle u^2\rangle=\bar u^2+\operatorname{Var}(u).
]
The mean equation therefore contains a variance current proportional to
(\partial_x\operatorname{Var}(u)). In the two-field description,
[
\partial_t\langle m\rangle+
\partial_x\langle m\phi\rangle
=D_m\partial_x^2\langle m\rangle,
]
and the mode covariance contributes to the physical current. This makes
current, connected response, correlation, and FCS measurements direct probes
of the closure encoded by the mean profile.
Chiral two-mode bridge
On the equal-coupling two-mode manifold,
[
j_m=g m\phi,
\qquad
j_\phi=\frac{g}{2}(m^2+\phi^2).
]
The fields
[
u_+=m+\phi,
\qquad
u_-=m-\phi
]
diagonalize algebraically into opposite-chirality Burgers currents. Physical
magnetization is their symmetric combination. This supplies a
symmetry-compatible microscopic route to Burgers structure and motivates the
registered comparison between independent chiral modes and a coupled
stochastic two-mode system.
Long-time model signature
Deterministic continuation of the fitted scalar equation approaches the
viscous Burgers rarefaction law (W\propto t). Its local width exponent moves
from approximately (0.665) near (t=200) to approximately (0.851) at
(t=5000). The quantum chain supplies an independently generated long-time
trajectory. Their comparison directly measures future-time transfer and
separates the tangent regime from the scalar equation's own rarefaction flow.
Joint observable panel
The registered comparison uses one parameter set to predict:
Spin-flip pairing organizes odd cumulants, while even cumulants and the full
characteristic function resolve mode coupling and distributional shape. The
joint panel therefore turns field identity and open-system closure into
observable predictions.
Preregistered confirmation experiment
Frozen time partition
The executable masks assign each shared endpoint to the earlier interval,
creating three disjoint scoring sets. Preprocessing, model classes, parameter
bounds, thresholds, and solver budgets are frozen before the sealed interval.
Explicit human authorization opens the single confirmation transaction.
Registered physical conditions
(\Delta=1,J_2=0.1).
The primary isotropic rows determine the restricted (\Delta=1)
classification. The environment panel measures mechanism and scope.
Numerical convergence ladder
A representative condition advances when the medium-to-fine profile relative
(L^2) difference is below (0.002) and the maximum relative width
difference is below (0.003). The resulting artifact selects the production
resolution ahead of model scoring.
Frozen model hierarchy
The same held-out folds compare:
Two-mode selection requires at least (30%) held-out improvement over the
leading scalar competitor, a positive paired-bootstrap (95%) lower
endpoint, exact symmetry checks, and one parameter set for the joint observable
panel. The coupled model additionally requires at least (10%) improvement
over the independent manifold and (\Delta\mathrm{BIC}\ge10).
Uncertainty uses 2,000 paired blocks of physical duration 10. The stochastic
solver budget is frozen from solver-convergence targets: 1,024 trajectories
for screening and at least 2,048 for the final ensemble.
Every selected registered predictive family receives the independent
(200<t\le400) confirmation. The memory or additional-mode destination
initiates a separately preregistered extension centered on the measured
structured remainder.
Implementation and validation
This PR contributes:
two-measurement transfer FCS;
checkpoint/resume checks;
Production-B gates;
Key implementation evidence:
inside the frozen (2\times10^{-7}) gate;
c8973d0d8b922c0ee357f7467253bdd477d19a5bb7f47626e1ab6dda8c427465.SCNet job
23015027completed the (J_2) compute-node qualification withexit code
0:0in 48 seconds. Exact, symmetry, FCS, grouped-equivalence, andcheckpoint checks all reached their registered thresholds.
Current execution stage
Twelve preregistered convergence jobs cover four representative conditions at
three resolutions. The committed launch audit records jobs
23009466–23009477with initial checkpoints and controller23009668linked to their completion. The completed datasets and generated convergence
summary form the next decisive evidence artifact.
The execution sequence is:
holdouts on (150<t\le200);
Quantum-computing endpoint
The MPS campaign supplies a controlled reference regime with numerical floors,
exact small-system checks, and auditable convergence. Entanglement growth
defines the frontier where a quantum processor extends the benchmark.
A quantum processor can prepare the registered walls, pulses, backgrounds,
and equilibrium ensembles at later times, then measure profiles, currents,
correlators, and characteristic functions. The classical analysis performs
symmetry checks, cross-condition model selection, uncertainty estimation, and
sealed confirmation.
The endpoint is a quantum-assisted certification of which effective equation
the dynamics support, for which hydrodynamic field, in which regime, and with
which quantified additional-mode contribution.
Detailed research package
Validation
Claim boundary
The machine-learned deterministic Burgers equation is a quantitatively
accurate, trajectory-conditioned finite-window closure for the public
weak-domain-wall profile. Exact field symmetry, nonlinear stochastic averaging,
deterministic rarefaction, and higher-order observables define the registered
tests that identify a transferable scalar or two-mode hydrodynamic law. Those
tests are preregistered, implemented, numerically qualified, and progressing
through the convergence evidence gate.
Addresses #265.