Pairwise-comparison-valued cosurfaces: a projective framework for multi-scale relational structures

Technische Samenvatting: Cosurfaces met Waarden in Paarsgewijze Vergelijkingen

Probleemstelling
Het artikel adresseert de fundamentele spanning tussen lokale relationele informatie en globale coherente structuur in de analyse van vergelijkende data. Traditionele benaderingen behandelen matrices van paarsgewijze vergelijkingen vaak als statische numerieke arrays of praktische rangschikkingstools, ervan uitgaande dat globale prioriteiten kunnen worden gereconstrueerd uit lokale relatieve oordelen. Deze perspectief negeert echter vaak de structurele aard van inconsistentie. Wanneer lokale oordelen primair zijn, is globale coherentie niet automatisch; het wordt een probleem van compatibiliteit. Het artikel postuleert dat data van paarsgewijze vergelijkingen niet louter als numerieke waarden moeten worden beschouwd, maar als groepsgebaseerde relationele data die onderhevig zijn aan oriëntatie, inversie en geordende compositie, vergelijkbaar met gauge-theoretische data in de wiskundige natuurkunde. De kernuitdaging is om deze lokale vergelijkingen te organiseren in een multi-schaal kader waar globale objecten uitsluitend ontstaan door compatibiliteit over schalen heen, in plaats van a priori te worden gepostuleerd.

Methodologie
De auteur construeert een rigoureus wiskundig kader dat algebraïsche, geometrische en probabilistische elementen combineert:

1. Algebraïsche Basis ($PC_n(H)$):

   • De coëfficiëntenset van matrices van paarsgewijze vergelijkingen wordt gegeneraliseerd van de multiplicatieve groep $\mathbb{R}^*_+$ naar een willekeurige groep $H$.
   • De set van $n \times n$ reciproque matrices met elementen in $H$ wordt aangeduid als $PC_n(H)$.
   • Een specifieke compositiewet $\star$ wordt gedefinieerd: deze is covariante op boven-driehoekige coëfficiënten ($a_{ij} \star b_{ij} = a_{ij}b_{ij}$ voor $i<j$) en contravariante op onder-driehoekige coëfficiënten (afgeleid via reciprociteit $a_{ji} = a_{ij}^{-1}$). Deze structuur maakt $PC_n(H)$ tot een groep die isomorf is met $H^{n(n-1)/2}$.
   • Inconsistentie wordt algebraïsch gedefinieerd als een "driehoekig defect" $\kappa_{ijk}(A) = a_{ij}a_{jk}a_{ki}$. Een matrix is coherent dan en slechts dan als al deze defecten gelijk zijn aan het eenheidselement $e$.

2. Geometrische Syntaxis (Cosurfaces):

   • Het kader introduceert georiënteerde lijm-systemen $(\Sigma, R)$, waarbij $\Sigma$ een set georiënteerde stukken is uitgerust met een involutie (omkering) en $R$ toelaatbare verfijningen definieert (geordende decomposities).
   • Een $PC_n(H)$-waarde cosurface is een afbeelding $C: \Sigma \to PC_n(H)$ die voldoet aan:
     • Oriëntatieregel: $C(\bar{\sigma}) = C(\sigma)^{-\star}$ (inversie bij omkering).
     • Multiplicativiteit: $C(\sigma) = C(\sigma_1) \star \dots \star C(\sigma_k)$ voor een verfijning $\sigma \leadsto (\sigma_1, \dots, \sigma_k)$.
   • Dit formalisme behandelt vergelijkende data als velden die zijn bevestigd aan georiënteerde geometrische stukken in plaats van aan punten.

3. Multi-schaal Organisatie (Projectieve Limieten):

   • Het artikel beschouwt een gerichte familie van eindige georiënteerde discretisaties geïndexeerd door een set $I$.
   • Voor elke schaal $r$ wordt een eindige configuratieruimte $X_r$ gedefinieerd, bestaande uit toewijzingen van matrices aan georiënteerde stukken die voldoen aan de oriëntatieregel.
   • Grofkorrelige afbeeldingen $\Pi_{s,r}: X_s \to X_r$ worden geïnduceerd door geordende verfijningen, waarbij fijne configuraties worden afgebeeld op grove configuraties via geordende producten.
   • De universele projectieve limiet $X_\infty = \varprojlim X_r$ wordt geconstrueerd. Elementen van $X_\infty$ vertegenwoordigen families van eindige-schaal configuraties die compatibel zijn over alle verfijningen. Globale objecten worden strikt gedefinieerd als deze compatibele families.

4. Stochastische Semantiek:

   • Het kader introduceert een cilindrische waarschijnlijkheid benadering. Een stochastische cosurface wordt gedefinieerd als een projectief compatibele familie van waarschijnlijkheidswetten $(P_r)_{r \in I}$ op de eindige ruimtes $X_r$.
   • Dit definieert een finiet additief maat op de cilinderverzamelingen van $X_\infty$. Een echt waarschijnlijkheidsmaat op $X_\infty$ bestaat als de cilindrische wet uitbreidt (bijvoorbeeld via Kolmogorov-extensiestellingen in eindige gevallen).
   • Inconsistentie-observabelen worden opgeheven naar de limietruimte als cilindrische stochastische variabelen, waarmee de waarschijnlijkheidsverdeling van defecten over schalen wordt gemeten.

Belangrijkste Bijdragen en Resultaten

• Definitie van $PC_n(H)$: Het artikel vestigt $PC_n(H)$ als een groep met een gemengde covariante/contravariante compositiewet, en biedt de algebraïsche doelwit voor georiënteerde lijm-construkties.
• Cosurface Formalisme: Het definieert $PC_n(H)$-waarde cosurfaces, en formaliseert het idee dat vergelijkende data zijn bevestigd aan georiënteerde, decomposeerbare geometrische stukken.
• Projectieve Limiet Constructie: Het construeert de universele ruimte $X_\infty$ van compatibele vergelijkende configuraties, en demonstreert dat globale structuur uitsluitend toegankelijk is via de projectieve coherentie van lokale beschrijvingen.
• Stochastisch Kader: Het ontwikkelt een "cilindrische semantiek" voor stochastische cosurfaces, waarbij randomiteit werkt op relationele labels in plaats van absolute toestanden, en consistentie wordt afgedwongen via projectieve compatibiliteit van marginaalverdelingen.
• Inconsistentie als Kromming: Het driehoekige defect $\kappa_{ijk}$ wordt herinterpreteerd als een observabele van het discrete krommingstype. Het artikel toont aan hoe deze defecten zich voortplanten en transformeren onder grofkorreling, en biedt een structurele visie op inconsistentie als een obstructie voor globale coherentie in plaats van louter een numerieke fout.

Betekenis en Claims
Het artikel claimt een fundamenteel perspectief te bieden op relationele structuren die zijn opgebouwd uit lokale vergelijkingen in plaats van absolute observabelen. De betekenis ligt in drie transversale aspecten:

1. Geometrisch: Het organiseert vergelijkende data met behulp van de syntaxis van oriëntatie, verfijning en lijmen, toepasbaar op triangulaties, cel-decomposities en hypersurfaces zonder een gladde variëteit te vereisen.
2. Algebraïsch: Het behandelt vergelijkingenmatrices als groepsgebaseerde labels, en verenigt de behandeling van reciprociteit en compositie.
3. Probabilistisch: Het biedt een multi-schaal stochastische theorie waarbij globale coherentie een eigenschap is van compatibele families van lokale wetten, en niet een vooraf bestaande toestand.

De auteur benadrukt dat dit kader geen specifieke toepassing is (bijvoorbeeld een nieuw rangschikkingalgoritme), maar een gemeenschappelijke wiskundige laag die ten grondslag ligt aan diverse lokale vergelijkende modellen. Het herformuleert inconsistentie van een te minimaliseren grootheid naar een structurele observabele die obstructies voor globale coherentie meet. Het werk suggereert dat cosurfaces met waarden in paarsgewijze vergelijkingen dienen als een "laboratorium" om na te denken over relationele structuren in een wiskundig gecontroleerde vorm, en concepten uit gauge-theorie, stochastische analyse en decisiontheorie overbrugt zonder een enkele semantische interpretatie op te dwingen.