Il triangolo di Tartaglia nasconde un segreto infinito?

Immagina il triangolo di Tartaglia (o Pascal): una piramide di numeri dove ogni numero è la somma dei due sopra. I matematici lo amano perché appare ovunque, dalla probabilità all'algebra. Ma c'è molto di più sotto la superficie.

Prendi la "matrice di Pascal", una versione infinita e triangolare di questo schema. Se calcoli i determinanti di tutti i possibili quadratini k×k all'interno, ottieni nuovi array numerici chiamati **array determinantal di Pascal (PD_k)**. Per k=1 ritrovi il triangolo classico; per k=2, 3... scopri strutture nuove e misteriose.

Qui arriva la magia. Un'equazione elegante lega questi array tra loro: l'operatore di "log-concavità" (che misura quanto una sequenza è "curva" verso il basso, tipo a² ≥ b×c) applicato a PD_k dà esattamente il prodotto elemento per elemento di PD_{k-1} e PD_{k+1}. In formula: **LC(PD_k) = PD_{k-1} ⊙ PD_{k+1]**.

La dimostrazione usa un trucco classico: l'identità di Desnanot-Jacobi (nota anche come condensazione di Dodgson), un metodo per calcolare determinanti spezzandoli in pezzi più piccoli, applicato in due posizioni adiacenti.

Perché è importante? Perché questa fattorizzazione, unita a una nuova disuguaglianza generale (l'operatore LC è "sottomoltiplicativo" per prodotti di Hadamard), prova che **ogni riga di ogni PD_k è infinitamente log-concava**. Significa che puoi applicare l'operatore LC all'infinito e i numeri restano sempre positivi. Estende un teorema celebre (McNamara-Sagan) dal semplice triangolo a tutta la gerarchia determinantal.

Risultato bonus: la sequenza dei determinanti per k crescente è log-convessa. La matematica, a volte, è più bella di un frattale.

L'articolo (arXiv:2512.06414v1) studia gli array determinantal di Pascal $\PD_k$, definiti come i minori $k \times k$ della matrice di Pascal inferiore-triangolare $P = (\binom{a}{b})_{a,b \ge 0}$. Il risultato centrale è una fattorizzazione esatta dell'operatore di log-concavità riga per riga:
\[
\LC(\PD_k) = \PD_{k-1} \Had \PD_{k+1},
\]
dove $\LC(a)_j = a_j^2 - a_{j-1}a_{j+1}$ e $\Had$ è il prodotto di Hadamard (elemento per elemento).

La dimostrazione si basa su una manipolazione elementare dell'identità di Desnanot-Jacobi (condensazione di Dodgson) applicata in due posizioni adiacenti della matrice. Questa identità classica lega il determinante di una matrice a quelli dei suoi sottomatrici.

Viene poi dimostrata una disuguaglianza generale: per array log-concavi $A$ e $X$, l'operatore $\LC$ è sottomoltiplicativo rispetto al prodotto di Hadamard:
\[
\LC(A \Had X) \ge \LC(A) \Had \LC(X).
\]
Combinando la fattorizzazione con questa disuguaglianza, si ottiene una prova algebrica uniforme che **ogni riga di ogni array $\PD_k$ ($k \ge 1$) è infinitamente log-concava**. Ciò estende il teorema di McNamara e Sagan (che valeva per $\PD_1$, il triangolo di Pascal) all'intera gerarchia determinantal.

Tra le applicazioni: la log-convessità della sequenza $\{\PD_k(i,j)\}_{k \ge 0}$ nell'ordine determinantale $k$ e una famiglia di disuguaglianze di Hadamard determinantal.