Warm-start generation meets accelerated high-accuracy sampling
Two primary-paper cases and one composition view; an extension to, not a mutation of, the pinned 34-row SampleWiki snapshot.
Main theorem routes remain source-pinned plans. Per-declaration compilation and independent reviews are recorded in the linked Frontier Cells and semantic registry; they do not certify either full paper.
Smoothed Picard HMC and the proxy warm start
Producer: low-accuracy transport control, then an implementable proxy warm start.
Proximal BPS: high accuracy from a warm start
Consumer: a Renyi-warm input becomes a high-accuracy position law through an augmented-state discrete chain.
Cold start to high accuracy: the producer–consumer contract
Composition view of SPHMC Theorem 1.3, not a third paper or an ASTIS novelty claim.
How the proposed proof graph changes
Replace two isolated complexity leaves by a producer, a proxy certificate, a robust kernel consumer and a separately charged composition. Share RGO geometry and reflection technology without identifying distinct theorems.
Candidate bridge and reusable-hub roles, not computed centrality, proven novelty rankings or Lean implications.
- Chapters 5–7: low accuracy, warm starts and high accuracy
- Chapter 8: proximal sampling and conditional/RGO tools
- MCMC: augmented states, PDMP implementation and nonreversible analysis
- Optimal transport: finite-p-moment couplings and Gaussian regularization
A future certified compression must retain measure, regularity, oracle, moment, warmness, implementation and cost side conditions. No category or functor certificate exists.
Expand this frontier in the interactive proof graph → · Inspect the candidate certificate bridge →
Reading and formalization order
Read the two source contracts, then the composition proof. Formalize dependency-ready common technology before algorithm assemblies; the existing active Chewi 8.4.1 route stays unchanged.
Nine reusable technology contracts and four next-packet candidates →
Attribution and source status
- Smoothed Picard Hamiltonian Monte Carlo — Fan Chen, Sinho Chewi, Jianfeng Lu, Matthew S. Zhang. 2609.06906v1. immutable arXiv version; not a local byte-hash certificate.
- Accelerated High-Accuracy Sampling from a Warm Start via the Proximal Bouncy Particle Sampler — Fan Chen, Sinho Chewi, Jianfeng Lu, Matthew S. Zhang. 2609.06905v1. immutable arXiv version; not a local byte-hash certificate.
These are ASTIS mathematical restatements and proof-route explanations, not reproduced paper prose. Both arXiv pages list the perpetual non-exclusive distribution license; ASTIS assumes no blanket right to republish them. No author endorsement or new Lean certificate is implied.