1
Return

From erasure to CRUD: A unified information-thermodynamic principle

delete2026-07-01
delete0
PRE
AI
M
Masamichi Iizumi
DOI：10.1016/j.physa.2026.131801delete
deleteOriginal
deleteOriginal request for help
deleteShare
deleteSave
Abstract

Abstract

En 中文
• Landauer’s erasure bound is the Delete-specific limit of a broader CRUD framework. • A unified nonequilibrium free-energy bound governs Create, Read, Update, and Delete. • Quasi-static scan separates protocol dissipation from information free energy. • Read measurement cost is consistent with the Sagawa–Ueda bound. • Algebraic backbone is certified by a sorry-free Lean 4 formalization.

Journal

P
Physica A: Statistical Mechanics and its Applications
IF:
3.1
Papers:
1.3K
Citations:
3.6W

Organization

No organization information available
Cited Papers

Cited Papers

Citing Papers

Citing Papers