The purpose of life is to prove and to conjecture. Paul Erdős |

Some conjectures of mine which have been proved include:

- A conjecture that a random element of the symmetric group belongs to no
proper transitive subgroup except the symmetric and possibly the alternating
group was proved by Tomasz Łuczak and László Pyber,
*Comb. Probab. Comput.***2**(1993), 505-512. - A conjecture with Masao Kiyota on sharp characters whose values are zero
and a family of algebraic conjugates was proved by Masao Kiyota and
Sôhel Nozawa,
*J. Algebra***161**(1993), 216-229; Dean Alvis has generalised their result in*Commun. Algebra***21**(1993), 535-554. - A conjecture that universal sum-free sets have density zero was proved by
Tomasz Schoen,
*Combin. Probab. Comput.***8**(1999), 277-280. - A conjecture with Cheryl Praeger on parameters of
block-transitive, point-imprimitive
3-designs has been proved by Avinoam Mann and Ngo Dac Tuan,
*Geom. Dedicata***88**(2001), 81-90. - The Cameron-Erdős conjecture has two different proofs: by
Ben Green,
*Bull. London Math. Soc.***36**(2004), 769-778; and by Alexander Sapozhenko,*Discrete Math.***308**(2008), 4361-4369. [The conjecture stated that, if*f*(*n*) denotes the number of sum-free subsets of {1,...,*n*}, then*f*(*n*)/2^{n/2}tends to a limit*c*or_{e}*c*when_{o}*n*tends to infinity through even or odd values respectively, and also gave formulae for the two constants.] - A conjecture (really Donald Keedwell's, refined by me) on simultaneous
edge-colouring has been proved by Rong Luo, Wenan Zang, and Cun-Quan Zhang,
*Combinatorica***24**(2004), 641-657. - An old conjecture that an algebra associated with the action on finite
sets of an infinite permutation group with no finite orbits is an
integral domain has been proved
by Maurice Pouzet,
*Theor. Inform. Appl.***42**(2008), 83-103. - A conjecture with Robert Liebler on collineation groups of projective
spaces with equally many point and line orbits has been proved by John
Bamberg and Tim Penttila,
*Commun. Algebra***36**(2008), 2503-2543. - A conjecture with John Sheehan that a vertex-transitive cubic graph has
a large semiregular group of automorphisms has been proved by
Cai Heng Li,
*Proc. Amer. Math. Soc.***136**(2008), 1905-1910. - A conjecture on the base size of primitive permutation groups has been
proved by Tim Burness and various co-authors (R. M. Guralnick and J. Saxl,
E. A. O'Brien and R. A. Wilson, M. W. Liebeck and A. Shalev). Two of the
papers have appeared:
*J. London Math. Soc.*(2)**75**(2007), 545-562, and*Proc. London Math. Soc.*(3)**97**(2009), 116-162. - A conjecture with C. Y. Ku on the second-largest set of intersecting
permutations has been proved by David Ellis,
*J. London Math. Soc.***85**(2012), 165-190.

On the other hand, here are some refuted conjectures:

- A conjecture on the local compactness of cofinitary subgroups of the
infinite symmetric group was refuted by Greg Hjorth,
*J. Algebra***200**(1998), 439-448. - A strengthening of Isbell's conjecture: Given a prime
*p*and a natural number*d*, there is a number*k*such that a finite*p*-group of permutations with*d*orbits, each of size at least*p*, contains a fixed-point-free element. This has been disproved by Eleonora Crestani and Pablo Spiga,^{k}*Israel J. Math.***180**(2010), 413-424.

And here are some conjectures I would like to see settled:

- Suppose that a sum-free set of natural numbers is generated by the
following procedure: start with an arbitrary sum-free subset of
[1..
*m*]; proceed greedily (that is, if an integer*n*is not the sum of two numbers already in the set, then include it). The resulting set is ultimately periodic. - In a finite primitive permutation group, either the rank is bounded by a function of the subrank (the maximum rank of a point stabiliser on its orbits), or there is a base of size 2.
- Every primitive permutation group of diagonal type preserves a non-trivial association scheme. (Association schemes, of course, consist of symmetric relations; otherwise it would be trivially true.)
- The second row of a (uniform) random Latin square of order
*n*tends to a (uniform) random derangement of the first as*n*tends to infinity. - Cheryl Praeger and I showed that a non-trivial block-transitive
*t*-design exists only if*t*< 8, and conjectured that 8 can be replaced by 6. - There are only six positive integers greater than 2 which can be written as the sum of two powers of the same prime in more than two ways.
- There are infinitely many finite simple groups whose order is a prime plus one. (Despite appearances, this is a number theory conjecture!)
- An infinite primitive permutation group which is not highly
set-transitive has at least 2
^{n}/*p*(*n*) orbits on the set of*n*-element subsets, for some polynomial*p*. [This was proved with 2 replaced by a smaller constant, by Dugald Macpherson,*Proc. London Math. Soc.***51**(1985), 246-284; the constant was improved by Francesca Merola,*Europ. J. Combinatorics***22**(2001), 225-241.] - The "α +
*n*conjecture" (devised by participants at the Isaac Newton Institute programme on Combinatorics and Statistical Mechanics, along with David Wallace and Vladimir Dokchitser): if α is any algebraic integer, there is a natural number*n*such that α +*n*is a root of the chromatic polynomial of a graph. - This one is not a conjecture, but a challenge: Prove, without using the Classification of Finite Simple Groups, that a finite transitive permutation group of degree greater than 1 contains a fixed-point-free element of prime power order. (This was proved using CFSG by Fein, Kantor and Schacher.)
- And closely related to the last is
*Isbell's Conjecture*: for any prime*p*, there is a function*g*such that, if_{p}*n = p*where^{a}.b*p*does not divide*b*and*a*≥*g*(_{p}*b*), then any transitive group of degree*n*contains a fixed-point-free element of*p*-power order. (In other words, if one prime "dominates"*n*, then it is the prime which occurs in the last result.) Isbell conjectured this in the case*p*= 2. - The
*road closure conjecture*: Let*G*be a transitive permutation group. Then*G*is said to have the "road closure property" if, given any orbit*O*of*G*on 2-sets, and any proper block of imprimitivity*B*for*G*acting on*O*, the graph with edge set*O*\*B*is connected. Such a group must be primitive and basic, and cannot have an imprimitive subgroup of index 2; there is a family of groups derived from triality which also fail to have the property. The conjecture asserts that any other group satisfies the property. More details on arXiv 1611.80233.

Peter J. Cameron

7 April 2017