Biquadratic SOS Rank and Double Zarankiewicz Number

Questo articolo introduce il numero di Zarankiewicz doppio $z_2(m,n)$, basato su grafi bipartiti contenenti sia archi semplici che doppi, per stabilire nuovi limiti inferiori per il rango massimo di somma di quadrati delle forme biquadratiche, risolvendo il caso $4\times3$e migliorando i limiti noti per i casi$4\times4$e$5\times3$.

L'essenziale

🧩 Il Puzzle Matematico: Quando "Due" vale più di "Uno"

Immagina di avere un enorme puzzle quadrato (una griglia) con delle caselle vuote. Il tuo obiettivo è riempire quante più caselle possibile con dei pezzi speciali, ma c'è una regola ferrea: non puoi mai formare un quadrato perfetto di 4 pezzi. Se metti quattro pezzi agli angoli di un quadrato, il puzzle "esplode" (in termini matematici, si crea un "ciclo C4", che è vietato).

Questo è il problema classico di Zarankiewicz: "Qual è il numero massimo di pezzi che posso mettere in una griglia senza creare quel quadrato proibito?"

🚀 L'Innovazione: I "Doppi Pezzi"

Fino a poco tempo fa, pensavamo che il modo migliore per riempire la griglia fosse usare solo pezzi singoli (chiamati "1-edge"). Ma gli autori di questo studio (Qi, Cui e Xu) hanno scoperto un trucco geniale.

Hanno introdotto un nuovo tipo di pezzo: il "Doppio Pezzo" (o "2-edge").
Immagina che un "Doppio Pezzo" non sia un singolo tassello, ma un tassello doppio che occupa due caselle contemporaneamente, ma in modo speciale: è come se fosse un'onda che collega due punti distanti della griglia. Matematicamente, questo corrisponde a un quadrato di una somma (es. $(A+B)^2$), che è diverso dal semplice quadrato di un singolo numero ($A^2$).

La domanda diventa: Se usiamo anche questi "Doppi Pezzi", riusciamo a riempire più caselle della griglia senza creare il quadrato proibito?

🔍 La Scoperta: Il "Numero Zarankiewicz Doppio"

Gli autori hanno scoperto che SÌ, si può fare di più.
Hanno definito un nuovo numero, chiamato $z_2(m, n)$ (il numero Zarankiewicz doppio), che rappresenta il massimo numero di pezzi (singoli + doppi) che si possono mettere nella griglia.

Ecco cosa hanno trovato per alcune griglie piccole:

• Griglia 4x3: Con i pezzi normali, il record era 7. Con l'aggiunta dei "Doppi Pezzi", il record sale a 8.
  • Metafora: È come se in una stanza di 4x3 metri, prima potessi mettere solo 7 sedie senza che si tocchino in modo "pericoloso". Con i nuovi "divani a due posti" (i doppi pezzi), riesci a metterne 8, sfruttando meglio lo spazio.
• Griglia 5x3: Il vecchio record era 8, il nuovo è 9.
• Griglia 4x4: Il vecchio record era 9. Ora sappiamo che possiamo arrivare almeno a 10, ma forse si può arrivare a 11. Non sono ancora sicuri del numero esatto, è un mistero irrisolto!

🎨 Perché è importante? (Il legame con la Matematica Reale)

Perché ci preoccupiamo di questi puzzle? Perché questi numeri sono direttamente collegati a un problema molto serio in matematica e ingegneria: quanto è "complicato" un certo tipo di funzione?

Immagina che ogni funzione matematica sia un disegno.

• Il "SOS Rank" (Rank della somma di quadrati) è come dire: "Quante pennellate di base mi servono per ricreare questo disegno?"
• Più alto è il numero, più il disegno è complesso e difficile da analizzare.

Gli autori hanno dimostrato che:

Il numero di pezzi che riesci a mettere nel tuo puzzle (il nuovo $z_2$) è esattamente il numero minimo di pennellate necessarie per disegnare la funzione più complessa possibile.

Quindi, scoprendo che si possono mettere più pezzi nel puzzle (grazie ai "Doppi Pezzi"), hanno scoperto che esistono funzioni matematiche più complesse di quanto pensassimo prima. Hanno alzato il limite della complessità.

🏁 In Sintesi

1. Il Problema: Come riempire una griglia senza fare quadrati perfetti?
2. La Soluzione Vecchia: Usa solo pezzi singoli.
3. La Soluzione Nuova: Usa anche "pezzi doppi" che collegano due punti.
4. Il Risultato: Con i pezzi doppi, riesci a riempire più caselle (es. da 7 a 8 nella griglia 4x3).
5. L'Impatto: Questo significa che ci sono forme matematiche più "ricche" e complesse di quanto credessimo, e questo cambia il modo in cui possiamo calcolare e ottimizzare cose nel mondo reale (dall'intelligenza artificiale all'ingegneria).

Il paper si conclude con una sfida aperta: Riusciremo a trovare la configurazione perfetta per la griglia 4x4 (10 o 11 pezzi)? È come cercare il pezzo mancante di un puzzle gigante che potrebbe svelare nuovi segreti della matematica.

Sommario tecnico

Ecco una sintesi tecnica dettagliata del paper "Biquadratic SOS Rank and Double Zarankiewicz Number" in italiano.

Titolo: Rango SOS Biquadratico e Numero di Zarankiewicz Doppio

Autori: Liqun Qi, Chunfeng Cui, Yi Xu
Data: 6 marzo 2026

---

1. Il Problema

Il lavoro si concentra sulla determinazione del rango massimo di somma di quadrati (SOS), denotato come $BSR(m, n)$, per le forme biquadratiche $m \times n$. Una forma biquadratica $P(x, y)$ è detta SOS se può essere espressa come somma finita di quadrati di forme bilineari. Il rango SOS è il numero minimo di tali quadrati necessari.

Recentemente, è stato dimostrato che $BSR(m, n)$ è limitato inferiormente dal classico numero di Zarankiewicz $z(m, n)$, che rappresenta il numero massimo di spigoli in un grafo bipartito $m \times n$ privo di cicli $C_4$ (sottografi completi $K_{2,2}$).
Tuttavia, è stato scoperto un divario significativo nel caso $4 \times 3$:
$$BSR(4, 3) \ge 8 > z(4, 3) = 7$$
Questo divario nasce dalla costruzione di una forma biquadratica che aggiunge il quadrato di una forma bilineare a due termini (es. $(x_4y_2 + x_1y_3)^2$) a una forma semplice priva di $C_4$. Il problema centrale è capire come interpretare combinatoriamente questo "quadrato di una somma" e generalizzare il limite inferiore per $BSR(m, n)$ oltre il classico $z(m, n)$.

2. Metodologia

Gli autori introducono un nuovo concetto combinatorio per catturare le strutture che generano ranghi SOS più elevati:

• Grafi Bipartiti Generalizzati: Viene definito un nuovo tipo di grafo bipartito $G = (S, T, E)$ che contiene due tipi di spigoli:
  • Spigoli 1-edge ($E_1$): Spigoli ordinari della forma $(i, j)$, corrispondenti a termini monomiali $x_i^2 y_j^2$.
  • Spigoli 2-edge ($E_2$): Spigoli "doppi" della forma $(i, j; k, l)$, che corrispondono al quadrato di una forma bilineare a due termini $(x_i y_j + x_k y_l)^2$.
• Forma Biquadratica Doppia Semplice: A ogni grafo $G$ viene associata una forma biquadratica:
  $$P_G(x, y) = \sum_{(i,j) \in E_1} x_i^2 y_j^2 + \sum_{(i,j;k,l) \in E_2} (x_i y_j + x_k y_l)^2$$
• Ciclo $C_4$ Generalizzato: Viene ridefinita la condizione di assenza di cicli $C_4$ per includere gli spigoli 2-edge. Un grafo contiene un ciclo $C_4$ generalizzato se:
  1. In un sottografo $2 \times 2$(due righe e due colonne), il numero totale di "spigoli ordinari" (contando ogni 1-edge come 1 e ogni 2-edge come 2, se entrambi i suoi componenti sono nel blocco) è$\ge 4$.
  2. Esiste una combinazione lineare non banale dei vettori di base associati agli spigoli all'interno di un blocco $2 \times 2$ che si annulla (condizione di dipendenza lineare).
• Numero di Zarankiewicz Doppio ($z_2(m, n)$): È definito come il massimo numero totale di spigoli ($|E_1| + |E_2|$) in un grafo bipartito $m \times n$ che non contiene cicli $C_4$ generalizzati.

3. Contributi Chiave

1. Dimostrazione del Legame SOS-Grado: Viene provato il teorema fondamentale (Teorema 2.4) che stabilisce:
   $$BSR(m, n) \ge z_2(m, n)$$
   Se un grafo $G$ non contiene cicli $C_4$ generalizzati, allora la forma associata $P_G$ è irriducibile e il suo rango SOS è esattamente $|E_1| + |E_2|$.
2. Superamento del Limite Classico: Il nuovo parametro $z_2(m, n)$ cattura fenomeni come il caso $4 \times 3$, dove l'aggiunta di un "spigolo doppio" permette di superare il limite dato dal numero di Zarankiewicz classico$z(m, n)$.
3. Calcolo Esatto per Parametri Piccoli: Gli autori determinano i valori esatti di $z_2(m, n)$ per diverse configurazioni, migliorando i limiti inferiori noti per $BSR(m, n)$.

4. Risultati Principali

I valori esatti e i limiti stabiliti per il numero di Zarankiewicz doppio sono:

• Casi Triviali e Simmetrici:
  • $z_2(m, 2) = m + 1$
  • $z_2(2, n) = n + 1$
  • $z_2(3, 3) = 6$ (coincide con $z(3,3)$)
• Caso $4 \times 3$:
  • $z_2(4, 3) = 8$ (migliora $z(4, 3) = 7$).
  • Costruzione: 7 spigoli 1-edge + 1 spigolo 2-edge.
• Caso $5 \times 3$:
  • $z_2(5, 3) = 9$ (migliora $z(5, 3) = 8$).
  • Costruzione: 8 spigoli 1-edge + 1 spigolo 2-edge.
• Caso $4 \times 4$:
  • Vengono stabiliti i limiti: $10 \le z_2(4, 4) \le 11$.
  • Viene presentata una costruzione con 10 spigoli (8 1-edge e 2 2-edge) che soddisfa le condizioni, migliorando il limite inferiore classico $z(4, 4) = 9$.
  • Il valore esatto rimane un problema aperto; gli autori ipotizzano che sia 10.

5. Significato e Implicazioni

• Teoria dei Grafi Estremale: Il lavoro estende il classico problema di Zarankiewicz introducendo una nuova classe di grafi con spigoli "doppi", creando un ponte tra la teoria dei grafi e l'algebra lineare.
• Rappresentazioni SOS: Fornisce nuovi limiti inferiori rigorosi per il rango SOS delle forme biquadratiche, dimostrando che la struttura delle forme irriducibili è più ricca di quanto previsto dalle sole forme monomiali (spigoli 1-edge).
• Prospettive Future: Il paper solleva questioni aperte importanti, tra cui la determinazione esatta di $z_2(4, 4)$, il comportamento asintotico di $z_2(m, n)$ per $m, n$ grandi, e lo sviluppo di algoritmi efficienti per verificare la condizione di assenza di cicli generalizzati tramite algebra lineare.

In sintesi, questo studio dimostra che l'introduzione di termini di "quadrato di somma" (rappresentati come spigoli doppi) permette di costruire forme biquadratiche con ranghi SOS superiori, ridefinendo i limiti fondamentali in questo campo attraverso una nuova invariant combinatoria.