Information Limits for Stable Reduction of Coupled Diffusion Systems
Abstract
Eliminating an unresolved diffusion field from a coupled parabolic system produces an operator-valued memory term and a contribution from the hidden initial state. We study whether a reduced prediction of the retained field meets a prescribed tolerance. For known hidden initial data, the discarded response, damped by diffusion and transmitted through the coupling, gives an upper error bound; an auxiliary diffusion problem supplies a lower bound. Rigorous discretisation bounds then yield tests that accept, reject or remain undecided. If the discarded initial state is known only through a norm bound, the minimum worst-case error equals that bound multiplied by the time-uniform gain from the missing state to the retained trajectory. Our main result encloses this infinite-dimensional gain using a finite spectral Galerkin evolution, its residual in the full equations and an explicit diffusion tail. The enclosure converges without compactness or smallness of the coupling. Strict comparisons of the optimal radius with a tolerance have finite certificates if all endpoint quantities admit arbitrarily accurate rigorous enclosures. Multiplication-coupling examples with infinitely many dynamically coupled modes illustrate both settings, including explicit finite-element error budgets.
Related
- Low-Dimensional Reduction of Mean-Field Coupled Dynamical Systems with Units Described by Two Real Variables: Classification and Applications
- pper and Lower Bounds for Blow-up Times in Coupled Reaction--Diffusion Systems with Nonlocal Sources
- A weighted polygonal discontinuous Galerkin method for hierarchically coupled reaction-diffusion systems with cubic interactions
- Large-Time Upper Decay Estimates for Weakly Coupled Time-Fractional Diffusion Systems
- Up-down ordered Chinese restaurant processes with two-sided immigration, emigration and diffusion limits
BibTeX
@misc{ishizaka2026information,
title = {{Information Limits for Stable Reduction of Coupled Diffusion Systems}},
author = {Hiroki Ishizaka},
howpublished = {arXiv},
year = {2026},
month = nov,
doi = {10.48550/arxiv.2611.02977},
eprint = {2611.02977},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2611.02977},
}
RIS
TY - UNPB
TI - Information Limits for Stable Reduction of Coupled Diffusion Systems
AU - Hiroki Ishizaka
PY - 2026
DA - 2026/11/02
PB - arXiv
DO - 10.48550/arxiv.2611.02977
UR - https://arxiv.org/abs/2611.02977
AB - Eliminating an unresolved diffusion field from a coupled parabolic system produces an operator-valued memory term and a contribution from the hidden initial state. We study whether a reduced prediction of the retained field meets a prescribed tolerance. For known hidden initial data, the discarded response, damped by diffusion and transmitted through the coupling, gives an upper error bound; an auxiliary diffusion problem supplies a lower bound. Rigorous discretisation bounds then yield tests that accept, reject or remain undecided. If the discarded initial state is known only through a norm bound, the minimum worst-case error equals that bound multiplied by the time-uniform gain from the missing state to the retained trajectory. Our main result encloses this infinite-dimensional gain using a finite spectral Galerkin evolution, its residual in the full equations and an explicit diffusion tail. The enclosure converges without compactness or smallness of the coupling. Strict comparisons of the optimal radius with a tolerance have finite certificates if all endpoint quantities admit arbitrarily accurate rigorous enclosures. Multiplication-coupling examples with infinitely many dynamically coupled modes illustrate both settings, including explicit finite-element error budgets.
ER -