On the packing dimension of weighted singular matrices on fractals

Technische Samenvatting: Over de Packingsdimensie van Gewogen Singuliere Matrices op Fractals

Probleemstelling
Het artikel behandelt het probleem van het schatten van de packingsdimensie van verzamelingen van gewogen singuliere matrices, specifiek wanneer deze verzamelingen worden gesneden met fractale deelverzamelingen van de ruimte van matrices $M_{m \times n}(\mathbb{R})$.

In de context van Diophantische benadering is een matrix $\theta$ $(a, b)$-singulier als Dirichlets stelling oneindig kan worden verbeterd voor die matrix met betrekking tot gegeven gewichtsvectoren $a$ en $b$. Hoewel de Hausdorff-dimensie van singuliere vectoren uitgebreid is bestudeerd (vooral door Cheung, Chevallier, Kadyrov, Kleinbock, Lindenstrauss en Margulis), blijft de packingsdimensie van deze verzamelingen, met name in gewogen settings en beperkt tot fractals, minder goed begrepen. De auteurs beogen de eerste bekende bovengrenzen te bieden voor de packingsdimensie van:

1. Gewogen singuliere matrices ($Sing(a, b)$).
2. Gewogen $\omega$-singuliere matrices ($Sing(a, b, \omega)$).
3. De doorsnede van deze verzamelingen met fractals gedefinieerd door Iterated Function Systems (IFS).

Methodologie
De auteurs maken gebruik van methoden uit homogene dynamica, met name Dani-correspondentie, die singuliere matrices relateert aan divergente trajectoria in de ruimte van unimodulaire roosters $X_{m+n} = SL_{m+n}(\mathbb{R}) / SL_{m+n}(\mathbb{Z})$.

Het kernkader omvat drie hoofdcomponenten:

1. Dani-correspondentie en Divergentie: De auteurs vertalen de Diophantische eigenschappen van matrices naar dynamische eigenschappen van banen onder diagonale stromen $g_t$. Een matrix is singulier als de corresponderende baan divergeert. Zij beschouwen ook trajectoria die "gemiddeld singulier" zijn en trajectoria die met een specifiek tempo naar oneindig ontsnappen.

2. Hoogtefuncties en de Contractiehypothese: Om de dimensie van de verzameling van divergente trajectoria die een fractal $K$ snijden, te begrenzen, construeren de auteurs een familie van hoogtefuncties $\{f_\tau\}$ op de ruimte van roosters. Deze functies zijn op maat gemaakt om te voldoen aan een "contractiehypothese" met betrekking tot het fractale maat $\mu$.

   • De constructie berust op het vaststellen van een expansie-eigenschap voor representaties van de groep $SL_{m+n}(\mathbb{R})$ die werken op uitwendige machten van de vectorruimte.
   • Zij maken gebruik van integraalongelijkheden (geïnspireerd door werk over de Oppenheim-conjectuur) om te bewijzen dat het fractale maat voldoet aan de contractiehypothese. Dit houdt in dat voor een specifieke rij van exponenten $\eta_l$, het integraal van de hoogtefunctie onder de stroming exponentieel afneemt.

3. Iteratieve Dimensiegrenzen: De auteurs passen de contractiehypothese iteratief toe. Door de maat van verzamelingen te analyseren waar de hoogtefunctie groot blijft (wat divergentie aangeeft), leiden zij bovengrenzen voor de packingsdimensie af. Dit proces vereist het hanteren van ongelijke gewichten ($a_i \neq a_j$ en $b_i \neq b_j$), wat technische moeilijkheden introduceert met betrekking tot ongelijke expansie onder conjugatie. De auteurs lossen dit op door de contractiehypothese niet alleen voor de oorspronkelijke maat te bewijzen, maar ook voor maten die voortkomen uit kleine verstoringen.

Belangrijkste Bijdragen en Resultaten

• Algemene Bovengrenzen: Het artikel stelt bovengrenzen vast voor de packingsdimensie van $Sing(a, b) \cap K$ en $Sing(a, b, \omega) \cap K$, waarbij $K$ een product is van limietverzamelingen van IFS's die voldoen aan de open-setvoorwaarde.

  • De grens wordt gegeven door:
    $$\dim_P(Sing(a, b) \cap K) \le \dim_P(K) - \frac{1}{a_1 + b_1} \left( \min_{1 \le l \le d-1} \eta_l w_l \right)$$
    waarbij $w_l$ kritieke exponenten zijn die zijn afgeleid van de gewichten, en $\eta_l$ constanten zijn die afhankelijk zijn van de fractale geometrie (specifiek gerelateerd aan kritieke exponenten van de maat).

• Expliciete Constanten: De auteurs geven expliciete formules voor de constanten $\eta_l$ in drie specifieke gevallen:

  1. De volledige matrixruimte $K = M_{m \times n}([0, 1])$.
  2. Het geval waarin $n=1$ (rijvectoren).
  3. Het geval waarin $m=1$ (kolomvectoren).
     In deze gevallen worden de constanten uitgedrukt in termen van de dimensies van de fractale componenten.

• Uitbreiding tot Fractals: De resultaten generaliseren eerdere bevindingen over singuliere vectoren op fractals. Hoewel eerdere werken (bijvoorbeeld Khalil) bovengrenzen boden voor de Hausdorff-dimensie op zelfgelijkvormige fractals in $\mathbb{R}^n$ die voldoen aan de open-setvoorwaarde, breidt dit artikel het toepassingsgebied uit tot:

  • Gewogen singuliere matrices.
  • Packingsdimensie (die over het algemeen groter is dan of gelijk is aan de Hausdorff-dimensie).
  • Producten van zelfgelijkvormige fractals in $\mathbb{R}$ met gelijke contractieratio's.
  • Nieuwe voorbeelden, zoals het product van een Cantor-set van het derde deel met een Cantor-set van het vijfde deel.

• Kritieke Exponenten: Het artikel introduceert en analyseert "kritieke exponenten" $\zeta_l(\mu)$ geassocieerd met het fractale maat. Deze exponenten coderen informatie over het gedrag van de maat in de buurt van bepaalde hypersurfaces en zijn cruciaal voor het bepalen van de omvang van de dimensiereductie.

Betekenis en Claims
De auteurs claimen de eerste bekende bovengrenzen te bieden voor de packingsdimensie van gewogen singuliere en gewogen $\omega$-singuliere matrices, zowel in de algemene setting als wanneer deze worden gesneden met fractals.

• Nieuwheid in Ongewogen Settings: Zelfs in het ongewogen geval zijn de resultaten nieuw voor matrices, waardoor het bekende toepassingsgebied van Probleem 6, gesteld door Bugeaud, Cheung en Chevalier, betreffende singuliere paren in de Cantor-set van het derde deel, wordt uitgebreid.
• Generalisatie: De resultaten vergroten de klasse van fractals waarvoor dimensiegrenzen bekend zijn, en gaan verder dan eenvoudige zelfgelijkvormige sets in $\mathbb{R}^n$ naar producten van fractals in $\mathbb{R}$.
• Methodologische Bijdrage: Het artikel benadrukt twee belangrijke bijdragen aan de methodologie:
  1. De constructie van hoogtefuncties die voldoen aan de contractiehypothese voor fractale maten, wat het bewijzen van expansie-eigenschappen voor representaties vereist.
  2. Het hanteren van ongelijke gewichten in het iteratieve contractieproces, wat zorgvuldige analyse van maten onder verstoringen vereiste om de technische moeilijkheden van ongelijke expansie te beheersen.

Het artikel concludeert dat deze grenzen zijn afgeleid uit een meer algemene stelling betreffende de packingsdimensie van punten op de ruimte van unimodulaire roosters waarvan de banen onder diagonale stromen "gemiddeld ontsnappen" of divergeren. De resultaten worden gepresenteerd als bovengrenzen, waarbij wordt erkend dat de packingsdimensie een bovengrens is voor de Hausdorff-dimensie, waardoor nieuwe beperkingen worden geboden op de omvang van deze Diophantische verzamelingen.