De twee redactionele correcties
Kosten en gewicht blijven apart, en hergroeperen is exact.
Kosten en gewicht blijven apart. Maatgewogen volume hoort bij statistisch gewicht. De effectieve vrije-energieachtige kost is de negatieve logaritme daarvan; volume en vrije energie zijn dus niet letterlijk dezelfde grootheid. Pareto en bewezen kostengrenzen horen bij de efficiëntievergelijking. Sluiting zonder kosten is een afzonderlijk consistentieresultaat, geen efficiëntiebewijs.
De identiteit heet exacte hergroepering. Zij geldt voor een disjuncte indeling met correct meegenomen maat. Een exacte marginalisatie kan eveneens de gewichten van de behouden variabelen exact bewaren, ook al kan men de weggelaten variabelen niet reconstrueren. Dat maakt de gereduceerde beschrijving niet volledig informatiebehoudend.
De formulering “echte coarse-graining produceert entropie en daarvoor geldt de identiteit niet” is te algemeen. Een beschrijving veranderen is op zichzelf geen fysieke dissipatiehandeling. Bij een evenwichtsverdeling kunnen twee verborgen evenwichtstoestanden tot één zichtbaar label worden samengevoegd zonder dat daardoor warmteproductie ontstaat. Een benadering of Markovsluiting kan wel voorspellingen verliezen; effectieve entropiebalansen moeten afzonderlijk worden afgeleid. Daarom behouden we zowel exacte hergroepering als de ruimere dynamische lijmregel.
De eerste consistentie-eis is stationariteit
Een verdeling die blijft, moet passen bij de regels van de beweging.
Wanneer een model claimt dat π de stationaire verdeling van L is, moet gelden:
met de opgegeven grensvoorwaarden. Deze eis is exact, maar bepaalt L niet uniek. Buiten stationariteit moeten verdeling en dynamica de volledige evolutievergelijking respecteren. Als S alleen een ontwerp- of prestatiekost is, hoeft zij geen stationaire potentiaal te zijn: die interpretatie mag niet worden toegevoegd zonder modelhypothese.
Voor een eindige irreducibele Markovketen met tweezijdig toegestane verbindingen en positieve rates luidt het kringcriterium:
Gewone gedetailleerde balans geldt dan precies wanneer alle kringaffiniteiten nul zijn. Stationariteit alleen laat niet-nulle kringstromen toe. Tijdomkering van bijvoorbeeld impulsvariabelen vraagt de daarvoor passende formulering. Zie Joshi, stelling 4.8 en Schnakenbergs netwerkformulering.
Freidlin–Wentzell met de juiste normalisatie
Zeldzame sprongen krijgen een prijs, met de juiste rekenafspraak voor de ruis.
Kies expliciet de conventie:
Bij passende regulariteit en positieve diffusie beschrijft de kleine-ruistheorie zeldzame paden via de ratefunctionaal:
De quasipotentiaal ten opzichte van een gegeven attractor wordt verkregen door deze kost te minimaliseren over paden en tijdsduur vanuit die attractor. Dit is een minimale fluctuatiekost, niet automatisch fysieke warmte, menselijke moeite of een nieuwe universele weerstand. Voor de toepassingen en hun voorwaarden zie Bouchet en Reygner, §2.
Bij één geschikt aantrekkend minimum, a = I en b = −∇S is de quasipotentiaal in deze conventie S−Smin. De Gibbsverdeling exp(−S/ε)/Z is bij passende opsluiting en randvoorwaarden zelfs exact invariant.
Een andere gebruikelijke conventie gebruikt √ε in plaats van √(2ε). Voor die notatie is de exponent exp(−2S/ε) en de quasipotentiaal 2(S−Smin). Dat verschil is een ruisnormalisatie, maar mag niet verdwijnen terwijl ε dezelfde naam houdt. Rechtstreeks voorbeeld: dX = −Xdt + √ε dW heeft stationaire variantie ε/2; bij √(2ε) is die ε.
Bij meerdere attractoren vraagt de globale stationaire ratefunctie ook de onderlinge overgangsstructuur. Eén lokale quasipotentiaal vanuit één attractor is niet zonder meer de globale stationaire exponent. Prefactoren en maatfactoren zijn evenmin door alleen de exponent bepaald.
Geldige koppeling: wanneer een familie π_ε ∝ exp(−S/ε)μ_ε de stationaire gewichten moet beschrijven, de maat geen extra exponentiële ε-afhankelijkheid draagt, en de vereiste stationaire grote-afwijkingslimiet bestaat, moet S−min S overeenkomen met die globale ratefunctie. Bij eindige ε blijven prefactoren en de volledige vergelijking L*π = 0 nodig. De kleine-ruistheorie kiest nog geen unieke generator.
Exact tegenvoorbeeld: dezelfde potentiaal mét kringstroom
Zelfde landschap, zelfde verdeling, en toch een blijvende rondstroom.
Neem in twee gewone positiecoördinaten:
De drift is niet een Euclidische gradiënt wanneer ω ≠ 0. Toch is voor iedere ω dezelfde Gaussverdeling invariant:
Een directe controle van de stationaire covariantie geeft:
De stationaire kansstroom is:
Hij heeft divergentie nul, maar is bij ω ≠ 0 niet overal nul. De quasipotentiaal blijft S. Ook de bijbehorende Hamilton–Jacobi-identiteit klopt:
Dus “S is de quasipotentiaal” impliceert niet “het proces is gradiëntachtig en alle affiniteiten zijn nul”. Het zijn verschillende hypotheses. Dit voorbeeld is de eenvoudigste concrete verwant van de oudere EEML-K1-structuur met conservatieve en dissipatieve delen. Niet-reversibele processen met behouden Gibbsmaat zijn ook expliciet onderzocht door Rey-Bellet en Spiliopoulos.
Wat harde voorwaarden moeten behouden
Wat verboden is, blijft verboden. Een doel halen is nog geen doel houden.
Als Ω_C de fysisch toelaatbare ruimte voor het volledige proces is, moet het proces die respecteren. Voor een overgangskern betekent dit, waar van toepassing:
Dat geldt niet automatisch voor Ω_E,C. Een doel bereiken en daarna verliezen kan fysisch toegestaan zijn. Het bereiken-en-behoudenvoorbeeld in deel III laat dit expliciet zien. E moet een afzonderlijk bewezen invariant of expliciet absorberend criterium zijn voordat de effectverzameling invariant wordt verklaard.
Bij een open subsysteem moet de omgeving of een passende tijdafhankelijke beperking worden meegenomen. Een schijnbare schending van de subsystemische boekhouding is niet vanzelf een schending van het volledige behoud.
Ook een overgang tussen abstracte modelklassen is niet automatisch een overgang van ruimtetopologie. De Geroch-/Tipler-route mag daarom niet als algemene eis “iedere overgang tussen closure-klassen vraagt singulariteit of quantummechanica” worden gebruikt. Welke topologische stelling relevant is, hangt af van het geometrische object en haar hypotheses; die extra identificatie ontbreekt in de abstracte EEML-architectuur.
Ricci flow en self-organised localisation
Twee bekende routes uit meetkunde en kosmologie, en waarom ze nog geen brug zijn.
Ricci flow. Perelman geeft een gradiëntinterpretatie met een aanvullende functie f en passende behandeling van diffeomorfismen. Zijn functionaal voldoet langs de gekoppelde stroom aan:
Het is in die conventie dus geen afnemende positieve weerstand. De deterministische geometrische stroom specificeert bovendien nog geen ruismaat, stationair ensemble of Freidlin–Wentzell-probleem op de ruimte van metrieken. “Perelmans F is precies de quasipotentiaal” is hiermee niet aangetoond. Zie Perelman, §1.
Self-organised localisation. Het aangehaalde voorstel bevat inflatie, stochastische velden, faseovergangen en een volumegewogen Fokker–Planckbeschrijving. De volumegroei is extra structuur; dit is niet zonder meer een gewone kansbehoudende generator met L*π = 0. Het kan als aparte modelroute worden onderzocht, niet als reeds bewezen EEML-brug. Zie Giudice, McCullough en You.
De hypotheses H1 en H2 scherper registreren
Twee hypotheses scherper opgeschreven, zodat een proef ze kan raken.
H1 wordt gesplitst.
- H1a: de onafhankelijk bepaalde S levert, in het benoemde kleine-ruisregime, de juiste stationaire ratefunctie.
- H1b: het proces is reversibel onder de gespecificeerde tijdomkering; voor de gewone eindige Markovbeschrijving zijn alle kringaffiniteiten nul.
Het roterende Gaussvoorbeeld voldoet aan H1a en schendt H1b. Kringstromen toetsen H1b, niet automatisch H1a. Een aangedreven biologische proef die toch geen zichtbare stroom oplevert is niet per definitie een foute meting: er kunnen resolutiegrenzen, verborgen stromen of werkelijk andere omstandigheden zijn. De toetsuitkomst moet kunnen verrassen.
H2 zoals aangeleverd is niet simpelweg Prigogines principe. Dat principe karakteriseert onder passende nabij-evenwichtsvoorwaarden een stationaire toestand bij opgegeven kinetiek en externe beperkingen. Het stelt niet algemeen dat de natuur uit alle mogelijke generatoren de minst dissipatieve kiest. De precieze Markovafleiding en haar benaderingskarakter staan bij Maes en Netočný.
Het controlevoorbeeld gebruikt een drie-ring met rates a = 3c en b = c. Dan blijven de stationaire kansen gelijk en de kringaffiniteit 3 ln 3 constant, maar:
Door c klein te maken daalt de entropieproductie per tijd, terwijl ook het transport vertraagt. Alleen aandrijving vastleggen voorkomt die triviale vermindering niet. Een selectiehypothese over generatoren moet dus ook effect, termijn, kinetische beperkingen en middelen vastleggen. Dat sluit precies aan op de oudere EEML-regel van gelijk effect.
Gecorrigeerde procesregel voor de geïntegreerde versie
De procesregel zoals EEML hem nu gebruikt.
Verloop en samenhang. Specificeer de proceswet, beginvoorbereiding en omgeving. Gebruik bij zichtbaar geheugen een voldoende uitgebreide toestand of een expliciet geschiedenisafhankelijke wet. Het proces respecteert de toepasselijke harde fysische voorwaarden; een doelverzameling is niet automatisch invariant. Wanneer statistische gewichten als stationaire verdeling worden opgegeven, moeten zij met de proceswet voldoen aan L*π = 0. Waar een stationaire kleine-ruislimiet bestaat, moet ook de leidende exponent overeenkomen met de door de dynamica bepaalde globale ratefunctie, met dezelfde ruisnormalisatie en maatconventie. Gedetailleerde balans blijft een afzonderlijke, toetsbare eigenschap. Welke extra regel EEML oplegt aan de fysisch gerealiseerde dynamica blijft open.
Dit is een inhoudelijke verbinding tussen de lagen. Zij bewaart meer van de oude EEML dan een universele gradiënteis: zowel relaxatie als voortgaande circulatie kunnen worden onderzocht, en statische overeenstemming kan niet meer voor een volledige procesverklaring doorgaan.