BoxSymmetries.jl

Apply symmetries to arbitrary dimension arrays
Author jw3126
Popularity
0 Stars
Updated Last
3 Years Ago
Started In
March 2022

BoxSymmetries

Stable Dev Build Status Coverage

BoxSymmetries.jl allows applying box symmetries to arrays in arbitrary dimensions.

Usage

julia> using BoxSymmetries

julia> g = BoxSym(-1,2) # flip the first axis
BoxSym(-1, 2)

julia> g([1 2 3; 4 5 6])
2×3 Matrix{Int64}:
 4  5  6
 1  2  3

julia> g = BoxSym(2,1) # permute axes
BoxSym(2, 1)

julia> g([1 2 4; 4 5 6])
3×2 Matrix{Int64}:
 1  4
 2  5
 4  6

julia> g = BoxSym(-1,-2) # flip both axes
BoxSym(-1, -2)

julia> g([1 2; 3 4])
2×2 Matrix{Int64}:
 4  3
 2  1

julia> arr = randn(1,2,3,4);

julia> g = BoxSym(4,-2,1,-3) # permute axes and flip some of them
BoxSym(4, -2, 1, -3)

julia> size(g(arr))
(4, 2, 1, 3)

Theory

We define the group of box symmetries of dimension N to be the group of all linear maps ℝᴺ → ℝᴺ that restrict to bijections on the unit cube [-1,1]ᴺ → [-1,1]ᴺ. One can check that such maps must map coordinate axes onto coordinate axes and preserve length. So essentially they are allowed to permute axes and flip signs of axes, nothing else. It follows that box symmetries are in bijection with the following data:

struct BoxSym{N}
    # BoxSym is the semidirect product Boolⁿ ⋊ Sₙ
    # here axesperm ∈ Sₙ controls the induced action on the set of coordinate axes
    # flipsign controls for each axis, whether the sign is flipped. E.g. whether
    # eᵢ ↦ eⱼ or eᵢ ↦ -eⱼ for the standard basis
    axesperm::Perm
    flipsign::NTuple{N,Bool}
end

To compactly denote this data, we use the following notation, that is best explained by example:

  • BoxSym( 2, 1): (x,y) ↦ ( y, x)
  • BoxSym(-1, 2): (x,y) ↦ (-x, y)
  • BoxSym( 1,-2): (x,y) ↦ ( x,-y)
  • BoxSym( 2, 1, -3): (x,y,z) ↦ ( y, x, -z)
  • BoxSym(-2, -3, 1): (x,y,z) ↦ ( z,-x, -y)

In other words 1,2,3 stand for the directed coordinate axes and -1,-2,-3 stand for the coordinate axes directed in the opposite direction. Box(a,b,c) means that axis 1 maps to axis a, axis 2 maps to axis b and axis 3 maps to axis c.

Alternatives

For the use case of 2d images, there are alternatives:

Required Packages

Used By Packages

No packages found.