Haarpy 1.0.0
symbolic calculation of Weingarten functions
License: Apache License 2.0

<p align="center">
  <img src="haarpy.svg">
</p>

Haarpy is a Python library for the symbolic calculation of Weingarten functions and related averages of unitary matrices $U(d)$ sampled uniformly at random from the Haar measure.


## Haarpy in action
The main functions of Haarpy are *weingarten_class* and *weingarten_element* allowing for the calculation of Weingarten functions. These functions vary in their parameters. We recommend importing the following when working with Haarpy.
```Python
from sympy import Symbol
from sympy.combinatorics import Permutation

d = Symbol("d")
```
### *weingarten_class*
Takes a partition, labeling a conjugacy class of $S_p$, and a dimension $d$ as arguments. For the conjugacy class labeled by partition $\lbrace 3,1\rbrace$, the function returns
```Python
from haarpy import weingarten_class
weingarten_class((3,1),d)
```
```
(2*d**2 - 3)/(d**2*(d - 3)*(d - 2)*(d - 1)*(d + 1)*(d + 2)*(d + 3))
```
The previous can also be called with integer values as such
```Python
weingarten_class((3,1),4)
```
```
29/20160
```
### *weingarten_element*
Takes an element and the degree $p$ of the symmetric group $S_p,$ and a dimension $d$ as arguments, the conjugacy class being obtained from the first two.
```Python
weingarten_element(Permutation(0,1,2), 4, d)
```
```
(2*d**2 - 3)/(d**2*(d - 3)*(d - 2)*(d - 1)*(d + 1)*(d + 2)*(d + 3))
```
Which yields the same result as before since $\lbrace 3,1\rbrace$ is the class of permutation $(0,1,2)$ in $S_4$.

Auxiliary functions include, but are not limited to, the following. For a comprehensive list of functionalities, please refer to the [documentation]().
### *murn_naka*
Implementation of the Murnaghan-Nakayama rule for the characters irreducible representations of the symmetric group $S_p$. Takes a partition characterizing an irrep of $S_p$ and a conjugacy class and yields the associate character.
```Python
murn_naka((3,1), (1,1,1,1))
```
```
3
```
### *get_class*
Returns the class of a given element of $S_p$ when given the order and the element.
```Python
get_class(Permutation(0,1,2), 4)
```
```
(3,1)
```
### *sn_dimension*
Takes a partition labeling an irrep of $S_p$ and returns the dimension of this irrep.
```Python
sn_dimension((5,4,2,1,1,1))
```
```
63063
```
### *ud_dimension*
Takes a partition labeling an irrep of the unitary group $U(d)$, as well as the dimension $d$, and returns the dimension of this irrep.
```Python
ud_dimension((5, 4, 2, 1, 1, 1),d)
```
```
d**2*(d - 5)*(d - 4)*(d - 3)*(d - 2)*(d - 1)**2*(d + 1)**2*(d + 2)**2*(d + 3)*(d + 4)/1382400
```
Which can also be done numerically.
```Python
ud_dimension((5, 4, 2, 1, 1, 1),8)
```
```
873180
```

## Tables of Weingarten functions for $n \le 5$
The following have been retrieved using the *weingarten_class* function. Weingarten functions of symmetric groups of higher degrees can just as easily be obtained.

### Symmetric group $S_2$
|Class| Weingarten |
|--|--|
|$\lbrace2\rbrace$ |$\displaystyle\frac{1}{(d-1) d (d+1)}$|
| $\lbrace1,1\rbrace$ | $\displaystyle\frac{1}{(d-1)(d+1)}$ |

### Symmetric group $S_3$
|Class  | Weingarten |
|--|--|
|  $\lbrace 3\rbrace$ | $\displaystyle\frac{2}{(d-2) (d-1) d (d+1) (d+2)}$ |
|$\lbrace 2,1\rbrace$|$-\displaystyle\frac{1}{(d-2) (d-1) (d+1) (d+2)}$|
| $\lbrace 1,1,1\rbrace$  |$\displaystyle\frac{d^2-2}{(d-2) (d-1) d (d+1) (d+2)}$ |

### Symmetric group $S_4$
|Class| Weingarten |
|--|--|
| $\lbrace 4\rbrace$   |$-\displaystyle\frac{5}{(d-3) (d-2) (d-1) d (d+1) (d+2) (d+3)}$  |
|$\lbrace 3,1\rbrace$ |$\displaystyle\frac{2 d^2-3}{(d-3) (d-2) (d-1) d^2 (d+1) (d+2) (d+3)}$ |
|$\lbrace 2,2\rbrace$|$\displaystyle\frac{d^2+6}{(d-3) (d-2) (d-1) d^2 (d+1) (d+2) (d+3)}$|
| $\lbrace 2,1,1\rbrace$| $-\displaystyle\frac{1}{(d-3) (d-1) d (d+1) (d+3)}$|
|$\lbrace 1,1,1,1\rbrace$ |$\displaystyle\frac{d^4-8 d^2+6}{(d-3) (d-2) (d-1)d^2 (d+1) (d+2)(d+3)}$|

### Symmetric group $S_5$
|Class| Weingarten |
|--|--|
|  $\lbrace 5\rbrace$    |$\displaystyle\frac{14}{(d-4) (d-3) (d-2) (d-1) d (d+1) (d+2) (d+3)(d+4)}$  |
|$\lbrace 4,1\rbrace$  |$\displaystyle\frac{24-5 d^2}{(d-4) (d-3) (d-2) (d-1) d^2 (d+1) (d+2)(d+3)(d+4)}$ |
| $\lbrace 3,2\rbrace$|$-\displaystyle\frac{2 \left(d^2+12\right)}{(d-4) (d-3) (d-2) (d-1)d^2(d+1)(d+2)(d+3)(d+4)}$|
|  $\lbrace 3,1,1\rbrace$ | $\displaystyle\frac{2}{(d-4) (d-2) (d-1) d (d+1) (d+2) (d+4)}$|
| $\lbrace 2,2,1\rbrace$  |$\displaystyle\frac{-d^4+14 d^2-24}{(d-4) (d-3) (d-2) (d-1) d^2  (d+1) (d+2) (d+3) (d+4)}$|
| $\lbrace 1,1,1,1,1\rbrace$|$\displaystyle\frac{d^4-20 d^2+78}{(d-4) (d-3) (d-2) (d-1) d (d+1) (d+2) (d+3) (d+4)}$|

## Installation
Haarpy requires Python version 3.9 or later. Installation can be done through the pip command
```
pip install git+https://github.com/polyquantique/haarpy.git
```

## Compiling from source
Haarpy has the following dependencies:
* [Python](https://www.python.org/) $<=$ 3.9
* [NumPy](https://numpy.org/) $<=$ 1.26.4
* [SymPy](https://www.sympy.org) $<=$ 1.12


## Documentation
Haarpy documentation is available online on [Read the Docs]().


## How to cite this work
Please cite as:
```
@article{cardin2024haarpy,
  author={Cardin, Yanic and de Guise, Hubert and Quesada, Nicol{\'a}s},
  title={Haarpy, a Python library for the symbolic calculation of Weingarten functions},
  year={2024},
  publisher={GitHub},
  journal={GitHub repository},
  howpublished = {\url{https://github.com/polyquantique/haarpy}},
  version = {1.0.0}
}
```


## Authors
* Yanic Cardin | yanic.cardin@polymtl.ca
* Hubert de Guise | hdeguise@lakeheadu.ca
* Nicolás Quesada | nicolas.quesada@polymtl.ca


## License
Haarpy is free and open source, released under the Apache License, Version 2.0.