Showing 1–12 of 12 results for author: Gibson, J

Equivariant neural networks and piecewise linear representation theory

Authors: Joel Gibson, Daniel Tubbenhauer, Geordie Williamson

Abstract: 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 s… ▽ More 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. △ Less

Submitted 19 December, 2024; v1 submitted 1 August, 2024; originally announced August 2024.

Comments: 23 pages, many figures, revision, to appear in Contemp. Math., comments welcome

MSC Class: Primary: 20C05; Secondary: 05E10; 68T07

Low Frequency Sampling in Model Predictive Path Integral Control

Authors: Bogdan Vlahov, Jason Gibson, David D. Fan, Patrick Spieler, Ali-akbar Agha-mohammadi, Evangelos A. Theodorou

Abstract: Sampling-based model-predictive controllers have become a powerful optimization tool for planning and control problems in various challenging environments. In this paper, we show how the default choice of uncorrelated Gaussian distributions can be improved upon with the use of a colored noise distribution. Our choice of distribution allows for the emphasis on low frequency control signals, which c… ▽ More Sampling-based model-predictive controllers have become a powerful optimization tool for planning and control problems in various challenging environments. In this paper, we show how the default choice of uncorrelated Gaussian distributions can be improved upon with the use of a colored noise distribution. Our choice of distribution allows for the emphasis on low frequency control signals, which can result in smoother and more exploratory samples. We use this frequency-based sampling distribution with Model Predictive Path Integral (MPPI) in both hardware and simulation experiments to show better or equal performance on systems with various speeds of input response. △ Less

Submitted 18 April, 2024; v1 submitted 3 April, 2024; originally announced April 2024.

Comments: Published to RA-L

Report number: 4543

Journal ref: IEEE Robotics and Automation Letters, vol. 9, no. 5, pp.4543-4550, 2024

4-Strand Burau is Unfaithful Modulo 5

Authors: Joel Gibson, Geordie Williamson, Oded Yacobi

Abstract: 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. 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. △ Less

Submitted 3 October, 2023; originally announced October 2023.

Comments: 10 pages, 5 figures

Calculating the $p$-canonical basis of Hecke algebras

Authors: Joel Gibson, Lars Thorge Jensen, Geordie Williamson

Abstract: 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… ▽ More 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. △ Less

Submitted 1 August, 2022; v1 submitted 11 April, 2022; originally announced April 2022.

Comments: 21 pages

Categorical diagonalization and $p$-cells

Authors: Ben Elias, Lars Thorge Jensen, Joel Gibson

Abstract: 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… ▽ More 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. △ Less

Submitted 5 July, 2022; v1 submitted 23 November, 2021; originally announced November 2021.

Comments: Paper by Elias and Jensen, with appendix by Gibson. 45 pages plus 8 page appendix. Many figures, color viewing important for the computational chapters. Supplemental computations currently found at https://pages.uoregon.edu/belias/TypeC2OverZ.pdf

Journal ref: Pure and Applied Mathematics Quarterly, Vol. 21, Issue 1 (2025), pp. 201-273

Robust Model Predictive Path Integral Control: Analysis and Performance Guarantees

Authors: Manan Gandhi, Bogdan Vlahov, Jason Gibson, Grady Williams, Evangelos A. Theodorou

Abstract: In this paper we propose a novel decision making architecture for Robust Model Predictive Path Integral control (RMPPI) and investigate its performance guarantees and applicability to off-road navigation. Key building blocks of the proposed architecture are an augmented state space representation of the system consisting of nominal and actual dynamics, a placeholder for different types of tracking… ▽ More In this paper we propose a novel decision making architecture for Robust Model Predictive Path Integral control (RMPPI) and investigate its performance guarantees and applicability to off-road navigation. Key building blocks of the proposed architecture are an augmented state space representation of the system consisting of nominal and actual dynamics, a placeholder for different types of tracking controllers, a safety logic for nominal state propagation, and an importance sampling scheme that takes into account the capabilities of the underlying tracking control. Using these ingredients, we derive a bound on the free energy growth of the dynamical system which is a function of task constraint satisfaction level, the performance of the underlying tracking controller, and the sampling error of the stochastic optimization used within RMPPI. To validate the bound on free energy growth, we perform experiments in simulation using two types of tracking controllers, namely the iterative Linear Quadratic Gaussian and Contraction-Metric based control. We further demonstrate the applicability of RMPPI in real hardware using the GT AutoRally vehicle. Our experiments demonstrate that RMPPI outperforms MPPI and Tube-MPPI by alleviating issues of the aforementioned model predictive controllers related to either lack of robustness or excessive conservatism. RMPPI provides the best of the two worlds in terms of agility and robustness to disturbances. △ Less

Submitted 17 February, 2021; originally announced February 2021.

Comments: To be published in Robotics and Automation Letters

A Demazure Character Formula for the Product Monomial Crystal

Authors: Joel Gibson

Abstract: 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 formul… ▽ More 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}$. △ Less

Submitted 15 January, 2020; v1 submitted 22 July, 2019; originally announced July 2019.

Comments: 25 pages

Journal ref: Algebraic Combinatorics, Volume 4 (2021) no. 2, pp. 301-327

Fully-projected subsets

Authors: Jason Gibson

Abstract: Let $k$ and $i_1,\ldots,i_n$ be natural numbers. Place $k$ balls into a multidimensional box of $i_1\times\cdots \times i_n$ cells, no more than one ball to each cell, such that the projections to each of the coordinate axes have cardinalities $i_1,\ldots,i_n$, respectively. We generalize earlier work of Wang, Lee, and Tan to find a formula for the alternating sum of the number of these fully-proj… ▽ More Let $k$ and $i_1,\ldots,i_n$ be natural numbers. Place $k$ balls into a multidimensional box of $i_1\times\cdots \times i_n$ cells, no more than one ball to each cell, such that the projections to each of the coordinate axes have cardinalities $i_1,\ldots,i_n$, respectively. We generalize earlier work of Wang, Lee, and Tan to find a formula for the alternating sum of the number of these fully-projected subsets. △ Less

Submitted 11 February, 2017; originally announced February 2017.

Comments: 4 pages

MSC Class: 05A05 (Primary); 05A15 (Secondary)

The distribution of r-free numbers in arithmetic progressions

Authors: Jason Gibson

Abstract: A positive integer n is called r-free if n is not divisible by the r-th power of a prime. Generalizing earlier work of Orr, we provide an upper bound of Bombieri-Vinogradov type for the r-free numbers in arithmetic progressions. A positive integer n is called r-free if n is not divisible by the r-th power of a prime. Generalizing earlier work of Orr, we provide an upper bound of Bombieri-Vinogradov type for the r-free numbers in arithmetic progressions. △ Less

Submitted 24 February, 2013; originally announced February 2013.

Comments: 5 pages

MSC Class: 11N25 (Primary); 11N69 (Secondary)

Journal ref: International Journal of Number Theory, Vol. 10, no. 3 (2014)

A density Chinese Remainder Theorem

Authors: Jason Gibson

Abstract: Given collections A and B of residue classes modulo m and n, respectively, we investigate conditions on A and B that ensure that, for at least some a in A and b in B, the linear system x = a mod m, x = b mod n has an integer solution, and we quantify the number of such admissible pairs (a,b). The special case where A and B consist of intervals of residue classes has application to the Lonely Runne… ▽ More Given collections A and B of residue classes modulo m and n, respectively, we investigate conditions on A and B that ensure that, for at least some a in A and b in B, the linear system x = a mod m, x = b mod n has an integer solution, and we quantify the number of such admissible pairs (a,b). The special case where A and B consist of intervals of residue classes has application to the Lonely Runner Conjecture. △ Less

Submitted 4 February, 2013; originally announced February 2013.

Comments: 9 pages

MSC Class: 11B75 (Primary); 11J71 (Secondary)

Snakes and ladders: localized solutions of plane Couette flow

Authors: Tobias M. Schneider, John F. Gibson, John Burke

Abstract: We demonstrate the existence of a large number of exact solutions of plane Couette flow, which share the topology of known periodic solutions but are localized in space. Solutions of different size are organized in a snakes-and-ladders structure strikingly similar to that observed for simpler pattern-forming PDE systems. These new solutions are a step towards extending the dynamical systems view… ▽ More We demonstrate the existence of a large number of exact solutions of plane Couette flow, which share the topology of known periodic solutions but are localized in space. Solutions of different size are organized in a snakes-and-ladders structure strikingly similar to that observed for simpler pattern-forming PDE systems. These new solutions are a step towards extending the dynamical systems view of transitional turbulence to spatially extended flows. △ Less

Submitted 14 December, 2009; originally announced December 2009.

Comments: submitted to Physics Review Letters

Visualizing the geometry of state space in plane Couette flow

Authors: John F. Gibson, Jonathan Halcrow, Predrag Cvitanović

Abstract: Motivated by recent experimental and numerical studies of coherent structures in wall-bounded shear flows, we initiate a systematic exploration of the hierarchy of unstable invariant solutions of the Navier-Stokes equations. We construct a dynamical, 10^5-dimensional state-space representation of plane Couette flow at Re = 400 in a small, periodic cell and offer a new method of visualizing invar… ▽ More Motivated by recent experimental and numerical studies of coherent structures in wall-bounded shear flows, we initiate a systematic exploration of the hierarchy of unstable invariant solutions of the Navier-Stokes equations. We construct a dynamical, 10^5-dimensional state-space representation of plane Couette flow at Re = 400 in a small, periodic cell and offer a new method of visualizing invariant manifolds embedded in such high dimensions. We compute a new equilibrium solution of plane Couette flow and the leading eigenvalues and eigenfunctions of known equilibria at this Reynolds number and cell size. What emerges from global continuations of their unstable manifolds is a surprisingly elegant dynamical-systems visualization of moderate-Reynolds turbulence. The invariant manifolds tessellate the region of state space explored by transiently turbulent dynamics with a rigid web of continuous and discrete symmetry-induced heteroclinic connections. △ Less

Submitted 11 February, 2008; v1 submitted 27 May, 2007; originally announced May 2007.

Comments: 32 pages, 13 figures submitted to Journal of Fluid Mechanics