Counterexamples to the total-current Hohenberg-Kohn conjecture

In de microscopische wereld van atomen en moleculen vertrouwen wetenschappers op een krachtige afkorting om te begrijpen hoe materie zich gedraagt. In plaats van de hectische beweging van elke individuele elektron in een systeem te volgen — een taak die snel onmogelijk wordt naarmate het aantal deeltjes groeit — richten zij zich op de elektrondichtheid. Dit is simpelweg een kaart die laat zien waar de elektronen op elk gegeven moment het meest waarschijnlijk te vinden zijn. Een beroemde regel uit de jaren 1960, bekend als de Hohenberg-Kohn-stelling, stelde vast dat voor de meeste systemen deze dichtheidskaart voldoende is om de krachten die op de elektronen inwerken uniek te bepalen. Als je weet waar de elektronen zich bevinden, kun je in principe achteruitwerken om de elektrische velden en andere krachten te vinden die die specifieke ordening hebben gecreëerd. Dit idee vormt het fundament van de moderne computationele chemie, waardoor onderzoekers complexe materialen kunnen simuleren zonder de onmogelijke vergelijkingen voor elk individueel deeltje op te lossen.

Echter, wanneer magnetische velden in beeld komen, worden de regels ingewikkelder. Een magnetisch veld duwt niet alleen elektronen, maar laat ze ook tollen, wat een fysieke stroming of stroom creëert. Wetenschappers vroegen zich af of een combinatie van de elektrondichtheid en deze totale stroom van elektronen voldoende zou zijn om de aanwezige magnetische en elektrische krachten uniek te identificeren, net zoals de dichtheid alleen dat doet voor niet-magnetische systemen. Dit idee, bekend als de total-current Hohenberg-Kohn-conjectuur, suggereerde dat als twee verschillende systemen exact dezelfde kaart van elektronlocaties en exact hetzelfde patroon van elektronstroom produceren, ze door dezelfde onderliggende krachten worden beheerst, tot een eenvoudige verschuiving in perspectief. Het was een hoopvolle aanname die beloofde de kracht van dichtheid-gebaseerde afkortingen uit te breiden naar het domein van het magnetisme.

Een team van onderzoekers heeft nu aangetoond dat dit gehoopte scenario niet opgaat voor systemen met twee elektronen. Door drie specifieke, wiskundig rigoureuze voorbeelden te construeren, hebben zij aangetoetoond dat het mogelijk is om twee volkomen verschillende magnetische omgevingen te creëren die identieke elektrondichtheden en identieke nul-stroomstromen produceren. In deze scenario's bevinden de elektronen zich op exact dezelfde plekken en bewegen ze niet op een manier die een netto stroom creëert, terwijl de magnetische velden die hen daar houden fundamenteel verschillend zijn en niet naar elkaar getransformeerd kunnen worden. Deze ontdekking bewijst dat voor systemen met twee elektronen, het kennen van de dichtheid en de totale stroom niet voldoende is om de magnetische krachten uniek te bepalen. De onderzoekers hebben niet slechts gesuggereerd dat dit zou kunnen gebeuren; zij hebben concrete, bewezen tegenvoorbeelden geleverd waar de logica van de conjectuur breekt, wat dwingt tot een herwaardering van hoe magnetische systemen in de theoretische chemie worden gemodelleerd.

De onderzoekers bouwden hun argument op een slimme observatie over hoe kwantumsystemen zich gedragen wanneer de tijd wordt omgekeerd. In de kwantumwereld, als je een stabiele toestand van een elektronensysteem neemt en de richting van de tijd omdraait, eindigen de elektronen op exact dezelfde locaties, maar de richting van hun stroom keert om. Als een systeem toevallig een toestand heeft waarin de elektronen helemaal niet stromen — waarbij de totale stroom nul is — dan verandert het omkeren van de tijd niets aan de stroom, want nul omgekeerd is nog steeds nul. Echter, het omkeren van de tijd draait ook de richting van het magnetische veld om. Dit betekent dat een systeem met een magnetisch veld dat de ene kant op wijst en een systeem met hetzelfde veld dat de andere kant op wijst, beide een toestand met nul stroom en dezelfde elektrondichtheid kunnen produceren. Als de onderzoekers konden bewijzen dat deze nul-stroomtoestand de meest stabiele, of grondtoestand, van het systeem is, dan zouden ze twee verschillende magnetische opstellingen hebben die identiek lijken vanuit het perspectief van dichtheid en stroom.

Om dit werkend te krijgen, moesten het team een moeilijke puzzel oplossen: het vinden van een magnetisch veld waarbij de elektronen van nature in een toestand met nul netto stroom terechtkomen, zelfs als het veld zelf sterk en kolkend is. In hun eerste voorbeeld ontwierpen zij een vloeiend, niet-uniform magnetisch veld en toonden zij aan dat twee specifieke elektronenbanen elkaar perfect kunnen opheffen. De ene elektronenbaan droeg een stroom in de ene richting, terwijl de andere elektronenbaan een gelijke stroom in de tegenovergestelde richting droeg. Wanneer gecombineerd, heft deze stroom punt voor punt elkaar op, waardoor de totale stroom nul is, terwijl het magnetische veld actief en niet-nul blijft. Zij bewezen wiskundig dat deze specifieke ordening inderdaad de meest stabiele toestand was die het systeem kon bereiken. Omdat de toestand uniek en stabiel was, waren het systeem met het veld dat de ene kant op wees en het systeem met het veld dat de andere kant op wees, beide geldige, stabiele grondtoestanden met identieke dichtheden en nul stromen, terwijl ze door verschillende magnetische krachten werden beheerst.

De onderzoekers breidden deze bevinding vervolgens uit naar meer realistische omstandigheden. In een tweede voorbeeld toonden zij aan dat dit fenomeen optreedt zelfs wanneer de krachten die de elektronen vasthouden vloeiend en begrensd zijn, passend binnen de standaard wiskundige categorieën die door natuurkundigen worden gebruikt. Zij construeerden een scenario waarin het bestaan van een dergelijke toestand gegarandeerd werd door het continue karakter van de betrokken wiskundige functies, wat ervoor zorgde dat het resultaat geen toevalstreffer was van een specifieke, vreemde opstelling, maar een robuust kenmerk van de theorie. Tot slot pakten zij de meest uitdagende casus aan: een systeem waarbij de twee elektronen elkaar afstoten, zoals ze van nature doen, terwijl ze zich in een magnetisch veld bevinden dat wordt gegenereerd door een theoretisch object genaamd een Dirac-monopol. Dit magnetische veld is uniek omdat het naar buiten straalt vanaf een enkel punt, vergelijkbaar met een magnetische versie van een elektrische lading; een configuratie die niet als één enkel vloeiend magnetisch veld overal in de ruimte kan worden beschreven. Zelfs met deze complexe interactie en de afstoting tussen elektronen, bewezen zij dat er een unieke, stabiele grondtoestand met nul stroom bestaat.

De implicaties van deze bevindingen zijn aanzienlijk voor de manier waarop wetenschappers magnetische materialen modelleren. De total-current Hohenberg-Kohn-conjectuur was een voorgestelde fundering voor een methode genaamd current-density functional theory, die tot doel heeft de berekening van magnetische eigenschappen te vereenvoudigen. De nieuwe resultaten tonen aan dat deze fundering wankel is voor systemen met meer dan één elektron. Als twee verschillende magnetische opstellingen dezelfde dichtheid en stroom kunnen produceren, dan staat een computerprogramma dat probeert de magnetische krachten terug te ontwerpen vanuit die gegevens voor een fundamentele ambiguïteit. Het zou niet in staat zijn om te bepalen welk van de twee verschillende magnetische velden het juiste was. Dit betekent niet dat de methode nutteloos is, maar het betekent wel dat de eenvoudige regel van "één dichtheid en stroom gelijk aan één set krachten" onjuist is. De onderzoekers hebben aangetoond dat de relatie tussen het observeerbare gedrag van elektronen en de onzichtbare krachten die op hen inwerken complexer is dan voorheen gedacht, wat een verborgen laag van ambiguïteit in de kwantumwereld onthult die in toekomstige theorieën moet worden meegenomen.