Powered by OpenAIRE graph
Found an issue? Give us feedback
ZENODOarrow_drop_down
ZENODO
Preprint . 2026
License: CC BY NC ND
Data sources: Datacite
ZENODO
Preprint . 2026
License: CC BY NC ND
Data sources: Datacite
ZENODO
Preprint . 2026
License: CC BY NC ND
Data sources: Datacite
versions View all 3 versions
addClaim

Thermodynamic Inductive Synthesis: A Physics-Constrained Framework for Energy-Optimal Logic Generation

Authors: Vandenberg, Ibrahim;

Thermodynamic Inductive Synthesis: A Physics-Constrained Framework for Energy-Optimal Logic Generation

Abstract

The fundamental energetic limit of computation is established by Landauer’s Principle, which dictates a lower bound of heat generation for every bit of information erased (Landauer, 1961). While modern Inductive Logic Programming (ILP) has achieved significant success in symbolic rule induction (Muggleton, 1991; Cropper & Morel, 2021), current frameworks remain thermodynamically blind; they optimise for symbolic accuracy while treating physical energy cost as an externality. In the post-Moore era (Theis & Wong, 2017), we argue that a logically valid program that is thermodynamically insolvent is fundamentally incorrect for deployment in energy-constrained sovereign environments. This paper introduces Thermodynamic Inductive Synthesis (TIS), a closed-loop framework that integrates physical entropy production directly into the logic generation process. We present the Fine-Grained Reconfigurable Thermodynamic Substrate (FGRTS), a hardware architecture capable of measuring transient Localised Entropy Production Rate (LEPR) at the gate-cluster level. These measurements serve as a feedback signal for a Gradient-Based Inductive Synthesiser (GBIS), which extends differentiable relaxation techniques (Jang et al., 2017; Petersen et al., 2021) to penalise irreversible state changes. We analytically derive that TIS-generated primitives are projected to reduce irreversible entropy production by approximately 40% compared to standard synthesis baselines, theoretically predicting the spontaneous emergence of quasi-adiabatic logic topologies similar to those predicted by conservative logic theory (Fredkin & Toffoli, 1982).

Keywords

Logic Synthesis, Reconfigurable Hardware, Thermodynamic Computing, Sovereign AI, Inductive Logic Programming, Dark Silicon, Landauer Limit, FGRTS

  • BIP!
    Impact byBIP!
    selected citations
    These citations are derived from selected sources.
    This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    0
    popularity
    This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
    Average
    influence
    This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    Average
    impulse
    This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
    Average
Powered by OpenAIRE graph
Found an issue? Give us feedback
selected citations
These citations are derived from selected sources.
This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Citations provided by BIP!
popularity
This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
BIP!Popularity provided by BIP!
influence
This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Influence provided by BIP!
impulse
This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
BIP!Impulse provided by BIP!
0
Average
Average
Average
Upload OA version
Are you the author of this publication? Upload your Open Access version to Zenodo!
It’s fast and easy, just two clicks!