Extrema-Frame Foreground-Background Theory

EF-FG is a downstream application of the unified realization framework to finite scalar fields, showing that the theory developed from pushdown normalization extends beyond automata. It builds a self-dual foreground/background semantics with observer-relative ownership and exact common-realization uncertainty, yielding an exact record-chain reduction, tractable local algorithms, NP-complete global ownership problems even on shallow trees, and common-realization obstructions of unbounded order. Its main contribution is both a new foreground/background theory and a concrete demonstration that the semantic–physical realization framework transfers to a genuinely different mathematical domain.

Authors

Publication Details

Journal
Zenodo (CERN European Organization for Nuclear Research)
Published
2026-09-24
DOI
https://doi.org/10.5281/zenodo.22944660
Primary Topic
Formal Methods in Verification
Type
preprint
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
preprint

Extrema-Frame Foreground-Background Theory

Alp Eren Bütün
Zenodo (CERN European Organization for Nuclear Research)
Formal Methods in Verification
preprint

Extrema-Frame Foreground-Background Theory

Alp Eren Bütün
preprint en

Abstract

EF-FG is a downstream application of the unified realization framework to finite scalar fields, showing that the theory developed from pushdown normalization extends beyond automata. It builds a self-dual foreground/background semantics with observer-relative ownership and exact common-realization uncertainty, yielding an exact record-chain reduction, tractable local algorithms, NP-complete global ownership problems even on shallow trees, and common-realization obstructions of unbounded order. Its main contribution is both a new foreground/background theory and a concrete demonstration that the semantic–physical realization framework transfers to a genuinely different mathematical domain.

Zenodo (CERN European Organization for Nuclear Research)
Formal Methods in Verification
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

Extrema-Frame Foreground-Background Theory — Alp Eren Bütün · Zenodo (CERN European Organization for Nuclear Research) (2026) | TGRS Research Map | TGRS