Source author record

Robert Gray

Robert Gray appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

17works
11topics
4close collaborators

Actions

Connect this record

Log in to claim

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.

Published work

17 published item(s)

preprint2022arXiv

Could the "Wow" signal have originated from a stochastic repeating beacon?

The famous "Wow" signal detected in 1977 remains arguably the most compelling SETI signal ever found. The original Big Ear data requires that the signal turned on/off over the span of ~3 minutes (time difference between the dual antennae), yet persisted for 72 seconds (duration of a single beam sweep). Combined with the substantial and negative follow-up efforts, these observations limit the allowed range of signal repeat schedules, to the extent that one might question the credibility of the signal itself. Previous work has largely excluded the hypothesis of a strictly periodic repeating source, for periods shorter than 40 hours. However, a non-periodic, stochastic repeater remains largely unexplored. Here, we employ a likelihood emulator using the Big Ear observing logs to infer the probable signal properties under this hypothesis. We find that the maximum a-posteriori solution has a likelihood of 32.3%, highly compatible with the Big Ear data, with a broad 2 $σ$ credible interval of signal duration 72 secs < T < 77 mins and mean repeat rate 0.043 1/days < $λ$ < 59.8 1/days. We extend our analysis to include 192 hours of subsequent observations from META, Hobart and ATA, which drops the peak likelihood to 1.78%, and thus in tension with the available data at the 2.4 $σ$ level. Accordingly, the Wow signal cannot be excluded as a stochastic repeater with available data, and we estimate that 62 days of accumulated additional observations would be necessary to surpass 3 $σ$ confidence.

preprint2022arXiv

Fast Unsupervised Brain Anomaly Detection and Segmentation with Diffusion Models

Deep generative models have emerged as promising tools for detecting arbitrary anomalies in data, dispensing with the necessity for manual labelling. Recently, autoregressive transformers have achieved state-of-the-art performance for anomaly detection in medical imaging. Nonetheless, these models still have some intrinsic weaknesses, such as requiring images to be modelled as 1D sequences, the accumulation of errors during the sampling process, and the significant inference times associated with transformers. Denoising diffusion probabilistic models are a class of non-autoregressive generative models recently shown to produce excellent samples in computer vision (surpassing Generative Adversarial Networks), and to achieve log-likelihoods that are competitive with transformers while having fast inference times. Diffusion models can be applied to the latent representations learnt by autoencoders, making them easily scalable and great candidates for application to high dimensional data, such as medical images. Here, we propose a method based on diffusion models to detect and segment anomalies in brain imaging. By training the models on healthy data and then exploring its diffusion and reverse steps across its Markov chain, we can identify anomalous areas in the latent space and hence identify anomalies in the pixel space. Our diffusion models achieve competitive performance compared with autoregressive approaches across a series of experiments with 2D CT and MRI data involving synthetic and real pathological lesions with much reduced inference times, making their usage clinically viable.

preprint2022arXiv

Hierarchical Graph-Convolutional Variational AutoEncoding for Generative Modelling of Human Motion

Models of human motion commonly focus either on trajectory prediction or action classification but rarely both. The marked heterogeneity and intricate compositionality of human motion render each task vulnerable to the data degradation and distributional shift common to real-world scenarios. A sufficiently expressive generative model of action could in theory enable data conditioning and distributional resilience within a unified framework applicable to both tasks. Here we propose a novel architecture based on hierarchical variational autoencoders and deep graph convolutional neural networks for generating a holistic model of action over multiple time-scales. We show this Hierarchical Graph-convolutional Variational Autoencoder (HG-VAE) to be capable of generating coherent actions, detecting out-of-distribution data, and imputing missing data by gradient ascent on the model's posterior. Trained and evaluated on H3.6M and the largest collection of open source human motion data, AMASS, we show HG-VAE can facilitate downstream discriminative learning better than baseline models.

preprint2022arXiv

How can spherical CNNs benefit ML-based diffusion MRI parameter estimation?

This paper demonstrates spherical convolutional neural networks (S-CNN) offer distinct advantages over conventional fully-connected networks (FCN) at estimating scalar parameters of tissue microstructure from diffusion MRI (dMRI). Such microstructure parameters are valuable for identifying pathology and quantifying its extent. However, current clinical practice commonly acquires dMRI data consisting of only 6 diffusion weighted images (DWIs), limiting the accuracy and precision of estimated microstructure indices. Machine learning (ML) has been proposed to address this challenge. However, existing ML-based methods are not robust to differing dMRI gradient sampling schemes, nor are they rotation equivariant. Lack of robustness to sampling schemes requires a new network to be trained for each scheme, complicating the analysis of data from multiple sources. A possible consequence of the lack of rotational equivariance is that the training dataset must contain a diverse range of microstucture orientations. Here, we show spherical CNNs represent a compelling alternative that is robust to new sampling schemes as well as offering rotational equivariance. We show the latter can be leveraged to decrease the number of training datapoints required.

preprint2021arXiv

iNNk: A Multi-Player Game to Deceive a Neural Network

This paper presents iNNK, a multiplayer drawing game where human players team up against an NN. The players need to successfully communicate a secret code word to each other through drawings, without being deciphered by the NN. With this game, we aim to foster a playful environment where players can, in a small way, go from passive consumers of NN applications to creative thinkers and critical challengers.

preprint2021arXiv

Unsupervised Brain Anomaly Detection and Segmentation with Transformers

Pathological brain appearances may be so heterogeneous as to be intelligible only as anomalies, defined by their deviation from normality rather than any specific pathological characteristic. Amongst the hardest tasks in medical imaging, detecting such anomalies requires models of the normal brain that combine compactness with the expressivity of the complex, long-range interactions that characterise its structural organisation. These are requirements transformers have arguably greater potential to satisfy than other current candidate architectures, but their application has been inhibited by their demands on data and computational resource. Here we combine the latent representation of vector quantised variational autoencoders with an ensemble of autoregressive transformers to enable unsupervised anomaly detection and segmentation defined by deviation from healthy brain imaging data, achievable at low computational cost, within relative modest data regimes. We compare our method to current state-of-the-art approaches across a series of experiments involving synthetic and real pathological lesions. On real lesions, we train our models on 15,000 radiologically normal participants from UK Biobank, and evaluate performance on four different brain MR datasets with small vessel disease, demyelinating lesions, and tumours. We demonstrate superior anomaly detection performance both image-wise and pixel-wise, achievable without post-processing. These results draw attention to the potential of transformers in this most challenging of imaging tasks.

preprint2016arXiv

Diagram monoids and Graham-Houghton graphs: idempotents and generating sets of ideals

We study the ideals of the partition, Brauer, and Jones monoid, establishing various combinatorial results on generating sets and idempotent generating sets via an analysis of their Graham--Houghton graphs. We show that each proper ideal of the partition monoid P_n is an idempotent generated semigroup, and obtain a formula for the minimal number of elements (and the minimal number of idempotent elements) needed to generate these semigroups. In particular, we show that these two numbers, which are called the rank and idempotent rank (respectively) of the semigroup, are equal to each other, and we characterize the generating sets of this minimal cardinality. We also characterize and enumerate the minimal idempotent generating sets for the largest proper ideal of P_n, which coincides with the singular part of P_n. Analogous results are proved for the ideals of the Brauer and Jones monoids; in each case, the rank and idempotent rank turn out to be equal, and all the minimal generating sets are described. We also show how the rank and idempotent rank results obtained, when applied to the corresponding twisted semigroup algebras (the partition, Brauer, and Temperley--Lieb algebras), allow one to recover formulae for the dimensions of their cell modules (viewed as cellular algebras) which, in the semisimple case, are formulae for the dimensions of the irreducible representations of the algebras. As well as being of algebraic interest, our results relate to several well-studied topics in graph theory including the problem of counting perfect matchings (which relates to the problem of computing permanents of {0,1}-matrices and the theory of Pfaffian orientations), and the problem of finding factorizations of Johnson graphs. Our results also bring together several well-known number sequences such as Stirling, Bell, Catalan and Fibonacci numbers.

preprint2014arXiv

A strong geometric hyperbolicity property for directed graphs and monoids

We introduce and study a strong "thin triangle"' condition for directed graphs, which generalises the usual notion of hyperbolicity for a metric space. We prove that finitely generated left cancellative monoids whose right Cayley graphs satisfy this condition must be finitely presented with polynomial Dehn functions, and hence word problems in NP. Under the additional assumption of right cancellativity (or in some cases the weaker condition of bounded indegree), they also admit algorithms for more fundamentally semigroup-theoretic decision problems such as Green's relations L, R, J, D and the corresponding pre-orders. In contrast, we exhibit a right cancellative (but not left cancellative) finitely generated monoid (in fact, an infinite class of them) whose Cayley graph is a essentially a tree (hence hyperbolic in our sense and probably any reasonable sense), but which is not even recursively presentable. This seems to be strong evidence that no geometric notion of hyperbolicity will be strong enough to yield much information about finitely generated monoids in absolute generality.

preprint2014arXiv

Homotopy bases and finite derivation type for subgroups of monoids

Given a monoid defined by a presentation, and a homotopy base for the derivation graph associated to the presentation, and given an arbitrary subgroup of the monoid, we give a homotopy base (and presentation) for the subgroup. If the monoid has finite derivation type (FDT), and if under the action of the monoid on its subsets by right multiplication the strong orbit of the subgroup is finite, then we obtain a finite homotopy base for the subgroup, and hence the subgroup has FDT. As an application we prove that a regular monoid with finitely many left and right ideals has FDT if and only if all of its maximal subgroups have FDT. We use this to show that a finitely presented regular monoid with finitely many left and right ideals satisfies the homological finiteness condition FP_3 if all of its maximal subgroups satisfy the condition FP_3.

preprint2014arXiv

On Residual Finiteness of Monoids, their Schutzenberger Groups and Associated Actions

In this paper we discuss connections between the following properties: (RFM) residual finiteness of a monoid M; (RFSG) residual finiteness of Schutzenberger groups of M; and (RFRL) residual finiteness of the natural actions of M on its Green's R- and L-classes. The general question is whether (RFM) implies (RFSG) and/or (RFRL), and vice versa. We consider these questions in all the possible combinations of the following situations: M is an arbitrary monoid; M is an arbitrary regular monoid; every J-class of M has finitely many R- and L-classes; M has finitely many left and right ideals. In each case we obtain complete answers.

preprint2011arXiv

Maximal subgroups of free idempotent generated semigroups over the full transformation monoid

Let T_n be the full transformation semigroup of all mappings from the set {1,...,n} to itself under composition. Let E = E(T_n) denote the set of idempotents of T_n and let e be an arbitrary idempotent satisfying |im(e)|=r < n-1. We prove that the maximal subgroup of the free idempotent generated semigroup over E containing e is isomorphic to the symmetric group S_r.

preprint2011arXiv

On Maximal Subgroups of Free Idempotent Generated Semigroups

We prove the following results: (1) Every group is a maximal subgroup of some free idempotent generated semigroup. (2) Every finitely presented group is a maximal subgroup of some free idempotent generated semigroup arising from a finite semigroup. (3) Every group is a maximal subgroup of some free regular idempotent generated semigroup. (4) Every finite group is a maximal subgroup of some free regular idempotent generated semigroup arising from a finite regular semigroup.

preprint2010arXiv

A Svarc-Milnor lemma for monoids acting by isometric embeddings

We continue our programme of extending key techniques from geometric group theory to semigroup theory, by studying monoids acting by isometric embeddings on spaces equipped with asymmetric, partially-defined distance functions. The canonical example of such an action is a cancellative monoid acting by translation on its Cayley graph. Our main result is an extension of the Svarc-Milnor Lemma to this setting.

preprint2010arXiv

Homological finiteness properties of monoids, their ideals and maximal subgroups

We consider the general question of how the homological finiteness property left-FPn holding in a monoid influences, and conversely depends on, the property holding in the substructures of that monoid. In particular we show that left-FPn is inherited by the maximal subgroups in a completely simple minimal ideal, in the case that the minimal ideal has finitely many left ideals. For completely simple semigroups we prove the converse, and as a corollary show that a completely simple semigroup is of type left- and right-FPn if and only if it has finitely many left and right ideals and all of its maximal subgroups are of type FPn. Also, given an ideal of a monoid, we show that if the ideal has a two-sided identity element then the containing monoid is of type left-FPn if and only if the ideal is of type left-FPn.

preprint2010arXiv

Locally-finite connected-homogeneous digraphs

A digraph is connected-homogeneous if any isomorphism between finite connected induced subdigraphs extends to an automorphism of the digraph. We consider locally-finite connected-homogeneous digraphs with more than one end. In the case that the digraph embeds a triangle we give a complete classification, obtaining a family of tree-like graphs constructed by gluing together directed triangles. In the triangle-free case we show that these digraphs are highly arc-transitive. We give a classification in the two-ended case, showing that all examples arise from a simple construction given by gluing along a directed line copies of some fixed finite directed complete bipartite graph. When the digraph has infinitely many ends we show that the descendants of a vertex form a tree, and the reachability graph (which is one of the basic building blocks of the digraph) is one of: an even cycle, a complete bipartite graph, the complement of a perfect matching, or an infinite semiregular tree. We give examples showing that each of these possibilities is realised as the reachability graph of some connected-homogeneous digraph, and in the process we obtain a new family of highly arc-transitive digraphs without property Z.

preprint2010arXiv

Set-homogeneous directed graphs

A directed graph is set-homogeneous if, whenever U and V are isomorphic finite subdigraphs, there is an automorphism g of the digraph with U^g=V. Here, extending work of Lachlan on finite homogeneous digraphs, we classify finite set-homogeneous digraphs, where we allow some pairs of vertices to have arcs in both directions. Under the assumption that such pairs of vertices are not allowed, we obtain initial results on countably infinite set-homogeneous digraphs, classifying those which are not 2-homogeneous.