arXiv subjects

Joel Gibson

Publications and source records attributed to Joel Gibson.

6 recordsLinked to original sources

arXiv2024

Equivariant neural networks and piecewise linear representation theory

Equivariant neural networks are neural networks with symmetry. Motivated by the theory of group representations, we decompose the layers of an equivariant neural network into simple representations. The nonlinear activation functions lead to interesting nonlinear equivariant maps between simple representations. For example, the rectified linear unit (ReLU) gives rise to piecewise linear maps. We show that these considerations lead to a filtration of equivariant neural networks, generalizing Fourier series. This observation might provide a useful tool for interpreting equivariant neural networks.

cs.LG↗

arXiv2023

4-Strand Burau is Unfaithful Modulo 5

We introduce a new algorithm for finding kernel elements in the Burau representation. Our algorithm applies reservoir sampling to a statistic on matrices which is closely correlated with Garside length. Using this we exhibit an explicit kernel element in the Burau representation on 4-strands reduced modulo 5.

math.RT↗

arXiv2022

Calculating the $p$-canonical basis of Hecke algebras

We describe an algorithm for computing the $p$-canonical basis of the Hecke algebra, or one of its antispherical modules. The algorithm does not operate in the Hecke category directly, but rather uses a faithful embedding of the Hecke category inside a semisimple category to build a "model" for indecomposable objects and bases of their morphism spaces. Inside this semisimple category, objects are sequences of Coxeter group elements, and morphisms are (sparse) matrices over a fraction field, making it quite amenable to computations. This strategy works for the full Hecke category over any base field, but in the antispherical case we must instead work over $\mathbb{Z}_{(p)}$ and use an idempotent lifting argument to deduce the result for a field of characteristic $p > 0$. We also describe a less sophisticated algorithm which is much more suited to the case of finite groups. We provide complete implementations of both algorithms in the MAGMA computer algebra system.

math.RT↗

arXiv2022

Categorical diagonalization and $p$-cells

In the Iwahori-Hecke algebra, the full twist acts on cell modules by a scalar, and the half twist acts by a scalar and an involution. A categorification of this statement, describing the action of the half and full twist Rouquier complexes on the Hecke category, was conjectured by Elias-Hogancamp, and proven in type $A$. In this paper we make analogous conjectures for the $p$-canonical basis, and the Hecke category in characteristic $p$. We prove the categorified conjecture in type $C_2$, where the situation is already interesting. The decategorified conjecture is confirmed by computer in rank at most 6; information is found in the appendix, written by Joel Gibson.

math.RT↗

arXiv2020

A Demazure Character Formula for the Product Monomial Crystal

The product monomial crystal was defined by Kamnitzer, Tingley, Webster, Weekes, and Yacobi for any semisimple simply-laced Lie algebra $\mathfrak{g}$, and depends on a collection of parameters $\mathbf{R}$. We show that a family of truncations of this crystal are Demazure crystals, and give a Demazure-type formula for the character of each truncation, and the crystal itself. This character formula shows that the product monomial crystal is the crystal of a generalised Demazure module, as defined by Lakshmibai, Littelmann and Magyar. In type $A$, we show the product monomial crystal is the crystal of a generalised Schur module associated to a column-convex diagram depending on $\mathbf{R}$.

math.CO↗

arXiv2015

The nature of the companion star in Circinus X-1

We present optical spectra and images of the X-ray binary Circinus X-1. The optical light curve of Cir X-1 is strongly variable, changing in brightness by 1.2 magnitudes in the space of four days. The shape of the light curve is consistent with that seen in the 1980s, when the X-ray and radio counterparts of the source were at least ten times as bright as they are currently. We detect strong, variable H-alpha emission lines, consisting of multiple components which vary with orbital phase. We estimate the extinction to the source from the strength of the diffuse interstellar bands and the Balmer decrement; the two methods give A_V = 7.6 +/- 0.6 mag and A_V > 9.1 mag respectively. The optical light curve can be modelled as arising from irradiation of the companion star by the central X-ray source, where a low-temperature star fills its Roche lobe in an orbit of moderate eccentricity (e ~ 0.4). We suggest that the companion star is over-luminous and under-dense, due to the impact of the supernova which occurred less than 5000 yr ago.

astro-ph.SR↗