-
Training Autoencoders Using Stochastic Hessian-Free Optimization with LSMR
Authors:
Ibrahim Emirahmetoglu,
David E. Stewart
Abstract:
Hessian-free (HF) optimization has been shown to effectively train deep autoencoders (Martens, 2010). In this paper, we aim to accelerate HF training of autoencoders by reducing the amount of data used in training. HF utilizes the conjugate gradient algorithm to estimate update directions. Instead, we propose using the LSMR method, which is known for effectively solving large sparse linear systems…
▽ More
Hessian-free (HF) optimization has been shown to effectively train deep autoencoders (Martens, 2010). In this paper, we aim to accelerate HF training of autoencoders by reducing the amount of data used in training. HF utilizes the conjugate gradient algorithm to estimate update directions. Instead, we propose using the LSMR method, which is known for effectively solving large sparse linear systems. We also incorporate Chapelle & Erhan (2011)'s improved preconditioner for HF optimization. In addition, we introduce a new mini-batch selection algorithm to mitigate overfitting. Our algorithm starts with a small subset of the training data and gradually increases the mini-batch size based on (i) variance estimates obtained during the computation of a mini-batch gradient (Byrd et al., 2012) and (ii) the relative decrease in objective value for the validation data. Our experimental results demonstrate that our stochastic Hessian-free optimization, using the LSMR method and the new sample selection algorithm, leads to rapid training of deep autoencoders with improved generalization error.
△ Less
Submitted 17 April, 2025;
originally announced April 2025.
-
A dual-pairing summation-by-parts finite difference framework for nonlinear conservation laws
Authors:
Kenneth Duru,
Dougal Stewart,
Nathan Lee
Abstract:
Robust and stable high order numerical methods for solving partial differential equations are attractive because they are efficient on modern and next generation hardware architectures. However, the design of provably stable numerical methods for nonlinear hyperbolic conservation laws pose a significant challenge. We present the dual-pairing (DP) and upwind summation-by-parts (SBP) finite differen…
▽ More
Robust and stable high order numerical methods for solving partial differential equations are attractive because they are efficient on modern and next generation hardware architectures. However, the design of provably stable numerical methods for nonlinear hyperbolic conservation laws pose a significant challenge. We present the dual-pairing (DP) and upwind summation-by-parts (SBP) finite difference (FD) framework for accurate and robust numerical approximations of nonlinear conservation laws. The framework has an inbuilt "limiter" whose goal is to detect and effectively resolve regions where the solution is poorly resolved and/or discontinuities are found. The DP SBP FD operators are a dual-pair of backward and forward FD stencils, which together preserve the SBP property. In addition, the DP SBP FD operators are designed to be upwind, that is they come with some innate dissipation everywhere, as opposed to traditional SBP and collocated discontinuous Galerkin spectral element methods which can only induce dissipation through numerical fluxes acting at element interfaces. We combine the DP SBP operators together with skew-symmetric and upwind flux splitting of nonlinear hyperbolic conservation laws. Our semi-discrete approximation is provably entropy-stable for arbitrary nonlinear hyperbolic conservation laws. The framework is high order accurate, provably entropy-stable, convergent, and avoids several pitfalls of current state-of-the-art high order methods. We give specific examples using the in-viscid Burger's equation, nonlinear shallow water equations and compressible Euler equations of gas dynamics. Numerical experiments are presented to verify accuracy and demonstrate the robustness of our numerical framework.
△ Less
Submitted 12 November, 2024; v1 submitted 10 November, 2024;
originally announced November 2024.
-
Geometric rigidity of simple modules for algebraic groups
Authors:
Michael Bate,
David I. Stewart
Abstract:
Let k be a field, let G be an affine algebraic k-group and V a finite-dimensional G-module. We say V is rigid if the socle series and radical series coincide for the action of G on each indecomposable summand of V; say V is geometrically rigid (resp. absolutely rigid) if V is rigid after base change of G and V to k (resp. any field extension of k). We show that all simple G-modules are geometrical…
▽ More
Let k be a field, let G be an affine algebraic k-group and V a finite-dimensional G-module. We say V is rigid if the socle series and radical series coincide for the action of G on each indecomposable summand of V; say V is geometrically rigid (resp. absolutely rigid) if V is rigid after base change of G and V to k (resp. any field extension of k). We show that all simple G-modules are geometrically rigid, though not in general absolutely rigid. More precisely, we show that if V is a simple G-module, then there is a finite purely inseparable extension kV /k naturally attached to V such that V is absolutely rigid as a G-module after base change to kV. The proof turns on an investigation of algebras of the form K otimes E where K and E are field extensions of k; we give an example of such an algebra which is not rigid as a module over itself. We establish the existence of the purely inseparable field extension kV /k through an analogous version for artinian algebras.
In the second half of the paper we apply recent results on the structure and representation theory of pseudo-reductive groups to give a concrete description of kV when G is smooth and connected. Namely, we combine the main structure theorem of the Conrad-Prasad classification of pseudo-reductive G together with our previous high weight theory. For V a simple G-module, we calculate the minimal field of definition of the geometric Jacobson radical of EndG(V) in terms of the high weight of V and the Conrad-Prasad classification data; this gives a concrete construction of the field kV as a subextension of the minimal field of definition of the geometric unipotent radical of G. We also observe that the Conrad-Prasad classification can be used to hone the dimension formula for V we had previously established; we also use it to give a description of EndG(V) which includes a dimension formula.
△ Less
Submitted 17 January, 2025; v1 submitted 8 September, 2024;
originally announced September 2024.
-
Monogamous subvarieties of the nilpotent cone
Authors:
Simon M. Goodwin,
Rachel Pengelly,
David I. Stewart,
Adam R. Thomas
Abstract:
Let $G$ be a reductive algebraic group over an algebraically closed field $k$ of prime characteristic not $2$, whose Lie algebra is denoted $\mathfrak{g}$. We call a subvariety $\mathfrak{X}$ of the nilpotent cone $N \subset \mathfrak{g}$ monogamous if for every $e\in \mathfrak{X}$, the $\mathfrak{sl}_2$-triples $(e,h,f)$ with $f\in \mathfrak{X}$ are conjugate under the centraliser $C_G(e)$. Build…
▽ More
Let $G$ be a reductive algebraic group over an algebraically closed field $k$ of prime characteristic not $2$, whose Lie algebra is denoted $\mathfrak{g}$. We call a subvariety $\mathfrak{X}$ of the nilpotent cone $N \subset \mathfrak{g}$ monogamous if for every $e\in \mathfrak{X}$, the $\mathfrak{sl}_2$-triples $(e,h,f)$ with $f\in \mathfrak{X}$ are conjugate under the centraliser $C_G(e)$. Building on work by the first two authors, we show there is a unique maximal closed $G$-stable monogamous subvariety $V \subset N$ and that it is an orbit closure, hence irreducible. We show that $V$ can also be characterised in terms of Serre's $G$-complete reducibility.
△ Less
Submitted 7 November, 2024; v1 submitted 28 June, 2024;
originally announced June 2024.
-
A Smoothing Algorithm for l1 Support Vector Machines
Authors:
Ibrahim Emirahmetoglu,
Jeffrey Hajewski,
Suely Oliveira,
David E. Stewart
Abstract:
A smoothing algorithm is presented for solving the soft-margin Support Vector Machine (SVM) optimization problem with an $\ell^{1}$ penalty. This algorithm is designed to require a modest number of passes over the data, which is an important measure of its cost for very large datasets. The algorithm uses smoothing for the hinge-loss function, and an active set approach for the $\ell^{1}$ penalty.…
▽ More
A smoothing algorithm is presented for solving the soft-margin Support Vector Machine (SVM) optimization problem with an $\ell^{1}$ penalty. This algorithm is designed to require a modest number of passes over the data, which is an important measure of its cost for very large datasets. The algorithm uses smoothing for the hinge-loss function, and an active set approach for the $\ell^{1}$ penalty. The smoothing parameter $α$ is initially large, but typically halved when the smoothed problem is solved to sufficient accuracy. Convergence theory is presented that shows $\mathcal{O}(1+\log(1+\log_+(1/α)))$ guarded Newton steps for each value of $α$ except for asymptotic bands $α=Θ(1)$ and $α=Θ(1/N)$, with only one Newton step provided $ηα\gg1/N$, where $N$ is the number of data points and the stopping criterion that the predicted reduction is less than $ηα$. The experimental results show that our algorithm is capable of strong test accuracy without sacrificing training speed.
△ Less
Submitted 16 December, 2023;
originally announced January 2024.
-
On extensions of the Jacobson-Morozov theorem to even characteristic
Authors:
David I. Stewart,
Adam R. Thomas
Abstract:
Let G be a simple algebraic group over an algebraically closed field k of characteristic 2. We consider analogues of the Jacobson-Morozov theorem in this setting. More precisely, we classify those nilpotent elements with a simple 3-dimensional Lie overalgebra in $\mathfrak{g} := \text{Lie}(G)$ and also those with overalgebras isomorphic to the algebras $\text{Lie}(\text{SL}_2)$ and…
▽ More
Let G be a simple algebraic group over an algebraically closed field k of characteristic 2. We consider analogues of the Jacobson-Morozov theorem in this setting. More precisely, we classify those nilpotent elements with a simple 3-dimensional Lie overalgebra in $\mathfrak{g} := \text{Lie}(G)$ and also those with overalgebras isomorphic to the algebras $\text{Lie}(\text{SL}_2)$ and $\text{Lie}(\text{PGL}_2)$. This leads us to calculate the dimension of Lie automiser $\mathfrak{n}_\mathfrak{g}(k\cdot e)/\mathfrak{c}_\mathfrak{g}(e)$ for all nilpotent orbits; in even characteristic this quantity is very sensitive to isogeny.
△ Less
Submitted 14 January, 2024;
originally announced January 2024.
-
Applying constraint programming to minimal lottery designs
Authors:
David Cushing,
David I. Stewart
Abstract:
We develop and deploy a set of constraints for the purpose of calculating minimal sizes of lottery designs. Specifically, we find the minimum number of tickets of size six which are needed to match at least two balls on any draw of size six, whenever there are at most 70 balls.
We develop and deploy a set of constraints for the purpose of calculating minimal sizes of lottery designs. Specifically, we find the minimum number of tickets of size six which are needed to match at least two balls on any draw of size six, whenever there are at most 70 balls.
△ Less
Submitted 17 June, 2024; v1 submitted 23 July, 2023;
originally announced July 2023.
-
A $k$-medoids Approach to Exploring Districting Plans
Authors:
Jared Grove,
Suely Oliveira,
Anthony Pizzimenti,
David E. Stewart
Abstract:
Researchers and legislators alike continue the search for methods of drawing fair districting plans. A districting plan is a partition of a state's subdivisions (e.g. counties, voting precincts, etc.). By modeling these districting plans as graphs, they are easier to create, store, and operate on. Since graph partitioning with balancing populations is a computationally intractable (NP-hard) proble…
▽ More
Researchers and legislators alike continue the search for methods of drawing fair districting plans. A districting plan is a partition of a state's subdivisions (e.g. counties, voting precincts, etc.). By modeling these districting plans as graphs, they are easier to create, store, and operate on. Since graph partitioning with balancing populations is a computationally intractable (NP-hard) problem most attempts to solve them use heuristic methods. In this paper, we present a variant on the $k$-medoids algorithm where, given a set of initial medoids, we find a partition of the graph's vertices to admit a districting plan. We first use the $k$-medoids process to find an initial districting plan, then use local search strategies to fine-tune the results, such as reducing population imbalances between districts. We also experiment with coarsening the graph to work with fewer vertices. The algorithm is tested on Iowa and Florida using 2010 census data to evaluate the effectiveness.
△ Less
Submitted 9 March, 2023;
originally announced March 2023.
-
The number of multiplicity-free primitive ideals associated with the rigid nilpotent orbits
Authors:
Alexander Premet,
David Stewart
Abstract:
In this paper we describe the number of multiplicity-free primitive ideals associated with the rigid nilpotent orbits in finite-dimensional simple Lie algebras. Thanks to the results obtained earlier we need to solve the problem for the two largest rigid nilpotent orbits in Lie algebras of type ${\rm E}_8$. As a corollary we compute the number of small modules in the corresponding reduced envelopi…
▽ More
In this paper we describe the number of multiplicity-free primitive ideals associated with the rigid nilpotent orbits in finite-dimensional simple Lie algebras. Thanks to the results obtained earlier we need to solve the problem for the two largest rigid nilpotent orbits in Lie algebras of type ${\rm E}_8$. As a corollary we compute the number of small modules in the corresponding reduced enveloping algebras over algebraically closed fields of characteristic $p>5$.
△ Less
Submitted 1 August, 2023; v1 submitted 26 November, 2022;
originally announced November 2022.
-
Complete reducibility and subgroups of exceptional algebraic groups
Authors:
Alastair J. Litterick,
David I. Stewart,
Adam R. Thomas
Abstract:
This survey article has two components. The first part gives a gentle introduction to Serre's notion of $G$-complete reducibility, where $G$ is a connected reductive algebraic group defined over an algebraically closed field. The second part concerns consequences of this theory when $G$ is simple of exceptional type, specifically its role in elucidating the subgroup structure of $G$. The latter su…
▽ More
This survey article has two components. The first part gives a gentle introduction to Serre's notion of $G$-complete reducibility, where $G$ is a connected reductive algebraic group defined over an algebraically closed field. The second part concerns consequences of this theory when $G$ is simple of exceptional type, specifically its role in elucidating the subgroup structure of $G$. The latter subject has a history going back about sixty years. We give an overview of what is known, up to the present day. We also take the opportunity to offer several corrections to the literature.
△ Less
Submitted 8 September, 2023; v1 submitted 22 September, 2022;
originally announced September 2022.
-
A Prolog assisted search for new simple Lie algebras
Authors:
David Cushing,
George W. Stagg,
David I. Stewart
Abstract:
We describe some recent computer investigations with the `Constraint Logic Programming over Finite Domains' -- CLP(FD) -- library in the Prolog programming environment to search for new simple Lie algebras over the field $\GF(2)$ of $2$ elements. Motivated by a paper of Grishkov et. al., we specifically look for those with a `thin decomposition', and we settle one of their conjectures. We extrapol…
▽ More
We describe some recent computer investigations with the `Constraint Logic Programming over Finite Domains' -- CLP(FD) -- library in the Prolog programming environment to search for new simple Lie algebras over the field $\GF(2)$ of $2$ elements. Motivated by a paper of Grishkov et. al., we specifically look for those with a `thin decomposition', and we settle one of their conjectures. We extrapolate from our results the existence of two new infinite families of simple Lie algebras, in addition to finding seven new sporadic examples in dimension $31$. We also better contextualise some previously discovered simple algebras, putting them into families which do not seem to have ever appeared in the literature, and give an updated table of those currently known.
△ Less
Submitted 15 January, 2023; v1 submitted 3 July, 2022;
originally announced July 2022.
-
A construction of pseudo-reductive groups with non-reduced root system
Authors:
Michael Bate,
Gerhard Röhrle,
Damian Sercombe,
David I. Stewart
Abstract:
We describe a straightforward construction of the pseudo-split absolutely pseudo-simple groups of minimal type with irreducible root systems of type $BC_n$; these exist only in characteristic $2$. We also give a formula for the dimensions of their irreducible modules.
We describe a straightforward construction of the pseudo-split absolutely pseudo-simple groups of minimal type with irreducible root systems of type $BC_n$; these exist only in characteristic $2$. We also give a formula for the dimensions of their irreducible modules.
△ Less
Submitted 8 January, 2024; v1 submitted 2 May, 2022;
originally announced May 2022.
-
On the exponent of geometric unipotent radicals of pseudo-reductive groups
Authors:
Falk Bannuscher,
Maike Gruchot,
David I. Stewart
Abstract:
Let $k'/k$ be a finite purely inseparable field extension and let $G'$ be a reductive $k'$-group. We denote by $G=\R_{k'/k}(G')$ the Weil restriction of $G'$ across $k'/k$, a pseudo-reductive group. This article gives bounds for the exponent of the geometric unipotent radical $\RR_{u}(G_{\bar{k}})$ in terms of invariants of the extension $k'/k$, starting with the case $G'=\GL_n$ and applying these…
▽ More
Let $k'/k$ be a finite purely inseparable field extension and let $G'$ be a reductive $k'$-group. We denote by $G=\R_{k'/k}(G')$ the Weil restriction of $G'$ across $k'/k$, a pseudo-reductive group. This article gives bounds for the exponent of the geometric unipotent radical $\RR_{u}(G_{\bar{k}})$ in terms of invariants of the extension $k'/k$, starting with the case $G'=\GL_n$ and applying these results to the case where $G'$ is a simple group.
△ Less
Submitted 24 March, 2022; v1 submitted 1 June, 2021;
originally announced June 2021.
-
Representatives for unipotent classes and nilpotent orbits
Authors:
Mikko Korhonen,
David I. Stewart,
Adam R. Thomas
Abstract:
Let $G$ be a simple algebraic group over an algebraically closed field $k$ of characteristic $p$. The classification of the conjugacy classes of unipotent elements of $G(k)$ and nilpotent orbits of $G$ on $\operatorname{Lie}(G)$ is well-established. One knows there are representatives of every unipotent class as a product of root group elements and every nilpotent orbit as a sum of root elements.…
▽ More
Let $G$ be a simple algebraic group over an algebraically closed field $k$ of characteristic $p$. The classification of the conjugacy classes of unipotent elements of $G(k)$ and nilpotent orbits of $G$ on $\operatorname{Lie}(G)$ is well-established. One knows there are representatives of every unipotent class as a product of root group elements and every nilpotent orbit as a sum of root elements. We give explicit representatives in terms of a Chevalley basis for the eminent classes. A unipotent (resp. nilpotent) element is said to be eminent if it is not contained in any subsystem subgroup (resp. subalgebra), or a natural generalisation if $G$ is of type $D_n$. From these representatives, it is straightforward to generate representatives for any given class. Along the way we also prove recognition theorems for identifying both the unipotent classes and nilpotent orbits of exceptional algebraic groups.
△ Less
Submitted 10 May, 2021;
originally announced May 2021.
-
A New Maximal Subgroup of $E_8$ in Characteristic $3$
Authors:
David A. Craven,
David I. Stewart,
Adam R. Thomas
Abstract:
We prove the existence and uniqueness of a new maximal subgroup of the algebraic group of type $E_8$ in characteristic $3$. This has type $F_4$, and was missing from previous lists of maximal subgroups produced by Seitz and Liebeck--Seitz. We also prove a result about the finite group $H={}^3\!D_4(2)$, that if $H$ embeds in $E_8$ (in any characteristic $p$) and has two composition factors on the a…
▽ More
We prove the existence and uniqueness of a new maximal subgroup of the algebraic group of type $E_8$ in characteristic $3$. This has type $F_4$, and was missing from previous lists of maximal subgroups produced by Seitz and Liebeck--Seitz. We also prove a result about the finite group $H={}^3\!D_4(2)$, that if $H$ embeds in $E_8$ (in any characteristic $p$) and has two composition factors on the adjoint module then $p=3$ and $H$ lies in this new maximal $F_4$ subgroup.
△ Less
Submitted 5 July, 2021; v1 submitted 22 March, 2021;
originally announced March 2021.
-
A proof of the first Kac-Weisfeiler conjecture in large characteristics
Authors:
Benjamin Martin,
David Stewart,
Akaki Tikaradze,
Lewis Topley
Abstract:
In 1971, Kac and Weisfeiler made two influential conjectures describing the dimensions of simple modules of a restricted Lie algebra $\mathfrak{g}$. The first predicts the maximal dimension of simple $\mathfrak{g}$-modules and in this paper we apply the Lefschetz principle and classical techniques from Lie theory to prove this conjecture for all restricted Lie subalgebras of $\mathfrak{gl}_n(k)$ w…
▽ More
In 1971, Kac and Weisfeiler made two influential conjectures describing the dimensions of simple modules of a restricted Lie algebra $\mathfrak{g}$. The first predicts the maximal dimension of simple $\mathfrak{g}$-modules and in this paper we apply the Lefschetz principle and classical techniques from Lie theory to prove this conjecture for all restricted Lie subalgebras of $\mathfrak{gl}_n(k)$ whenever $k$ is an algebraically closed field of characteristic $p \gg n$. As a consequence we deduce that the conjecture holds for the the Lie algebra of a group scheme when specialised to an algebraically closed field of almost any characteristic. In the appendix to this paper, written by Akaki Tikaradze, a short proof of the first Kac--Weisfeiler conjecture is given for the Lie algebra of group scheme over a finitely generated ring $R \subseteq \mathbb{C}$, after base change to a field of large positive characteristic.
△ Less
Submitted 28 January, 2019; v1 submitted 30 October, 2018;
originally announced October 2018.
-
Smoothness of stabilisers in generic characteristic
Authors:
Benjamin Martin,
David I. Stewart,
Lewis Topley
Abstract:
Let $R$ be a commutative unital ring. Given a finitely presented affine $R$-group scheme $G$ acting on a separated scheme $X$ of finite type over $R$, we show that there is a prime $p_0$ such that for any $R$-algebra $k$ which is an algebraically closed field of characteristic $p\geq p_0$, the centraliser in $G_k$ of any closed subscheme of $X_k$ is smooth. When $X$ is not necessarily separated we…
▽ More
Let $R$ be a commutative unital ring. Given a finitely presented affine $R$-group scheme $G$ acting on a separated scheme $X$ of finite type over $R$, we show that there is a prime $p_0$ such that for any $R$-algebra $k$ which is an algebraically closed field of characteristic $p\geq p_0$, the centraliser in $G_k$ of any closed subscheme of $X_k$ is smooth. When $X$ is not necessarily separated we show similarly that for any closed subscheme $Y \subseteq X$ there is a $p_1$ depending on $Y$ such that when $k$ has characteristic $p \geq p_1$ the normaliser of $Y$ in $G_k$ is smooth. We prove these results using the Lefschetz principle together with careful application of Gröbner basis techniques, and using a suitable notion of the complexity of an action.
We apply our results to demonstrate that the Kostant-Kirillov-Souriau theorem holds for Lie algebras of algebraic groups in large positive characteristics. In particular, every such Lie algebra decomposes as a disjoint union of symplectic varieties, each of which is a coadjoint orbit.
△ Less
Submitted 1 October, 2023; v1 submitted 30 October, 2018;
originally announced October 2018.
-
Smoothed Hinge Loss and $\ell^{1}$ Support Vector Machines
Authors:
Jeffrey Hajewski,
Suely Oliveira,
David E. Stewart
Abstract:
A new algorithm is presented for solving the soft-margin Support Vector Machine (SVM) optimization problem with an $\ell^{1}$ penalty. This algorithm is designed to require a modest number of passes over the data, which is an important measure of its cost for very large data sets. The algorithm uses smoothing for the hinge-loss function, and an active set approach for the $\ell^{1}$ penalty.
A new algorithm is presented for solving the soft-margin Support Vector Machine (SVM) optimization problem with an $\ell^{1}$ penalty. This algorithm is designed to require a modest number of passes over the data, which is an important measure of its cost for very large data sets. The algorithm uses smoothing for the hinge-loss function, and an active set approach for the $\ell^{1}$ penalty.
△ Less
Submitted 21 August, 2018;
originally announced August 2018.
-
Irreducible modules for pseudo-reductive groups
Authors:
Michael Bate,
David I. Stewart
Abstract:
We classify the irreducible representations of smooth, connected affine algebraic groups over a field, by tackling the case of pseudo-reductive groups. We reduce the problem of calculating the dimension for pseudo-split pseudo-reductive groups to the split reductive case and the pseudo-split pseudo-reductive commutative case. Moreover, we give the first results on the latter, including a rather co…
▽ More
We classify the irreducible representations of smooth, connected affine algebraic groups over a field, by tackling the case of pseudo-reductive groups. We reduce the problem of calculating the dimension for pseudo-split pseudo-reductive groups to the split reductive case and the pseudo-split pseudo-reductive commutative case. Moreover, we give the first results on the latter, including a rather complete description of the rank one case.
△ Less
Submitted 18 November, 2019; v1 submitted 12 December, 2017;
originally announced December 2017.
-
Classification of the maximal subalgebras of exceptional Lie algebras over fields of good characteristic
Authors:
Alexander Premet,
David I. Stewart
Abstract:
Let $G$ be an exceptional simple algebraic group over an algebraically closed field $k$ and suppose that the characteristic $p$ of $k$ is a good prime for $G$. In this paper we classify the maximal Lie subalgebras $\mathfrak{m}$ of the Lie algebra $\mathfrak{g}={\rm Lie}(G)$. Specifically, we show that one of the following holds: $\mathfrak{m}={\rm Lie}(M)$ for some maximal connected subgroup $M$…
▽ More
Let $G$ be an exceptional simple algebraic group over an algebraically closed field $k$ and suppose that the characteristic $p$ of $k$ is a good prime for $G$. In this paper we classify the maximal Lie subalgebras $\mathfrak{m}$ of the Lie algebra $\mathfrak{g}={\rm Lie}(G)$. Specifically, we show that one of the following holds: $\mathfrak{m}={\rm Lie}(M)$ for some maximal connected subgroup $M$ of $G$, or $\mathfrak{m}$ is a maximal Witt subalgebra of $\mathfrak{g}$, or $\mathfrak{m}$ is a maximal $\it{\mbox{exotic semidirect product}}$. The conjugacy classes of maximal connected subgroups of G are known thanks to the work of Seitz, Testerman and Liebeck--Seitz. All maximal Witt subalgebras of $\mathfrak{g}$ are $G$-conjugate and they occur when $G$ is not of type ${\rm E}_6$ and $p-1$ coincides with the Coxeter number of $G$. We show that there are two conjugacy classes of maximal exotic semidirect products in $\mathfrak{g}$, one in characteristic $5$ and one in characteristic $7$, and both occur when $G$ is a group of type ${\rm E}_7$.
△ Less
Submitted 25 April, 2019; v1 submitted 19 November, 2017;
originally announced November 2017.
-
On unipotent radicals of pseudo-reductive groups
Authors:
Michael Bate,
Benjamin Martin,
Gerhard Roehrle,
David Stewart
Abstract:
We establish some results on the structure of the geometric unipotent radicals of pseudo-reductive k-groups. In particular, our main theorem gives bounds on the nilpotency class of geometric unipotent radicals of standard pseudo-reductive groups, which are sharp in many cases. A major part of the proof rests upon consideration of the following situation: let k' be a purely inseparable field extens…
▽ More
We establish some results on the structure of the geometric unipotent radicals of pseudo-reductive k-groups. In particular, our main theorem gives bounds on the nilpotency class of geometric unipotent radicals of standard pseudo-reductive groups, which are sharp in many cases. A major part of the proof rests upon consideration of the following situation: let k' be a purely inseparable field extension of k of degree p^e and let G denote the Weil restriction of scalars R_{k'/k}(G') of a reductive k'-group G'. When G= \R_{k'/k}(G') we also provide some results on the orders of elements of the unipotent radical \RR_u(G_{\bar k}) of the extension of scalars of G to the algebraic closure \bar k of k.
△ Less
Submitted 7 September, 2018; v1 submitted 14 April, 2017;
originally announced April 2017.
-
Levi decomposition of nilpotent centralisers in classical groups
Authors:
Alex P. Babinski,
David I. Stewart
Abstract:
We check that the connected centralisers of nilpotent elements in the orthogonal and symplectic groups have Levi decompositions in even characteristic. This provides a justification for the identification of the isomorphism classes of the reductive quotients as stated in [Liebeck, Seitz; Unipotent and Nilpotent Classes in Simple Algebraic Groups and Lie Algebras].
We check that the connected centralisers of nilpotent elements in the orthogonal and symplectic groups have Levi decompositions in even characteristic. This provides a justification for the identification of the isomorphism classes of the reductive quotients as stated in [Liebeck, Seitz; Unipotent and Nilpotent Classes in Simple Algebraic Groups and Lie Algebras].
△ Less
Submitted 3 November, 2016;
originally announced November 2016.
-
On the minimal modules for exceptional Lie algebras: Jordan blocks and stabilisers
Authors:
David I. Stewart
Abstract:
Let G be a simple simple-connected exceptional algebraic group of type G_2, F_4, E_6 or E_7 over an algebraically closed field k of characteristic p>0 with \g=Lie(G). For each nilpotent orbit G.e of \g, we list the Jordan blocks of the action of e on the minimal induced module V_min of \g. We also establish when the centralisers G_v of vectors v\in V_min and stabilisers \Stab_G<v> of 1-spaces <v>\…
▽ More
Let G be a simple simple-connected exceptional algebraic group of type G_2, F_4, E_6 or E_7 over an algebraically closed field k of characteristic p>0 with \g=Lie(G). For each nilpotent orbit G.e of \g, we list the Jordan blocks of the action of e on the minimal induced module V_min of \g. We also establish when the centralisers G_v of vectors v\in V_min and stabilisers \Stab_G<v> of 1-spaces <v>\subset V_min are smooth; that is, when \dim G_v=\dim\g_v or \dim \Stab_G<v>=\dim\Stab_\g<v>.
△ Less
Submitted 23 April, 2024; v1 submitted 12 August, 2015;
originally announced August 2015.
-
The Jacobson--Morozov theorem and complete reducibility of Lie subalgebras
Authors:
Adam R. Thomas,
David I. Stewart
Abstract:
In this paper we determine the precise extent to which the classical sl_2-theory of complex semisimple finite-dimensional Lie algebras due to Jacobson--Morozov and Kostant can be extended to positive characteristic. This builds on work of Pommerening and improves significantly upon previous attempts due to Springer--Steinberg and Carter/Spaltenstein. Our main advance arises by investigating quite…
▽ More
In this paper we determine the precise extent to which the classical sl_2-theory of complex semisimple finite-dimensional Lie algebras due to Jacobson--Morozov and Kostant can be extended to positive characteristic. This builds on work of Pommerening and improves significantly upon previous attempts due to Springer--Steinberg and Carter/Spaltenstein. Our main advance arises by investigating quite fully the extent to which subalgebras of the Lie algebras of semisimple algebraic groups over algebraically closed fields k are G-completely reducible, a notion essentially due to Serre. For example if G is exceptional and char k=p\geq 5, we classify the triples (\h,\g,p) such that there exists a non-G-completely reducible subalgebra of \g isomorphic to \h. We do this also under the restriction that \h be a p-subalgebra of \g. We find that the notion of subalgebras being G-completely reducible effectively characterises when it is possible to find bijections between the conjugacy classes of sl_2-subalgebras and nilpotent orbits and it is this which allows us to prove our main theorems.
For absolute completeness, we also show that there is essentially only one occasion in which a nilpotent element cannot be extended to an sl_2-triple when p\geq 3: this happens for the exceptional orbit in G_2 when p=3.
△ Less
Submitted 2 October, 2017; v1 submitted 22 July, 2015;
originally announced July 2015.
-
Rigid orbits and sheets in reductive Lie algebras over fields of prime characteristic
Authors:
Alexander Premet,
David I. Stewart
Abstract:
Let $G$ be a simple simply-connected algebraic group over an algebraically closed field $k$ of characteristic $p>0$ with $\mathfrak{g}={\rm Lie}(G)$. We discuss various properties of nilpotent orbits in $\mathfrak{g}$, which have previously only been considered over $\mathbb{C}$. Using a combination of theoretical and computational methods, we extend to positive characteristic various calculations…
▽ More
Let $G$ be a simple simply-connected algebraic group over an algebraically closed field $k$ of characteristic $p>0$ with $\mathfrak{g}={\rm Lie}(G)$. We discuss various properties of nilpotent orbits in $\mathfrak{g}$, which have previously only been considered over $\mathbb{C}$. Using a combination of theoretical and computational methods, we extend to positive characteristic various calculations of de Graaf with nilpotent orbits in exceptional Lie algebras. In particular, we classify those orbits which are reachable, those which satisfy a certain related condition due to Panyushev, and determine the codimension in the centraliser $\mathfrak{g}_e$ of its the derived subalgebra $[\mathfrak{g}_e,\mathfrak{g}_e]$. Some of these calculations are used to show that the list of rigid nilpotent orbits in $\mathfrak{g}$, the classification of sheets of $\mathfrak{g}$ and the distribution of the nilpotent orbits amongst them are independent of good characteristic, remaining the same as in the characteristic zero case. We also give a comprehensive account of the theory of sheets in reductive Lie algebras over algebraically closed fields of good characteristic.
△ Less
Submitted 28 July, 2015; v1 submitted 19 July, 2015;
originally announced July 2015.
-
Maximal subalgebras of Cartan type in the exceptional Lie algebras
Authors:
Sebastian Herpel,
David I. Stewart
Abstract:
In this paper we initiate the study of the maximal subalgebras of exceptional simple classical Lie algebras \g over algebraically closed fields k of positive characteristic p, such that the prime characteristic is good for \g. In this paper we deal with what is surely the most unnatural case; that is, where the maximal subalgebra in question is a simple subalgebra of non-classical type. We show th…
▽ More
In this paper we initiate the study of the maximal subalgebras of exceptional simple classical Lie algebras \g over algebraically closed fields k of positive characteristic p, such that the prime characteristic is good for \g. In this paper we deal with what is surely the most unnatural case; that is, where the maximal subalgebra in question is a simple subalgebra of non-classical type. We show that only the first Witt algebra can occur as a subalgebra of \g and give explicit details on when it may be maximal in \g.
△ Less
Submitted 3 November, 2014; v1 submitted 12 September, 2014;
originally announced September 2014.
-
On the smoothness of normalisers and the subalgebra structure of modular Lie algebras
Authors:
Sebastian Herpel,
David I. Stewart
Abstract:
We provide results on the smoothness of normalisers in connected reductive algebraic groups $G$ over fields $k$ of positive characteristic $p$. Specifically we we give bounds on $p$ which guarantee that normalisers of subalgebras of $\mathfrak{g}$ in $G$ are smooth, i.e.\ so that the Lie algebras of these normalisers coincide with the infinitesimal normalisers. One of our main tools is to exploit…
▽ More
We provide results on the smoothness of normalisers in connected reductive algebraic groups $G$ over fields $k$ of positive characteristic $p$. Specifically we we give bounds on $p$ which guarantee that normalisers of subalgebras of $\mathfrak{g}$ in $G$ are smooth, i.e.\ so that the Lie algebras of these normalisers coincide with the infinitesimal normalisers. One of our main tools is to exploit cohomology vanishing of small dimensional modules. Along the way, we obtain complete reducibility results for small dimensional modules in the spirit of similar results due to Jantzen, Guralnick, Serre and Bendel--Nakano--Pillen.
△ Less
Submitted 5 January, 2016; v1 submitted 25 February, 2014;
originally announced February 2014.
-
Stabilisation of the LHS spectral sequence for algebraic groups
Authors:
Alison E. Parker,
David I. Stewart
Abstract:
In this note, we consider the Lyndon--Hochschild--Serre spectral sequence corresponding to the first Frobenius kernel of an algebraic group G, computing the extensions between simple $G$-modules. We state and discuss a conjecture that $E_2=E_\infty$ and provide general conditions for low-dimensional terms on the $E_2$-page to be the same as the corresponding terms on the $E_{\infty}$-page, i.e. it…
▽ More
In this note, we consider the Lyndon--Hochschild--Serre spectral sequence corresponding to the first Frobenius kernel of an algebraic group G, computing the extensions between simple $G$-modules. We state and discuss a conjecture that $E_2=E_\infty$ and provide general conditions for low-dimensional terms on the $E_2$-page to be the same as the corresponding terms on the $E_{\infty}$-page, i.e. its abutment.
△ Less
Submitted 19 February, 2014;
originally announced February 2014.
-
On extensions for Ree groups of type F_4
Authors:
David I. Stewart
Abstract:
Let k be an algebraically closed field of characteristic p=2. Let G=F_4 be simply connected over k and let σ:G\to G be an endomorphism such that the fixed point set G(σ) is a Ree group. We show, using the methods of Bendel--Nakano--Pillen, that self-extensions of simple kG(σ)-modules vanish generically and that for all but the first few Ree groups of type F_4, the 1-cohomology for G(σ) with coeffi…
▽ More
Let k be an algebraically closed field of characteristic p=2. Let G=F_4 be simply connected over k and let σ:G\to G be an endomorphism such that the fixed point set G(σ) is a Ree group. We show, using the methods of Bendel--Nakano--Pillen, that self-extensions of simple kG(σ)-modules vanish generically and that for all but the first few Ree groups of type F_4, the 1-cohomology for G(σ) with coefficients in simple kG-modules can be identified with the 1-cohomology for G with coefficients in (possibly different) simple G-modules.
△ Less
Submitted 9 April, 2013;
originally announced April 2013.
-
First cohomology groups for finite groups of Lie type in defining characteristic
Authors:
Alison E. Parker,
David I. Stewart
Abstract:
Let G be a finite group of Lie type, defined over a field k of characteristic p > 0. We find explicit bounds for the dimension of the first cohomology group for G with coefficients in a simple kG-module. We proceed by bounding the number of composition factors of Weyl modules for simple algebraic groups independently of p and using this to deduce bounds for the 1-cohomology of simple algebraic gro…
▽ More
Let G be a finite group of Lie type, defined over a field k of characteristic p > 0. We find explicit bounds for the dimension of the first cohomology group for G with coefficients in a simple kG-module. We proceed by bounding the number of composition factors of Weyl modules for simple algebraic groups independently of p and using this to deduce bounds for the 1-cohomology of simple algebraic groups. Finally, we use this to obtain estimations for the growth rate of the maximum dimension {γ_l} of these 1-cohomology groups over all groups of Lie type of rank l. We find that log γ_l is O(l^3 log l) (or if the Lusztig conjecture holds, O(l^2 log l)).
△ Less
Submitted 29 November, 2012;
originally announced November 2012.
-
Bounding extensions for finite groups and Frobenius kernels
Authors:
Christopher P. Bendel,
Daniel K. Nakano,
Brian J. Parshall,
Cornelius Pillen,
Leonard L. Scott,
David I. Stewart
Abstract:
Let G be a simple, simply connected algebraic group defined over an algebraically closed field k of positive characteristic p. Let σ:G->G be a strict endomorphism (i. e., the subgroup G(σ) of σ-fixed points is finite). Also, let G_σ be the scheme-theoretic kernel of σ, an infinitesimal subgroup of G. This paper shows that the degree m cohomology H^m(G(σ),L) of any irreducible kG(σ)-module L is bou…
▽ More
Let G be a simple, simply connected algebraic group defined over an algebraically closed field k of positive characteristic p. Let σ:G->G be a strict endomorphism (i. e., the subgroup G(σ) of σ-fixed points is finite). Also, let G_σ be the scheme-theoretic kernel of σ, an infinitesimal subgroup of G. This paper shows that the degree m cohomology H^m(G(σ),L) of any irreducible kG(σ)-module L is bounded by a constant depending on the root system Φ of G and the integer m. A similar result holds for the degree m cohomology of G_σ. These bounds are actually established for the degree m extension groups Ext^m_{G(σ)}(L,L') between irreducible kG(σ)-modules L and L', with again a similar result holding for G_σ. In these Ext^m results, of interest in their own right, the bounds depend also on L, or, more precisely, on length of the p-adic expansion of the highest weight associated to L. All bounds are, nevertheless, independent of the characteristic p. These results extend earlier work of Parshall and Scott for rational representations of algebraic groups G.
We also show that one can find bounds independent of the prime for the Cartan invariants of G(σ) and G_σ, and even for the lengths of the underlying PIMs. These bounds, which depend only on the root system of G and the "height" of σ, provide in a strong way an affirmative answer to a question of Hiss, for the special case of finite groups G(σ) of Lie type in the defining characteristic.
△ Less
Submitted 30 August, 2012;
originally announced August 2012.
-
Shifted generic cohomology
Authors:
Brian J. Parshall,
Leonard L. Scott,
David I. Stewart
Abstract:
The idea that the cohomology of finite groups might be fruitfully approached via the cohomology of ambient semisimple algebraic groups was first shown to be viable in the papers [CPS75] and [CPSvdK77]. The second paper introduced, through a limiting process, the notion of generic cohomology, as an intermediary between finite Chevalley group and algebraic group cohomology. The present paper shows t…
▽ More
The idea that the cohomology of finite groups might be fruitfully approached via the cohomology of ambient semisimple algebraic groups was first shown to be viable in the papers [CPS75] and [CPSvdK77]. The second paper introduced, through a limiting process, the notion of generic cohomology, as an intermediary between finite Chevalley group and algebraic group cohomology. The present paper shows that, for irreducible modules as coefficients, the limits can be eliminated in all but finitely many cases. These exceptional cases depend only on the root system and cohomological degree. In fact, we show that, for sufficiently large r, depending only on the root system and m, and not on the prime p or the irreducible module L, there are isomorphisms H^m(G(p^r),L) -> H^m(G(p^r),L') -> H^m_gen(G,L') -> H^m(G,L'), where the subscript "gen" refers to generic cohomology and L' is a constructibly determined irreducible "shift" of the (arbitrary) irreducible module L for the finite Chevalley group G(p^r). By a famous theorem of Steinberg, both L and L' extend to irreducible modules for the ambient algebraic group G with p^r-restricted highest weights. This leads to the notion of a module or weight being "shifted m-generic," and thus to the title of this paper. Our approach is based on questions raised by the third author in [Stea], which we answer here in the cohomology cases. We obtain many additional results, often with formulations in the more general context of Ext^m_G(q) with irreducible coefficients.
△ Less
Submitted 6 May, 2012;
originally announced May 2012.
-
Non-G-completely reducible subgroups of the exceptional algebraic groups
Authors:
David I. Stewart
Abstract:
Let G be an exceptional algebraic group defined over an algebraically closed field k of characteristic p>0 and let H be a subgroup of G. Then following Serre we say H is G-completely reducible or G-cr if, whenever H is contained in a parabolic subgroup P of G, then H is in a Levi subgroup of that parabolic. Building on work of Liebeck and Seitz, we find all triples (X,G,p) such that there exists a…
▽ More
Let G be an exceptional algebraic group defined over an algebraically closed field k of characteristic p>0 and let H be a subgroup of G. Then following Serre we say H is G-completely reducible or G-cr if, whenever H is contained in a parabolic subgroup P of G, then H is in a Levi subgroup of that parabolic. Building on work of Liebeck and Seitz, we find all triples (X,G,p) such that there exists a closed, connected, simple non-G-cr subgroup H<G with root system X.
△ Less
Submitted 24 April, 2012; v1 submitted 25 January, 2012;
originally announced January 2012.
-
Unbounding Ext
Authors:
David I. Stewart
Abstract:
We produce examples in the cohomology of algebraic groups which answer two questions of Parshall and Scott. Specifically, if $G=SL_2$, then we show: (a) $\dim \Ext_G^2(L,L)$ can be arbitrarily large for a simple module $L$; and (b) the sequence $\max_{L-\text{irred}}\dim H^k(G,L)$ grows exponentially fast with $k$.
We produce examples in the cohomology of algebraic groups which answer two questions of Parshall and Scott. Specifically, if $G=SL_2$, then we show: (a) $\dim \Ext_G^2(L,L)$ can be arbitrarily large for a simple module $L$; and (b) the sequence $\max_{L-\text{irred}}\dim H^k(G,L)$ grows exponentially fast with $k$.
△ Less
Submitted 30 August, 2012; v1 submitted 15 January, 2011;
originally announced January 2011.
-
G-complete reducibility and the exceptional algebraic groups
Authors:
David I. Stewart
Abstract:
Let $G=G(K)$ be a simple algebraic group defined over an algebraically closed field $K$ of characteristic $p>0$. A subgroup $X$ of $G$ is said to be $G$-completely reducible if, whenever it is contained in a parabolic subgroup of $G$, it is contained in a Levi subgroup of that parabolic. A subgroup $X$ of $G$ is said to be $G$-irreducible if $X$ is in no parabolic subgroup of $G$; and $G$-reducibl…
▽ More
Let $G=G(K)$ be a simple algebraic group defined over an algebraically closed field $K$ of characteristic $p>0$. A subgroup $X$ of $G$ is said to be $G$-completely reducible if, whenever it is contained in a parabolic subgroup of $G$, it is contained in a Levi subgroup of that parabolic. A subgroup $X$ of $G$ is said to be $G$-irreducible if $X$ is in no parabolic subgroup of $G$; and $G$-reducible if it is in some parabolic of $G$. In this thesis, we consider the case that $G$ is of exceptional type. When $G$ is of type $G_2$ we find all conjugacy classes of closed, connected, reductive subgroups of $G$. When $G$ is of type $F_4$ we find all conjugacy classes of closed, connected, reductive $G$-reducible subgroups $X$ of $G$. Thus we also find all non-$G$-completely reducible closed, connected, reductive subgroups of $G$. When $X$ is closed, connected and simple of rank at least two, we find all conjugacy classes of $G$-irreducible subgroups $X$ of $G$. Together with the work of Amende in [Ame05] classifying irreducible subgroups of type $A_1$ this gives a complete classification of the simple subgroups of $G$.
Amongst the classification of subgroups of $G=F_4(K)$ we find infinite collections of subgroups $X$ of $G$ which are maximal amongst all reductive subgroups of $G$ but not maximal subgroups of $G$; thus they are not contained in any maximal reductive subgroup of $G$. The connected, semisimple subgroups contained in no maximal reductive subgroup of $G$ are of type $A_1$ when $p=3$ and of semisimple type $A_1^2$ or $A_1$ when $p=2$. Some of those which occur when $p=2$ act indecomposably on the 26-dimensional irreducible representation of $G$.
We also use this classification to find all subgroups of $G=F_4$ which are generated by short root elements of $G$, by utilising and extending the results of [LS94].
△ Less
Submitted 22 November, 2010;
originally announced November 2010.
-
On unipotent algebraic G-groups and 1-cohomology
Authors:
David I. Stewart
Abstract:
In this paper we consider non-abelian 1-cohomology for groups with coefficients in other groups. We prove versions of the `five lemma' arising from this situation. We go on to show that a connected unipotent algebraic group Q acted on morphically by a connected algebraic group G admits a filtration with successive quotients having the structure of G-modules. From these results we deduce extensions…
▽ More
In this paper we consider non-abelian 1-cohomology for groups with coefficients in other groups. We prove versions of the `five lemma' arising from this situation. We go on to show that a connected unipotent algebraic group Q acted on morphically by a connected algebraic group G admits a filtration with successive quotients having the structure of G-modules. From these results we deduce extensions to results due to Cline, Parshall, Scott and van der Kallen. Firstly, if G is a connected, reductive algebraic group with Borel subgroup B and Q a unipotent algebraic G-group, we show the restriction map H^1(G,Q)\to H^1(B,Q) is an isomorphism. We also show that this situation admits a notion of rational stability and generic cohomology. We use these results to obtain corollaries about complete reducibility and subgroup structure.
△ Less
Submitted 4 July, 2013; v1 submitted 4 November, 2010;
originally announced November 2010.
-
The second cohomology of simple SL_3-modules
Authors:
David I. Stewart
Abstract:
Let G be the simple, simply connected algebraic group SL_3 defined over an algebraically closed field K of characteristic p>0. In this paper, we find H^2(G,V) for any irreducible G-module V. When p>7 we also find H^2(G(q),V) for any irreducible G(q)-module V for the finite Chevalley groups G(q)=SL(3,q) where q is a power of p.
Let G be the simple, simply connected algebraic group SL_3 defined over an algebraically closed field K of characteristic p>0. In this paper, we find H^2(G,V) for any irreducible G-module V. When p>7 we also find H^2(G(q),V) for any irreducible G(q)-module V for the finite Chevalley groups G(q)=SL(3,q) where q is a power of p.
△ Less
Submitted 1 November, 2018; v1 submitted 27 July, 2009;
originally announced July 2009.
-
The second cohomology of simple SL_2-modules
Authors:
David I. Stewart
Abstract:
Let $G$ be the simple algebraic group $SL_2$ defined over an algebraically closed field $K$ of characteristic $p>0$. In this paper, we find the second cohomology of all irreducible representations of $G$
Let $G$ be the simple algebraic group $SL_2$ defined over an algebraically closed field $K$ of characteristic $p>0$. In this paper, we find the second cohomology of all irreducible representations of $G$
△ Less
Submitted 27 July, 2009; v1 submitted 3 April, 2009;
originally announced April 2009.
-
The Reductive Subgroups of G_2
Authors:
David I. Stewart
Abstract:
Let $G:=G_2(K)$ be a simple algebraic group of type $G_2$ defined over an algebraically closed field $K$ of characteristic $p>0$. Let $σ$ denote a standard Frobenius automorphism of $G$ such that $G_σ\cong G_2(q)$ with $q\geq 4$. In this paper we find all reductive subgroups of $G$ and quasi-simple subgroups of $G_σ$ in the defining characteristic.
Let $G:=G_2(K)$ be a simple algebraic group of type $G_2$ defined over an algebraically closed field $K$ of characteristic $p>0$. Let $σ$ denote a standard Frobenius automorphism of $G$ such that $G_σ\cong G_2(q)$ with $q\geq 4$. In this paper we find all reductive subgroups of $G$ and quasi-simple subgroups of $G_σ$ in the defining characteristic.
△ Less
Submitted 24 March, 2009;
originally announced March 2009.
-
Quadrangularity and Strong Quadrangularity in Tournaments
Authors:
J. Richard Lundgren,
K. B. Reid,
Simone Severini,
Dustin J. Stewart
Abstract:
The pattern of a matrix M is a (0,1)-matrix which replaces all non-zero entries of M with a 1. A directed graph is said to support M if its adjacency matrix is the pattern of M. If M is an orthogonal matrix, then a digraph which supports M must satisfy a condition known as quadrangularity. We look at quadrangularity in tournaments and determine for which orders quadrangular tournaments exist. We…
▽ More
The pattern of a matrix M is a (0,1)-matrix which replaces all non-zero entries of M with a 1. A directed graph is said to support M if its adjacency matrix is the pattern of M. If M is an orthogonal matrix, then a digraph which supports M must satisfy a condition known as quadrangularity. We look at quadrangularity in tournaments and determine for which orders quadrangular tournaments exist. We also look at a more restrictive necessary condition for a digraph to support an orthogonal matrix, and give a construction for tournaments which meet this condition.
△ Less
Submitted 24 September, 2004;
originally announced September 2004.
-
Quadrangularity in Tournaments
Authors:
J. Richard Lundgren,
Simone Severini,
Dustin J. Stewart
Abstract:
The pattern of a matrix M is a (0,1)-matrix which replaces all non-zero entries of M with a 1. There are several contexts in which studying the patterns of orthogonal matrices can be useful. One necessary condition for a matrix to be orthogonal is a property known as combinatorial orthogonality. If the adjacency matrix of a directed graph forms a pattern of a combinatorially orthogonal matrix, w…
▽ More
The pattern of a matrix M is a (0,1)-matrix which replaces all non-zero entries of M with a 1. There are several contexts in which studying the patterns of orthogonal matrices can be useful. One necessary condition for a matrix to be orthogonal is a property known as combinatorial orthogonality. If the adjacency matrix of a directed graph forms a pattern of a combinatorially orthogonal matrix, we say the digraph is quadrangular. We look at the quadrangular property in tournaments and regular tournaments.
△ Less
Submitted 18 April, 2004;
originally announced April 2004.
