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.
Source author record
Peter G. Doyle
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
7works
8topics
3close collaborators
Published work
7 publications
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
Open access
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.
Open access
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
Open access
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.
Open access
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.
Open access
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.
Open access
Research graph
See the researcher in context
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.