Source author record

Ben Martin

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

2works
2topics
3close collaborators

Published work

2 publications

preprint2022arXiv

Uniform boundedness for algebraic groups and Lie groups

Let GG be a semisimple linear algebraic group over a field kk and let G+(k)G^+(k) be the subgroup generated by the subgroups Ru(Q)(k)R_u(Q)(k), where QQ ranges over all the minimal kk-parabolic subgroups QQ of GG. We prove that if G+(k)G^+(k) is bounded then it is uniformly bounded. Under extra assumptions we get explicit bounds for Δ(G+(k))Δ(G^+(k)): we prove that if kk is algebraically closed then Δ(G+(k))≤4 rank GΔ(G^+(k))\leq 4\, {\rm rank}\,G, and if GG is split over kk then Δ(G+(k))≤28 rank GΔ(G^+(k))\leq 28\, {\rm rank}\,G. We deduce some analogous results for real and complex semisimple Lie groups.

preprint2011arXiv

Evolving A-Type Artificial Neural Networks

We investigate Turing's notion of an A-type artificial neural network. We study a refinement of Turing's original idea, motivated by work of Teuscher, Bull, Preen and Copeland. Our A-types can process binary data by accepting and outputting sequences of binary vectors; hence we can associate a function to an A-type, and we say the A-type {\em represents} the function. There are two modes of data processing: clamped and sequential. We describe an evolutionary algorithm, involving graph-theoretic manipulations of A-types, which searches for A-types representing a given function. The algorithm uses both mutation and crossover operators. We implemented the algorithm and applied it to three benchmark tasks. We found that the algorithm performed much better than a random search. For two out of the three tasks, the algorithm with crossover performed better than a mutation-only version.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.