Source author record

Peter G. Doyle

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

ResearcherUnclaimed source record

math.CO math.DG math.LO math.GR math.GT math.PR math.RA math.SP

Catalog footprint

What is connected

7works

8topics

3close collaborators

Actions

Connect this record

Open graph Browse works

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.

preprint2022arXiv

Let's reinvent subtraction

Subtraction is a powerful technique for creating new bijections from old. Let's reinvent it! While we're at it, let's reinvent division as well.

preprint2020arXiv

Conway's drum quilts

A `transplantable pair' is a pair of glueing diagrams that can be used to create pairs of plane domains that are isospectral for the Laplace operator. We present a host of transplantable pairs worked out by John Conway using his theory of quilts

preprint2015arXiv

Division by four

Write A<=B if there is an injection from A to B, and A==B if there is a bijection. We give a simple proof that for finite n, nA<=nB implies A<=B. From the Cantor-Bernstein theorem it then follows that nA==nB implies A==B. These results have a long and tangled history, of which this paper is meant to be the culmination.

preprint2014arXiv

Cyclic groups with the same Hodge series

The Hodge series of a finite matrix group is the generating function for invariant exterior forms of specified order and degree. Lauret, Miatello, and Rossetti gave examples of pairs of non-conjugate cyclic groups having the same Hodge series; the corresponding space forms are isospectral for the Laplacian on p-forms for all p, but not for all natural operators. Here we explain, simplify, and extend their investigations

preprint2014arXiv

Laplace-isospectral hyperbolic 2-orbifolds are representation-equivalent

Using the Selberg trace formula, we show that for a hyperbolic 2-orbifold, the spectrum of the Laplacian acting on functions determines, and is determined by, the following data: the volume; the total length of the mirror boundary; the number of conepoints of each order, counting a mirror corner as half a conepoint; and the number of primitive closed geodesics of each length and orientability class, counting a geodesic running along the boundary as half orientation-preserving and half orientation-reversing, and discounting imprimitive geodesics appropriately. This implies that Laplace-isospectral hyperbolic 2-orbifolds determine equivalent linear representations of Isom(H^2), and are isospectral for any natural operator.

preprint2012arXiv

Stackable and queueable permutations

There is a natural bijection between permutations obtainable using a stack (those avoiding the pattern 312) and permutations obtainable using a queue (those avoiding 321). This bijection is equivalent to one described by Simion and Schmidt in 1985. We argue that this bijection might well have been found back in 1968 by readers of volume 1 of Knuth's *The Art of Computer Programming*, if Knuth had not assigned difficulty ratings to his exercises.

preprint2011arXiv

Maybe there's no such thing as a random sequence

An infinite binary sequence is deemed to be random if it has all definable properties that hold almost surely for the usual probability measure on the set of infinite binary sequences. There are only countably many such properties, so it would seem that the set of random sequences should have full measure. But in fact there might be no random sequences, because for all we know, there might be no undefinable sets.