Publication lists and repositories

How many publications do I have?

Actually, I don’t care too much about that; but if I were younger and applying for promotion, it would actually matter. But suppose you wanted to answer the question, or indeed to get copies or reviews of the papers, or to find citation counts.

You could turn to the abstracting/reviewing websites, MathSciNet or Zentralblatt Math. They list, respectively, 320 and 328 publications, Zentralblatt giving the additional information that this includes 16 books. MathSciNet also finds 3252 citations of my work. Of course, both of these sites give access to reviews of the papers, and in some cases it is possible to get the published papers from there. But this depends on having the relevant subscriptions (as indeed does access to these two sites).

What about Web of Science? Well, I completely failed to find how to search for just my publications, and there are lots of people called P Cameron beavering away! Accurate author identification really matters.

Lots of people use Google Scholar, and it is not hard to see why. This site credits me with 381 publications, having 11351 citations. How do they get so many? I went down to the end of the list and found all sorts of things, some just about legitimate (documents put on the web but never published), some just crazy (fififiifiifli%fifi§§%fi._, by P. J. Cameron and N. M. Singhi, anyone?) There are ways of tidying this up, but it hardly seems worth the trouble. As to finding three times as many citations as MathSciNet does, I really don’t know how they manage this.

ORCiD tries to be accurate and reliable; it links to other databases and also allows me to edit entries easily. It lists 265 publications. Some of these were imported from Scopus, which lists 249 documents and 2991 citations. Also, increasingly, publishers are allowing you to log in via ORCiD rather than needing a separate login for each journal.

ORCiD gives DOIs for the papers it lists, which means that you can get anything (even book chapters) if you have the appropriate subscription (usually the case if you are logged in to a university account, though this may change).

Scopus is a commercial site; the information there seems fairly reliable (if incomplete), with one exception. Here is the list of my interests on Scopus: Mathematics, Computer Science, Physics and Astronomy, Social Sciences, Biochemistry, Genetics and Molecular Biology, Engineering, Decision Sciences, Psychology. Most of these are spurious. (I do have one paper in each of the Communications in Mathematical Physics and the Journal of Mathematical Psychology, but that doesn’t mean that either physics or psychology is a research interest of mine.)

DBLP gives me 128 publications of which 121 are journal articles (the others are parts in collections or informal publications). It links to everything and gives easy access to the other sources I have mentioned here. Why relatively few? It is a computer science database; frankly, I am surprised that I have as many as 128 publications that can be classified as computer science. (But I was astonished at the size of the DBLP database: they have over 8000 authors listed with the surname Wu, for example.)

I have 65 papers on the arXiv classified as mathematics, 5 computer science and 4 statistics (but there are some overlaps). Of course, I have not been putting papers on the arXiv for my entire career; first it didn’t exist, and then when it did I was too incompetent to use it, so my earliest papers there were posted by coauthors. And of course the great advantage of the arXiv is that you may freely get copies of the papers there. Most new papers of mine go there now, as well as some historical documents dug out of the files which may be of some interest.

The St Andrews repository lists 78 of my publications. These are the ones since the last-but-one research assessment (we were instructed some years ago to enter all these, and I never got round to putting in earlier ones: the process is far from straightforward). It is a repository: as well as titles, open-access copies or post-acceptance manuscripts available there.

According to my own list I have 344 publications, of which 17 are books. This is not completely accurate either. When I drew up this list some years ago, I made a few mistakes, so that one number in the range has no corresponding publication, while others have several (e.g. several chapters in the same book). Also, this list includes papers which are in press or have been accepted for publication, which it would not be reasonable for MathSciNet or Zentralblatt to know about.

So clearly MathSciNet and Zentralblatt are the most accurate sources. But if I were applying for promotion, you can see how Google Scholar would be tempting. Also, in my view, the arXiv is the most important repository.

Posted in publishing, technology | Tagged , , , , , , | Leave a comment

A new kind of design?

Rosemary and I have just put on the arXiv a paper prompted by a question by Valery Fedorov. Suppose that we are testing a number v1 of drugs on a number v2 of cancer types. To simplify the protocol, at each centre involved in the trial, only a limited number k1 (less than v1) of drugs will be used, and only a limited number k2 (less than v2) of cancer types will be treated. Thus, at each centre, the number of combinations of drug and cancer type is k1k2, and these combinations have the structure of a rectangle. Other desirable “balance” properties are that each pair of distinct drugs are used together at a constant number of centres, each pair of distinct cancer types are treated together at a constant number of centres, and each drug is used on each cancer type at a constant number of centres.

These designs have some familiar aspects. If you know about triple arrays, you might think that they are just triple arrays, but this is not so: if we lay out the plan with drugs and cancer types as rows and columns, then each cell contains a fixed number (not necessarily 1) of centres; moreover, the last condition says just this, whereas the last condition for triple arrays asks for the intersection of the set of letters in a row and the set of letters in a column.

Of course it is interesting to know how few centres are required if all these conditions are met, for reasons of reducing the cost of the trial. One of the things we prove is that the number b of centres is at least v1+v2−1. Despite my claim above, this is exactly the same inequality that is known for triple arrays, and our proof works almost without change for triple arrays. Moreover, it also generalises the well-known inequalities of Fisher and Bose for balanced designs and balanced resolvable designs respectively (these two types of structure being “degenerate” examples of our new designs).

We give many different constructions.

The reason we have put it on the arXiv now is that it appears that these designs are actually useful, and being used, in practice; moreover, they might be useful even in a more general setting where combinations of drugs can be given to a patient.

But, inevitably, the effect of preparing it for the arXiv has led us to further insights, solutions to some questions, and new lines of possible inquiry. So the published version, if one is ever produced, will contain more …

Posted in exposition | Tagged , , , , , | Leave a comment

Summer research into print

I described here the outcome of a summer research project in 2016 with St Andrews undergraduates Horacio Guerra and Šimon Jurina, on power graphs of torsion-free groups. (It took us a while to write it up, for various reasons.)

The paper was published on-line yesterday here, in the Journal of Algebraic Combinatorics.

Congratulations to Horacio and Šimon! They have beaten me: I was already a postgraduate student when my first paper was published.

Posted in doing mathematics, history | Tagged , , , | 1 Comment


I have been elected a Fellow of the Royal Society of Edinburgh. You can find the press release here.

Posted in Uncategorized | 7 Comments

Equitable partitions of Latin square graphs

On our recent trip to Shanghai, Rosemary Bailey and I met Sergey Goryainov, who gave a talk about some joint work with his supervisor Alexander Gavrilyuk at the International Workshop on Bannai–Ito Theory in Hangzhou. I mentioned it in my write-up and promised more to follow. The follow-up is here: Rosemary and I got to work on the problem and together the four of us have proved a generalisation.

I have spoken about the result at the Combinatorics Study Group in Queen Mary and at the St Andrews Research Day. A paper containing the complete proof of the theorem is now on the arXiv.

Equitable partitions

Let Γ be a finite graph; I will always assume it to be connected and regular with valency k. Let Ω be its vertex set.

A partition Π = {S1,…,Sr} of Ω is said to be equitable if there is a r×r matrix M (the quotient matrix of the equitable partition) such that a vertex in Si has exactly mij neighbours in Sj.

Equitable partitions of graphs include a large number of structures of interest
in finite geometry and combinatorics. Here are a few examples.

  • Let G be a group of automorphisms of Γ. Then the orbits of G on the vertex set of Γ form an equitable partition.
  • Consider the distance partition of Γ with respect to a vertex v: this is the partition Π whose ith part is the set of vertices at distance i from v, for i=0,…,d (where d is the diameter of Γ. These partitions are all equitable with the same matrix if and only if Γ is distance-regular: this is equivalent to the usual definition of a distance-regular graph.
  • Many important structures in finite geometry, including ovoids, spreads, and “Cameron–Liebler line classes”, fit into this framework.

We call a subset S of Ω perfect if the partition into S and its complement is equitable.

Theorem: The spectrum of the quotient matrix of an equitable partition is contained in the spectrum of the adjacency matrix A(Γ) of Γ.

To see this, let V be the real vector space of real functions on Ω, and let vi be the characteristic function of Si. Then from the definition we get

viA(Γ) = ∑mjivj,

so the subspace spanned by the vectors vi is invariant under A(Γ), and the matrix of the restriction relative to the given basis is the quotient matrix of the equitable partition.

In particular, in the case of a distance-regular graph, the quotient matrix M of the distance partition has each eigenvalue of A(Γ) with multiplicity 1.

Since Γ is regular and connected, its valency k is a simple eigenvalue of A(Γ). Also, the matrix M of the equivariant partition has all row sums equal to k; so k is an eigenvalue of M, called the principal eigenvalue.

If S is a perfect set such that the matrix of the partition {S,Ω\S} has eigenvalues k and μ, then we call S a μ-perfect set.

Here I am concerned with equitable partitions with just one non-principal eigenvalue. These of course include all such partitions with just two parts. In general, the partition Π has all non-principal eigenvalues equal to μ if and only if the characteristic vectors of its parts all lie in the sum of the eigenspaces with eigenvalues k and μ of A(Γ). From this fact, we get the following results, which reduce the problem of their classification to that of the minimal μ-perfect sets:

Proposition: Let Π = {S1,…,Sr} be a partition of the vertex set of the connected regular graph Γ.

  • If Π is equitable with all non-principal eigenvalues μ then each set Si is μ-perfect.
  • Conversely, if all but one of the Si are μ-perfect, then Π is equitable with all non-principal eigenvalues μ.

We call such partitions Π μ-equitable.

Latin square graphs

A Latin square L is a n×n array with entries from the set {1,…,n}, such that each letter occurs once in each row and once in each column.

Latin squares are important in combinatorics, since they are highly regular structures (giving rise to strongly regular graphs, as we will see) but exist in great profusion (the number of Latin squares of order n grows faster than the exponential of n2).

Given a Latin square L, the corresponding Latin square graph Γ has as vertices the n2 cells of L, two cells being adjacent if they lie in the same row or the same column or contain the same letter.

It is well known that this graph is a strongly regular graph (a distance-regular graph with diameter 2), which has valency 3(n−1), and whose other eigenvalues are n−3 (with multiplicity 3(n−1)) and −3 (with multiplicity (n−1)(n−2)).

Proposition: In a Latin square graph, the set of cells in any row (or in any column, or containing any letter) is (n−3)-perfect.

For a cell in a row is joined to n−1 other cells in that row and 2(n−1) cells outside; while a cell outside a row is joined to two cells in the row (one in the same column, and one with the same letter) and 3n−5 cells outside. So the partition is equitable, with matrix having eigenvalues 3(n−1) and n−3. It follows that any partition, each of whose parts is a union of rows (or columns, or letters), is equitable, with all non-trivial eigenvalues equal to n−3.

Are there any others?

At the International Workshop on Bannai–Ito Theory in Hangzhou, China, in November 2017, Sergey Goryainov talked about the following result that he and Alexander Gavrilyuk had proved:

Theorem: Let L be the Cayley table of an elementary abelian 2-group G of order n. Then a minimal (n−3)-perfect set in the Latin square graph is a row, a column, a letter, or the set of n2/4 cells corresponding to a subgroup of G of index 2.

Rosemary and I decided to have a go at generalising this result … Eventually the gang of four came up with a complete solution.

The main theorem

We found a couple more constructions.

Corner sets: Let L be the Cayley table of the cyclic group of order n, which we regard as being the set of integers modulo n. A typical corner set looks like this:

A corner set

A fairly simple calculation shows that a corner set is (n−3)-perfect.

We will also call a set obtained from a corner set as above by permuting rows,
columns or letters a corner set.

Inflation: Let L0 be a Latin square of order s. Construct an n×n array, where n = st, by replacing each entry of L0 by a Latin square of order t, where the squares which replace a given letter all use the same alphabet of size t, and the alphabets associated with different letters of L0 are pairwise disjoint. The resulting array is a Latin square L of order n, called an inflation of L0.

A short calculation shows that if S0 is a set of cells of L0 which is (s−3)-perfect, then the set of |S0|t2 cells of L in the corresponding subsquares is (n−3)-perfect. We call this set an inflation of S0.

Again, we use the same term for any square obtained by permuting rows, columns and letters.

In particular, in the unique Latin square of order 2, any single cell is a corner set; inflating this we see that, in a Latin square of even order n, any subsquare of order n/2 is an inflation of a corner set, and so is (n−3)-perfect.

Now we can state the main theorem:

Theorem: A minimal (n−3)-perfect subset of a Latin square graph from a square of order n is a row, a column, a letter, or an inflation of a corner set in a cyclic square.

The proof of this is quite complicated and I will not attempt even a sketch here. Read it on the arXiv if you are interested!

Going further?

The other non-principal eigenvalue of a Latin square graph is −3. Can we say anything about −3-perfect sets? Such a set S has the property that it meets any row, column or letter in a constant number s of cells, and its cardinality is sn.

In particular, with s = 1, such set is a transversal, a set containing one cell from each row, column or letter. One of the oldest conjectures about Latin squares is Ryser’s conjecture, asserting that any Latin square of odd order has a transversal. Many squares of even order do too, but some do not (for example, the Cayley table of the cyclic group). The conjecture is still open despite a lot of work, so characterising such sets is unlikely to be achieved soon!

We see also that, if an equitable partition Π has all non-principal eigenvalues −3, then all its parts satisfy the above condition, so that rows, columns, letters, and parts of Π form an orthogonal array of strength 2. In particular, if our square has an orthogonal mate, then the letters of this mate form such a partition.

There is a partition with parts of sizes 7, 14 and 28 of a Latin square of order 7 derived from the Fano plane.

If we consider partitions where both non-principal eigenvalues occur, there is much more freedom, and probably no hope of a classification. To mention just two examples:

  • The distance partition of the graph with respect to any cell. (As noted earlier, the non-principal eigenvalues each occur with multiplicity 1.)
  • The partition into t×t subsquares associated with a t-fold inflation of a Latin square of order s. (Both non-principal eigenvalues occur if and only if s > 2.)
Posted in Uncategorized | Tagged , , , , | Leave a comment


The world is more mysterious than I realised.

Before reading on, do you know the mysterious property of 4913?

As regulars here know, I am a Linux user. My favourite editor is one found on every unix machine, namely vi. Well, not the actual original vi, whose movement commands are somewhat cryptic, but the replacement vim (“vi improved”), which does at least use the arrow keys in the way you would expect. (Did I ever tell the story of how I persuaded John Conway to produce a paper for a conference proceedings published in time for the conference?)

I usually use vi from the command line in a terminal. But, possibly because of advancing age causing advancing holes in my memory, I have once or twice recently used the file selector to find the file I am looking for, having forgotten the pathname, then opened a terminal in this directory to use vi. On doing so, I noticed that at the end of the session there was a locked file called 4913 in the directory.

More experimentation showed several curious things. This is not a real file, since it does not show up in a directory listing (which is why I hadn’t spotted it before), and since it doesn’t exist, it can’t be deleted. However, it can be opened with another text editor such as gedit. If you do this, type in a character, and save, then the file takes on a real existence; it is no longer locked, and can be deleted in the usual way. Moreover, if you don’t do this but use vi again, the mysterious 4913 disappears; it seems to be toggled by the use of the editor.

A Google search for the number 4913 led me to a question someone had asked on StackExchange ten years ago. So this mystery has been known for ten years, and nobody, it seems, considered it worth doing anything about it in the intervening time. Well, I suppose that writing a non-existent locked file isn’t really a bug in the programme. But why 4913? I don’t know that!

However, lovers of numbers will no doubt have noticed that 4913 is a perfect cube.

Posted in Uncategorized | Tagged , , , , | 13 Comments

Spot the difference

I arrived back at my desk in St Andrews today and looked at my mail. It included newsletters from both the London Mathematical Society and the European Mathematical Society.

The LMS newsletter told me,

2018 will be the Year of Engineering. The Government has announced that it will work with industry partners … to offer a “million direct and inspiring experiences of engineering to young people throughout the year”

while the EMS reported

Year of Mathematical Biology 2018. The Year … is a joint venture of the European Mathematical Society and the European Society for Mathematical and Theoretical Biology.

Can I respectfully suggest that we might have a Year of Communication?

Posted in Uncategorized | Tagged , | 1 Comment