Local Complex Dependence and Separability in Madelung Hydrodynamics

Technische Samenvatting: Lokale Complexe Afhankelijkheid en Scheidbaarheid in de Madelung-hydrodynamica

Probleemstelling
Het artikel behandelt de behoefte aan een lokale, puntgewijze diagnostiek om multiplicatieve scheidbaarheid en inter-deeltjesafhankelijkheid in veel-deeltjes kwantumsystemen te karakteriseren. Hoewel globale verstrengelingsmaten (zoals lineaire entropie of Schmidt-coëfficiënten) goed gevestigd zijn, missen zij ruimtelijke resolutie. Bestaande benaderingen, zoals "verstrengelingsvelden" in de Bohmiaanse mechanica, vertrouwen vaak op conditionele golffuncties of hiërarchieën van dynamische velden. De auteur streeft ernaar drie verschillende structuren te verenigen die gewoonlijk apart worden behandeld: de Holland–Wang gemengde logaritmische afgeleide van de configuratiedichtheid, de gemengde fase-Hessiaan die de cross-deeltjes Madelung-snelheden regelt, en de rang-één conditie voor multiplicatieve scheidbaarheid. Het doel is om een lokaal veld te definiëren dat dient als een diagnostiek voor scheidbaarheid en afhankelijkheid, zonder te pretenderen een basis-onafhankelijke globale verstrengelingsmaat te zijn.

Methodologie
De analyse wordt uitgevoerd binnen de Madelung-hydrodynamische representatie van de golffunctie, $\psi(\mathbf{X}, t) = \sqrt{\rho(\mathbf{X}, t)} e^{iS(\mathbf{X}, t)/\hbar}$, waarbij $\rho$ de configuratiedichtheid is en $S$ de fase.

1. Definitie van het Complexe Veld: Het kernobject is de complexe off-diagonaal Hessiaan van de logaritme van de golffunctie, gedefinieerd voor verschillende deeltjes $i$ en $j$ en coördinaten $x, y$:
   $$K_{xy} = \frac{\partial^2}{\partial x \partial y} \log \psi(x, y)$$
   Dit veld is onafhankelijk van de keuze van de lokale logaritmische tak.

2. Decompositie: Het veld $K_{xy}$ wordt gedecomposed in reële en imaginaire delen:

   • Reëel deel: $\text{Re } K_{xy} = \frac{1}{2} \frac{\partial^2 \log \rho}{\partial x \partial y}$. Dit komt overeen met de Holland–Wang lokale afhankelijkheidsfunctie ($H_{HW}$), een statistische maat voor dichtheidsafhankelijkheid.
   • Imaginair deel: $\text{Im } K_{xy} = \frac{1}{\hbar} \frac{\partial^2 S}{\partial x \partial y}$. Dit relateert direct aan de cross-Jacobiaan van het Madelung-snelheidsveld ($v_x, v_y$), wat de cross-respons van de snelheidsector van het ene deeltje ten opzichte van de coördinaat van het andere deeltje vertegenwoordigt.

3. Eindig Tegenhanger: Een eindelijke ratio $R_\psi$ wordt geïntroduceerd om het infinitesimale veld te relateren aan een globale rang-één conditie in knoopvrije productregio's, waarbij wordt vastgesteld dat $R_\psi = 1$ geldt indien en slechts indien de staat multiplicatief scheidbaar is.

4. Dynamische Analyse: De tijdsontwikkeling van $K_{ij}$ wordt afgeleid uit de Schrödinger-vergelijking. Door de gemengde afgeleiden van de logaritmische Schrödinger-vergelijking te nemen, isoleert de auteur de brontermen die verantwoordelijk zijn voor de generatie van niet-scheidbaarheid.

Belangrijkste Bijdragen en Resultaten

• Lokale Scheidbaarheidscriterium: Het artikel bewijst dat op een knoopvrije, enkelvoudig verbonden productregio, het verdwijnen van alle cross-blokken $K_{ij}$ door de gehele regio noodzakelijk en voldoende is voor de golffunctie om multiplicatief scheidbaar te zijn ($\psi = \psi_A \psi_B$). Dit strekt zich uit tot "cluster-scheidbaarheid", waarbij het verdwijnen van cross-blokken tussen twee disjuncte verzamelingen deeltjes impliceert dat de staat uiteenvalt in clusters die overeenkomen met die verzamelingen.
• Hydrodynamische Interpretatie: Het imaginaire deel van $K_{ij}$ wordt geïdentificeerd als de drijfveer van de cross-deeltjes snelheidskoppeling. Een niet-nul imaginair deel geeft aan dat de snelheid van het ene deeltje afhankelijk is van de positie van het andere, zelfs als de positiedichtheid $\rho$ factoriseert.
• Dynamische Generatie van Verstrengeling: De evolutie-vergelijking voor $K_{ij}$ onthult dat de gemengde Hessiaan van het potentiaal, $\frac{\partial^2 V}{\partial x_i \partial x_j}$, fungeert als de directe bron voor de initiële groei van cross-afhankelijkheid.
  • Voor een reëel scalair potentiaal, als een systeem in een scheidbare staat begint, is de initiële afwijking van scheidbaarheid tot eerste orde in de tijd puur imaginair ($K_{ij}(t_0 + \delta t) \approx -i \frac{\delta t}{\hbar} \frac{\partial^2 V}{\partial x_i \partial x_j}$).
  • Dit impliceert dat de fase-sector niet-scheidbaarheid onmiddellijk genereert, terwijl de dichtheidsafhankelijkheid (reëel deel) pas bij de tweede orde verschijnt.
• Onderscheid van Globale Verstrengeling: Het artikel demonstreert via tegenvoorbeelden (bijv. fase-gekoppelde Gaussische toestanden) dat $K_{ij}$ geen globale verstrengelingsmaat is. Een staat kan een constante niet-nul $K_{ij}$ hebben (wat lokale fasekoppeling aangeeft), terwijl de globale verstrengeling (gemeten door de zuiverheid van de gereduceerde toestand) varieert met de breedte van de golfpakketten. Bovendien behouden lokale unitaire transformaties (zuivere fasefactoren) $K_{ij}$, terwijl lokale niet-unitaire filtering de globale verstrengeling kan veranderen zonder het lokale veld aan te tasten.

Betekenis en Omvang
Het artikel positioneert de constructie als een lokale scheidbaarheids- en afhankelijkheidsdiagnostiek in plaats van een basis-onafhankelijke verstrengelingsmonotoon. De betekenis ligt in:

1. Unificatie: Het verpakt statistische dichtheidsafhankelijkheid en hydrodynamische snelheidskoppeling in één enkel complex veld afgeleid direct van de configuratieruimte-golffunctie.
2. Ruimtelijke Resolutie: Het biedt een puntgewijs instrument om "clusters" van interagerende deeltjes te identificeren via een regionale koppelingsgraaf, waarbij randen bestaan waar slechts $K_{ij} \neq 0$.
3. Identificatie van Mechanismen: Het identificeert expliciet de gemengde Hessiaan van het potentiaal als de generator van verstrengeling in de vroege stadia van de evolutie, waarbij onderscheid wordt gemaakt tussen fase-geïnduceerde en dichtheid-geïnduceerde niet-scheidbaarheid.

De auteur beperkt de reikwijdte expliciet: het veld is representatie-afhankelijk (specifiek voor de positiebasis), vereist knoopvrije segmenten voor definitie, en claimt niet dat het gecontroleerde benaderingsfouten voor kleine niet-nul blokken biedt. Problemen met betrekking tot identieke deeltjes, spin, gemengde toestanden en langetermijndynamica worden opgemerkt als zaken die aparte behandeling vereisen.