Forward-backward correspondence between stationary structure and splitting probabilities in active matter

Technische Samenvatting: Voorwaartse–Achterwaartse Correspondentie in Actieve Materie

Probleemstelling
Actieve deeltjes die worden beperkt door harde wanden vertonen twee onderscheidende fenomenen die worden gedreven door directionele persistentie in de afwezigheid van thermische fluctuaties: (1) dynamische adsorptie, waarbij deeltjes zich ophopen bij grensvlakken, en (2) een eindige wand-splitsingskans ($\pi_L(0) > 0$), wat betekent dat een deeltje dat bij een wand is geïnitialiseerd, een niet-nul kans heeft om de tegenoverliggende wand te bereiken voordat het terugkeert. Hoewel stationaire verdelingen worden beheerst door de voorwaartse Kolmogorov-vergelijking en eerste-passage-observabelen (zoals splitsingskansen) door de achterwaartse vergelijking, is de relatie tussen deze twee beschrijvingen onduidelijk gebleven. Eerder werk heeft deze verbinding vastgesteld voor discontinue willekeurige wandelingen (springende deeltjes), maar het was onbekend of continue actieve modellen (Run-and-Tumble, Active Brownian en Active Ornstein–Uhlenbeck deeltjes) deze eigenschap ook delen.

Methodologie
De auteur formuleert het probleem in de uitgebreide positie–snelheid faseruimte $(x, v)$, waarbij de drie canonieke actieve materie-modellen (RTP, ABP, AOUP) op een gemeenschappelijke basis behandelt. De methodologie omvat:

1. Microscopische Analyse: Het aantonen dat eindige splitsingskansen voortkomen uit ballistische kortstondige dynamica in de nul-temperatuurlimiet, waarbij deeltjes zich van een wand weg bewegen voordat stochastische heroriëntatie optreedt.
2. Operatorvergelijking: Het afleiden van de stationaire voorwaartse vergelijking voor de bulkverdeling $n(z, w)$ en de achterwaartse vergelijking voor de splitsingskans $\pi_\lambda(z, w)$.
3. Constructie van een Hulp-systeem: Het introduceren van een hulp-voorwaartse dichtheid $\tilde{n}(z, w)$ waarbij de driftterm wordt omgekeerd ($w \to -w$). Dit systeem wordt geïdentificeerd als de Siegmund-dual van het oorspronkelijke systeem.
4. Grenswaarde-matching: Het vergelijken van de randvoorwaarden van de hulp-dichtheid $\tilde{n}(z, w)$ met de ruimtelijke afgeleide van de splitsingskans, $u(z, w) = \partial_z \pi_\lambda(z, w)$. Door aan te tonen dat deze twee grootheden dezelfde differentiaalvergelijking en randvoorwaarden bevredigen (op een proportionaliteitsconstante na), stelt de auteur een exacte wiskundige correspondentie vast.

Kernbijdragen en Resultaten
Het artikel leidt exacte identiteiten af die de stationaire verdeling en splitsingskansen koppelen voor RTP, ABP en AOUP-dynamica in willekeurige ruimtelijke dimensies $d$. De kernresultaten zijn:

• Snelheidsgerichte Correspondentie:
  $$p_v(w) \partial_z \pi_\lambda(z, w) = \rho(z, -w)$$
  $$p_v(w) \pi_\lambda(0, w) = f_0(-w)$$
  Hierbij is $\rho(z, w)$ de stationaire bulkdichtheid, $p_v(w)$ de stationaire snelheidsverdeling, $\pi_\lambda(z, w)$ de splitsingskans, en $f_0(w)$ de snelheidsverdeling van deeltjes die geadsorbeerd zijn aan de linkerwand.

• Marginale Correspondentie:
  Integreren over snelheid levert de centrale bevinding:
  $$\partial_z \pi_\lambda(z) = \rho(z)$$
  $$\pi_\lambda(0) = f_w$$
  Dit stelt dat het fractie van deeltjes dat dynamisch geadsorbeerd is aan een wand ($f_w$) exact gelijk is aan de kans dat een deeltje dat aan die wand begint de tegenoverliggende wand bereikt ($\pi_L(0)$).

• Generalisatie naar Springende Processen:
  Het kader wordt uitgebreid naar gegeneraliseerde RTP-modellen met willekeurige snelheidsverdelingen. Dit verbindt de stationaire adsorptiefractie met de spronglengteverdeling, waardoor de vertaling van eerste-passage-resultaten voor Lévy-vlucht-achtige processen (specifiek die met algebraïsche snelheidsstaarten) naar exacte voorspellingen voor stationaire adsorptiefracties mogelijk wordt.

• Numerieke Verificatie:
  De theoretische identiteiten worden geverifieerd via numerieke simulaties voor RTP, ABP en AOUP deeltjes in drie dimensies. De resultaten bevestigen dat $f_w$ en $\pi_\lambda(0)$ ononderscheidbaar zijn binnen de statistische fout en dezelfde asymptotische schaling ($\propto \lambda^{-1}$) vertonen voor grote scheidingen.

Betekenis
Het artikel claimt een "exacte brug" te hebben geslagen tussen stationaire en eerste-passage-beschrijvingen van ingeperkte actieve materie. De betekenis ligt in het onthullen dat dynamische adsorptie en eindige wand-splitsingskansen niet louter gerelateerde fenomenen zijn, maar complementaire representaties van dezelfde persistentie-gedreven dynamica. Door de voorwaartse en achterwaartse operatoren direct te vergelijken, biedt het werk een verenigd kader dat van toepassing is op continue actieve modellen, waarmee de vraag wordt opgelost of de $\pi_L(0) > 0$ conditie exclusief is voor discontinue willekeurige wandelingen. De correspondentie maakt de directe conversie van bekende eerste-passage-resultaten naar exacte voorspellingen voor stationaire structurele eigenschappen, zoals de dichtheid van geadsorbeerde deeltjes, mogelijk.