Partial Entropy production of active particles with hidden states in potentials

Dit artikel breidt een perturbatief raamwerk uit om de partiële entropieproductie van actieve deeltjes met verborgen zelfaandrijving in generieke opsluitende potentialen te berekenen, waarbij exacte resultaten voor actieve Ornstein-Uhlenbeck-deeltjes succesvol worden gereproduceerd en nieuwe snelheden worden afgeleid voor run-and-tumble-deeltjes in harmonische vallen.

De kern

Stel je voor dat je door een mistig raam uitkijkt op een drukke stadsstraat. Je ziet mensen lopen, maar je kunt hun gezichten, hun intenties of de reden van hun lopen niet zien: of ze ergens naartoe willen of dat ze door een menigte worden voortgestuwd.

Dit artikel gaat over het proberen uit te vinden of de mensen op straat gewoon willekeurig ronddwalen (wat "evenwicht" zou zijn, zoals een rustige dag) of dat ze eigenlijk worden aangedreven door een verborgen kracht (wat "niet-evenwicht" is, zoals een optocht of paniek).

Hier is de uitleg van het onderzoek in eenvoudige termen:

Het Probleem: Het Mistige Raam

In de natuurkunde kun je, als je een systeem nauwkeurig genoeg observeert, meestal zeggen of het uit balans is. Als je een bal ziet rollen bergop, weet je dat er iets tegen duwt. Deze "duw" creëert entropieproductie, wat in wezen een maat is voor hoeveel energie het systeem "verspilt" om in beweging te blijven.

Echter, in de echte wereld (vooral in de biologie) kunnen we vaak niet alles zien. We kunnen misschien een bacterie zien bewegen, maar we kunnen de kleine interne motor (de "verborgen toestand") die het aandrijft, niet zien.

• De Truc: Als je de motor verbergt, kan de bacterie lijken alsof het willekeurig trilt. Het kan lijken alsof het zich houdt aan de wetten van een rustig, gebalanceerd systeem, terwijl het in werkelijkheid hard werkt.
• Het Doel: De auteurs wilden een wiskundig hulpmiddel creëren om dat verborgen "werk" te detecteren, zelfs wanneer de motor onzichtbaar is, specifiek wanneer het deeltje gevangen zit in een potentiaal (zoals een vallei of een kom).

De Analogie: De Hardloper die Rolt

De auteurs gebruiken een specifiek voorbeeld, een "Run-and-Tumble" (hardlopen en rollen) deeltje. Stel je een wandelaar voor in een mistig bos:

1. De Loop: De wandelaar loopt een tijdje in een rechte lijn.
2. De Rol: De wandelaar stopt, draait willekeurig rond en kiest een nieuwe richting.

Scenario A: Het Vrije Bos (Geen Heuvels)
Als het bos perfect vlak is, en je ziet alleen het pad van de wandelaar (maar niet welke kant ze opkijken), ziet het pad er perfect symmetrisch uit. Als je de video achteruit zou afspelen, zou het er precies hetzelfde uitzien. De wandelaar lijkt alsof ze gewoon willekeurig ronddwalen.

• Resultaat: De "Partiële Entropie" (de maat voor verborgen werk) is nul. Je kunt niet zien dat ze actief zijn.

Scenario B: Het Heuvelachtige Bos (De Potentiaal)
Stel je nu voor dat het bos een kom is (een harmonische potentiaal). De wandelaar bevindt zich op de bodem.

• Bergaf: Wanneer de wandelaar door hun interne motor bergaf wordt geduwd, bewegen ze snel.
• Bergop: Wanneer ze bergop worden geduwd, moeten ze tegen de zwaartekracht in vechten, dus bewegen ze langzaam.
• De Aanwijzing: Als je de video achteruit bekijkt, zie je de wandelaar langzaam bergaf bewegen en snel bergop. Dat ziet er raar uit! Het breekt de symmetrie.
• Resultaat: Hoewel je de motor niet kunt zien, verraadt de vorm van het pad (de "knikken" in de baan) het. De "Partiële Entropie" is positief.

Wat Ze Deden

De auteurs ontwikkelden een nieuw wiskundig recept (een "perturbatief kader") om precies te berekenen hoeveel "verborgen werk" er wordt verricht, alleen door naar het pad van het deeltje te kijken.

1. De Formule: Ze creëerden een complexe vergelijking die alle kleine details van het pad optelt. Het kijkt naar hoe het deeltje beweegt en hoe de "verborgen motor" (de zelfaandrijving) correleert met de vorm van de vallei waarin het zich bevindt.
2. De Verrassing: Ze ontdekten dat voor bepaalde soorten deeltjes (zoals het "Actieve Ornstein-Uhlenbeck" deeltje, wat lijkt op een wandelaar met een zeer soepele, trillende motor), als ze zich in een perfecte kom bevinden, het verborgen werk er misschien nog steeds als nul uitziet. Maar voor andere soorten (zoals de "Run-and-Tumble" wandelaar) is het verborgen werk zeer duidelijk zichtbaar in het pad, zelfs zonder de motor te zien.

De Belangrijkste Conclusie

Het artikel bewijst dat het verbergen van de motor niet altijd het bewijs verbergt.

• Als een deeltje zich in een vlak gebied bevindt, maakt het verbergen van de motor het er perfect normaal uitziend (evenwicht).
• Maar als het deeltje zich in een "vallei" (een potentiaal) bevindt, creëert de manier waarop het de hellingen op en af beweegt een unieke signatuur. Het deeltje rent naar beneden en kruipt omhoog. Deze asymmetrie onthult dat het systeem niet in evenwicht is, zelfs als je de interne motor niet kunt zien.

Ze berekenden precies hoe sterk dit signaal is voor twee veelvoorkomende soorten actieve deeltjes. Ze ontdekten dat voor het "Run-and-Tumble" deeltje in een kom, het signaal zeer zwak is (het vereist het bekijken van zeer details van hoge orde in het pad), maar het is zeker aanwezig.

Kortom: Je kunt niet altijd zeggen of een systeem "in leven" of "actief" is alleen door ernaar te kijken. Maar als je de vorm van de omgeving waarin het zich bevindt kent, kun je vaak afleiden dat het werk verricht, zelfs als je de motor die het aandrijft niet kunt zien.

Technische samenvatting

Technische Samenvatting: Partiële Entropieproductie van Actieve Deeltjes met Verborgen Toestanden in Potentialen

Probleemstelling
Stochastische systemen die ver van het evenwicht opereren, vertonen vaak een gebroken tijdsomkeersymmetrie (TRS). Wanneer echter interne vrijheidsgraden (zoals zelfaandrijvings-toestanden) niet waarneembaar zijn, kunnen de zichtbare dynamieken van een actief deeltje tijdsomkeerbaar lijken, wat leidt tot een schatting van nul voor de entropieproductie, ondanks dat het systeem zich buiten het evenwicht bevindt. Deze "partiële" waarneembaarheid vormt een uitdaging voor experimentalisten die proberen gedrag buiten het evenwicht te kwantificeren. Hoewel eerder werk aantoont dat verborgen toestanden TRS kunnen herstellen bij vrije deeltjes (bijvoorbeeld een vrij run-and-tumble deeltje), bleef het gedrag van dergelijke systemen onder invloed van een opsluitend potentiaal een open vraag. Specifiek was het onduidelijk hoe een potentiaal $V(x)$ de partiële entropieproductiesnelheid (partiële EPR) beïnvloedt wanneer de zelfaandrijving niet wordt waargenomen.

Methodologie
De auteurs breiden een perturbatief kader uit dat eerder voor vrije deeltjes werd geïntroduceerd, naar het geval van actieve deeltjes in een generiek opsluitend potentiaal. Het systeem wordt gemodelleerd door een overdamped Langevin-vergelijking:
$$\dot{x}(t) = \nu w(t) - \partial_x V(x(t)) + \xi(t)$$
waarbij $x(t)$ de waarneembare positie is, $w(t)$ een verbonden dimensieloze stochastische zelfaandrijvingsproces is, $\nu$ de aandrijfsnelheid is, en $\xi(t)$ Gaussisch witte ruis is.

De afleiding verloopt als volgt:

1. Formulering van Padwaarschijnlijkheid: Definiëren van de volledige entropieproductiesnelheid (EPR) via de Kullback-Leibler-divergentie tussen voorwaartse en tijdsomgekeerde padwahrscheinlijkheden van het gezamenlijke systeem $\{x(t), w(t)\}$.
2. Marginalisatie: Construeren van de partiële EPR ($\dot{S}_x$) door te marginaliseren over de verborgen variabele $w(t)$, waarbij effectief alleen de padwaarschijnlijkheid van de waarneembare positie $x(t)$ wordt beschouwd.
3. Perturbatieve Expansie: Gebruikmaken van het Onsager-Machlup-functioneel om de verhouding van voorwaartse tot omgekeerde padwahrscheinlijkheden uit te drukken. De auteurs ontwikkelen de logaritme van deze verhouding in machten van de koppelingsparameter $\nu/D$. Dit resulteert in een reeksrepresentatie van de partiële EPR die cumulanten van het zelfaandrijvingsproces $w(t)$ en correlatiefuncties van de positie $x(t)$ en zijn afgeleiden omvat.
4. Symmetrie-analyse: Systematisch analyseren hoe eigenschappen van $w(t)$ (nul gemiddelde, tijdstranslatie-invariantie, pariteit en tijdsomkeersymmetrie) en het potentiaal $V(x)$ leiden tot het wegvallen van termen in de expansie.
5. Specifieke Modellen: Toepassen van het algemene kader op twee canonieke modellen: het Actieve Ornstein-Uhlenbeck-deeltje (AOUP) en het Run-and-Tumble (RnT)-deeltje, specifiek binnen een harmonisch potentiaal $V(x) = \frac{1}{2}kx^2$. Voor het RnT-geval maken de auteurs gebruik van Doi-Peliti-veldtheorie om de benodigde hoge-orde correlatiefuncties te berekenen.

Belangrijkste Bijdragen en Resultaten

• Algemeen Perturbatief Kader: Het artikel leidt een algemene reeksontwikkeling af (Vergelijking 15) voor de partiële EPR van een actief deeltje in een generiek potentiaal. Deze uitdrukking relateert de partiële EPR aan de cumulanten van de verborgen zelfaandrijving en de correlatoren van de positietrajectorie.
• Symmetrie-geïnduceerde Wegval: De auteurs tonen aan dat voor actieve deeltjes met een zelfaandrijving met nul gemiddelde ($\langle w \rangle = 0$) en specifieke symmetrieën (pariteit en tijdsomkering), de leidende termen in de expansie verdwijnen. In een vrij systeem ($V=0$) kunnen deze symmetrieën leiden tot een partiële EPR van nul. De aanwezigheid van een potentiaal introduceert echter termen die niet verdwijnen onder pariteitsomkering van de snelheid, waardoor over het algemeen een niet-nul partiële EPR wordt hersteld.
• Actief Ornstein-Uhlenbeck-deeltje (AOUP): Voor een AOUP in een harmonisch potentiaal reproduceren de auteurs een exact resultaat dat aantoont dat de partiële EPR verdwijnt ($\dot{S}_x = 0$). Dit wordt toegeschreven aan het Gaussische karakter van het AOUP-ruis, wat de expansie beperkt tot de tweede cumulant, en de specifieke compensatie van termen in het harmonische potentiaal.
• Run-and-Tumble (RnT)-deeltje: Voor een RnT-deeltje in een harmonisch potentiaal is de partiële EPR niet-nul. Vanwege het discrete karakter van het RnT-proces en de symmetrieën van het potentiaal, treedt de leidende bijdrage op orde $n=4$ in de expansie op (evenredig met $(\nu/D)^4$).
  • Het expliciete resultaat voor de leidende partiële EPR wordt afgeleid als:
    $$\dot{S}_x = \left(\frac{\nu^2}{D}\right)^4 \frac{2\alpha k}{3(\alpha + k)(\alpha + 3k)(2\alpha + k)(2\alpha + 3k)(3\alpha + 2k)} + O\left(\frac{\nu^{10}}{D^5}\right)$$
  • Dit resultaat is aanzienlijk van hogere orde dan de volledige EPR (die schaalt als $\nu^2/D$), wat aangeeft dat de tijdsomkeerasymmetrie van de ruimtelijke trajectorie een subtiel effect is in aanwezigheid van verborgen toestanden en een opsluitend potentiaal.
• Vervaging van Lagere Ordes: Het artikel toont rigoureus aan dat voor het RnT-deeltje in een harmonisch potentiaal termen van orde $n=2$ en $n=3$ verdwijnen door het samenspel tussen de tijdstranslatie-invariantie van de stationaire toestand en de specifieke structuur van de afgeleiden van het potentiaal.

Betekenis en Beweringen
Het artikel beweert een systematische methode te bieden voor het berekenen van de partiële entropieproductie van actieve deeltjes met verborgen toestanden in willekeurige potentialen. De primaire betekenis ligt in het kwantificeren van hoeveel tijdsomkeersymmetrie wordt gebroken in de waarneembare dynamiek van een systeem buiten het evenwicht wanneer interne toestanden verborgen zijn.

De auteurs benadrukken dat:

1. Potentialen Verborgen Symmetrie Breken: Hoewel verborgen toestanden vrije actieve deeltjes ononderscheidbaar kunnen maken van evenwicht (nul partiële EPR), breekt de introductie van een opsluitend potentiaal over het algemeen deze symmetrie, waardoor het systeem detecteerbaar is als niet-evenwicht uitsluitend via ruimtelijke trajectoria.
2. Orde van Grootte: De partiële EPR is vaak van een veel hogere orde in de aandrijvingsparameter $\nu$ dan de volledige EPR. Voor het RnT-deeltje schaalt de partiële EPR als $\nu^8/D^4$ (vanwege de $(\nu/D)^4$-prefactor en de $\nu^4$-schaling van de positiecorrelatoren), terwijl de volledige EPR schaalt als $\nu^2/D$. Dit suggereert dat het detecteren van gedrag buiten het evenwicht in deels waargenomen systemen hoge precisie of specifieke voorwaarden vereist.
3. Uniekheid van AOUP: Het werk identificeert het AOUP in een harmonisch potentiaal als een uniek geval waarbij de partiële EPR in de stationaire toestand nul blijft, waardoor het zich onderscheidt van niet-Gaussische actieve processen zoals RnT.

De auteurs blijven bescheiden wat toekomstige toepassingen betreft, en merken op dat het berekenen van de vereiste correlatiefuncties uitdagend is en dat de thermodynamische interpretatie van partiële EPR onderwerp blijft voor toekomstig onderzoek. Zij suggereren dat het kader kan worden uitgebreid naar tijdsvariabele potentialen of potentialen die afhankelijk zijn van verborgen variabelen, maar stellen geen specifieke experimentele protocollen voor.