-
Orbits of Primitive $k$-Homogenous Groups on $(n-k)$-Partitions with Applications to Semigroups
Authors:
João Araújo,
Peter J. Cameron
Abstract:
Let $X$ be a finite set such that $|X|=n$, and let $k< n/2$. A group is $k$-homogeneous if it has only one orbit on the sets of size $k$. The aim of this paper is to prove some general results on permutation groups and then apply them to transformation semigroups. On groups we find the minimum number of permutations needed to generate $k$-homogeneous groups (for $k\ge 1$); in particular we show th…
▽ More
Let $X$ be a finite set such that $|X|=n$, and let $k< n/2$. A group is $k$-homogeneous if it has only one orbit on the sets of size $k$. The aim of this paper is to prove some general results on permutation groups and then apply them to transformation semigroups. On groups we find the minimum number of permutations needed to generate $k$-homogeneous groups (for $k\ge 1$); in particular we show that $2$-homogeneous groups are $2$-generated. We also describe the orbits of $k$-homogenous groups on partitions with $n-k$ parts, classify the $3$-homogeneous groups $G$ whose orbits on $(n-3)$-partitions are invariant under the normalizer of $G$ in $S_n$, and describe the normalizers of $2$-homogeneous groups in the symmetric group. Then these results are applied to extract information about transformation semigroups with given group of units, namely to prove results on their automorphisms and on the minimum number of generators. The paper finishes with some problems on permutation groups, transformation semigroups and computational algebra.
△ Less
Submitted 17 December, 2015;
originally announced December 2015.
-
Chiral Rotational Spectroscopy
Authors:
Robert P. Cameron,
Jörg B. Götte,
Stephen M. Barnett
Abstract:
We introduce chiral rotational spectroscopy: a new technique that enables the determination of the orientated optical activity pseudotensor components $B_{XX}$, $B_{YY}$ and $B_{ZZ}$ of chiral molecules, in a manner that reveals the enantiomeric constitution of a sample and provides an incisive signal even for a racemate. Chiral rotational spectroscopy could find particular use in the analysis of…
▽ More
We introduce chiral rotational spectroscopy: a new technique that enables the determination of the orientated optical activity pseudotensor components $B_{XX}$, $B_{YY}$ and $B_{ZZ}$ of chiral molecules, in a manner that reveals the enantiomeric constitution of a sample and provides an incisive signal even for a racemate. Chiral rotational spectroscopy could find particular use in the analysis of molecules that are chiral solely by virtue of their isotopic constitution and molecules with multiple chiral centres. The principles that underpin chiral rotational spectroscopy could be exploited moreover in the search for molecular chirality in space, which, if found, might add weight to hypotheses that biological homochirality and indeed life itself are of cosmic origin. A basic design for a chiral rotational spectrometer together with a model of its functionality is given. Our proposed technique offers the more familiar polarisability components $α_{XX}$, $α_{YY}$ and $α_{ZZ}$ as by-products, which could see it find use even for achiral molecules.
△ Less
Submitted 13 January, 2018; v1 submitted 14 November, 2015;
originally announced November 2015.
-
Between primitive and $2$-transitive: Synchronization and its friends
Authors:
João Araújo,
Peter J. Cameron,
Benjamin Steinberg
Abstract:
An automaton is said to be synchronizing if there is a word in the transitions which sends all states of the automaton to a single state. Research on this topic has been driven by the Černý conjecture, one of the oldest and most famous problems in automata theory, according to which a synchronizing $n$-state automaton has a reset word of length at most $(n-1)^2$. The transitions of an automaton ge…
▽ More
An automaton is said to be synchronizing if there is a word in the transitions which sends all states of the automaton to a single state. Research on this topic has been driven by the Černý conjecture, one of the oldest and most famous problems in automata theory, according to which a synchronizing $n$-state automaton has a reset word of length at most $(n-1)^2$. The transitions of an automaton generate a transformation monoid on the set of states, and so an automaton can be regarded as a transformation monoid with a prescribed set of generators. In this setting, an automaton is synchronizing if the transitions generate a constant map. A permutation group $G$ on a set $Ω$ is said to synchronize a map $f$ if the monoid $\langle G,f\rangle$ generated by $G$ and $f$ is synchronizing in the above sense; we say $G$ is synchronizing if it synchronizes every non-permutation.
The classes of synchronizing groups and friends form an hierarchy of natural and elegant classes of groups lying strictly between the classes of primitive and $2$-homogeneous groups. These classes have been floating around for some years and it is now time to provide a unified reference on them. The study of all these classes has been prompted by the Černý conjecture, but it is of independent interest since it involves a rich mix of group theory, combinatorics, graph endomorphisms, semigroup theory, finite geometry, and representation theory, and has interesting computational aspects as well. So as to make the paper self-contained, we have provided background material on these topics. Our purpose here is to present results that show the connections between the various areas of mathematics mentioned above, we include a new result on the Černý conjecture, some challenges to finite geometers, some thoughts about infinite analogues, and a long list of open problems.
△ Less
Submitted 10 November, 2015;
originally announced November 2015.
-
Innovative Science
Authors:
Donald W Braben,
John F Allen,
William Amos,
Richard Ball,
Hagan Bayley,
Tim Birkhead,
Peter Cameron,
Eleanor Campbell,
Richard Cogdell,
David Colquhoun,
Steve Davies,
Rod Dowler,
Peter Edwards,
Irene Engle,
Felipe Fernandez-Armesto,
Desmond Fitzgerald,
Jon Frampton,
Dame Anne Glover,
John Hall,
Pat Heslop-Harrison,
Dudley Herschbach,
Sui Huang,
H Jeff Kimble,
Sir Harry Kroto,
James Ladyman
, et al. (23 additional authors not shown)
Abstract:
Sir, We write as senior scientists about a problem vital to the scientific enterprise and prosperity. Nowadays, funding is a lengthy and complex business. First, universities themselves must approve all proposals for submission. Funding agencies then subject those that survive to peer review, a process by which a few researchers, usually acting anonymously, assess a proposal's chances that it will…
▽ More
Sir, We write as senior scientists about a problem vital to the scientific enterprise and prosperity. Nowadays, funding is a lengthy and complex business. First, universities themselves must approve all proposals for submission. Funding agencies then subject those that survive to peer review, a process by which a few researchers, usually acting anonymously, assess a proposal's chances that it will achieve its goals, is the best value for money, is relevant to a national priority and will impact on a socio-economic problem. Only 25% of proposals received by the funding agencies are funded. These protracted processes force researchers to exploit existing knowledge, severely discourage open-ended studies and are hugely time-consuming. They are also new: before 1970, few researchers wrote proposals. Now they are virtually mandatory.
△ Less
Submitted 23 September, 2015;
originally announced October 2015.
-
$Z_4$-codes and their Gray map images as orthogonal arrays
Authors:
Peter J. Cameron,
Josephine Kusuma,
Patrick Solé
Abstract:
A classic result of Delsarte connects the strength (as orthogonal array) of a linear code with the minimum weight of its dual: the former is one less than the latter. We show that Delsarte's observation extends to codes over arbitrary finite rings.
Since the paper of Hammons \emph{et al.}, there is a lot of interest in codes over rings, especially in codes over $Z_4$ and their (usually non-linea…
▽ More
A classic result of Delsarte connects the strength (as orthogonal array) of a linear code with the minimum weight of its dual: the former is one less than the latter. We show that Delsarte's observation extends to codes over arbitrary finite rings.
Since the paper of Hammons \emph{et al.}, there is a lot of interest in codes over rings, especially in codes over $Z_4$ and their (usually non-linear) binary Gray map images.
We show that Delsarte's observation extends to codes over arbitrary finite commutative rings with identity. Also, we show that the strength of the Gray map image of a $Z_4$ code is one less than the minimum Lee weight of its Gray map image.
△ Less
Submitted 5 May, 2016; v1 submitted 6 October, 2015;
originally announced October 2015.
-
Were there two forms of Stegosaurus?
Authors:
Robert P. Cameron,
John A. Cameron,
Stephen M. Barnett
Abstract:
We recognise that Stegosaurus exhibited exterior chirality and could, therefore, have assumed either of two distinct, mirror-image forms. Our preliminary investigations suggest that both existed. Stegosaurus's exterior chirality raises new questions such as the validity of well-known exhibits whilst offering new insights into long-standing questions such as the function of the plates. We inform ou…
▽ More
We recognise that Stegosaurus exhibited exterior chirality and could, therefore, have assumed either of two distinct, mirror-image forms. Our preliminary investigations suggest that both existed. Stegosaurus's exterior chirality raises new questions such as the validity of well-known exhibits whilst offering new insights into long-standing questions such as the function of the plates. We inform our discussions throughout with examples of modern-day animals that exhibit exterior chirality.
△ Less
Submitted 15 August, 2015;
originally announced August 2015.
-
Asymmetric Latin squares, Steiner triple systems, and edge-parallelisms
Authors:
Peter J. Cameron
Abstract:
This article, showing that almost all objects in the title are asymmetric, is re-typed from a manuscript I wrote somewhere around 1980 (after the papers of Bang and Friedland on the permanent conjecture but before those of Egorychev and Falikman). I am not sure of the exact date. The manuscript had been lost, but surfaced among my papers recently.
I am grateful to Laci Babai and Ian Wanless who…
▽ More
This article, showing that almost all objects in the title are asymmetric, is re-typed from a manuscript I wrote somewhere around 1980 (after the papers of Bang and Friedland on the permanent conjecture but before those of Egorychev and Falikman). I am not sure of the exact date. The manuscript had been lost, but surfaced among my papers recently.
I am grateful to Laci Babai and Ian Wanless who have encouraged me to make this document public, and to Ian for spotting a couple of typos. In the section on Latin squares, Ian objects to my use of the term "cell"; this might be more reasonably called a "triple" (since it specifies a row, column and symbol), but I have decided to keep the terminology I originally used.
The result for Latin squares is in B. D. McKay and I. M. Wanless, On the number of Latin squares, Annals of Combinatorics 9 (2005), 335-344 (arXiv 0909.2101), while the result for Steiner triple systems is in L. Babai, Almost all Steiner triple systems are asymmetric, Annals of Discrete Mathematics 7 (1980), 37-39.
△ Less
Submitted 8 July, 2015;
originally announced July 2015.
-
Response to recent works on the discriminatory optical force for chiral molecules
Authors:
Robert P. Cameron,
Stephen M. Barnett,
Alison M. Yao
Abstract:
We respond to recent works by Bradshaw and Andrews on the discriminatory optical force for chiral molecules, in particular to the erroneous claims made by them concerning our earlier work.
We respond to recent works by Bradshaw and Andrews on the discriminatory optical force for chiral molecules, in particular to the erroneous claims made by them concerning our earlier work.
△ Less
Submitted 24 June, 2015;
originally announced June 2015.
-
Primitive groups and synchronization
Authors:
João Araújo,
Wolfram Bentz,
Peter J. Cameron,
Gordon Royle,
Artur Schaefer
Abstract:
Let $Ω$ be a set of cardinality $n$, $G$ a permutation group on $Ω$, and $f:Ω\toΩ$ a map which is not a permutation. We say that $G$ \emph{synchronizes} $f$ if the transformation semigroup $\langle G,f\rangle$ contains a constant map, and that $G$ is a \emph{synchronizing group} if $G$ synchronizes \emph{every} non-permutation.
A synchronizing group is necessarily primitive, but there are primit…
▽ More
Let $Ω$ be a set of cardinality $n$, $G$ a permutation group on $Ω$, and $f:Ω\toΩ$ a map which is not a permutation. We say that $G$ \emph{synchronizes} $f$ if the transformation semigroup $\langle G,f\rangle$ contains a constant map, and that $G$ is a \emph{synchronizing group} if $G$ synchronizes \emph{every} non-permutation.
A synchronizing group is necessarily primitive, but there are primitive groups that are not synchronizing. Every non-synchronizing primitive group fails to synchronize at least one uniform transformation (that is, transformation whose kernel has parts of equal size), and it has previously been conjectured that a primitive group synchronizes every non-uniform transformation.
The first goal of this paper is to prove that this conjecture is false, by exhibiting primitive groups that fail to synchronize specific non-uniform transformations of ranks $5$ and $6$. In addition we produce graphs whose automorphism groups have approximately $\sqrt{n}$ \emph{non-synchronizing ranks}, thus refuting another conjecture on the number of non-synchronizing ranks of a primitive group.
The second goal of this paper is to extend the spectrum of ranks for which it is known that primitive groups synchronize every non-uniform transformation of that rank. It has previously been shown that a primitive group of degree $n$ synchronizes every non-uniform transformation of rank $n-1$ and $n-2$, and here this is extended to $n-3$ and $n-4$.
Determining the exact spectrum of ranks for which there exist non-uniform transformations not synchronized by some primitive group is just one of several natural, but possibly difficult, problems on automata, primitive groups, graphs and computational algebra arising from this work; these are outlined in the final section.
△ Less
Submitted 28 May, 2015; v1 submitted 7 April, 2015;
originally announced April 2015.
-
Chains of subsemigroups
Authors:
Peter J. Cameron,
Maximilien Gadouleau,
James D. Mitchell,
Yann Peresse
Abstract:
We investigate the maximum length of a chain of subsemigroups in various classes of semigroups, such as the full transformation semigroups, the general linear semigroups, and the semigroups of order-preserving transformations of finite chains. In some cases, we give lower bounds for the total number of subsemigroups of these semigroups. We give general results for finite completely regular and fin…
▽ More
We investigate the maximum length of a chain of subsemigroups in various classes of semigroups, such as the full transformation semigroups, the general linear semigroups, and the semigroups of order-preserving transformations of finite chains. In some cases, we give lower bounds for the total number of subsemigroups of these semigroups. We give general results for finite completely regular and finite inverse semigroups. Wherever possible, we state our results in the greatest generality; in particular, we include infinite semigroups where the result is true for these. The length of a subgroup chain in a group is bounded by the logarithm of the group order. This fails for semigroups, but it is perhaps surprising that there is a lower bound for the length of a subsemigroup chain in the full transformation semigroup which is a constant multiple of the semigroup order.
△ Less
Submitted 26 January, 2015;
originally announced January 2015.
-
Acyclic orientations and poly-Bernoulli numbers
Authors:
Peter J. Cameron,
C. A. Glass,
Kamilla Rekvényi,
R. U. Schumacher
Abstract:
The main contribution of this paper is a formula for the number of acyclic orientations of a complete bipartite, $K_{n_1,n_2},$ revealing that it is equal to the poly-Bernoulli number $B_{n_1}^{(-n_2)}$ introduced in 1997 by Kaneko. We also give a simple bijective identification of acyclic orientations and lonesum matrices, confirming a 2008 result of Brewbaker, and show that the poly-Bernoulli nu…
▽ More
The main contribution of this paper is a formula for the number of acyclic orientations of a complete bipartite, $K_{n_1,n_2},$ revealing that it is equal to the poly-Bernoulli number $B_{n_1}^{(-n_2)}$ introduced in 1997 by Kaneko. We also give a simple bijective identification of acyclic orientations and lonesum matrices, confirming a 2008 result of Brewbaker, and show that the poly-Bernoulli numbers behave concavely, as well being symmetric.
A second goal is to explore the behaviour of more general complete $r$-partite graphs in the space of the number of acyclic orientations. We prove that the number of acyclic orientations of complete bipartite graphs on $n$ vertices is a unimodular concave function maximised by the Turán graph $T(2,n).$ For tripartite graphs, we derive an explicit formula for its number of its acyclic orientations, for the specific case with a single vertex partition. For more complex complete $r$-partite graphs an algorithmic approach is suggested, taking advantage of the relationship with graph colouring through the result of Stanley, namely the value of the graph colouring polynomial at the value -1.
An underlying theme is the exploration of the space of the number of acyclic orientations of graphs. We present various theoretical and computational results, with additional, conjectures for both complete $r$-partite and general graphs to guide future research.
△ Less
Submitted 7 November, 2022; v1 submitted 11 December, 2014;
originally announced December 2014.
-
String C-groups as transitive subgroups of Sym(n)
Authors:
Peter J. Cameron,
Maria Elisa Fernandes,
Dimitri Leemans,
Mark Mixer
Abstract:
If $Γ$ is a string C-group which is isomorphic to a transitive subgroup of the symmetric group Sym(n) (other than Sym(n) and the alternating group Alt(n)), then the rank of $Γ$ is at most $n/2+1$, with finitely many exceptions (which are classified). It is conjectured that only the symmetric group has to be excluded.
If $Γ$ is a string C-group which is isomorphic to a transitive subgroup of the symmetric group Sym(n) (other than Sym(n) and the alternating group Alt(n)), then the rank of $Γ$ is at most $n/2+1$, with finitely many exceptions (which are classified). It is conjectured that only the symmetric group has to be excluded.
△ Less
Submitted 21 October, 2014;
originally announced October 2014.
-
Guessing Games on Triangle-free Graphs
Authors:
Peter J. Cameron,
Anh N. Dang,
Soren Riis
Abstract:
The guessing game introduced by Riis is a variant of the "guessing your own hats" game and can be played on any simple directed graph G on n vertices. For each digraph G, it is proved that there exists a unique guessing number gn(G) associated to the guessing game played on G. When we consider the directed edge to be bidirected, in other words, the graph G is undirected, Christofides and Markstro…
▽ More
The guessing game introduced by Riis is a variant of the "guessing your own hats" game and can be played on any simple directed graph G on n vertices. For each digraph G, it is proved that there exists a unique guessing number gn(G) associated to the guessing game played on G. When we consider the directed edge to be bidirected, in other words, the graph G is undirected, Christofides and Markstrom introduced a method to bound the value of the guessing number from below using the fractional clique number Kf(G). In particular they showed gn(G) >= |V(G)| - Kf(G). Moreover, it is pointed out that equality holds in this bound if the underlying undirected graph G falls into one of the following categories: perfect graphs, cycle graphs or their complement. In this paper, we show that there are triangle-free graphs that have guessing numbers which do not meet the fractional clique cover bound. In particular, the famous triangle-free Higman-Sims graph has guessing number at least 77 and at most 78, while the bound given by fractional clique cover is 50.
△ Less
Submitted 12 October, 2015; v1 submitted 9 October, 2014;
originally announced October 2014.
-
On optimality and construction of circular repeated-measurements designs
Authors:
R. A. Bailey,
Peter J. Cameron,
Katarzyna Filipiak,
Joachim Kunert,
Augustyn Markiewicz
Abstract:
The aim of this paper is to characterize and construct universally optimal designs among the class of circular repeated-measurements designs when the parameters do not permit balance for carry-over effects. It is shown that some circular weakly neighbour balanced designs defined by Filipiak and Markiewicz These results extend the work of Magda, Kunert, Filipiak and Markiewicz.
The aim of this paper is to characterize and construct universally optimal designs among the class of circular repeated-measurements designs when the parameters do not permit balance for carry-over effects. It is shown that some circular weakly neighbour balanced designs defined by Filipiak and Markiewicz These results extend the work of Magda, Kunert, Filipiak and Markiewicz.
△ Less
Submitted 7 October, 2014;
originally announced October 2014.
-
Constructing flag-transitive, point-imprimitive designs
Authors:
Peter J. Cameron,
Cheryl E. Praeger
Abstract:
We give a construction of a family of designs with a specified point-partition, and determine the subgroup of automorphisms leaving invariant the point-partition. We give necessary and sufficient conditions for a design in the family to possess a flag-transitive group of automorphisms preserving the specified point-partition. We give examples of flag-transitive designs in the family, including a n…
▽ More
We give a construction of a family of designs with a specified point-partition, and determine the subgroup of automorphisms leaving invariant the point-partition. We give necessary and sufficient conditions for a design in the family to possess a flag-transitive group of automorphisms preserving the specified point-partition. We give examples of flag-transitive designs in the family, including a new symmetric $2$-$(1408,336,80)$ design with automorphism group $2^{12}:((3\cdot\mathrm{M}_{22}):2)$, and a construction of one of the families of the symplectic designs (the designs $S^-(n)$) exhibiting a flag-transitive, point-imprimitive automorphism group.
△ Less
Submitted 24 February, 2015; v1 submitted 27 August, 2014;
originally announced August 2014.
-
Some measures of finite groups related to permutation bases
Authors:
Peter J. Cameron
Abstract:
I define three "measures" of the complicatedness of a finite group in terms of bases in permutation representations of the group, and consider their relationships to other measures.
I define three "measures" of the complicatedness of a finite group in terms of bases in permutation representations of the group, and consider their relationships to other measures.
△ Less
Submitted 5 August, 2014;
originally announced August 2014.
-
A graph partition problem
Authors:
Peter J. Cameron,
Sebastian M. Cioabă
Abstract:
Given a graph $G$ on $n$ vertices, for which $m$ is it possible to partition the edge set of the $m$-fold complete graph $mK_n$ into copies of $G$? We show that there is an integer $m_0$, which we call the \emph{partition modulus of $G$}, such that the set $M(G)$ of values of $m$ for which such a partition exists consists of all but finitely many multiples of $m_0$. Trivial divisibility conditions…
▽ More
Given a graph $G$ on $n$ vertices, for which $m$ is it possible to partition the edge set of the $m$-fold complete graph $mK_n$ into copies of $G$? We show that there is an integer $m_0$, which we call the \emph{partition modulus of $G$}, such that the set $M(G)$ of values of $m$ for which such a partition exists consists of all but finitely many multiples of $m_0$. Trivial divisibility conditions derived from $G$ give an integer $m_1$ which divides $m_0$; we call the quotient $m_0/m_1$ the \emph{partition index of $G$}. It seems that most graphs $G$ have partition index equal to $1$, but we give two infinite families of graphs for which this is not true. We also compute $M(G)$ for various graphs, and outline some connections between our problem and the existence of designs of various types.
△ Less
Submitted 2 August, 2014;
originally announced August 2014.
-
Most switching classes with primitive automorphism groups contain graphs with trivial groups
Authors:
Peter J. Cameron,
Pablo Spiga
Abstract:
The operation of switching a graph $Γ$ with respect to a subset $X$ of the vertex set interchanges edges and non-edges between $X$ and its complement, leaving the rest of the graph unchanged. This is an equivalence relation on the set of graphs on a given vertex set, so we can talk about the automorphism group of a switching class of graphs.
It might be thought that switching classes with many a…
▽ More
The operation of switching a graph $Γ$ with respect to a subset $X$ of the vertex set interchanges edges and non-edges between $X$ and its complement, leaving the rest of the graph unchanged. This is an equivalence relation on the set of graphs on a given vertex set, so we can talk about the automorphism group of a switching class of graphs.
It might be thought that switching classes with many automorphisms would have the property that all their graphs also have many automorphisms. However the main theorem of this paper shows a different picture: with finitely many exceptions, if a non-trivial switching class $\mathcal{S}$ has primitive automorphism group, then it contains a graph whose automorphism group is trivial. We also find all the exceptional switching classes; up to complementation, there are just six.
△ Less
Submitted 18 February, 2015; v1 submitted 20 July, 2014;
originally announced July 2014.
-
Most primitive groups are full automorphism groups of edge-transitive hypergraphs
Authors:
Laszlo Babai,
Peter J. Cameron
Abstract:
We prove that, for a primitive permutation group G acting on a set of size n, other than the alternating group, the probability that Aut(X,Y^G) = G for a random subset Y of X, tends to 1 as n tends to infinity. So the property of the title holds for all primitive groups except the alternating groups and finitely many others. This answers a question of M. Klin. Moreover, we give an upper bound n^{1…
▽ More
We prove that, for a primitive permutation group G acting on a set of size n, other than the alternating group, the probability that Aut(X,Y^G) = G for a random subset Y of X, tends to 1 as n tends to infinity. So the property of the title holds for all primitive groups except the alternating groups and finitely many others. This answers a question of M. Klin. Moreover, we give an upper bound n^{1/2+ε} for the minimum size of the edges in such a hypergraph. This is essentially best possible.
△ Less
Submitted 8 September, 2014; v1 submitted 27 April, 2014;
originally announced April 2014.
-
Computing in matrix groups without memory
Authors:
Peter J. Cameron,
Ben Fairbairn,
Maximilien Gadouleau
Abstract:
Memoryless computation is a novel means of computing any function of a set of registers by updating one register at a time while using no memory. We aim to emulate how computations are performed on modern cores, since they typically involve updates of single registers. The computation model of memoryless computation can be fully expressed in terms of transformation semigroups, or in the case of bi…
▽ More
Memoryless computation is a novel means of computing any function of a set of registers by updating one register at a time while using no memory. We aim to emulate how computations are performed on modern cores, since they typically involve updates of single registers. The computation model of memoryless computation can be fully expressed in terms of transformation semigroups, or in the case of bijective functions, permutation groups. In this paper, we view registers as elements of a finite field and we compute linear permutations without memory. We first determine the maximum complexity of a linear function when only linear instructions are allowed. We also determine which linear functions are hardest to compute when the field in question is the binary field and the number of registers is even. Secondly, we investigate some matrix groups, thus showing that the special linear group is internally computable but not fast. Thirdly, we determine the smallest set of instructions required to generate the special and general linear groups. These results are important for memoryless computation, for they show that linear functions can be computed very fast or that very few instructions are needed to compute any linear function. They thus indicate new advantages of using memoryless computation.
△ Less
Submitted 22 October, 2013;
originally announced October 2013.
-
Computing in permutation groups without memory
Authors:
Peter J. Cameron,
Ben Fairbairn,
Maximilien Gadouleau
Abstract:
Memoryless computation is a new technique to compute any function of a set of registers by updating one register at a time while using no memory. Its aim is to emulate how computations are performed in modern cores, since they typically involve updates of single registers. The memoryless computation model can be fully expressed in terms of transformation semigroups, or in the case of bijective fun…
▽ More
Memoryless computation is a new technique to compute any function of a set of registers by updating one register at a time while using no memory. Its aim is to emulate how computations are performed in modern cores, since they typically involve updates of single registers. The memoryless computation model can be fully expressed in terms of transformation semigroups, or in the case of bijective functions, permutation groups. In this paper, we consider how efficiently permutations can be computed without memory. We determine the minimum number of basic updates required to compute any permutation, or any even permutation. The small number of required instructions shows that very small instruction sets could be encoded on cores to perform memoryless computation. We then start looking at a possible compromise between the size of the instruction set and the length of the resulting programs. We consider updates only involving a limited number of registers. In particular, we show that binary instructions are not enough to compute all permutations without memory when the alphabet size is even. These results, though expressed as properties of special generating sets of the symmetric or alternating groups, provide guidelines on the implementation of memoryless computation.
△ Less
Submitted 22 October, 2013;
originally announced October 2013.
-
Permutation groups and transformation semigroups: results and problems
Authors:
João Araújo,
Peter J. Cameron
Abstract:
J.M. Howie, the influential St Andrews semigroupist, claimed that we value an area of pure mathematics to the extent that (a) it gives rise to arguments that are deep and elegant, and (b) it has interesting interconnections with other parts of pure mathematics.
This paper surveys some recent results on the transformation semigroup generated by a permutation group $G$ and a single non-permutation…
▽ More
J.M. Howie, the influential St Andrews semigroupist, claimed that we value an area of pure mathematics to the extent that (a) it gives rise to arguments that are deep and elegant, and (b) it has interesting interconnections with other parts of pure mathematics.
This paper surveys some recent results on the transformation semigroup generated by a permutation group $G$ and a single non-permutation $a$. Our particular concern is the influence that properties of $G$ (related to homogeneity, transitivity and primitivity) have on the structure of the semigroup. In the first part of the paper, we consider properties of $S=<G,a>$ such as regularity and idempotent generation. The second is a brief report on the synchronization project, which aims to decide in what circumstances $S$ contains an element of rank 1. The paper closes with a list of open problems on permutation groups and linear groups, and some comments about the impact on semigroups are provided.
These two research directions outlined above lead to very interesting and challenging problems on primitive permutation groups whose solutions require combining results from several different areas of mathematics, certainly fulfilling both of Howie's elegance and value tests in a new and fascinating way.
△ Less
Submitted 16 August, 2013;
originally announced August 2013.
-
Optical helicity of interfering waves
Authors:
Robert P. Cameron,
Stephen M. Barnett,
Alison M. Yao
Abstract:
Helicity is a property of light which is familiar from particle physics but less well-known in optics. In this paper we recall the explicit form taken by the helicity of light within classical electromagnetic theory and reflect upon some of its remarkable characteristics. The helicity of light is related to, but is distinct from, the spin of light. To emphasise this fact, we draw a simple analogy…
▽ More
Helicity is a property of light which is familiar from particle physics but less well-known in optics. In this paper we recall the explicit form taken by the helicity of light within classical electromagnetic theory and reflect upon some of its remarkable characteristics. The helicity of light is related to, but is distinct from, the spin of light. To emphasise this fact, we draw a simple analogy between the helicity of light and electric charge and between the spin of light and electric current. We illustrate this and other observations by examining various superpositions of plane waves explicitly.
△ Less
Submitted 6 August, 2013;
originally announced August 2013.
-
Moving to Extremal Graph Parameters
Authors:
P. J. Cameron,
C. A. Glass,
R. U. Schumacher
Abstract:
Which graphs, in the class of all graphs with given numbers n and m of edges and vertices respectively, minimizes or maximizes the value of some graph parameter? In this paper we develop a technique which provides answers for several different parameters: the numbers of edges in the line graph, acyclic orientations, cliques, and forests. (We minimize the first two and maximize the third and fourth…
▽ More
Which graphs, in the class of all graphs with given numbers n and m of edges and vertices respectively, minimizes or maximizes the value of some graph parameter? In this paper we develop a technique which provides answers for several different parameters: the numbers of edges in the line graph, acyclic orientations, cliques, and forests. (We minimize the first two and maximize the third and fourth.)
Our technique involves two moves on the class of graphs. A compression move converts any graph to a form we call fully compressed: the fully compressed graphs are split graphs in which the neighbourhoods of points in the independent set are nested. A second consolidation move takes each fully compressed graph to one particular graph which we call H(n,m). We show monotonicity of the parameters listed for these moves in many cases, which enables us to obtain our results fairly simply.
The paper concludes with some open problems and future directions.
△ Less
Submitted 22 July, 2013;
originally announced July 2013.
-
Primitive Groups Synchronize Non-uniform Maps of Extreme Ranks
Authors:
João Araújo,
Peter J. Cameron
Abstract:
Let $Ω$ be a set of cardinality $n$, $G$ a permutation group on $Ω$, and $f:Ω\toΩ$ a map which is not a permutation. We say that $G$ synchronizes $f$ if the semigroup $\langle G,f\rangle$ contains a constant map.
The first author has conjectured that a primitive group synchronizes any map whose kernel is non-uniform. Rystsov proved one instance of this conjecture, namely, degree $n$ primitive gr…
▽ More
Let $Ω$ be a set of cardinality $n$, $G$ a permutation group on $Ω$, and $f:Ω\toΩ$ a map which is not a permutation. We say that $G$ synchronizes $f$ if the semigroup $\langle G,f\rangle$ contains a constant map.
The first author has conjectured that a primitive group synchronizes any map whose kernel is non-uniform. Rystsov proved one instance of this conjecture, namely, degree $n$ primitive groups synchronize maps of rank $n-1$ (thus, maps with kernel type $(2,1,\ldots,1)$). We prove some extensions of Rystsov's result, including this: a primitive group synchronizes every map whose kernel type is $(k,1,\ldots,1)$. Incidentally this result provides a new characterization of imprimitive groups. We also prove that the conjecture above holds for maps of extreme ranks, that is, ranks 3, 4 and $n-2$.
These proofs use a graph-theoretic technique due to the second author: a transformation semigroup fails to contain a constant map if and only if it is contained in the endomorphism semigroup of a non-null (simple undircted) graph.
The paper finishes with a number of open problems, whose solutions will certainly require very delicate graph theoretical considerations.
△ Less
Submitted 24 January, 2014; v1 submitted 20 June, 2013;
originally announced June 2013.
-
The Classification of Partition Homogeneous Groups with Applications to Semigroup Theory
Authors:
Jorge André,
João Araújo,
Peter J. Cameron
Abstract:
Let $λ=(λ_1,λ_2,...)$ be a \emph{partition} of $n$, a sequence of positive integers in non-increasing order with sum $n$. Let $Ω:=\{1,...,n\}$. An ordered partition $P=(A_1,A_2,...)$ of $Ω$ has \emph{type} $λ$ if $|A_i|=λ_i$.
Following Martin and Sagan, we say that $G$ is \emph{$λ$-transitive} if, for any two ordered partitions $P=(A_1,A_2,...)$ and $Q=(B_1,B_2,...)$ of $Ω$ of type $λ$, there ex…
▽ More
Let $λ=(λ_1,λ_2,...)$ be a \emph{partition} of $n$, a sequence of positive integers in non-increasing order with sum $n$. Let $Ω:=\{1,...,n\}$. An ordered partition $P=(A_1,A_2,...)$ of $Ω$ has \emph{type} $λ$ if $|A_i|=λ_i$.
Following Martin and Sagan, we say that $G$ is \emph{$λ$-transitive} if, for any two ordered partitions $P=(A_1,A_2,...)$ and $Q=(B_1,B_2,...)$ of $Ω$ of type $λ$, there exists $g\in G$ with $A_ig=B_i$ for all $i$. A group $G$ is said to be \emph{$λ$-homogeneous} if, given two ordered partitions $P$ and $Q$ as above, inducing the sets $P'=\{A_1,A_2,...\}$ and $Q'=\{B_1,B_2,...\}$, there exists $g\in G$ such that $P'g=Q'$. Clearly a $λ$-transitive group is $λ$-homogeneous.
The first goal of this paper is to classify the $λ$-homogeneous groups. The second goal is to apply this classification to a problem in semigroup theory.
Let $\trans$ and $\sym$ denote the transformation monoid and the symmetric group on $Ω$, respectively. Fix a group $H\leq \sym$. Given a non-invertible transformation $a\in \trans\setminus \sym$ and a group $G\leq \sym$, we say that $(a,G)$ is an \emph{$H$-pair} if the semigroups generated by $\{a\}\cup H$ and $\{a\}\cup G$ contain the same non-units, that is, $< a,G>\setminus G=< a,H>\setminus H$. Using the classification of the $λ$-homogeneous groups we classify all the $\sym$-pairs.
This topic involves both group theory and semigroup theory; we have attempted to include enough exposition to make the paper self-contained for researchers in both areas.
The paper finishes with a number of open problems on permutation and linear groups.
△ Less
Submitted 27 April, 2013;
originally announced April 2013.
-
The random graph
Authors:
Peter J. Cameron
Abstract:
Erdős and Rényi showed the paradoxical result that there is a unique (and highly symmetric) countably infinite random graph. This graph, and its automorphism group, form the subject of the present survey.
Erdős and Rényi showed the paradoxical result that there is a unique (and highly symmetric) countably infinite random graph. This graph, and its automorphism group, form the subject of the present survey.
△ Less
Submitted 31 January, 2013;
originally announced January 2013.
-
Proper Motions and Origins of SGR 1806-20 and SGR 1900+14
Authors:
Shriharsh P. Tendulkar,
P. Brian Cameron,
Shrinivas R. Kulkarni
Abstract:
We present results from high-resolution infrared observations of magnetars SGR1806-20 and SGR 1900+14 over 5 years using laser-supported adaptive optics at the 10-m Keck Observatory. Our measurements of the proper motions of these magnetars provide robust links between magnetars and their progenitors and provide age estimates for magnetars. At the measured distances of their putative associations,…
▽ More
We present results from high-resolution infrared observations of magnetars SGR1806-20 and SGR 1900+14 over 5 years using laser-supported adaptive optics at the 10-m Keck Observatory. Our measurements of the proper motions of these magnetars provide robust links between magnetars and their progenitors and provide age estimates for magnetars. At the measured distances of their putative associations, we measure the linear transverse velocity of SGR 1806-20 to be 350 +/- 100 km/s and of SGR 1900+14 to be 130 +/- 30 km/s. The transverse velocity vectors for both magnetars point away from the clusters of massive stars, solidifying their proposed associations. Assuming that the magnetars were born in the clusters, we can estimate the braking index to be ~1.8 for SGR 1806-20 and ~1.2 for SGR 1900+14. This is significantly lower than the canonical value of n = 3 predicted by the magnetic dipole spin-down suggesting an alternative source of dissipation such as twisted magnetospheres or particle winds.
△ Less
Submitted 30 October, 2012;
originally announced October 2012.
-
Groups with right-invariant multiorders
Authors:
Peter J. Cameron
Abstract:
A Cayley object for a group G is a structure on which G acts regularly as a group of automorphisms. The main theorem asserts that a necessary and sufficient condition for the free abelian group G of rank m to have the generic n-tuple of linear orders as a Cayley object is that m>n. The background to this theorem is discussed. The proof uses Kronecker's Theorem on diophantine approximation.
A Cayley object for a group G is a structure on which G acts regularly as a group of automorphisms. The main theorem asserts that a necessary and sufficient condition for the free abelian group G of rank m to have the generic n-tuple of linear orders as a Cayley object is that m>n. The background to this theorem is discussed. The proof uses Kronecker's Theorem on diophantine approximation.
△ Less
Submitted 14 September, 2012;
originally announced September 2012.
-
Overgroups of the Automorphism Group of the Rado Graph
Authors:
Peter Cameron,
Claude Laflamme,
Maurice Pouzet,
Sam Tarzi,
Robert Woodrow
Abstract:
We are interested in overgroups of the automorphism group of the Rado graph. One class of such overgroups is completely understood; this is the class of reducts. In this article we tie recent work on various other natural overgroups, in particular establishing group connections between them and the reducts.
We are interested in overgroups of the automorphism group of the Rado graph. One class of such overgroups is completely understood; this is the class of reducts. In this article we tie recent work on various other natural overgroups, in particular establishing group connections between them and the reducts.
△ Less
Submitted 16 May, 2012;
originally announced May 2012.
-
Groups Synchronizing a Transformation of Non-Uniform Kernel
Authors:
João Araújo,
Wolfram Bentz,
Peter J. Cameron
Abstract:
This paper concerns the general problem of classifying the finite deterministic automata that admit a synchronizing (or reset) word. (For our purposes it is irrelevant if the automata has initial or final states.) Our departure point is the study of the transition semigroup associated to the automaton, taking advantage of the enormous and very deep progresses made during the last decades on the th…
▽ More
This paper concerns the general problem of classifying the finite deterministic automata that admit a synchronizing (or reset) word. (For our purposes it is irrelevant if the automata has initial or final states.) Our departure point is the study of the transition semigroup associated to the automaton, taking advantage of the enormous and very deep progresses made during the last decades on the theory of permutation groups, their geometry and their combinatorial structure.
Let $X$ be a finite set. We say that a primitive group $G$ on $X$ is {\em synchronizing} if $G$ together with any non-invertible map on $X$ generates a constant map. It is known (by some recent results proved by P. M. Neumann) that for some primitive groups $G$ and for some singular transformations $t$ of uniform kernel (that is, all blocks have the same number of elements), the semigroup $< G,t>$ does not generate a constant map. Therefore the following concept is very natural: a primitive group $G$ on $X$ is said to be {\em almost synchronizing} if $G$ together with any map of non-uniform kernel generates a constant map. In this paper we use two different methods to provide several infinite families of groups that are not synchronizing, but are almost synchronizing. The paper ends with a number of problems on synchronization likely to attract the attention of experts in computer science, combinatorics and geometry, groups and semigroups, linear algebra and matrix theory.
△ Less
Submitted 3 May, 2012;
originally announced May 2012.
-
The classification of normalizing groups
Authors:
João Araújo,
Peter J. Cameron,
James Mitchell,
Max Neunhöffer
Abstract:
Let $X$ be a finite set such that $|X|=n$. Let $\trans$ and $\sym$ denote respectively the transformation monoid and the symmetric group on $n$ points. Given $a\in \trans\setminus \sym$, we say that a group $G\leq \sym$ is $a$-normalizing if $$<a,G> \setminus G=<g^{-1}ag\mid g\in G>.$$ If $G$ is $a$-normalizing for all $a\in \trans\setminus \sym$, then we say that $G$ is normalizing. The goal of t…
▽ More
Let $X$ be a finite set such that $|X|=n$. Let $\trans$ and $\sym$ denote respectively the transformation monoid and the symmetric group on $n$ points. Given $a\in \trans\setminus \sym$, we say that a group $G\leq \sym$ is $a$-normalizing if $$<a,G> \setminus G=<g^{-1}ag\mid g\in G>.$$ If $G$ is $a$-normalizing for all $a\in \trans\setminus \sym$, then we say that $G$ is normalizing. The goal of this paper is to classify normalizing groups and hence answer a question posed elsewhere. The paper ends with a number of problems for experts in groups, semigroups and matrix theory.
△ Less
Submitted 4 October, 2012; v1 submitted 2 May, 2012;
originally announced May 2012.
-
Two Generalizations of Homogeneity in Groups with Applications to Regular Semigroups
Authors:
João Araújo,
Peter J. Cameron
Abstract:
Let $X$ be a finite set such that $|X|=n$ and let $i\leq j \leq n$. A group $G\leq \sym$ is said to be $(i,j)$-homogeneous if for every $I,J\subseteq X$, such that $|I|=i$ and $|J|=j$, there exists $g\in G$ such that $Ig\subseteq J$. (Clearly $(i,i)$-homogeneity is $i$-homogeneity in the usual sense.)
A group $G\leq \sym$ is said to have the $k$-universal transversal property if given any set…
▽ More
Let $X$ be a finite set such that $|X|=n$ and let $i\leq j \leq n$. A group $G\leq \sym$ is said to be $(i,j)$-homogeneous if for every $I,J\subseteq X$, such that $|I|=i$ and $|J|=j$, there exists $g\in G$ such that $Ig\subseteq J$. (Clearly $(i,i)$-homogeneity is $i$-homogeneity in the usual sense.)
A group $G\leq \sym$ is said to have the $k$-universal transversal property if given any set $I\subseteq X$ (with $|I|=k$) and any partition $P$ of $X$ into $k$ blocks, there exists $g\in G$ such that $Ig$ is a section for $P$. (That is, the orbit of each $k$-subset of $X$ contains a section for each $k$-partition of $X$.)
In this paper we classify the groups with the $k$-universal transversal property (with the exception of two classes of 2-homogeneous groups) and the $(k-1,k)$-homogeneous groups (for $2<k\leq \lfloor \frac{n+1}{2}\rfloor$). As a corollary of the classification we prove that a $(k-1,k)$-homogeneous group is also $(k-2,k-1)$-homogeneous, with two exceptions; and similarly, but with no exceptions, groups having the $k$-universal transversal property have the $(k-1)$-universal transversal property.
A corollary of all the previous results is a classification of the groups that together with any rank $k$ transformation on $X$ generate a regular semigroup (for $1\leq k\leq \lfloor \frac{n+1}{2}\rfloor$).
The paper ends with a number of challenges for experts in number theory, group and/or semigroup theory, linear algebra and matrix theory.
△ Less
Submitted 29 January, 2014; v1 submitted 10 April, 2012;
originally announced April 2012.
-
A Unifying Framework to Characterize the Power of a Language to Express Relations
Authors:
Paola Bonizzoni,
Peter J. Cameron,
Gianluca Della Vedova,
Alberto Leporati,
Giancarlo Mauri
Abstract:
In this extended abstract we provide a unifying framework that can be used to characterize and compare the expressive power of query languages for different data base models. The framework is based upon the new idea of valid partition, that is a partition of the elements of a given data base, where each class of the partition is composed by elements that cannot be separated (distinguished) accordi…
▽ More
In this extended abstract we provide a unifying framework that can be used to characterize and compare the expressive power of query languages for different data base models. The framework is based upon the new idea of valid partition, that is a partition of the elements of a given data base, where each class of the partition is composed by elements that cannot be separated (distinguished) according to some level of information contained in the data base. We describe two applications of this new framework, first by deriving a new syntactic characterization of the expressive power of relational algebra which is equivalent to the one given by Paredaens, and subsequently by studying the expressive power of a simple graph-based data model.
△ Less
Submitted 21 March, 2012;
originally announced March 2012.
-
Aftermath
Authors:
Peter J. Cameron
Abstract:
I take a quick overview at the recent development of combinatorics and its current directions, as a discipline in its own right, as part of mathematics, and as part of science and wider society.
I take a quick overview at the recent development of combinatorics and its current directions, as a discipline in its own right, as part of mathematics, and as part of science and wider society.
△ Less
Submitted 17 November, 2011;
originally announced November 2011.
-
Using graphs to find the best block designs
Authors:
R. A. Bailey,
Peter J. Cameron
Abstract:
A statistician designing an experiment wants to get as much information as possible from the data gathered. Often this means the most precise estimate possible (that is, an estimate with minimum possible variance) of the unknown parameters. If there are several parameters, this can be interpreted in many ways: do we want to minimize the average variance, or the maximum variance, or the volume of a…
▽ More
A statistician designing an experiment wants to get as much information as possible from the data gathered. Often this means the most precise estimate possible (that is, an estimate with minimum possible variance) of the unknown parameters. If there are several parameters, this can be interpreted in many ways: do we want to minimize the average variance, or the maximum variance, or the volume of a confidence region for the parameters?
In the case of block designs, these optimality criteria can be calculated from the concurrence graph of the design, and in many cases from its Laplacian eigenvalues. The Levi graph can also be used. The various criteria turn out to be closely connected with other properties of the graph as a network, such as number of spanning trees, isoperimetric number, and the sum of the resistances between pairs of vertices when the graph is regarded as an electrical network.
In this chapter, we discuss the notions of optimality for incomplete-block designs, explain the graph-theoretic connections, and prove some old and new results about optimality.
△ Less
Submitted 16 November, 2011;
originally announced November 2011.
-
Three-factor decompositions of $\mathbb{U}_n$ with the three generators in arithmetic progression
Authors:
P. J. Cameron,
D. A. Preece
Abstract:
Irrespective of whether n is prime, prime power with exponent >1, or composite, the group U_n of units of Z_n can sometimes be obtained as the direct product of cyclic groups generated by x, x+k and x+2k, for x, k in Z_n. Indeed, for many values of n, many distinct 3-factor decompositions of this type exist. The circumstances in which such decompositions exist are examined. Many decompositions hav…
▽ More
Irrespective of whether n is prime, prime power with exponent >1, or composite, the group U_n of units of Z_n can sometimes be obtained as the direct product of cyclic groups generated by x, x+k and x+2k, for x, k in Z_n. Indeed, for many values of n, many distinct 3-factor decompositions of this type exist. The circumstances in which such decompositions exist are examined. Many decompositions have additional interesting properties. We also look briefly at decompositions of the multiplicative groups of finite fields.
△ Less
Submitted 15 November, 2011;
originally announced November 2011.
-
Remoteness of permutation codes
Authors:
Peter J. Cameron,
Maximilien Gadouleau
Abstract:
In this paper, we introduce a new parameter of a code, referred to as the remoteness, which can be viewed as a dual to the covering radius. Indeed, the remoteness is the minimum radius needed for a single ball to cover all codewords. After giving some general results about the remoteness, we then focus on the remoteness of permutation codes. We first derive upper and lower bounds on the minimum ca…
▽ More
In this paper, we introduce a new parameter of a code, referred to as the remoteness, which can be viewed as a dual to the covering radius. Indeed, the remoteness is the minimum radius needed for a single ball to cover all codewords. After giving some general results about the remoteness, we then focus on the remoteness of permutation codes. We first derive upper and lower bounds on the minimum cardinality of a code with a given remoteness. We then study the remoteness of permutation groups. We show that the remoteness of transitive groups can only take two values, and we determine the remoteness of transitive groups of odd order. We finally show that the problem of determining the remoteness of a given transitive group is equivalent to determining the stability number of a related graph.
△ Less
Submitted 9 March, 2012; v1 submitted 10 October, 2011;
originally announced October 2011.
-
Combinatorial representations
Authors:
Peter J. Cameron,
Maximilien Gadouleau,
Søren Riis
Abstract:
This paper introduces combinatorial representations, which generalise the notion of linear representations of matroids. We show that any family of subsets of the same cardinality has a combinatorial representation via matrices. We then prove that any graph is representable over all alphabets of size larger than some number depending on the graph. We also provide a characterisation of families repr…
▽ More
This paper introduces combinatorial representations, which generalise the notion of linear representations of matroids. We show that any family of subsets of the same cardinality has a combinatorial representation via matrices. We then prove that any graph is representable over all alphabets of size larger than some number depending on the graph. We also provide a characterisation of families representable over a given alphabet. Then, we associate a rank function and a rank operator to any representation which help us determine some criteria for the functions used in a representation. While linearly representable matroids can be viewed as having representations via matrices with only one row, we conclude this paper by an investigation of representations via matrices with only two rows.
△ Less
Submitted 6 September, 2011;
originally announced September 2011.
-
Dixon's Theorem and random synchronization
Authors:
Peter J. Cameron
Abstract:
A transformation monoid on a set Omega is called synchronizing if it contains an element of rank 1 (that is, map** the whole of Omega to a single point). In this paper, I tackle the question: given n and k, what is the probability that the submonoid of the full transformation monoid T_n generated by k random transformations is synchronizing? This question is analogous to Dixon's Theorem that two…
▽ More
A transformation monoid on a set Omega is called synchronizing if it contains an element of rank 1 (that is, map** the whole of Omega to a single point). In this paper, I tackle the question: given n and k, what is the probability that the submonoid of the full transformation monoid T_n generated by k random transformations is synchronizing? This question is analogous to Dixon's Theorem that two random permutations generate the symmetric or alternating group with high probability.
Following the technique of Dixon's theorem, we need to analyse the maximal non-synchronizing submonoids of T_n. I develop a very close connection between transformation monoids and graphs, from which we obtain a description of non-synchronizing monoids as endomorphism monoids of graphs satisfying some very strong conditions. However, counting such graphs, and dealing with the intersections of their endomorphism monoids, seems difficult.
△ Less
Submitted 19 August, 2011;
originally announced August 2011.
-
An analogue of Ryser's Theorem for partial Sudoku squares
Authors:
P. J. Cameron,
A. J. W. Hilton,
E. R. Vaughan
Abstract:
In 1956 Ryser gave a necessary and sufficient condition for a partial latin rectangle to be completable to a latin square. In 1990 Hilton and Johnson showed that Ryser's condition could be reformulated in terms of Hall's Condition for partial latin squares. Thus Ryser's Theorem can be interpreted as saying that any partial latin rectangle $R$ can be completed if and only if $R$ satisfies Hall's Co…
▽ More
In 1956 Ryser gave a necessary and sufficient condition for a partial latin rectangle to be completable to a latin square. In 1990 Hilton and Johnson showed that Ryser's condition could be reformulated in terms of Hall's Condition for partial latin squares. Thus Ryser's Theorem can be interpreted as saying that any partial latin rectangle $R$ can be completed if and only if $R$ satisfies Hall's Condition for partial latin squares.
We define Hall's Condition for partial Sudoku squares and show that Hall's Condition for partial Sudoku squares gives a criterion for the completion of partial Sudoku rectangles that is both necessary and sufficient. In the particular case where $n=pq$, $p|r$, $q|s$, the result is especially simple, as we show that any $r \times s$ partial $(p,q)$-Sudoku rectangle can be completed (no further condition being necessary).
△ Less
Submitted 14 July, 2011; v1 submitted 13 July, 2011;
originally announced July 2011.
-
Counting false entries in truth tables of bracketed formulae connected by implication
Authors:
Peter J. Cameron,
Volkan Yildiz
Abstract:
In this paper we count the number of rows f_n with the value "false" in the truth tables of all bracketed formulae with n distinct variables connected by the binary connective of implication. We find a recurrence and an asymptotic formulae for f_n. We also show that the ratio of f_n to the total number of rows converges to \frac{3-\sqrt{3}}{6}.
In this paper we count the number of rows f_n with the value "false" in the truth tables of all bracketed formulae with n distinct variables connected by the binary connective of implication. We find a recurrence and an asymptotic formulae for f_n. We also show that the ratio of f_n to the total number of rows converges to \frac{3-\sqrt{3}}{6}.
△ Less
Submitted 22 June, 2011;
originally announced June 2011.
-
A note on higher-dimensional magic matrices
Authors:
Peter J. Cameron,
Christian Krattenthaler,
Thomas W. Müller
Abstract:
We provide exact and asymptotic formulae for the number of unrestricted, respectively indecomposable, $d$-dimensional matrices where the sum of all matrix entries with one coordinate fixed equals 2.
We provide exact and asymptotic formulae for the number of unrestricted, respectively indecomposable, $d$-dimensional matrices where the sum of all matrix entries with one coordinate fixed equals 2.
△ Less
Submitted 26 April, 2011;
originally announced April 2011.
-
Mixed-Morphology Supernova Remnants in X-rays: Isothermal Plasma in HB21 and Probable Oxygen-Rich Ejecta in CTB 1
Authors:
Thomas G. Pannuti,
Jeonghee Rho,
Kazimierz J. Borkowski,
P. Brian Cameron
Abstract:
(Abridged) We present an analysis of X-ray observations made of the Galactic supernova remnants (SNRs) HB21 (G89.0+4.7) and CTB 1 (G116.9+0.2), two well-known mixed-morphology (MM) SNRs. We find a marked contrast between the X-ray properties of these SNRs: for HB21, the extracted ASCA spectra of the northwest and southeast regions of the X-ray emitting plasma can be fit with a single thermal model…
▽ More
(Abridged) We present an analysis of X-ray observations made of the Galactic supernova remnants (SNRs) HB21 (G89.0+4.7) and CTB 1 (G116.9+0.2), two well-known mixed-morphology (MM) SNRs. We find a marked contrast between the X-ray properties of these SNRs: for HB21, the extracted ASCA spectra of the northwest and southeast regions of the X-ray emitting plasma can be fit with a single thermal model with marginally enhanced silicon and sulfur abundances. For both of these regions, the derived column density and temperature are N_H~0.3x10^22 cm^-2 and kT~0.7 keV, respectively. No significant spatial differences in temperature or elemental abundances between the two regions are detected and the X-ray-emitting plasma in both regions is close to ionization equilibrium. Our Chandra spectral analysis of CTB 1 reveals that this source is likely an oxygen-rich SNR with enhanced abundances of oxygen and neon. The extracted ASCA spectra for the southwestern and northeastern regions of CTB 1 cannot be fit with a single thermal component. Based on our fits to these spectra, we derive a column density N_H~0.6x10^22 cm^-2 and a temperature for the soft thermal component of kT_soft~0.28 keV. The hard emission from the southwest may be modeled with either a thermal component (kT_hard~3 keV) or by a power law component (Gamma~2-3) while the hard emission from the northeast may be modeled with a power law component (Gamma~1.4). We have also extracted ASCA GIS spectra of the discrete X-ray source 1WGA J0001.4+6229 which is seen in projection toward CTB 1. These spectra are best fit using a power-law model with a photon index Gamma=2.2^{+0.5}_{-1.2} which is typical for featureless power-law continua produced by rotation-powered pulsars. This source may be a neutron star associated with CTB 1.
△ Less
Submitted 20 September, 2010;
originally announced September 2010.
-
Galois groups of multivariate Tutte polynomials
Authors:
Adam Bohn,
Peter J. Cameron,
Peter Müller
Abstract:
The multivariate Tutte polynomial $\hat Z_M$ of a matroid $M$ is a generalization of the standard two-variable version, obtained by assigning a separate variable $v_e$ to each element $e$ of the ground set $E$. It encodes the full structure of $M$. Let $\bv = \{v_e\}_{e\in E}$, let $K$ be an arbitrary field, and suppose $M$ is connected. We show that $\hat Z_M$ is irreducible over $K(\bv)$, and gi…
▽ More
The multivariate Tutte polynomial $\hat Z_M$ of a matroid $M$ is a generalization of the standard two-variable version, obtained by assigning a separate variable $v_e$ to each element $e$ of the ground set $E$. It encodes the full structure of $M$. Let $\bv = \{v_e\}_{e\in E}$, let $K$ be an arbitrary field, and suppose $M$ is connected. We show that $\hat Z_M$ is irreducible over $K(\bv)$, and give three self-contained proofs that the Galois group of $\hat Z_M$ over $K(\bv)$ is the symmetric group of degree $n$, where $n$ is the rank of $M$. An immediate consequence of this result is that the Galois group of the multivariate Tutte polynomial of any matroid is a direct product of symmetric groups. Finally, we conjecture a similar result for the standard Tutte polynomial of a connected matroid.
△ Less
Submitted 14 November, 2011; v1 submitted 19 June, 2010;
originally announced June 2010.
-
Decomposable functors and the exponential principle, II
Authors:
Peter Cameron,
Christian Krattenthaler,
Thomas W. Müller
Abstract:
We develop a new setting for the exponential principle in the context of multisort species, where indecomposable objects are generated intrinsically instead of being given in advance. Our approach uses the language of functors and natural transformations (composition operators), and we show that, somewhat surprisingly, a single axiom for the composition already suffices to guarantee validity of th…
▽ More
We develop a new setting for the exponential principle in the context of multisort species, where indecomposable objects are generated intrinsically instead of being given in advance. Our approach uses the language of functors and natural transformations (composition operators), and we show that, somewhat surprisingly, a single axiom for the composition already suffices to guarantee validity of the exponential formula. We provide various illustrations of our theory, among which are applications to the enumeration of (semi-)magic squares.
△ Less
Submitted 29 January, 2011; v1 submitted 19 November, 2009;
originally announced November 2009.
-
Multipermutation solutions of the Yang--Baxter equation
Authors:
Tatiana Gateva-Ivanova,
Peter Cameron
Abstract:
Set-theoretic solutions of the Yang--Baxter equation form a meeting-ground of mathematical physics, algebra and combinatorics. Such a solution consists of a set $X$ and a function r:X x X --> X x X which satisfies the braid relation.
We examine solutions here mainly from the point of view of finite permutation groups: a solution gives rise to a map from $X$ to the symmetric group $Sym(X)$ on…
▽ More
Set-theoretic solutions of the Yang--Baxter equation form a meeting-ground of mathematical physics, algebra and combinatorics. Such a solution consists of a set $X$ and a function r:X x X --> X x X which satisfies the braid relation.
We examine solutions here mainly from the point of view of finite permutation groups: a solution gives rise to a map from $X$ to the symmetric group $Sym(X)$ on $X$ satisfying certain conditions.
Our results include many new constructions based on strong twisted union and wreath product, with an investigation of retracts and the multipermutation level and the solvable length of the groups defined by the solutions and new results about decompositions and factorisations of the groups defined by invariant subsets of the solution.
△ Less
Submitted 24 July, 2009;
originally announced July 2009.
-
An Upper Mass Limit on a Red Supergiant Progenitor for the Type II-Plateau Supernova SN 2006my
Authors:
Douglas C. Leonard,
Avishay Gal-Yam,
Derek B. Fox,
P. B. Cameron,
Erik M. Johansson,
Adam L. Kraus,
David Le Mignant,
Marcos A. van Dam
Abstract:
We analyze two pre-supernova (SN) and three post-SN high-resolution images of the site of the Type II-Plateau supernova SN 2006my in an effort to either detect the progenitor star or to constrain its properties. Following image registration, we find that an isolated stellar object is not detected at the location of SN 2006my in either of the two pre-SN images. In the first, an I-band image obtai…
▽ More
We analyze two pre-supernova (SN) and three post-SN high-resolution images of the site of the Type II-Plateau supernova SN 2006my in an effort to either detect the progenitor star or to constrain its properties. Following image registration, we find that an isolated stellar object is not detected at the location of SN 2006my in either of the two pre-SN images. In the first, an I-band image obtained with the Wide-Field and Planetary Camera 2 on board the Hubble Space Telescope, the offset between the SN 2006my location and a detected source ("Source 1") is too large: > 0.08", which corresponds to a confidence level of non-association of 96% from our most liberal estimates of the transformation and measurement uncertainties. In the second, a similarly obtained V-band image, a source is detected ("Source 2") that has overlap with the SN 2006my location but is definitively an extended object. Through artificial star tests carried out on the precise location of SN 2006my in the images, we derive a 3-sigma upper bound on the luminosity of a red supergiant that could have remained undetected in our pre-SN images of log L/L_Sun = 5.10, which translates to an upper bound on such a star's initial mass of 15 M_Sun from the STARS stellar evolutionary models. Although considered unlikely, we can not rule out the possibility that part of the light comprising Source 1, which exhibits a slight extension relative to other point sources in the image, or part of the light contributing to the extended Source 2, may be due to the progenitor of SN 2006my. Only additional, high-resolution observations of the site taken after SN 2006my has faded beyond detection can confirm or reject these possibilities.
△ Less
Submitted 17 January, 2009; v1 submitted 10 September, 2008;
originally announced September 2008.
-
SN2007ax : An Extremely Faint Type Ia Supernova
Authors:
M. M. Kasliwal,
E. O. Ofek,
A. Gal-Yam,
A. Rau,
P. J. Brown,
S. B. Cenko,
P. B. Cameron,
R. Quimby,
S. R. Kulkarni,
L. Bildsten,
P. Milne
Abstract:
We present multi-band photometric and optical spectroscopic observations of SN2007ax, the faintest and reddest Type Ia supernova (SNIa) yet observed. With M_B = -15.9 and (B-V)max = 1.2, this SN is over half a magnitude fainter at maximum light than any other SNIa. Similar to subluminous SN2005ke, SN2007ax also appears to show excess in UV emission at late time. Traditionally, Delta-m_15(B) has…
▽ More
We present multi-band photometric and optical spectroscopic observations of SN2007ax, the faintest and reddest Type Ia supernova (SNIa) yet observed. With M_B = -15.9 and (B-V)max = 1.2, this SN is over half a magnitude fainter at maximum light than any other SNIa. Similar to subluminous SN2005ke, SN2007ax also appears to show excess in UV emission at late time. Traditionally, Delta-m_15(B) has been used to parameterize the decline rate for SNeIa. However, the B-band transition from fast to slow decline occurs sooner than 15 days for faint SNeIa. Therefore we suggest that a more physically motivated parameter, the time of intersection of the two slopes, be used instead. Only by explaining the faintest (and the brightest) supernovae, we can thoroughly understand the physics of thermonuclear explosions. We suggest that future surveys should carefully design their cadence, depth, pointings and follow-up to find an unbiased sample of extremely faint members of this subclass of faint SNeIa.
△ Less
Submitted 3 July, 2008;
originally announced July 2008.
-
Precision Astrometry with Adaptive Optics
Authors:
P. B. Cameron,
M. C. Britton,
S. R. Kulkarni
Abstract:
We investigate the limits of ground-based astrometry with adaptive optics using the core of the Galactic globular cluster M5. Adaptive optics systems provide near diffraction-limit imaging with the world's largest telescopes. The substantial improvement in both resolution and signal-to-noise ratio enables high-precision astrometry from the ground. We describe the dominant systematic errors that…
▽ More
We investigate the limits of ground-based astrometry with adaptive optics using the core of the Galactic globular cluster M5. Adaptive optics systems provide near diffraction-limit imaging with the world's largest telescopes. The substantial improvement in both resolution and signal-to-noise ratio enables high-precision astrometry from the ground. We describe the dominant systematic errors that typically limit ground-based differential astrometry, and enumerate observational considerations for mitigating their effects. After implementing these measures, we find that the dominant limitation on astrometric performance in this experiment is caused by tilt anisoplanatism. We then present an optimal estimation technique for measuring the position of one star relative to a grid of reference stars in the face of this correlated random noise source. Our methodology has the advantage of reducing the astrometric errors as the square root of time and faster than the square root of the number of reference stars -- effectively eliminating noise caused by atmospheric tilt to the point that astrometric performance is limited by centering accuracy. Using 50 reference stars we demonstrate single-epoch astrometric precision of ~ 1 mas in 1 second, decreasing to < 100 microarcseconds in 2 minutes of integration time at the Hale 200-inch telescope. We also show that our astrometry is accurate to <~ 100 microarcseconds for observations separated by 2 months. Finally, we discuss the limits and potential of differential astrometry with current and next generation large aperture telescopes. At this level of accuracy, numerous astrometric applications become accessible, including planet detection, astrometric microlensing signatures, and kinematics of distant Galactic stellar populations.
△ Less
Submitted 14 May, 2008;
originally announced May 2008.