title: Permanente (matematica)
text: # Permanente (matematica)
  
  In matematica, il permanente di una matrice quadrata $A$ di ordine $n$, di elementi $a_{ij}$ è definito come
  
      $\operatorname {perm} (A)=\sum _{\sigma \in S_{n}}\prod _{i=1}^{n}a_{i\sigma _{i}},$
  
  dove $\sigma _{i}$ rappresenta una permutazione, ovvero un elemento del gruppo simmetrico $S_{n}$. La definizione ricorda quella molto simile di determinante: ci sono gli stessi addendi, ma con l'unica differenza che nel determinante sono alcuni col segno più e altri col segno meno, nel permanente sono tutti col segno più. Di fatto, come quest'ultimo, il permanente è un caso particolare di immanente, una più generale operazione su matrici di ordine $n$.
  
  Al contrario del determinante, il permanente non ha una semplice interpretazione geometrica. Esso è usato principalmente in combinatoria e nello studio dei bosoni.
  
  ## Proprietà
  
  Considerando il permanente come una funzione i cui argomenti sono $n$ vettori, esso è una applicazione multilineare ed è simmetrica.
  
  Sia $A$ una matrice quadrata di ordine $n$ si ha:
  
  * $\operatorname {perm} (A)$ è invariante rispetto a permutazioni arbitrarie di righe o colonne di $A$;
  * moltiplicando una riga o una colonna di $A$ per uno scalare $\lambda$ anche il permanente viene moltiplicato per $\lambda$;
  * $\operatorname {perm} (A)$ è invariante rispetto alla trasposizione, cioè $\operatorname {perm} (A^{T})=\operatorname {perm} (A)$.
  
  Se $A=(a_{ij})$ e $B=(b_{ij})$ sono matrici quadrate di ordine $n$, allora
  
      $\operatorname {perm} (A+B)=\sum _{I,J}\operatorname {perm} (a_{ij})_{i\in I,j\in J}\operatorname {perm} (b_{ij})_{i\in {\bar {I}},j\in {\bar {J}}},$
  
  dove $I$ e $J$ sono sottoinsiemi di $\{1,2,\ldots ,n\}$ che hanno la stessa cardinalità e ${\bar {I}}$ e ${\bar {J}}$ sono i rispettivi complementari in tale insieme.
  
  D'altra parte la proprietà moltiplicativa del determinante non è soddisfatta dal permanente. Ad esempio:
  
      $4=\operatorname {perm} \left({\begin{matrix}1&1\\1&1\end{matrix}}\right)\operatorname {perm} \left({\begin{matrix}1&1\\1&1\end{matrix}}\right)\neq \operatorname {perm} \left(\left({\begin{matrix}1&1\\1&1\end{matrix}}\right)\left({\begin{matrix}1&1\\1&1\end{matrix}}\right)\right)=\operatorname {perm} \left({\begin{matrix}2&2\\2&2\end{matrix}}\right)=8.$
  
  Per il calcolo del permanente è valida una formula simile allo sviluppo di Laplace del determinante, in cui tutti i segni dei minori sono positivi. Per esempio, sviluppando lungo la prima colonna la seguente matrice si ha
  
      ${\begin{aligned}\operatorname {perm} \left({\begin{matrix}1&1&1&1\\2&1&0&0\\3&0&1&0\\4&0&0&1\end{matrix}}\right)&=1\cdot \operatorname {perm} \left({\begin{matrix}1&0&0\\0&1&0\\0&0&1\end{matrix}}\right)+2\cdot \operatorname {perm} \left({\begin{matrix}1&1&1\\0&1&0\\0&0&1\end{matrix}}\right)+\ 3\cdot \operatorname {perm} \left({\begin{matrix}1&1&1\\1&0&0\\0&0&1\end{matrix}}\right)+4\cdot \operatorname {perm} \left({\begin{matrix}1&1&1\\1&0&0\\0&1&0\end{matrix}}\right)=\\&=1(1)+2(1)+3(1)+4(1)=10,\end{aligned}}$
  
  mentre sviluppando rispetto all'ultima riga si ha
  
      ${\begin{aligned}\operatorname {perm} \left({\begin{matrix}1&1&1&1\\2&1&0&0\\3&0&1&0\\4&0&0&1\end{matrix}}\right)&=4\cdot \operatorname {perm} \left({\begin{matrix}1&1&1\\1&0&0\\0&1&0\end{matrix}}\right)+0\cdot \operatorname {perm} \left({\begin{matrix}1&1&1\\2&0&0\\3&1&0\end{matrix}}\right)+\ 0\cdot \operatorname {perm} \left({\begin{matrix}1&1&1\\2&1&0\\3&0&0\end{matrix}}\right)+1\cdot \operatorname {perm} \left({\begin{matrix}1&1&1\\2&1&0\\3&0&1\end{matrix}}\right)=\\&=4(1)+0+0+1(6)=10.\end{aligned}}$
  
  ## Applicazioni
  
  In meccanica quantistica, in sistemi a molti bosoni, il permanente può essere utilizzato per determinare uno stato completamente simmetrico che descriva una particolare configurazione del sistema, in modo del tutto analogo al determinante di Slater per i sistemi a molti fermioni.
  
  