TY - JOUR

T1 - Gandy Direct-Limit Theorem

T2 - Polynomial-Time Prediction on Operator-Generated Networks

AU - Nechesov, Andrey

AU - Puzarenko, Vadim

N1 - A. Nechesov and V. Puzarenko, "Gandy Direct-Limit Theorem: Polynomial-Time Prediction on Operator-Generated Networks," in IEEE Access, vol. 14, pp. 128869-128885, 2026, doi: 10.1109/ACCESS.2026.3725439. This work was supported by a grant for research centers, provided by the Ministry of Economic Development of the Russian Federation in accordance with the subsidy agreement with the Novosibirsk State University dated April 17, 2025 No. 139-15-2025-006: IGK 000000C313925P3S0002.

PY - 2026/8/20

Y1 - 2026/8/20

N2 - Predictive analytics increasingly runs over structures that grow without bound, such as logistics networks, digital twins, and knowledge graphs, where queries carry hard latency budgets yet the deployed guarantees are only statistical. We develop a worst-case alternative from computable model theory. We model the evolving structure as a Gandy direct limit, the limit of a chain generated by a fixed-point operator rather than by Fraïssé amalgamation, and prove the Gandy direct-limit theorem: if a polynomially computable chain is generated by such an operator, every operation returns the canonical code of its value, and a functional boundary condition holds, then membership, predicates, operations, and equality are all decidable in polynomial time. The countable atomless Boolean algebra and the unit-free Ershov algebra are presented this way. The applied payoff is an operator-generated logistics network - the universal envelope of all admissible consolidations, which subsumes any particular deployment rather than recording one - on which every bounded prediction is decidable in time polynomial in the queried code, with a degree fixed by the query rather than the horizon. Here prediction means an emergence or reachability decision against a deterministic generator, not statistical forecasting; probabilistic rules add a provable confidence floor. A reproducible simulation on synthetic instances confirms this cost model: the work a bounded query does is polynomial in the length of its input - the code that names the target - and does not grow with the size of the network.

AB - Predictive analytics increasingly runs over structures that grow without bound, such as logistics networks, digital twins, and knowledge graphs, where queries carry hard latency budgets yet the deployed guarantees are only statistical. We develop a worst-case alternative from computable model theory. We model the evolving structure as a Gandy direct limit, the limit of a chain generated by a fixed-point operator rather than by Fraïssé amalgamation, and prove the Gandy direct-limit theorem: if a polynomially computable chain is generated by such an operator, every operation returns the canonical code of its value, and a functional boundary condition holds, then membership, predicates, operations, and equality are all decidable in polynomial time. The countable atomless Boolean algebra and the unit-free Ershov algebra are presented this way. The applied payoff is an operator-generated logistics network - the universal envelope of all admissible consolidations, which subsumes any particular deployment rather than recording one - on which every bounded prediction is decidable in time polynomial in the queried code, with a degree fixed by the query rather than the horizon. Here prediction means an emergence or reachability decision against a deterministic generator, not statistical forecasting; probabilistic rules add a provable confidence floor. A reproducible simulation on synthetic instances confirms this cost model: the work a bounded query does is polynomial in the length of its input - the code that names the target - and does not grow with the size of the network.

KW - Computable model theory

KW - Gandy direct limits

KW - digital twins

KW - polynomial-time computability

KW - predictive analytics

KW - smart cities

KW - trustworthy AI

KW - Вычислимая теория моделей

KW - цифровые двойники

KW - прямые пределы Ганди

KW - вычислимость за полиномиальное время

KW - предиктивная аналитика

KW - «умные» города

KW - адежный искусственный интеллект

UR - https://www.mendeley.com/catalogue/566750df-d454-3aea-83b7-c103c8cde840/

UR - https://www.scopus.com/pages/publications/105048704053

U2 - 10.1109/ACCESS.2026.3725439

DO - 10.1109/ACCESS.2026.3725439

M3 - Article

VL - 14

SP - 128869

EP - 128885

JO - IEEE Access

JF - IEEE Access

SN - 2169-3536

ER -