Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
26 changes: 13 additions & 13 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@ is how much returns to the original bound orbital after this coherent, closed cy
| [Physical account](research/CORE.md) · [Proof and quantifiers](research/PROOF_STATUS.md) · [Claim map](research/CLAIMS.md) | Follow the return law and its proof dependencies |
| [Limits and accuracy](research/LIMITS_AND_ACCURACY.md) · [Assumptions](literature/ASSUMPTIONS.md) · [Prior-work comparison](literature/SCIENTIFIC_CONTEXT.md) | Check the asymptotic domain, physical premises and attribution |
| [Evidence and reproduction](#evidence-and-reproduction) · [Scope and evidence](STATUS.md) | Inspect the checks and their interpretation |
| [LLM guide](llms.txt) · [Workspace](WORKSPACE.md) | Identify relevant questions and authoritative files |
| [LLM guide](llms.txt) | Identify relevant questions and authoritative files |

## The fixed question

Expand All @@ -34,15 +34,16 @@ The probability is unconditional; population that escapes remains in continuum s

## The logarithmic return law

At exact touching, the recorded author-side derivation gives
The leading slow-cycle law at exact touching is

```math
\boxed{P_\infty(T,0)\sim\frac{\pi^2}{4\ln^2T}\longrightarrow0.}
```

This is a leading slow-cycle asymptotic. With units restored, the logarithm is
$`\ln(T_{\rm physical}J/\hbar)`$. It is not a precision percentage formula at every
finite duration. [The proof map](research/PROOF_STATUS.md) gives the exact quantifiers.
With units restored, the logarithm is
$`\ln(T_{\rm physical}J/\hbar)`$. [The proof map](research/PROOF_STATUS.md) gives the
exact quantifiers, and [limits and accuracy](research/LIMITS_AND_ACCURACY.md) explains
the remainder and finite-duration interpretation.

A trap with a shrinking positive minimum also retains the effect. Define

Expand Down Expand Up @@ -101,10 +102,9 @@ The selected learning foundation is:
> [Publisher record](https://link.springer.com/book/10.1007/978-1-4684-5451-2) · [DOI](https://doi.org/10.1007/978-1-4684-5451-2)

The [single-book route](TUTORIAL.md) focuses on Chapters 1–2 and 8–10, with precise
section locations, checkpoints and an access ledger. The [tutorial bridge](research/TUTORIAL_BRIDGE.md)
supplies the lattice threshold, normalization, matching and joint-limit steps locally.
The book's contents and available previews were inspected; complete chapter reading
is not claimed. No second external tutorial is required for this route.
section locations, checkpoints and an access ledger covering the publisher contents
and inspected previews. The [tutorial bridge](research/TUTORIAL_BRIDGE.md) supplies
the lattice threshold, normalization, matching and joint-limit steps locally.

## Boundaries and prior work

Expand All @@ -117,11 +117,11 @@ observable from an implemented device. Fixed positive anisotropy has a supportin

Threshold-touching loss, static essential binding and the energy-domain method have
predecessors. A local power-law tangent predicts the leading prefactor; the contribution
under assessment is the controlled logarithmic physical limit and its joint domain.
is the controlled logarithmic physical limit and its joint domain.
[Scientific context](literature/SCIENTIFIC_CONTEXT.md), the
[Devdariani comparison](literature/DEVDARIANI_COMPARISON.md) and the
[2014 construction comparison](literature/SOKOLOVSKI_PONS_MUGA_2014.md) give the attributions.
[Scope and evidence](STATUS.md) records the limits of those comparisons and internal review.
[Scope and evidence](STATUS.md) connects the result to its supporting records.

## Evidence and reproduction

Expand All @@ -135,8 +135,8 @@ The five preserved scientific suites cover **28 groups and 272 finite controls**
The **60 supplementary checks** are counted separately. The runner writes to a fresh
directory, retains observed outputs and complete differences, and preserves saved references.
[Verification policy](provenance/README.md) distinguishes assertions, numerical agreement
and exact bytes. Executable checks support the research record; they are not independent
proof review. Historical attempts and their evidence remain in the [archive](archive/README.md).
and exact bytes. Historical attempts and dated assessments are indexed in the
[archive](archive/README.md).

## Purpose and contact

Expand Down
177 changes: 54 additions & 123 deletions STATUS.md
Original file line number Diff line number Diff line change
@@ -1,128 +1,59 @@
# Research status
# Scope and verification

**6 October 2026. Single-source tutorial selected and learning route integrated.**
Manuscript drafting and outreach remain on hold.
The result is logarithmically vanishing bound-state return for the specified
quadratic cycle of one attractive site on a square lattice. The
[proof map](research/PROOF_STATUS.md) states the exact uniform law and assembles
its four components. The [reading guide](docs/README.md) connects the selected
book to that argument.

The claim remains logarithmic bound-state return for one attractive square-lattice
site under the specified quadratic cycle, with the stated uniform residual-depth
and sufficient finite-volume limits. The Hamiltonian, observable and coefficient
are unchanged. All 27 protected scientific/history inputs are byte-preserved.
## Scope of the result

## Learning route

The owner selected Demkov–Ostrovskii (1988) as the one external tutorial
foundation. [TUTORIAL](TUTORIAL.md) records the reading sequence, checkpoints
and exact access depth. [The project bridge](research/TUTORIAL_BRIDGE.md)
explains the lattice threshold, causal energy reduction, return normalization,
logarithmic matching and joint limits using the existing proof route.
It is an exposition update, with no new scientific claim, source-priority
clearance or independent review. Full chapter reading is not claimed from previews.

## Scientific position after consolidated assessment

| Part of the fixed claim | Author-side route | Retained boundary |
| Part of the argument | Derivation | Domain and interpretation |
|---|---|---|
| Energy reflection equals physical return | [Gate A](research/AMPLITUDE_IDENTIFICATION.md) | Retarded norm reconstruction; remote time first; uniform finite-endpoint modulus estimate |
| Leading reflection and physical outer matching | [Gate B](research/REFLECTION_MATCHING.md) | Exact touching; both causal terms and exact-lattice tail estimates |
| Uniform positive-minimum return | [Gate C](research/UNIFORM_MINIMUM.md) | Fixed margin below b=1; full singular core and shifted negative tail |
| Finite periodic squares | [Gate D](research/FINITE_VOLUME.md) | Own normalized endpoint states; seam and midpoint comparison; sufficient, not optimal size |
| Fixed positive hopping anisotropy | [Scope check](research/SPECTRAL_SCOPE.md) | Not uniform at zero transverse hopping or a dimensional crossover |
| Fixed finite size even with varying residual depth | [Limits and accuracy](research/LIMITS_AND_ACCURACY.md) | Uniform recovery at each fixed size; constants need not be uniform as size grows |

[PROOF_STATUS](research/PROOF_STATUS.md) assembles A-D. The
[critical assessment](research/CRITICAL_ASSESSMENT.md) found no required coefficient
or domain correction in its specific cross-gate checks. It composes amplitude errors
without identifying irrelevant phases or interchanging remote-time and slow limits.
This is author-side assessment, not a genuinely separate reader report; the
[reader packet](research/READER_PACKET.md) is still an unsent brief.

The strongest originality objection is sharper: the local power-law tangent predicts
the full leading positive-minimum prefactor, not only the zero-minimum constant.
The contribution to assess is the controlled logarithmic physical limit and its
joint domain, not a new transform, midpoint identity or prefactor heuristic. The
assessment directly attributes the midpoint identity to Sokolovski-Pons 2016 Eq. (5).
All A-D proof files remain unchanged in this documentary pass.

The [scientific preparation record](research/SCIENTIFIC_PREPARATION.md) integrates
the work authorized before writing. It proves the fixed-size recovery implication
uniformly in minimum depth, makes the power comparator's existing domain explicit,
and shows why the present remainder cannot certify a subleading logarithmic term.
These are bounded clarifications of the fixed account, not another central claim.

The bounded significance follow-up in the assessment retains the strongest physical
point: vanishing return along the specified finite, strictly positive-minimum family.
Its gap-based corollary clarifies the leading relative factor but is already predicted
by the local tangent. A targeted Avron-Elgart hypothesis check does not subsume the
touching cycle; subsequent source readings are recorded below. No new conceptual claim,
priority clearance or reason to reopen routine internal development was established.

## Prior art and implementation

The [Devdariani construction comparison](literature/DEVDARIANI_COMPARISON.md) closes
the specified 1972 access gap at its recorded depth. The earlier unread label in
[PRIOR_ART](literature/PRIOR_ART.md) is historical. Exhaustive priority and broad
significance are not established by either this comparison or successful tests.
The local resolvent is logarithmic; the lower-edge density of states is finite.
The protected notes and [source map](research/SOURCES.md) retain the original routes.

The new [scientific context](literature/SCIENTIFIC_CONTEXT.md) records exact static,
weak-binding, adiabatic and localization attributions. Tolstikhin 2008 is now checked
in public author-uploaded full text: its displayed turning-point/separation assumptions
do not directly supply this essential-binding limit. The
[Sokolovski-Pons-Muga 2014 comparison](literature/SOKOLOVSKI_PONS_MUGA_2014.md)
now records the supplied seven-page full text and visual checks of decisive pp. 2–6.
Its monotone linear delta-trap approach, normalized final-bound projection and
finite-box comparison strengthen inherited attribution. They do not supply the
two-leg quadratic logarithmic law or its required joint uniform estimate. The
identified source task is closed; exhaustive priority and separate review are not.

[ASSUMPTIONS](literature/ASSUMPTIONS.md) remains a support/mismatch map. The
[primary register](literature/PHYSICAL_PRECEDENTS.md) has fifteen passage-level
records, one caption-limited, and one abstract-only comparator. P15 access is upgraded;
WE23 and CH25 complete the targeted motion/control background. The listed conventional
component collections now meet their five-to-ten range. Exact preparation, unconditional orbital readout, calibrated
generator and joint coherent operating window are not established as a device.
Broad generic collection remains paused.

| Energy reflection and physical return | [A: physical amplitude](research/AMPLITUDE_IDENTIFICATION.md) | Retarded norm reconstruction, equal channel normalization and a uniform finite-endpoint amplitude-modulus estimate |
| Logarithmic reflection and outer matching | [B: reflection matching](research/REFLECTION_MATCHING.md) | Exact touching; both causal contributions and exact-lattice tail estimates |
| Shrinking positive minimum | [C: uniform minimum](research/UNIFORM_MINIMUM.md) | Fixed $`0<\delta\le1`$ and $`0\le b\le1-\delta`$ |
| Growing periodic squares | [D: finite volume](research/FINITE_VOLUME.md) | Each square's own endpoint orbital; sufficient side $`n(T)=2\lceil4.5T\rceil+1`$ in the same minimum-depth domain |
| Fixed size or fixed positive minimum | [Limits and accuracy](research/LIMITS_AND_ACCURACY.md) | Ultimate adiabatic return; constants can depend on size and gap |
| Fixed positive hopping anisotropy | [Spectral scope](research/SPECTRAL_SCOPE.md) | Supporting result with a nonuniform zero-transverse-hopping limit |

The proof controls a leading asymptotic. Its remainder and resolution of
subleading logarithms are explained in [limits and accuracy](research/LIMITS_AND_ACCURACY.md).
The finite-size bound is sufficient rather than optimal.

## Attribution and physical assumptions

Static essential binding, threshold loss, the energy-domain method and localization
have established precedents. The local power-law tangent predicts the leading
prefactor; the controlled physical limit and joint domain are developed in the
proof notes. [Scientific context](literature/SCIENTIFIC_CONTEXT.md), the
[Devdariani comparison](literature/DEVDARIANI_COMPARISON.md) and the
[2014 construction comparison](literature/SOKOLOVSKI_PONS_MUGA_2014.md) record the
specific source statements and access depths. [The critical assessment](research/CRITICAL_ASSESSMENT.md)
contains the detailed tangent calculation and cross-component error composition.

The model assumes pure endpoint preparation, closed coherent evolution and
unconditional projection onto the endpoint orbital. [Physical premises](literature/ASSUMPTIONS.md)
maps those conditions to component precedents and calibration requirements.
[Preparation/readout](research/PREPARATION_READOUT.md) and
[model residuals](research/MODEL_RESIDUAL.md) give conditional error bounds, not
implemented protocols. Full crossover, optimal volume, arbitrary traps, many-body
extensions and application superiority are not claimed or automatically requested.

## Verification record and preservation

The [full sanity check](research/SANITY_CHECK_2026-10-05.md) records fresh
verification and a reconciled A-D reading of main `66a7d719`. No mathematical
correction was found in the inspected arguments. It repairs the separate-reader
packet's stale revision/reading route and makes the existing delta range explicit
in the proof summary. This remains internal scrutiny, not an external report.

The preserved suite is **5 suites / 28 groups / 272 controls**. The supplementary
checks remain **60**: 14 infrastructure, five predecessor, six operational, seven
model-residual, seven amplitude, six reflection, seven uniform-minimum and eight
finite-volume tests. No new scientific suite or numerical campaign was added.
Three one-off exact algebra checks support the comparison in the critical assessment;
they are not additions to these counts or independent scientific review.

[Assessment provenance](provenance/CRITICAL_ASSESSMENT_2026-10-05.json) pins the
assessed base, its recovered source artifact and completed fresh baseline. Candidate,
PR and post-merge results must be inspected separately. Raw comparisons and the
existing [workload review](provenance/HOSTED_IMPORT_REVIEW.json) distinguish scientific
agreement from exact byte equality. No saved reference, tolerance or policy changes.

The full earlier records remain in [Gate A provenance](provenance/GATE_A_2026-10-04.json),
[Gate B provenance](provenance/GATE_B_2026-10-04.json),
[Gate C provenance](provenance/GATE_C_2026-10-04.json), and
[Gate D provenance](provenance/GATE_D_2026-10-05.json), with their failed attempts
under [archive](archive/README.md). This status condensation does not reclassify any
past failure, cancelled run or non-byte-identical result.

## Stop boundary

Follow [CURRENT](work_orders/CURRENT.md). The selected learning route is available
for self-directed study. The specific 2014 primary-source comparison
is complete at its recorded scope. Stop routine research unless an exact objection
or a genuinely separate reading supplies a concrete task. A separate report and a
device remain unestablished; neither is an extra hypothesis of the conditional
theorem. No outside contact, manuscript or
release is initiated.
[model residuals](research/MODEL_RESIDUAL.md) derive sufficient error bounds.

## Verification and preserved evidence

The five scientific suites cover **28 groups and 272 finite controls**. The
**60 supplementary checks** comprise 14 infrastructure, five predecessor,
six operational, seven model-residual, seven amplitude, six reflection,
seven uniform-minimum and eight finite-volume checks.

The runner retains observed outputs and all differences in a fresh directory.
[Verification policy](provenance/README.md) distinguishes scientific assertions,
reference agreement under the recorded policy and exact byte identity. The
[hosted workload review](provenance/HOSTED_IMPORT_REVIEW.json) preserves the
source-derived interpretation of suite 07's ODE work counters.
Actual candidate and merged-revision runs are recorded in their pull requests
and workflow evidence.

All **27 mapped scientific/history inputs** are preserved according to
[IMPORT_MAP](provenance/IMPORT_MAP.json). The dated A–D provenance, assessment
records and failed attempts are indexed in [the history guide](archive/README.md).
For fresh execution, use the [reproduction commands](README.md#evidence-and-reproduction).
6 changes: 2 additions & 4 deletions TUTORIAL.md
Original file line number Diff line number Diff line change
Expand Up @@ -108,10 +108,8 @@ The source access for this selection was checked on 6 October 2026:
| [Chapter 10 preview](https://page-one.springer.com/pdf/preview/10.1007/978-1-4684-5451-2_10) | Main text pp. 235–236 only |
| Other assigned main-text pages | Located from contents; not read in this selection pass |

The publisher presents the full text as subscription content. No complete book
or chapter reading is claimed, and no third-party PDF is stored in this repository.
The available pages neither prove nor exclude the repository's specific theorem;
this pedagogical selection is not an exhaustive priority comparison.
The table distinguishes the inspected previews from the chapter assignments.
The publisher presents the full text as subscription content.

The learning goal is the ability to reconstruct and question the fixed proof
route, including its residual-depth and finite-size restrictions. For the
Expand Down
3 changes: 3 additions & 0 deletions WORKSPACE.md
Original file line number Diff line number Diff line change
Expand Up @@ -16,6 +16,9 @@ map in docs/README.md. llms.txt identifies relevant questions, search terms and
authoritative reading paths. The README and LLM guide carry the owner's exact
purpose/contact wording with a clickable email link. Keep maintenance instructions
in this file and work_orders/CURRENT.md; preserve scientific scope and source access.
The owner requests a complete reader-facing account: use stable claims and reading
routes, with dated decisions and review templates indexed as historical records.
Avoid progress banners, obsolete next steps and repeated absence notices in exposition.

Develop one defensible theoretical result: logarithmic slow return for the specified
local lattice trap, with its stated finite-size and residual-depth domain. Preserve
Expand Down
18 changes: 18 additions & 0 deletions archive/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -29,3 +29,21 @@ unchanged and their hashes are recorded.

The five main research notes and five active scientific suites are ordinary browsable
repository files. History is not an additional prerequisite for following the result.

## Dated assessments and earlier presentation

These records retain their assessed revisions and original conclusions:

- [Critical assessment](../research/CRITICAL_ASSESSMENT.md): cross-component checks,
the local-power comparator and its bounded significance analysis.
- [5 October sanity check](../research/SANITY_CHECK_2026-10-05.md): mathematical
spot checks, execution evidence and documentary corrections at the recorded base.
- [Prepared reader brief](../research/READER_PACKET.md): the dated review route and
report template.
- [Provenance](../provenance/README.md): A–D records, source-access updates,
import preservation and hosted comparison policy.

The earlier progress-oriented [status page](https://github.com/GoGoKo699/Logarithmic-Threshold-Return/blob/b09f51a36f176b4b663ca6282185e5db7a537c7d/STATUS.md)
and [proof summary](https://github.com/GoGoKo699/Logarithmic-Threshold-Return/blob/b09f51a36f176b4b663ca6282185e5db7a537c7d/research/PROOF_STATUS.md)
are preserved at that immutable revision. The current versions organize the same
result by scope, derivation and evidence.
Loading
Loading