Symmetric Circuits for Rank Logic

Anuj Dawar, Gregory Wilsenach

Fixed-point logic with rank (FPR) is an extension of fixed-point logic with counting (FPC) with operators for computing the rank of a matrix over a finite field. The expressive pow…