Representing the Special Linear Group with Block Unitriangular Matrices

04/30/2023
by   John Urschel, et al.
0

We prove that every element of the special linear group can be represented as the product of at most six block unitriangular matrices, and that there exist matrices for which six products are necessary, independent of indexing. We present an analogous result for the general linear group. These results serve as general statements regarding the representational power of alternating linear updates. The factorizations and lower bounds of this work immediately imply tight estimates on the expressive power of linear affine coupling blocks in machine learning.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
09/02/2019

Singular tuples of matrices is not a null cone (and, the symmetries of algebraic varieties)

The following multi-determinantal algebraic variety plays a central role...
research
11/07/2018

Static Data Structure Lower Bounds Imply Rigidity

We show that static data structure lower bounds in the group (linear) mo...
research
11/10/2021

ResNEsts and DenseNEsts: Block-based DNN Models with Improved Representation Guarantees

Models recently used in the literature proving residual networks (ResNet...
research
01/24/2023

How Jellyfish Characterise Alternating Group Equivariant Neural Networks

We provide a full characterisation of all of the possible alternating gr...
research
05/17/2021

Designs, permutations, and transitive groups

A notion of t-designs in the symmetric group on n letters was introduced...
research
05/24/2022

A Free Group of Rotations of Rank 2

One of the key steps in the proof of the Banach-Tarski Theorem is the in...
research
04/25/2018

Interleaved group products

Let G be the special linear group SL(2,q). We show that if (a_1,...,a_t)...

Please sign up or login with your details

Forgot password? Click here to reset