2026-07-22T21:02:15Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:25503 2026-03-19T13:34:16Z ddc:004 open_access

Computing Tarski Fixed Points in Financial Networks Besting, Leander Hoefer, Martin Huth, Lars Tarski Fixed Points Financial Networks Minimal Clearing Claims Trade Modern financial networks are highly connected and result in complex interdependencies of the involved institutions. In the prominent Eisenberg-Noe model [Eisenberg and Noe, 2001], a fundamental aspect is clearing - to determine the amount of assets available to each financial institution in the presence of potential defaults and bankruptcy. A clearing state represents a fixed point that satisfies a set of natural axioms. Existence can be established (even in broad generalizations of the model) using Tarski’s theorem. While a maximal fixed point can be computed in polynomial time, the complexity of computing other fixed points is open. In this paper, we provide an efficient algorithm to compute a minimal fixed point. Our algorithm applies in a broad generalization of the Eisenberg-Noe model with any monotone, piecewise-linear payment functions and default costs. We also study claims trading, a local network adjustment to improve clearing, when networks are evaluated with minimal clearing. We provide an efficient algorithm to decide existence of Pareto-improving trades and compute optimal ones if they exist. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Leander Besting and Martin Hoefer and Lars Huth 2026 Is Part Of LIPIcs, Volume 364, 43rd International Symposium on Theoretical Aspects of Computer Science (STACS 2026) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.STACS.2026.14 urn:nbn:de:0030-drops-255038 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2026.14 eng https://creativecommons.org/licenses/by/4.0/legalcode