🔢 mathematics

Finiteness of Hadamard ranks

Deze paper classificeert de projectieve variëteiten waarvoor de Hadamard-rang eindig is, bewijst scherpe bovengrenzen voor deze rang en toont de eindigheid aan voor diverse tensorvariëteiten zoals Grassmannians en Chow-variëteiten.

Oorspronkelijke auteurs: Dario Antolini, Edoardo Ballico, Alessandro Oneto

Gepubliceerd 2026-04-01

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Dario Antolini, Edoardo Ballico, Alessandro Oneto

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

De "Hadamard-Rang": Een Reis door de Wiskundige Wereld van Vermenigvuldiging

Stel je voor dat je een gigantische puzzel hebt. In de wiskunde proberen we vaak complexe vormen (variëteiten) te begrijpen door ze op te breken in kleinere, eenvoudigere stukjes. Normaal gesproken doen we dit door stukjes bij elkaar op te tellen (zoals in de klassieke lineaire algebra). Maar in dit artikel kijken de auteurs naar een heel andere manier: vermenigvuldigen.

Hier is een eenvoudige uitleg van wat deze paper doet, vertaald naar alledaagse taal met een paar creatieve metaforen.

1. Het Basisidee: De "Hadamard-Product"

Stel je hebt twee rijen met nummers, bijvoorbeeld:

Persoon A: (2, 3, 4)
Persoon B: (5, 6, 7)

In de gewone wiskunde zou je ze optellen. Maar hier doen we een Hadamard-product. Dat betekent dat we de nummers op dezelfde plek met elkaar vermenigvuldigen:

Resultaat: (2×5, 3×6, 4×7) = (10, 18, 28).

De auteurs kijken naar een verzameling van speciale vormen (noem het een "club" genaamd X). De vraag is: Hoeveel leden van deze club heb je nodig om een willekeurig ander punt in de wereld te "vermenigvuldigen" tot dat punt?

Dit aantal heet de Hadamard-rang.

Als je 3 leden nodig hebt, is de rang 3.
Als het onmogelijk is, is de rang oneindig (∞).

2. Het Grote Probleem: Oneindige Rang

In het verleden wisten wiskundigen al dat voor sommige clubs (zoals bepaalde "torische variëteiten") de rang vaak oneindig is.

Metafoor: Stel je hebt een club die alleen mensen accepteert die een rode pet dragen. Als je probeert iemand met een blauwe pet te maken door rode petten te vermenigvuldigen, lukt dat nooit. Je blijft altijd in de wereld van rode petten hangen. Je kunt de blauwe pet nooit bereiken, dus de rang is oneindig.

De auteurs vroegen zich af: Voor welke clubs is het altijd mogelijk om elk punt te bereiken? Oftewel: voor welke clubs is de rang altijd eindig?

3. Het Grote Ontdekking (Theorema A): De "Sterk Beknopte" Club

De auteurs hebben een simpele regel gevonden om dit te bepalen. Ze noemen een club "sterk beknopt" (strongly concise).

De Regel: Een club is goed als je, waar je ook kijkt in de ruimte, altijd iemand in de club kunt vinden die op die specifieke plek een "nul" heeft, maar elders niet.
De Metafoor: Stel je hebt een ruimte met 100 vakken. Als je in vak 1 een nul wilt, moet er iemand in de club zijn die een nul in vak 1 heeft, maar geen nul in de andere 99 vakken.
Als een club dit doet, dan kun je elk punt in de ruimte maken door leden van die club te vermenigvuldigen. De rang is altijd eindig.
Als de club dit niet doet (bijvoorbeeld: als iemand een nul in vak 1 heeft, heeft die persoon altijd ook een nul in vak 2), dan kun je bepaalde punten nooit maken. De rang is dan oneindig.

4. Toepassing: Tensors en Data

Waarom is dit belangrijk? Omdat dit helpt bij het begrijpen van tensors (complexe datastructuren die gebruikt worden in kunstmatige intelligentie en statistiek).

De paper toont aan dat voor belangrijke soorten datastructuren, zoals:

Grassmannians (geometrische vormen die lijnen en vlakken beschrijven),
Chow-variëteiten (verwante aan polynomen),
Variëteiten van reduceerbare vormen (polynomen die uit factoren bestaan),

...deze "sterk beknopte" eigenschap geldt.
Conclusie: Je kunt elke willekeurige tensor (data) opschrijven als een vermenigvuldiging van een eindig aantal eenvoudige tensors uit deze groepen. Dit is een enorme stap voorwaarts voor het begrijpen van hoe we complexe data kunnen ontleden.

5. De "Grens" (Border Rank) en de Uitzonderingen

Soms is het lastig. Stel je hebt een punt dat je niet direct kunt maken, maar je kunt er wel heel dichtbij komen door de leden van de club te "schuiven".

De Metafoor: Je kunt een doel niet raken met een pijl, maar als je de boog iets aanpast, kun je er wel heel dichtbij komen. In de wiskunde noemen we dit de border rank (grensrang).
De auteurs laten zien dat voor bepaalde krommen (lijnen) die geen "te veel nullen" bevatten, de echte rang en de grensrang hetzelfde zijn. Maar als de lijn te veel nullen bevat, kan er een gat ontstaan tussen wat je direct kunt maken en wat je bijna kunt maken.

6. De Maximale Rang: Hoeveel is "Te Veel"?

Tot slot geven ze een bovengrens. Als de club goed is (sterk beknopt) en niet te groot is, dan heb je nooit meer dan N leden nodig (waarbij N het aantal dimensies van de ruimte is).

Voorbeeld: In een 3D-ruimte heb je nooit meer dan 3 leden nodig om elk punt te maken.
Dit is een "scherpe" grens: er zijn gevallen waar je precies N nodig hebt, dus je kunt niet doen alsof je er met minder toe komt.

Samenvatting in één zin

Deze paper zegt: "Als je een verzameling vormen hebt die op een specifieke manier 'verspreid' is (geen te veel nullen op dezelfde plekken), dan kun je elke willekeurige vorm in de ruimte maken door een eindig aantal van die vormen met elkaar te vermenigvuldigen."

Dit helpt wetenschappers om complexe datastructuren beter te begrijpen en te ontleden, wat essentieel is voor de toekomst van datawetenschap en machine learning.

Titel: Finiteness of Hadamard Ranks (Eindigheid van Hadamard-rangen)

Auteurs: Dario Antolini, Edoardo Ballico, Alessandro Oneto
Vakgebied: Algebraïsche meetkunde, Tensorontbindingen

1. Probleemstelling en Context

Het artikel onderzoekt het concept van de Hadamard-rang van een punt ten opzichte van een projectieve variëteit $X$ . De Hadamard-productie (coördinaatgewijze vermenigvuldiging) is een fundamenteel concept in de algebraïsche meetkunde, met toepassingen in statistische modellen (zoals Restricted Boltzmann Machines) en tensorontbindingen.

Definitie: De Hadamard- $X$ -rang van een punt $q \in \mathbb{P}^N$ is het minimale aantal punten $p_1, \dots, p_m \in X$ zodanig dat $q = p_1 \star \dots \star p_m$ , waarbij $\star$ de coördinaatgewijze vermenigvuldiging aanduidt. Als een dergelijke ontbinding niet bestaat, is de rang oneindig.
De Kernvraag: Voor welke projectieve variëteiten $X \subset \mathbb{P}^N$ is de Hadamard-rang eindig voor elk punt in de omringende ruimte $\mathbb{P}^N$ ?
Achtergrond: Eerdere resultaten (bijv. in [AMO25]) hadden zich gericht op torische variëteiten en hun secantvariëteiten. Voor torische variëteiten is de rang echter oneindig voor punten buiten de variëteit zelf. Voor secantvariëteiten van torische variëteiten (zoals Segre-Veronese) is de rang wel eindig. De auteurs willen deze resultaten uitbreiden naar andere belangrijke variëteiten die niet torisch zijn, zoals Grassmannians, Chow-variëteiten en variëteiten van reduceerbare vormen.

2. Methodologie

De auteurs combineren algebraïsche meetkunde, de theorie van Hadamard-producten van variëteiten en de studie van de topologische eigenschappen van rangfuncties.

Hadamard-machten: Ze definiëren iteratief de Hadamard-machten $X^{\star s}$ van een variëteit $X$ . De verzameling van punten met rang $\leq m$ is de unie $\bigcup_{i=1}^m X^{\star i}$ .
Algebraïsche Obstructies: Ze analyseren de voorwaarden waaronder de generieke rang eindig is (geen bevatten in coördinaathypervlakken of binomiale hypersurfaces) en onderzoeken waarom dit niet voldoende is voor de eindigheid van de rang voor alle punten.
Geometrische Analyse: Ze introduceren het concept van "sterke beknoptheid" (strong conciseness) en analyseren de doorsnede van variëteiten met coördinaathypervlakken ( $H_i = \{x_i=0\}$ ).
Semi-continuïteit: Ze bestuderen de ondergrens-continuïteit (lower semi-continuity) van de Hadamard-rang, wat essentieel is om de relatie tussen de gewone rang en de "border rank" (grensrang) te begrijpen.

3. Belangrijkste Resultaten en Bijdragen

A. Classificatie van Variëteiten met Eindige Rang (Stelling A)

De belangrijkste theoretische bijdrage is een volledige classificatie van irreducibele variëteiten waarvoor de Hadamard-rang eindig is voor elk punt.

Definitie (Sterk Beknopt): Een variëteit $X$ $X$ heet sterk beknopt (strongly concise) als voor elke coördinaat $i$ $i$ , de doorsnede $X \cap H_i$ $X \cap H_{i}$ niet bevat is in de unie van de andere coördinaathypervlakken $\bigcup_{j \neq i} H_j$ $⋃_{j \neq = i} H_{j}$ .
- Algebraïsch betekent dit dat het verdwijnend ideaal van $X$ geen polynoom bevat van de vorm $x_i F + x^\alpha$ , waarbij $x^\alpha$ een monoom is dat $x_i$ niet bevat.
Stelling A: De Hadamard- $X$ $X$ -rang is eindig voor elk punt in $\mathbb{P}^N$ $P^{N}$ dan en slechts dan als $X$ $X$ sterk beknopt is.
- Dit lost het probleem op voor niet-torische variëteiten.

B. Toepassingen op Tensorvariëteiten (Section 3.1)

De auteurs passen Stelling A toe op belangrijke families van variëteiten die relevant zijn voor tensorontbindingen. Ze bewijzen dat de volgende variëteiten (en hun secantvariëteiten) sterk beknopt zijn, en dus een eindige Hadamard-rang hebben voor elk punt:

Grassmannians $G(k, n)$ in hun Plücker-embeddings.
Tangentiële variëteiten aan Veronese-variëteiten ( $\tau_{d,n}$ ).
Chow-variëteiten (variëteiten van producten van lineaire vormen).
Variëteiten van reduceerbare vormen.

Dit impliceert dat elke tensor (of homogene polynoom) in deze context kan worden geschreven als een coördinaatgewijze product van een eindig aantal elementen uit deze variëteiten.

C. Scherpheid van de Rang en Grenswaarden (Stelling B)

Naast de eindigheid, onderzoeken de auteurs de bovengrens van de maximale rang.

Stelling B: Laat $X \subset \mathbb{P}^N$ een irreducibele variëteit zijn van dimensie $n \leq N/2$ zodanig dat $X \cap \Delta_{N-n-1} = \emptyset$ (waar $\Delta_k$ de variëteit is van punten met ten minste $N-k$ nul-coördinaten). Dan geldt voor elk punt $p \in \mathbb{P}^N$ :
$\text{Hrk}_X(p) \leq N$
Bewijsstrategie: Ze reduceren het probleem tot het geval van krommen (curves) via een generieke doorsnede met een lineaire ruimte (Bertini's theorema). Ze bewijzen dat voor krommen zonder punten met twee of meer nul-coördinaten, de rang ondergrens-continu is en begrensd door $N$ .
Scherpheid: Voorbeeld 4.9 toont aan dat deze bovengrens $N$ scherp is; er bestaan punten (zoals coördinaatpunten) die exact rang $N$ vereisen.

D. Border Hadamard-rang

De auteurs introduceren de border Hadamard-rang (grensrang), gedefinieerd als het minimale $m$ zodanig dat $p$ in de Zariski-sluiting van $X^{\star m}$ ligt.

Ze tonen aan dat voor variëteiten die geen punten met "te veel" nul-coördinaten bevatten, de gewone rang en de grensrang samenvallen in het regime van lage rang.
Ze illustreren met een tegenvoorbeeld (een kegelsnede in $\mathbb{P}^2$ met een coördinaatpunt) dat zonder deze voorwaarden de rang niet ondergrens-continu is, wat de noodzaak van de nieuwe definitie en voorwaarden onderstreept.

4. Significatie en Impact

Unificatie: Het werk biedt een unificerend raamwerk voor de studie van Hadamard-ontbindingen, dat verder gaat dan de eerder bekende resultaten voor torische variëteiten.
Nieuwe Researchrichting: Het legitimeert en ondersteunt het onderzoek naar Hadamard-rangen voor een breder scala aan algebraïsche variëteiten, met name die welke van belang zijn voor de tensoranalyse (Grassmannians, Chow).
Praktische Implicaties: De resultaten garanderen dat voor veel belangrijke structuren in de lineaire algebra en statistiek, een coördinaatgewijze decompositie altijd bestaat (eindige rang), wat fundamenteel is voor algoritmen en theoretische analyses in deze domeinen.
Technische Innovatie: De introductie van "sterke beknoptheid" als de cruciale algebraïsche voorwaarde voor universele eindigheid, en de koppeling daarvan aan de geometrie van coördinaathypervlakken, vormt een belangrijke bijdrage aan de theorie van algebraïsche rangen.

Kortom, dit artikel sluit een belangrijke theoretische lacune op door precies te karakteriseren wanneer Hadamard-rangen eindig zijn en levert scherpe bovengrenzen voor deze rangen in specifieke geometrische situaties.