TensorKit.jl and TensorKitSectors.jl extension for low rank unitary fusion categories, using smallRankUnitaryFusionData and the AnyonWiki.
This package currently provides TensorKit.jl's sectortypes for all objects of multiplicity-free (braided) fusion categories up to rank 6. The full list can be found here, along with the naming convention here.
Additionally, some specific categories with multiplicities have also been added.
The fusion categories adhere to a hierarchical structure of exported abstract types:
BraidedCategory <: FusionCategory <: FusionRing
which indicate implementations of fusion rules (Nsymbol
), associators (Fsymbol
) and
braidings (Rsymbol
).
Objects in these categories are identified with integers ranging from 1
to R
, where 1
. These can then be used as any other Sector
for constructing TensorMap
s.
using TensorKit, CategoryData
𝒞 = CategoryData.Fib # Fibonacci category
𝒪 = Object{𝒞}
@show collect(values(𝒪)) # 1 -> I, 2 -> τ
t = TensorMap(rand, ComplexF64, Vect[𝒪](1 => 2, 2 => 2) ← Vect[𝒪](1 =>2, 2 => 2))
Should a more clear identification of the objects of a particular category be wanted, the macro @objectnames
allows one to identify the integers 1
to R
with custom Symbol
s. An already done example is:
using TensorKit, CategoryData
julia> ob = Object{Fib}
Object{Fib}
julia> ob(2)
:τ ∈ Object{Fib}
julia> ob(:τ)
:τ ∈ Object{Fib}
julia> Vect[ob](:I=>1,:τ=>2)
Vect[Object{Fib}](:I=>1, :τ=>2)
julia> TensorMap(rand, ComplexF64, Vect[ob](:I => 1, :τ => 2) ← Vect[ob](:I => 1, :τ => 2))
TensorMap(Vect[Object{Fib}](:I=>1, :τ=>2) ← Vect[Object{Fib}](:I=>1, :τ=>2)):
* Data for fusiontree FusionTree{Object{Fib}}((:I,), :I, (false,), ()) ← FusionTree{Object{Fib}}((:I,), :I, (false,), ()):
0.15222115844866924 + 0.32002944990015136im
* Data for fusiontree FusionTree{Object{Fib}}((:τ,), :τ, (false,), ()) ← FusionTree{Object{Fib}}((:τ,), :τ, (false,), ()):
0.5942898246567924 + 0.2243352505734888im 0.7827101902031756 + 0.18344041627586682im
0.5689163631066297 + 0.5437301086482254im 0.2782368171818388 + 0.6829030974055519im
Using the macro would look like:
@objectnames custom_name = category symbols
@objectnames category symbols
Note: the symbols given here are not of Type{Symbol}
.
The data for the fusion categories is stored in the data
github branch, and retrieved using the Artifacts
package. In particular, in order to add to, or change the data, the following steps should be taken:
- Update the
data
github branch with the new data. - Release/tag a new version of the data
data-vX.Y.Z
, which can then be registered as an artifact. - Check the url of the release, which should be of the following form
"https://github.com/lkdvos/CategoryData.jl/archive/refs/tags/data-vX.Y.Z.tar.gz"
- Switch to the
main
branch, and update theArtifact.toml
file. This can be done either manually, or by usingArtifactUtils.jl
:
julia> using ArtifactUtils
julia> add_artifact!("Artifacts.toml", "fusiondata", "https://github.com/lkdvos/CategoryData.jl/archive/refs/tags/data-vX.Y.Z.tar.gz"; force=true);
- Update the
artifact_path
constant in the source codesrc/artifacts.jl
. - Push the changes to the
main
branch.