-
Regular bipartite multigraphs have many (but not too many) symmetries
Authors:
Peter J. Cameron,
Coen del Valle,
Colva M. Roney-Dougal
Abstract:
Let $k$ and $l$ be integers, both at least 2. A $(k,l)$-bipartite graph is an $l$-regular bipartite multigraph with coloured bipartite sets of size $k$. Define $χ(k,l)$ and $μ(k,l)$ to be the minimum and maximum order of automorphism groups of $(k,l)$-bipartite graphs, respectively. We determine $χ(k,l)$ and $μ(k,l)$ for $k\geq 8$, and analyse the generic situation when $k$ is fixed and $l$ is lar…
▽ More
Let $k$ and $l$ be integers, both at least 2. A $(k,l)$-bipartite graph is an $l$-regular bipartite multigraph with coloured bipartite sets of size $k$. Define $χ(k,l)$ and $μ(k,l)$ to be the minimum and maximum order of automorphism groups of $(k,l)$-bipartite graphs, respectively. We determine $χ(k,l)$ and $μ(k,l)$ for $k\geq 8$, and analyse the generic situation when $k$ is fixed and $l$ is large. In particular, we show that almost all such graphs have automorphism groups which fix the vertices pointwise and have order far less than $μ(k,l)$. These graphs are intimately connected with both integer doubly-stochastic matrices and uniform set partitions; we examine the uniform distribution on the set of $k\times k$ integer doubly-stochastic matrices with all line sums $l$, showing that with high probability all entries stray far from the mean. We also show that the symmetric group acting on uniform set partitions is non-synchronizing.
△ Less
Submitted 30 May, 2024;
originally announced May 2024.
-
A survey on conjugacy class graphs of groups
Authors:
P. J. Cameron,
F. E. Jannat,
R. K. Nath,
R. Sharafdini
Abstract:
There are several graphs defined on groups. Among them we consider graphs whose vertex set consists conjugacy classes of a group $G$ and adjacency is defined by properties of the elements of conjugacy classes. In particular, we consider commuting/nilpotent/solvable conjugacy class graph of $G$ where two distinct conjugacy classes $a^G$ and $b^G$ are adjacent if there exist some elements…
▽ More
There are several graphs defined on groups. Among them we consider graphs whose vertex set consists conjugacy classes of a group $G$ and adjacency is defined by properties of the elements of conjugacy classes. In particular, we consider commuting/nilpotent/solvable conjugacy class graph of $G$ where two distinct conjugacy classes $a^G$ and $b^G$ are adjacent if there exist some elements $x\in a^G$ and $y\in b^G$ such that $\langle x, y \rangle$ is abelian/nilpotent/solvable. After a section of introductory results and examples, we discuss all the available results on connectedness, graph realization, genus, various spectra and energies of certain induced subgraphs of these graphs. Proofs of the results are not included. However, many open problems for further investigation are stated.
△ Less
Submitted 19 March, 2024; v1 submitted 14 March, 2024;
originally announced March 2024.
-
Tutorial: Sha** the Spatial Correlations of Entangled Photon Pairs
Authors:
Patrick Cameron,
Baptiste Courme,
Daniele Faccio,
Hugo Defienne
Abstract:
Quantum imaging enhances imaging systems performance, potentially surpassing fundamental limits such as noise and resolution. However, these schemes have limitations and are still a long way from replacing classical techniques. Therefore, there is a strong focus on improving the practicality of quantum imaging methods, with the goal of finding real-world applications. With this in mind, in this tu…
▽ More
Quantum imaging enhances imaging systems performance, potentially surpassing fundamental limits such as noise and resolution. However, these schemes have limitations and are still a long way from replacing classical techniques. Therefore, there is a strong focus on improving the practicality of quantum imaging methods, with the goal of finding real-world applications. With this in mind, in this tutorial we describe how the concepts of classical light sha** can be applied to imaging schemes based on entangled photon pairs. We detail two basic experimental configurations in which a spatial light modulator is used to shape the spatial correlations of a photon pair state and highlight the key differences between this and classical sha**. We then showcase two recent examples that expand on these concepts to perform aberration and scattering correction with photon pairs. We include specific details on the key steps of these experiments, with the goal that this can be used as a guide for building photon-pair-based imaging and sha** experiments.
△ Less
Submitted 12 February, 2024;
originally announced February 2024.
-
Super graphs on groups, II
Authors:
G. Arunkumar,
Peter J. Cameron,
Rajat Kanti Nath
Abstract:
In an earlier paper, the authors considered three types of graphs, and three equivalence relations, defined on a group, viz.\ the power graph, enhanced power graph, and commuting graph, and the relations of equality, conjugacy, and same order; for each choice of a graph type A and an equivalence relation B, there is a graph, the \emph{B superA graph} defined on $G$. The resulting nine graphs (of w…
▽ More
In an earlier paper, the authors considered three types of graphs, and three equivalence relations, defined on a group, viz.\ the power graph, enhanced power graph, and commuting graph, and the relations of equality, conjugacy, and same order; for each choice of a graph type A and an equivalence relation B, there is a graph, the \emph{B superA graph} defined on $G$. The resulting nine graphs (of which eight were shown to be in general distinct) form a two-dimensional hierarchy. In the present paper, we consider these graphs further. We prove universality properties for the conjugacy supergraphs of various types, adding the nilpotent, solvable and enhanced power graphs to the commuting graphs considered in the rest of the paper, and also examine their relation to the invariable generating graph of the group. We also show that supergraphs can be expressed as graph compositions, in the sense of Schwenk, and use this representation to calculate their Wiener index. We illustrate these by computing Wiener index of equality supercommuting and conjugacy supercommuting graphs for dihedral and quaternion groups.
△ Less
Submitted 18 January, 2024;
originally announced January 2024.
-
Minimal cover groups
Authors:
Peter J. Cameron,
David Craven,
Hamid Reza Dorbidi,
Scott Harper,
Benjamin Sambale
Abstract:
Let $\mathcal{F}$ be a set of finite groups. A finite group $G$ is called an \emph{$\mathcal{F}$-cover} if every group in $\mathcal{F}$ is isomorphic to a subgroup of $G$. An $\mathcal{F}$-cover is called \emph{minimal} if no proper subgroup of $G$ is an $\mathcal{F}$-cover, and \emph{minimum} if its order is smallest among all $\mathcal{F}$-covers. We prove several results about minimal and minim…
▽ More
Let $\mathcal{F}$ be a set of finite groups. A finite group $G$ is called an \emph{$\mathcal{F}$-cover} if every group in $\mathcal{F}$ is isomorphic to a subgroup of $G$. An $\mathcal{F}$-cover is called \emph{minimal} if no proper subgroup of $G$ is an $\mathcal{F}$-cover, and \emph{minimum} if its order is smallest among all $\mathcal{F}$-covers. We prove several results about minimal and minimum $\mathcal{F}$-covers: for example, every minimal cover of a set of $p$-groups (for $p$ prime) is a $p$-group (and there may be finitely or infinitely many, for a given set); every minimal cover of a set of perfect groups is perfect; and a minimum cover of a set of two nonabelian simple groups is either their direct product or simple. Our major theorem determines whether $\{\mathbb{Z}_q,\mathbb{Z}_r\}$ has finitely many minimal covers, where $q$ and $r$ are distinct primes. Motivated by this, we say that $n$ is a \emph{Cauchy number} if there are only finitely many groups which are minimal (under inclusion) with respect to having order divisible by $n$, and we determine all such numbers. This extends Cauchy's theorem. We also define a dual concept where subgroups are replaced by quotients, and we pose a number of problems.
△ Less
Submitted 18 February, 2024; v1 submitted 27 November, 2023;
originally announced November 2023.
-
EPPA numbers of graphs
Authors:
David Bradley-Williams,
Peter J. Cameron,
Jan Hubička,
Matěj Konečný
Abstract:
If $G$ is a graph, $A$ and $B$ its induced subgraphs, and $f\colon A\to B$ an isomorphism, we say that $f$ is a partial automorphism of $G$. In 1992, Hrushovski proved that graphs have the extension property for partial automorphisms (EPPA, also called the Hrushovski property), that is, for every finite graph $G$ there is a finite graph $H$, its EPPA-witness, such that $G$ is an induced subgraph o…
▽ More
If $G$ is a graph, $A$ and $B$ its induced subgraphs, and $f\colon A\to B$ an isomorphism, we say that $f$ is a partial automorphism of $G$. In 1992, Hrushovski proved that graphs have the extension property for partial automorphisms (EPPA, also called the Hrushovski property), that is, for every finite graph $G$ there is a finite graph $H$, its EPPA-witness, such that $G$ is an induced subgraph of $H$ and every partial automorphism of $G$ extends to an automorphism of $H$.
The EPPA number of a graph $G$, denoted by $\mathop{\mathrm{eppa}}\nolimits(G)$, is the smallest number of vertices of an EPPA-witness for $G$, and we put $\mathop{\mathrm{eppa}}\nolimits(n) = \max\{\mathop{\mathrm{eppa}}\nolimits(G) : \lvert G\rvert = n\}$. In this note we review the state of the area, prove several lower bounds (in particular, we show that $\mathop{\mathrm{eppa}}\nolimits(n)\geq \frac{2^n}{\sqrt{n}}$, thereby identifying the correct base of the exponential) and pose many open questions. We also briefly discuss EPPA numbers of hypergraphs, directed graphs, and $K_k$-free graphs.
△ Less
Submitted 10 December, 2023; v1 submitted 14 November, 2023;
originally announced November 2023.
-
Theory of Rayleigh-Brillouin optical activity light scattering applicable to chiral liquids
Authors:
Robert P. Cameron,
Emmanouil I. Alexakis,
Aidan S. Arnold,
Duncan McArthur
Abstract:
It has long been understood that dilute samples of chiral molecules such as rarefied gases should exhibit Rayleigh optical activity. We extend the existing theory by accounting for molecular dynamics and correlations, thus obtaining a more general theory of Rayleigh-Brillouin optical activity applicable to dense samples such as neat liquids.
It has long been understood that dilute samples of chiral molecules such as rarefied gases should exhibit Rayleigh optical activity. We extend the existing theory by accounting for molecular dynamics and correlations, thus obtaining a more general theory of Rayleigh-Brillouin optical activity applicable to dense samples such as neat liquids.
△ Less
Submitted 30 April, 2024; v1 submitted 23 October, 2023;
originally announced October 2023.
-
On the order sequence of a group
Authors:
Peter J. Cameron,
Hiranya Kishore Dey
Abstract:
This paper provides a bridge between two active areas of research, the spectrum (set of element orders) and the power graph of a finite group.
The order sequence of a finite group $G$ is the list of orders of elements of the group, arranged in non-decreasing order. Order sequences of groups of order $n$ are ordered by elementwise domination, forming a partially ordered set. We prove a number of…
▽ More
This paper provides a bridge between two active areas of research, the spectrum (set of element orders) and the power graph of a finite group.
The order sequence of a finite group $G$ is the list of orders of elements of the group, arranged in non-decreasing order. Order sequences of groups of order $n$ are ordered by elementwise domination, forming a partially ordered set. We prove a number of results about this poset, among them the following.
M.~Amiri recently proved that the poset has a unique maximal element, corresponding to the cyclic group. We show that the product of orders in a cyclic group of order $n$ is at least $q^{φ(n)}$ times as large as the product in any non-cyclic group,where $q$ is the smallest prime divisor of $n$ and $φ$ is Euler's function, with a similar result for the sum.
The poset of order sequences of abelian groups of order $p^n$ is naturally isomorphic to the (well-studied) poset of partitions of $n$ with its natural partial order.
If there exists a non-nilpotent group of order $n$, then there exists such a group whose order sequence is dominated by the order sequence of any nilpotent group of order $n$.
There is a product operation on finite ordered sequences, defined by forming all products and sorting them into non-decreasing order. The product of order sequences of groups $G$ and $H$ is the order sequence of a group if and only if $|G|$ and $|H|$ are coprime.
The paper concludes with a number of open problems.
△ Less
Submitted 21 March, 2024; v1 submitted 10 October, 2023;
originally announced October 2023.
-
Adaptive Optical Imaging with Entangled Photons
Authors:
Patrick Cameron,
Baptiste Courme,
Chloé Vernière,
Raj Pandya Daniele Faccio,
Hugo Defienne
Abstract:
Adaptive optics (AO) has revolutionized imaging in {fields} from astronomy to microscopy by correcting optical aberrations. In label-free microscopes, however, conventional AO faces limitations due to the absence of guidestar and the need to select an optimization metric specific to the sample and imaging process. Here, we propose an AO approach leveraging correlations between entangled photons to…
▽ More
Adaptive optics (AO) has revolutionized imaging in {fields} from astronomy to microscopy by correcting optical aberrations. In label-free microscopes, however, conventional AO faces limitations due to the absence of guidestar and the need to select an optimization metric specific to the sample and imaging process. Here, we propose an AO approach leveraging correlations between entangled photons to directly correct the point spread function (PSF). This guidestar-free method is independent of the specimen and imaging modality. We demonstrate the imaging of biological samples in the presence of aberrations using a bright-field imaging setup operating with a source of spatially-entangled photon pairs. Our approach performs better than conventional AO in correcting specific aberrations, particularly those involving significant defocus. Our work improves AO for label-free microscopy and could play a major role in the development of quantum microscopes.
△ Less
Submitted 24 January, 2024; v1 submitted 22 August, 2023;
originally announced August 2023.
-
HMD-NeMo: Online 3D Avatar Motion Generation From Sparse Observations
Authors:
Sadegh Aliakbarian,
Fatemeh Saleh,
David Collier,
Pashmina Cameron,
Darren Cosker
Abstract:
Generating both plausible and accurate full body avatar motion is the key to the quality of immersive experiences in mixed reality scenarios. Head-Mounted Devices (HMDs) typically only provide a few input signals, such as head and hands 6-DoF. Recently, different approaches achieved impressive performance in generating full body motion given only head and hands signal. However, to the best of our…
▽ More
Generating both plausible and accurate full body avatar motion is the key to the quality of immersive experiences in mixed reality scenarios. Head-Mounted Devices (HMDs) typically only provide a few input signals, such as head and hands 6-DoF. Recently, different approaches achieved impressive performance in generating full body motion given only head and hands signal. However, to the best of our knowledge, all existing approaches rely on full hand visibility. While this is the case when, e.g., using motion controllers, a considerable proportion of mixed reality experiences do not involve motion controllers and instead rely on egocentric hand tracking. This introduces the challenge of partial hand visibility owing to the restricted field of view of the HMD. In this paper, we propose the first unified approach, HMD-NeMo, that addresses plausible and accurate full body motion generation even when the hands may be only partially visible. HMD-NeMo is a lightweight neural network that predicts the full body motion in an online and real-time fashion. At the heart of HMD-NeMo is the spatio-temporal encoder with novel temporally adaptable mask tokens that encourage plausible motion in the absence of hand observations. We perform extensive analysis of the impact of different components in HMD-NeMo and introduce a new state-of-the-art on AMASS dataset through our evaluation.
△ Less
Submitted 22 August, 2023;
originally announced August 2023.
-
The Near Infrared Imager and Slitless Spectrograph for the James Webb Space Telescope -- I. Instrument Overview and in-Flight Performance
Authors:
Rene Doyon,
C. J Willott,
John B. Hutchings,
Anand Sivaramakrishnan,
Loic Albert,
David Lafreniere,
Neil Rowlands,
M. Begona Vila,
Andre R. Martel,
Stephanie LaMassa,
David Aldridge,
Etienne Artigau,
Peter Cameron,
Pierre Chayer,
Neil J. Cook,
Rachel A. Cooper,
Antoine Darveau-Bernier,
Jean Dupuis,
Colin Earnshaw,
Nestor Espinoza,
Joseph C. Filippazzo,
Alexander W. Fullerton,
Daniel Gaudreau,
Roman Gawlik,
Paul Goudfrooij
, et al. (38 additional authors not shown)
Abstract:
The Near-Infrared Imager and Slitless Spectrograph (NIRISS) is the science module of the Canadian-built Fine Guidance Sensor (FGS) onboard the James Webb Space Telescope (JWST). NIRISS has four observing modes: 1) broadband imaging featuring seven of the eight NIRCam broadband filters, 2) wide-field slitless spectroscopy (WFSS) at a resolving power of $\sim$150 between 0.8 and 2.2 $μ$m, 3) single-…
▽ More
The Near-Infrared Imager and Slitless Spectrograph (NIRISS) is the science module of the Canadian-built Fine Guidance Sensor (FGS) onboard the James Webb Space Telescope (JWST). NIRISS has four observing modes: 1) broadband imaging featuring seven of the eight NIRCam broadband filters, 2) wide-field slitless spectroscopy (WFSS) at a resolving power of $\sim$150 between 0.8 and 2.2 $μ$m, 3) single-object cross-dispersed slitless spectroscopy (SOSS) enabling simultaneous wavelength coverage between 0.6 and 2.8 $μ$m at R$\sim$700, a mode optimized for exoplanet spectroscopy of relatively bright ($J<6.3$) stars and 4) aperture masking interferometry (AMI) between 2.8 and 4.8 $μ$m enabling high-contrast ($\sim10^{-3}-10^{-4}$) imaging at angular separations between 70 and 400 milliarcsec for relatively bright ($M<8$) sources. This paper presents an overview of the NIRISS instrument, its design, its scientific capabilities, and a summary of in-flight performance. NIRISS shows significantly better response shortward of $\sim2.5\,μ$m resulting in 10-40% sensitivity improvement for broadband and low-resolution spectroscopy compared to pre-flight predictions. Two time-series observations performed during instrument commissioning in the SOSS mode yield very stable spectro-photometry performance within $\sim$10% of the expected noise. The first space-based companion detection of the tight binary star AB Dor AC through AMI was demonstrated.
△ Less
Submitted 5 June, 2023;
originally announced June 2023.
-
Forbidden subgraphs in commuting graphs of finite groups
Authors:
Xuanlong Ma,
Peter J. Cameron,
Natalia V. Maslova
Abstract:
Given a finite group $G$, the commuting graph of $G$ is the simple graph whose vertex set is $G$, and two distinct vertices are adjacent if they commute. In this paper, we classify all finite groups whose commuting graph is split and threshold. We also investigate the structure of a group whose commuting graph is either a cograph or a chordal graph, and determine all non-abelian finite simple grou…
▽ More
Given a finite group $G$, the commuting graph of $G$ is the simple graph whose vertex set is $G$, and two distinct vertices are adjacent if they commute. In this paper, we classify all finite groups whose commuting graph is split and threshold. We also investigate the structure of a group whose commuting graph is either a cograph or a chordal graph, and determine all non-abelian finite simple groups whose commuting graph is a cograph. The results partly answer a question by Peter J. Cameron established in 2022 in his survey paper on graphs defined on groups.
△ Less
Submitted 6 August, 2023; v1 submitted 12 May, 2023;
originally announced May 2023.
-
Substitution of Lead with Tin Suppresses Ionic Transport in Halide Perovskite Optoelectronics
Authors:
Krishanu Dey,
Dibyajyoti Ghosh,
Matthew Pilot,
Samuel R Pering,
Bart Roose,
Priyanka Deswal,
Satyaprasad P Senanayak,
Petra J Cameron,
M Saiful Islam,
Samuel D Stranks
Abstract:
Despite the rapid rise in the performance of a variety of perovskite optoelectronic devices with vertical charge transport, the effects of ion migration remain a common and longstanding Achilles heel limiting the long-term operational stability of lead halide perovskite devices. However, there is still limited understanding of the impact of tin (Sn) substitution on the ion dynamics of lead (Pb) ha…
▽ More
Despite the rapid rise in the performance of a variety of perovskite optoelectronic devices with vertical charge transport, the effects of ion migration remain a common and longstanding Achilles heel limiting the long-term operational stability of lead halide perovskite devices. However, there is still limited understanding of the impact of tin (Sn) substitution on the ion dynamics of lead (Pb) halide perovskites. Here, we employ scan-rate-dependent current-voltage measurements on Pb and mixed Pb-Sn perovskite solar cells to show that short circuit current losses at lower scan rates, which can be traced to the presence of mobile ions, are present in both kinds of perovskites. To understand the kinetics of ion migration, we carry out scan-rate-dependent hysteresis analyses and temperature-dependent impedance spectroscopy measurements, which demonstrate suppressed ion migration in Pb-Sn devices compared to their Pb-only analogues. By linking these experimental observations to first-principles calculations on mixed Pb-Sn perovskites, we reveal the key role played by Sn vacancies in increasing the iodide ion migration barrier due to local structural distortions. These results highlight the beneficial effect of Sn substitution in mitigating undesirable ion migration in halide perovskites, with potential implications for future device development.
△ Less
Submitted 3 May, 2023;
originally announced May 2023.
-
Strong chiral optical force for small chiral molecules based on electric-dipole interactions, inspired by the asymmetrical hydrozoan $\textit{Velella velella}$
Authors:
Robert P. Cameron,
Duncan McArthur,
Alison M. Yao
Abstract:
Drawing inspiration from a remarkable chiral force found in nature, we show that a static electric field combined with an optical lin$\perp$lin polarization standing wave can exert a chiral optical force on a small chiral molecule that is several orders of magnitude stronger than other chiral optical forces proposed to date, being based on leading electric-dipole interactions rather than relying o…
▽ More
Drawing inspiration from a remarkable chiral force found in nature, we show that a static electric field combined with an optical lin$\perp$lin polarization standing wave can exert a chiral optical force on a small chiral molecule that is several orders of magnitude stronger than other chiral optical forces proposed to date, being based on leading electric-dipole interactions rather than relying on weak magnetic-dipole and electric-quadrupole interactions. Our chiral optical force applies to most small chiral molecules, including isotopically chiral molecules, and does not require a specific energy-level structure. Potential applications range from chiral molecular matter-wave interferometry for precision metrology and tests of fundamental physics to the resolution of enantiomers for use in chemistry and biology.
△ Less
Submitted 14 July, 2023; v1 submitted 22 March, 2023;
originally announced March 2023.
-
Hypergraphs defined on algebraic structures
Authors:
Peter J. Cameron,
Aparna Lakshmanan S.,
Midhuna V. Ajith
Abstract:
There has been a great deal of research on graphs defined on algebraic structures in the last two decades. In this paper we begin an exploration of hypergraphs defined on algebraic structures, especially groups, to investigate whether this can add a new perspective.
There has been a great deal of research on graphs defined on algebraic structures in the last two decades. In this paper we begin an exploration of hypergraphs defined on algebraic structures, especially groups, to investigate whether this can add a new perspective.
△ Less
Submitted 1 March, 2023;
originally announced March 2023.
-
Pre-primitive permutation groups
Authors:
Marina Anagnostopoulou-Merkouri,
Peter J. Cameron,
Enoch Suleiman
Abstract:
A transitive permutation group $G$ on a finite set $Ω$ is said to be pre-primitive if every $G$-invariant partition of $Ω$ is the orbit partition of a subgroup of $G$. It follows that pre-primitivity and quasiprimitivity are logically independent (there are groups satisfying one but not the other) and their conjunction is equivalent to primitivity. Indeed, part of the motivation for studying pre-p…
▽ More
A transitive permutation group $G$ on a finite set $Ω$ is said to be pre-primitive if every $G$-invariant partition of $Ω$ is the orbit partition of a subgroup of $G$. It follows that pre-primitivity and quasiprimitivity are logically independent (there are groups satisfying one but not the other) and their conjunction is equivalent to primitivity. Indeed, part of the motivation for studying pre-primitivity is to investigate the gap between primitivity and quasiprimitivity. We investigate the pre-primitivity of various classes of transitive groups including groups with regular normal subgroups, direct and wreath products, and diagonal groups. In the course of this investigation, we describe all $G$-invariant partitions for various classes of permutation groups $G$. We also look briefly at conditions similarly related to other pairs of conditions, including transitivity and quasiprimitivity, $k$-homogeneity and $k$-transitivity, and primitivity and synchronization.
△ Less
Submitted 19 September, 2023; v1 submitted 27 February, 2023;
originally announced February 2023.
-
The number of string C-groups of high rank
Authors:
Peter J. Cameron,
Maria Elisa Fernandes,
Dimitri Leemans
Abstract:
If $G$ is a transitive group of degree $n$ having a string C-group of rank $r\geq (n+3)/2$, then $G$ is necessarily the symmetric group $S_n$. We prove that if $n$ is large enough, up to isomorphism and duality, the number of string C-groups of rank $r$ for $S_n$ (with $r\geq (n+3)/2$) is the same as the number of string C-groups of rank $r+1$ for $S_{n+1}$. This result and the tools used in its p…
▽ More
If $G$ is a transitive group of degree $n$ having a string C-group of rank $r\geq (n+3)/2$, then $G$ is necessarily the symmetric group $S_n$. We prove that if $n$ is large enough, up to isomorphism and duality, the number of string C-groups of rank $r$ for $S_n$ (with $r\geq (n+3)/2$) is the same as the number of string C-groups of rank $r+1$ for $S_{n+1}$. This result and the tools used in its proof, in particular the rank and degree extension, imply that if one knows the string C-groups of rank $(n+3)/2$ for $S_n$ with $n$ odd, one can construct from them all string C-groups of rank $(n+3)/2+k$ for $S_{n+k}$ for any positive integer $k$. The classification of the string C-groups of rank $r\geq (n+3)/2$ for $S_n$ is thus reduced to classifying string C-groups of rank $r$ for $S_{2r-3}$. A consequence of this result is the complete classification of all string C-groups of $S_n$ with rank $n-κ$ for $κ\in\{1,\ldots,6\}$, when $n\geq 2κ+3$, which extends previously known results. The number of string C-groups of rank $n-κ$, with $n\geq 2κ+3$, of this classification gives the following sequence of integers indexed by $κ$ and starting at $κ= 1$: $$(1,1,7,9,35,48)$$ This sequence of integers is new according to the On-Line Encyclopedia of Integer Sequences. It will be available as sequence number A359367.
△ Less
Submitted 11 January, 2023; v1 submitted 24 December, 2022;
originally announced December 2022.
-
Number of spanning trees containing a given forest
Authors:
Peter J. Cameron,
Michael Kagan
Abstract:
We consider all spanning trees of a complete simple graph $Γ$ on $n$ vertices that contain a given $m-$forest $F$. We show that the number of such spanning trees, $τ(F)$, doesn't depend on the structure of $F$ and is completely determined by the number of vertices $q_i \, (i=1, ..., m)$ in each connected component of $F$. Specifically, $τ(F) = q_1 q_2 \cdots q_m n^{m-2}$.
We consider all spanning trees of a complete simple graph $Γ$ on $n$ vertices that contain a given $m-$forest $F$. We show that the number of such spanning trees, $τ(F)$, doesn't depend on the structure of $F$ and is completely determined by the number of vertices $q_i \, (i=1, ..., m)$ in each connected component of $F$. Specifically, $τ(F) = q_1 q_2 \cdots q_m n^{m-2}$.
△ Less
Submitted 14 October, 2022;
originally announced October 2022.
-
Component graphs of vector spaces and zero-divisor graphs of ordered sets
Authors:
Nilesh Khandekar,
Peter J. Cameron,
Vinayak Joshi
Abstract:
In this paper, nonzero component graphs and nonzero component union graphs of finite dimensional vector space are studied using the zero-divisor graph of specially constructed 0-1-distributive lattice and the zero-divisor graph of rings. Further, we define an equivalence relation on nonzero component graphs and nonzero component union graphs to deduce that these graphs are the graph join of zero-d…
▽ More
In this paper, nonzero component graphs and nonzero component union graphs of finite dimensional vector space are studied using the zero-divisor graph of specially constructed 0-1-distributive lattice and the zero-divisor graph of rings. Further, we define an equivalence relation on nonzero component graphs and nonzero component union graphs to deduce that these graphs are the graph join of zero-divisor graphs of Boolean algebras and complete graphs. In the last section, we characterize the perfect and chordal nonzero component graphs and nonzero component union graphs.
△ Less
Submitted 9 October, 2022;
originally announced October 2022.
-
Association schemes with given stratum dimensions: on a paper of Peter M. Neumann
Authors:
Marina Anagnostopoulou-Merkouri,
Peter J. Cameron
Abstract:
In January 1969, Peter M. Neumann wrote a paper entitled "Primitive permutation groups of degree 3p". The main theorem placed restrictions on the parameters of a primitive but not 2-transitive permutation group of degree three times a prime. The paper was never published, and the results have been superseded by stronger theorems depending on the classification of the finite simple groups, for exam…
▽ More
In January 1969, Peter M. Neumann wrote a paper entitled "Primitive permutation groups of degree 3p". The main theorem placed restrictions on the parameters of a primitive but not 2-transitive permutation group of degree three times a prime. The paper was never published, and the results have been superseded by stronger theorems depending on the classification of the finite simple groups, for example a classification of primitive groups of odd degree.
However, there are further reasons for being interested in this paper. First, it was written at a time when combinatorial techniques were being introduced into the theory of finite permutation groups, and the paper gives a very good summary and application of these techniques. Second, like its predecessor by Helmut Wielandt on primitive groups of degree 2p, it can be re-interpreted as a combinatorial result concerning association schemes whose common eigenspaces have dimensions of a rather limited form. This result uses neither the primality of p nor the existence of a permutation group related to the combinatorial structure. We extract these results and give details of the related combinatorics.
△ Less
Submitted 8 August, 2022;
originally announced August 2022.
-
Generalized non-coprime graphs of groups
Authors:
S. Anukumar Kathirvel,
Peter J. Cameron,
T. Tamizh Chelvam
Abstract:
Let G be a finite group with identity e and H \neq \{e\} be a subgroup of G. The generalized non-coprime graph GAmma_{G,H} of G with respect to H is the simple undirected graph with G - \{e \}\) as the vertex set and two distinct vertices a and b are adjacent if and only if \gcd(|a|,|b|) \neq 1 and either a \in H or b \in H, where |a| is the order of a\in G. In this paper, we study certain graph t…
▽ More
Let G be a finite group with identity e and H \neq \{e\} be a subgroup of G. The generalized non-coprime graph GAmma_{G,H} of G with respect to H is the simple undirected graph with G - \{e \}\) as the vertex set and two distinct vertices a and b are adjacent if and only if \gcd(|a|,|b|) \neq 1 and either a \in H or b \in H, where |a| is the order of a\in G. In this paper, we study certain graph theoretical properties of generalized non-coprime graphs of finite groups, concentrating on cyclic groups. More specifically, we obtain necessary and sufficient conditions for the generalized non-coprime graph of a cyclic group to be in the class of stars, paths, cycles, triangle-free, complete bipartite, complete, unicycle, split, claw-free, chordal or perfect graphs. Then we show that widening the class of groups to all finite nilpotent groups gives us no new graphs, but we give as an example of contrasting behaviour the class of EPPO groups (those in which all elements have prime power order). We conclude with a connection to the Gruenberg--Kegel graph.
△ Less
Submitted 3 August, 2022;
originally announced August 2022.
-
Induced subgraphs of zero-divisor graphs
Authors:
G. Arunkumar,
Peter J. Cameron,
T. Kavaskar,
T. Tamizh Chelvam
Abstract:
The zero-divisor graph of a finite commutative ring with unity is the graph whose vertex set is the set of zero-divisors in the ring, with $a$ and $b$ adjacent if $ab=0$. We show that the class of zero-divisor graphs is universal, in the sense that every finite graph is isomorphic to an induced subgraph of a zero-divisor graph. This remains true for various restricted classes of rings, including b…
▽ More
The zero-divisor graph of a finite commutative ring with unity is the graph whose vertex set is the set of zero-divisors in the ring, with $a$ and $b$ adjacent if $ab=0$. We show that the class of zero-divisor graphs is universal, in the sense that every finite graph is isomorphic to an induced subgraph of a zero-divisor graph. This remains true for various restricted classes of rings, including boolean rings, products of fields, and local rings. But in more restricted classes, the zero-divisor graphs do not form a universal family. For example, the zero-divisor graph of a local ring whose maximal ideal is principal is a threshold graph; and every threshold graph is embeddable in the zero-divisor graph of such a ring. More generally, we give necessary and sufficient conditions on a non-local ring for which its zero-divisor graph to be a threshold graph. In addition, we show that there is a countable local ring whose zero-divisor graph embeds the Rado graph, and hence every finite or countable graph, as induced subgraph. Finally, we consider embeddings in related graphs such as the $2$-dimensional dot product graph.
△ Less
Submitted 24 July, 2022;
originally announced July 2022.
-
Development of TRL5 Space Qualified Hardware for Tuning, Biasing, and Readout of Kilopixel TES Bolometer Arrays
Authors:
Graeme Smecher,
Peter Cameron,
Jean-Francois Cliche,
Matt Dobbs,
Joshua Montgomery
Abstract:
The next generation of space-based mm-wave telescopes, such as JAXA's LiteBIRD mission, require focal planes with thousands of detectors in order to achieve their science goals. Digital frequency-domain multiplexing (dfmux) techniques allow detector counts to scale without a linear growth in wire harnessing, sub-Kelvin refrigerator loads, and other scaling problems. In this paper, we introduce Tec…
▽ More
The next generation of space-based mm-wave telescopes, such as JAXA's LiteBIRD mission, require focal planes with thousands of detectors in order to achieve their science goals. Digital frequency-domain multiplexing (dfmux) techniques allow detector counts to scale without a linear growth in wire harnessing, sub-Kelvin refrigerator loads, and other scaling problems. In this paper, we introduce Technology Readiness Level 5 (TRL5) electronics suitable for biasing and readout of LiteBIRD's Transition Edge Sensor (TES) bolometers using dfmux techniques. These electronics sit between the spacecraft's payload computer and the cryogenic focal plane, and provide detector biasing, tuning, and readout interfaces between these detectors and the spacecraft's on-board storage. We describe the overall architecture of the electronics, including functional decomposition into modules, the numerology and interconnection of these modules, and their internal and external interfaces. We describe performance measurements to date, including power consumption, thermal performance, and mass, volume, and reliability estimates. This paper is a companion piece to a description of the electronics' on-board Field-Programmable Gate Array (FPGA) firmware.
△ Less
Submitted 22 July, 2022;
originally announced July 2022.
-
Enhanced power graphs of groups are weakly perfect
Authors:
Peter J. Cameron,
Veronica Phan
Abstract:
A graph is weakly perfect if its clique number and chromatic number are equal. We show that the enhanced power graph of a finite group $G$ is weakly perfect: its clique number and chromatic number are equal to the maximum order of an element of $G$. The proof requires a combinatorial lemma. We give some remarks about related graphs.
A graph is weakly perfect if its clique number and chromatic number are equal. We show that the enhanced power graph of a finite group $G$ is weakly perfect: its clique number and chromatic number are equal to the maximum order of an element of $G$. The proof requires a combinatorial lemma. We give some remarks about related graphs.
△ Less
Submitted 14 July, 2022;
originally announced July 2022.
-
The Science Performance of JWST as Characterized in Commissioning
Authors:
Jane Rigby,
Marshall Perrin,
Michael McElwain,
Randy Kimble,
Scott Friedman,
Matt Lallo,
René Doyon,
Lee Feinberg,
Pierre Ferruit,
Alistair Glasse,
Marcia Rieke,
George Rieke,
Gillian Wright,
Chris Willott,
Knicole Colon,
Stefanie Milam,
Susan Neff,
Christopher Stark,
Jeff Valenti,
Jim Abell,
Faith Abney,
Yasin Abul-Huda,
D. Scott Acton,
Evan Adams,
David Adler
, et al. (601 additional authors not shown)
Abstract:
This paper characterizes the actual science performance of the James Webb Space Telescope (JWST), as determined from the six month commissioning period. We summarize the performance of the spacecraft, telescope, science instruments, and ground system, with an emphasis on differences from pre-launch expectations. Commissioning has made clear that JWST is fully capable of achieving the discoveries f…
▽ More
This paper characterizes the actual science performance of the James Webb Space Telescope (JWST), as determined from the six month commissioning period. We summarize the performance of the spacecraft, telescope, science instruments, and ground system, with an emphasis on differences from pre-launch expectations. Commissioning has made clear that JWST is fully capable of achieving the discoveries for which it was built. Moreover, almost across the board, the science performance of JWST is better than expected; in most cases, JWST will go deeper faster than expected. The telescope and instrument suite have demonstrated the sensitivity, stability, image quality, and spectral range that are necessary to transform our understanding of the cosmos through observations spanning from near-earth asteroids to the most distant galaxies.
△ Less
Submitted 10 April, 2023; v1 submitted 12 July, 2022;
originally announced July 2022.
-
Manipulation and certification of high-dimensional entanglement through a scattering medium
Authors:
Baptiste Courme,
Patrick Cameron,
Daniele Faccio,
Sylvain Gigan,
Hugo Defienne
Abstract:
High-dimensional entangled quantum states improve the performance of quantum technologies compared to qubit-based approaches. In particular, they enable quantum communications with higher information capacities or enhanced imaging protocols. However, the presence of optical disorder such as atmospheric turbulence or biological tissue perturb quantum state propagation and hinder their practical use…
▽ More
High-dimensional entangled quantum states improve the performance of quantum technologies compared to qubit-based approaches. In particular, they enable quantum communications with higher information capacities or enhanced imaging protocols. However, the presence of optical disorder such as atmospheric turbulence or biological tissue perturb quantum state propagation and hinder their practical use. Here, we demonstrate a wavefront sha** approach to transmit high-dimensional spatially entangled photon pairs through scattering media. Using a transmission matrix approach, we perform wavefront correction in the classical domain using an intense classical beam as a beacon to compensate for the disturbances suffered by a co propagating beam of entangled photons. Through violation of an Einstein-Podolski-Rosen criterion by $988$ sigma, we show the presence of entanglement after the medium. Furthermore, we certify an entanglement dimensionality of $17$. This work paves the way towards manipulation and transport of entanglement through scattering media, with potential applications in quantum microscopy and quantum key distribution.
△ Less
Submitted 9 January, 2023; v1 submitted 5 July, 2022;
originally announced July 2022.
-
On Difference of Enhanced Power Graph and Power Graph of a Finite Group
Authors:
Sucharita Biswas,
Peter J. Cameron,
Angsuman Das,
Hiranya Kishore Dey
Abstract:
The difference graph $D(G)$ of a finite group $G$ is the difference of enhanced power graph of $G$ and power graph of $G$, with all isolated vertices are removed. In this paper we study the connectedness and perfectness of $D(G)$ with respect to various properties of the underlying group $G$. We also find several connection between the difference graph of $G$ and the Gruenberg-Kegel graph of $G$.
The difference graph $D(G)$ of a finite group $G$ is the difference of enhanced power graph of $G$ and power graph of $G$, with all isolated vertices are removed. In this paper we study the connectedness and perfectness of $D(G)$ with respect to various properties of the underlying group $G$. We also find several connection between the difference graph of $G$ and the Gruenberg-Kegel graph of $G$.
△ Less
Submitted 17 October, 2022; v1 submitted 24 June, 2022;
originally announced June 2022.
-
Recognizing the Commuting Graph of a Finite Group
Authors:
V. Arvind,
Peter. J. Cameron
Abstract:
In this paper we study the realizability question for commuting graphs of finite groups: Given an undirected graph $X$ is it the commuting graph of a group $G$? And if so, to determine such a group. We seek efficient algorithms for this problem. We make some general observations on this problem, and obtain a polynomial-time algorithm for the case of extraspecial groups.
In this paper we study the realizability question for commuting graphs of finite groups: Given an undirected graph $X$ is it the commuting graph of a group $G$? And if so, to determine such a group. We seek efficient algorithms for this problem. We make some general observations on this problem, and obtain a polynomial-time algorithm for the case of extraspecial groups.
△ Less
Submitted 2 June, 2022;
originally announced June 2022.
-
Conformal Geodesics Cannot Spiral
Authors:
Peter Cameron,
Maciej Dunajski,
Paul Tod
Abstract:
We show that conformal geodesics on a Riemannian manifold cannot spiral: there does not exist a conformal geodesic which becomes trapped in every neighbourhood of a point.
We show that conformal geodesics on a Riemannian manifold cannot spiral: there does not exist a conformal geodesic which becomes trapped in every neighbourhood of a point.
△ Less
Submitted 20 November, 2023; v1 submitted 16 May, 2022;
originally announced May 2022.
-
FLAG: Flow-based 3D Avatar Generation from Sparse Observations
Authors:
Sadegh Aliakbarian,
Pashmina Cameron,
Federica Bogo,
Andrew Fitzgibbon,
Thomas J. Cashman
Abstract:
To represent people in mixed reality applications for collaboration and communication, we need to generate realistic and faithful avatar poses. However, the signal streams that can be applied for this task from head-mounted devices (HMDs) are typically limited to head pose and hand pose estimates. While these signals are valuable, they are an incomplete representation of the human body, making it…
▽ More
To represent people in mixed reality applications for collaboration and communication, we need to generate realistic and faithful avatar poses. However, the signal streams that can be applied for this task from head-mounted devices (HMDs) are typically limited to head pose and hand pose estimates. While these signals are valuable, they are an incomplete representation of the human body, making it challenging to generate a faithful full-body avatar. We address this challenge by develo** a flow-based generative model of the 3D human body from sparse observations, wherein we learn not only a conditional distribution of 3D human pose, but also a probabilistic map** from observations to the latent space from which we can generate a plausible pose along with uncertainty estimates for the joints. We show that our approach is not only a strong predictive model, but can also act as an efficient pose prior in different optimization settings where a good initial latent code plays a major role.
△ Less
Submitted 11 March, 2022;
originally announced March 2022.
-
String $C$-groups with real Schur index $2$
Authors:
Peter J. Cameron,
Allen Herman,
Dimitri Leemans
Abstract:
We give examples of finite string $C$-groups (the automorphism groups of abstract regular polytopes) that have irreducible characters of real Schur index $2$. This answers a problem of Monson concerning these groups.
We give examples of finite string $C$-groups (the automorphism groups of abstract regular polytopes) that have irreducible characters of real Schur index $2$. This answers a problem of Monson concerning these groups.
△ Less
Submitted 4 January, 2022;
originally announced January 2022.
-
Asymptotic flatness in higher dimensions
Authors:
Peter Cameron,
Piotr T. Chruściel
Abstract:
We show that $(n+1)$-dimensional Myers-Perry metrics, $n\geq4$, have a conformal completion at spacelike infinity of $C^{n-3,1}$ differentiability class, and that the result is optimal in even spacetime dimensions. The associated asymptotic symmetries are presented.
We show that $(n+1)$-dimensional Myers-Perry metrics, $n\geq4$, have a conformal completion at spacelike infinity of $C^{n-3,1}$ differentiability class, and that the result is optimal in even spacetime dimensions. The associated asymptotic symmetries are presented.
△ Less
Submitted 18 December, 2023; v1 submitted 24 December, 2021;
originally announced December 2021.
-
Solvable conjugacy class graph of groups
Authors:
Parthajit Bhowal,
Peter J. Cameron,
Rajat Kanti Nath,
Benjamin Sambale
Abstract:
In this paper we introduce the graph $Γ_{sc}(G)$ associated with a group $G$, called the solvable conjugacy class graph (abbreviated as SCC-graph), whose vertices are the nontrivial conjugacy classes of $G$ and two distinct conjugacy classes $C, D$ are adjacent if there exist $x \in C$ and $y \in D$ such that $\langle x, y\rangle$ is solvable.
We discuss the connectivity, girth, clique number, a…
▽ More
In this paper we introduce the graph $Γ_{sc}(G)$ associated with a group $G$, called the solvable conjugacy class graph (abbreviated as SCC-graph), whose vertices are the nontrivial conjugacy classes of $G$ and two distinct conjugacy classes $C, D$ are adjacent if there exist $x \in C$ and $y \in D$ such that $\langle x, y\rangle$ is solvable.
We discuss the connectivity, girth, clique number, and several other properties of the SCC-graph. One of our results asserts that there are only finitely many finite groups whose SCC-graph has given clique number~$d$, and we find explicitly the list of such groups with $d=2$.
△ Less
Submitted 5 February, 2022; v1 submitted 5 December, 2021;
originally announced December 2021.
-
Super graphs on groups, I
Authors:
G. Arunkumar,
Peter J. Cameron,
Rajat Kanti Nath,
Lavanya Selvaganesh
Abstract:
Let $G$ be a finite group. A number of graphs with the vertex set $G$ have been studied, including the power graph, enhanced power graph, and commuting graph. These graphs form a hierarchy under the inclusion of edge sets, and it is useful to study them together. In addition, several authors have considered modifying the definition of these graphs by choosing a natural equivalence relation on the…
▽ More
Let $G$ be a finite group. A number of graphs with the vertex set $G$ have been studied, including the power graph, enhanced power graph, and commuting graph. These graphs form a hierarchy under the inclusion of edge sets, and it is useful to study them together. In addition, several authors have considered modifying the definition of these graphs by choosing a natural equivalence relation on the group such as equality, conjugacy, or equal orders, and joining two elements if there are elements in their equivalence class that are adjacent in the original graph. In this way, we enlarge the hierarchy into a second dimension. Using the three graph types and three equivalence relations mentioned gives nine graphs, of which in general only two coincide; we find conditions on the group for some other pairs to be equal. These often define interesting classes of groups, such as EPPO groups, $2$-Engel groups, and Dedekind groups.
We study some properties of graphs in this new hierarchy. In particular, we characterize the groups for which the graphs are complete, and in most cases, we characterize the dominant vertices (those joined to all others). Also, we give some results about universality, perfectness, and clique number.
The paper ends with some open problems and suggestions for further work.
△ Less
Submitted 4 December, 2021;
originally announced December 2021.
-
Subgroup sum graphs of finite abelian groups
Authors:
Peter J. Cameron,
R. Raveendra Prathap,
T. Tamizh Chelvam
Abstract:
Let $G$ be a finite abelian group, written additively, and $H$ a subgroup of~$G$. The \emph{subgroup sum graph} $Γ_{G,H}$ is the graph with vertex set $G$, in which two distinct vertices $x$ and $y$ are joined if $x+y\in H\setminus\{0\}$. These graphs form a fairly large class of Cayley sum graphs. Among cases which have been considered previously are the \emph{prime sum graphs}, in the case where…
▽ More
Let $G$ be a finite abelian group, written additively, and $H$ a subgroup of~$G$. The \emph{subgroup sum graph} $Γ_{G,H}$ is the graph with vertex set $G$, in which two distinct vertices $x$ and $y$ are joined if $x+y\in H\setminus\{0\}$. These graphs form a fairly large class of Cayley sum graphs. Among cases which have been considered previously are the \emph{prime sum graphs}, in the case where $H=pG$ for some prime number $p$. In this paper we present their structure and a detailed analysis of their properties. We also consider the simpler graph $Γ^+_{G,H}$, which we refer to as the \emph{extended subgroup sum graph}, in which $x$ and $y$ are joined if $x+y\in H$: the subgroup sum is obtained by removing from this graph the partial matching of edges having the form $\{x,-x\}$ when $2x\ne0$. We study perfectness, clique number and independence number, connectedness, diameter, spectrum, and domination number of these graphs and their complements. We interpret our general results in detail in the prime sum graphs.
△ Less
Submitted 10 November, 2021;
originally announced November 2021.
-
Minimum degrees of finite rectangular bands, null semigroups, and variants of full transformation semigroups
Authors:
Peter J Cameron,
James East,
Des FitzGerald,
James D Mitchell,
Luke Pebody,
Thomas Quinn-Gregson
Abstract:
For a positive integer $n$, the full transformation semigroup $T_n$ consists of all self maps of the set $\{1,\ldots,n\}$ under composition. Any finite semigroup $S$ embeds in some $T_n$, and the least such $n$ is called the (minimum transformation) degree of $S$ and denoted $μ(S)$. We find degrees for various classes of finite semigroups, including rectangular bands, rectangular groups and null s…
▽ More
For a positive integer $n$, the full transformation semigroup $T_n$ consists of all self maps of the set $\{1,\ldots,n\}$ under composition. Any finite semigroup $S$ embeds in some $T_n$, and the least such $n$ is called the (minimum transformation) degree of $S$ and denoted $μ(S)$. We find degrees for various classes of finite semigroups, including rectangular bands, rectangular groups and null semigroups. The formulae we give involve natural parameters associated to integer compositions. Our results on rectangular bands answer a question of Easdown from 1992, and our approach utilises some results of independent interest concerning partitions/colourings of hypergraphs.
As an application, we prove some results on the degree of a variant $T_n^a$. (The variant $S^a=(S,\star)$ of a semigroup $S$, with respect to a fixed element $a\in S$, has underlying set $S$ and operation $x\star y=xay$.) It has been previously shown that $n\leq μ(T_n^a)\leq 2n-r$ if the sandwich element $a$ has rank $r$, and the upper bound of $2n-r$ is known to be sharp if $r\geq n-1$. Here we show that $μ(T_n^a)=2n-r$ for $r\geq n-6$. In stark contrast to this, when $r=1$, and the above inequality says $n\leqμ(T_n^a)\leq 2n-1$, we show that $μ(T_n^a)/n\to1$ and $μ(T_n^a)-n\to\infty$ as $n\to\infty$.
Among other results, we also classify the $3$-nilpotent subsemigroups of $T_n$, and calculate the maximum size of such a subsemigroup.
△ Less
Submitted 13 November, 2023; v1 submitted 18 October, 2021;
originally announced October 2021.
-
Matching in power graphs of finite groups
Authors:
Peter J. Cameron,
V V Swathi,
M S Sunitha
Abstract:
The power graph $P(G)$ of a finite group $G$ is the undirected simple graph with vertex set $G$, where two elements are adjacent if one is a power of the other. In this paper, the matching numbers of power graphs of finite groups are investigated. We give upper and lower bounds, and conditions for the power graph of a group to possess a perfect matching. We give a formula for the matching number f…
▽ More
The power graph $P(G)$ of a finite group $G$ is the undirected simple graph with vertex set $G$, where two elements are adjacent if one is a power of the other. In this paper, the matching numbers of power graphs of finite groups are investigated. We give upper and lower bounds, and conditions for the power graph of a group to possess a perfect matching. We give a formula for the matching number for any finite nilpotent group. In addition, using some elementary number theory, we show that the matching number of the enhanced power graph $P_e(G)$ of $G$ (in which two elements are adjacent if both are powers of a common element) is equal to that of the power graph of $G$.
△ Less
Submitted 15 August, 2021; v1 submitted 2 July, 2021;
originally announced July 2021.
-
On finite groups whose power graph is a cograph
Authors:
Peter J. Cameron,
Pallabi Manna,
Ranjit Mehatari
Abstract:
A $P_4$-free graph is called a cograph. In this paper we partially characterize finite groups whose power graph is a cograph. As we will see, this problem is a generalization of the determination of groups in which every element has prime power order, first raised by Graham Higman in 1957 and fully solved very recently.
First we determine all groups $G$ and $H$ for which the power graph of…
▽ More
A $P_4$-free graph is called a cograph. In this paper we partially characterize finite groups whose power graph is a cograph. As we will see, this problem is a generalization of the determination of groups in which every element has prime power order, first raised by Graham Higman in 1957 and fully solved very recently.
First we determine all groups $G$ and $H$ for which the power graph of $G\times H$ is a cograph. We show that groups whose power graph is a cograph can be characterised by a condition only involving elements whose orders are prime or the product of two (possibly equal) primes. Some important graph classes are also taken under consideration. For finite simple groups we show that in most of the cases their power graphs are not cographs: the only ones for which the power graphs are cographs are certain groups PSL$(2,q)$ and Sz$(q)$ and the group PSL$(3,4)$. However, a complete determination of these groups involves some hard number-theoretic problems.
△ Less
Submitted 14 September, 2021; v1 submitted 27 June, 2021;
originally announced June 2021.
-
The Penrose Property with a Cosmological Constant
Authors:
Peter Cameron
Abstract:
A spacetime satisfies the non-timelike boundary version of the Penrose property if the timelike future of any point on $\mathcal{I}^-$ contains the whole of $\mathcal{I}^+$. This property was first discussed for asymptotically flat spacetimes by Penrose, along with an equivalent definition (the finite version). In this paper we consider the Penrose property in greater generality. In particular we…
▽ More
A spacetime satisfies the non-timelike boundary version of the Penrose property if the timelike future of any point on $\mathcal{I}^-$ contains the whole of $\mathcal{I}^+$. This property was first discussed for asymptotically flat spacetimes by Penrose, along with an equivalent definition (the finite version). In this paper we consider the Penrose property in greater generality. In particular we consider spacetimes with a non-zero cosmological constant and we note that the two versions of the property are no longer equivalent. In asymptotically AdS spacetimes it is necessary to re-state the property in a way which is more suited to spacetimes with a timelike boundary. We arrive at a property previously considered by Gao and Wald. Curiously, this property was shown to fail in spacetimes which focus null geodesics. This is in contrast to our findings in asymptotically flat and asymptotically de Sitter spacetimes. We then move on to consider some further example spacetimes (with zero cosmological constant) which highlight features of the Penrose property not previously considered. We discuss spacetimes which are the product of a Lorentzian and a compact Riemannian manifold. Perhaps surprisingly, we find that both versions of the Penrose property are satisfied in this product spacetime if and only if they are satisfied in the Lorentzian spacetime only. We also discuss the Ellis-Bronnikov wormhole (an example of a spacetime with more than one asymptotically flat end) and the Hayward metric (an example of a non-singular black hole spacetime).
△ Less
Submitted 5 May, 2022; v1 submitted 4 June, 2021;
originally announced June 2021.
-
Pixel super-resolution using spatially-entangled photon pairs
Authors:
Hugo Defienne,
Patrick Cameron,
Bienvenu Ndagano,
Ashley Lyons,
Matthew Reichert,
Jiuxuan Zhao,
Andrew R. Harvey,
Edoardo Charbon,
Jason W. Fleischer,
Daniele Faccio
Abstract:
Pixelation occurs in many imaging systems and limits the spatial resolution of the acquired images. This effect is notably present in quantum imaging experiments with correlated photons in which the number of pixels used to detect coincidences is often limited by the sensor technology or the acquisition speed. Here, we introduce a pixel super-resolution technique based on measuring the full spatia…
▽ More
Pixelation occurs in many imaging systems and limits the spatial resolution of the acquired images. This effect is notably present in quantum imaging experiments with correlated photons in which the number of pixels used to detect coincidences is often limited by the sensor technology or the acquisition speed. Here, we introduce a pixel super-resolution technique based on measuring the full spatially-resolved joint probability distribution (JPD) of spatially-entangled photons. Without shifting optical elements or using prior information, our technique increases the pixel resolution of the imaging system by a factor two and enables retrieval of spatial information lost due to undersampling. We demonstrate its use in various quantum imaging protocols using photon pairs, including quantum illumination, entanglement-enabled quantum holography, and in a full-field version of N00N-state quantum holography. The JPD pixel super-resolution technique can benefit any full-field imaging system limited by the sensor spatial resolution, including all already established and future photon-correlation-based quantum imaging schemes, bringing these techniques closer to real-world applications.
△ Less
Submitted 12 June, 2022; v1 submitted 21 May, 2021;
originally announced May 2021.
-
Contextual HyperNetworks for Novel Feature Adaptation
Authors:
Angus Lamb,
Evgeny Saveliev,
Yingzhen Li,
Sebastian Tschiatschek,
Camilla Longden,
Simon Woodhead,
José Miguel Hernández-Lobato,
Richard E. Turner,
Pashmina Cameron,
Cheng Zhang
Abstract:
While deep learning has obtained state-of-the-art results in many applications, the adaptation of neural network architectures to incorporate new output features remains a challenge, as neural networks are commonly trained to produce a fixed output dimension. This issue is particularly severe in online learning settings, where new output features, such as items in a recommender system, are added c…
▽ More
While deep learning has obtained state-of-the-art results in many applications, the adaptation of neural network architectures to incorporate new output features remains a challenge, as neural networks are commonly trained to produce a fixed output dimension. This issue is particularly severe in online learning settings, where new output features, such as items in a recommender system, are added continually with few or no associated observations. As such, methods for adapting neural networks to novel features which are both time and data-efficient are desired. To address this, we propose the Contextual HyperNetwork (CHN), an auxiliary model which generates parameters for extending the base model to a new feature, by utilizing both existing data as well as any observations and/or metadata associated with the new feature. At prediction time, the CHN requires only a single forward pass through a neural network, yielding a significant speed-up when compared to re-training and fine-tuning approaches.
To assess the performance of CHNs, we use a CHN to augment a partial variational autoencoder (P-VAE), a deep generative model which can impute the values of missing features in sparsely-observed data. We show that this system obtains improved few-shot learning performance for novel features over existing imputation and meta-learning baselines across recommender systems, e-learning, and healthcare tasks.
△ Less
Submitted 12 April, 2021;
originally announced April 2021.
-
Results and Insights from Diagnostic Questions: The NeurIPS 2020 Education Challenge
Authors:
Zichao Wang,
Angus Lamb,
Evgeny Saveliev,
Pashmina Cameron,
Yordan Zaykov,
Jose Miguel Hernandez-Lobato,
Richard E. Turner,
Richard G. Baraniuk,
Craig Barton,
Simon Peyton Jones,
Simon Woodhead,
Cheng Zhang
Abstract:
This competition concerns educational diagnostic questions, which are pedagogically effective, multiple-choice questions (MCQs) whose distractors embody misconceptions. With a large and ever-increasing number of such questions, it becomes overwhelming for teachers to know which questions are the best ones to use for their students. We thus seek to answer the following question: how can we use data…
▽ More
This competition concerns educational diagnostic questions, which are pedagogically effective, multiple-choice questions (MCQs) whose distractors embody misconceptions. With a large and ever-increasing number of such questions, it becomes overwhelming for teachers to know which questions are the best ones to use for their students. We thus seek to answer the following question: how can we use data on hundreds of millions of answers to MCQs to drive automatic personalized learning in large-scale learning scenarios where manual personalization is infeasible? Success in using MCQ data at scale helps build more intelligent, personalized learning platforms that ultimately improve the quality of education en masse. To this end, we introduce a new, large-scale, real-world dataset and formulate 4 data mining tasks on MCQs that mimic real learning scenarios and target various aspects of the above question in a competition setting at NeurIPS 2020. We report on our NeurIPS competition in which nearly 400 teams submitted approximately 4000 submissions, with encouragingly diverse and effective approaches to each of our tasks.
△ Less
Submitted 8 April, 2021;
originally announced April 2021.
-
Learning to Extend Molecular Scaffolds with Structural Motifs
Authors:
Krzysztof Maziarz,
Henry Jackson-Flux,
Pashmina Cameron,
Finton Sirockin,
Nadine Schneider,
Nikolaus Stiefl,
Marwin Segler,
Marc Brockschmidt
Abstract:
Recent advancements in deep learning-based modeling of molecules promise to accelerate in silico drug discovery. A plethora of generative models is available, building molecules either atom-by-atom and bond-by-bond or fragment-by-fragment. However, many drug discovery projects require a fixed scaffold to be present in the generated molecule, and incorporating that constraint has only recently been…
▽ More
Recent advancements in deep learning-based modeling of molecules promise to accelerate in silico drug discovery. A plethora of generative models is available, building molecules either atom-by-atom and bond-by-bond or fragment-by-fragment. However, many drug discovery projects require a fixed scaffold to be present in the generated molecule, and incorporating that constraint has only recently been explored. Here, we propose MoLeR, a graph-based model that naturally supports scaffolds as initial seed of the generative procedure, which is possible because it is not conditioned on the generation history. Our experiments show that MoLeR performs comparably to state-of-the-art methods on unconstrained molecular optimization tasks, and outperforms them on scaffold-based tasks, while being an order of magnitude faster to train and sample from than existing approaches. Furthermore, we show the influence of a number of seemingly minor design choices on the overall performance.
△ Less
Submitted 12 May, 2024; v1 submitted 5 March, 2021;
originally announced March 2021.
-
Graphs defined on groups
Authors:
Peter J. Cameron
Abstract:
These notes concern aspects of various graphs whose vertex set is a group $G$ and whose edges reflect group structure in some way (so that they are invariant under the action of the automorphism group of $G$). The graphs I will discuss are the power graph, enhanced power graph, deep commuting graph, commuting graph, and non-generating graph, though I give a briefer discussion of the nilpotence and…
▽ More
These notes concern aspects of various graphs whose vertex set is a group $G$ and whose edges reflect group structure in some way (so that they are invariant under the action of the automorphism group of $G$). The graphs I will discuss are the power graph, enhanced power graph, deep commuting graph, commuting graph, and non-generating graph, though I give a briefer discussion of the nilpotence and solvability graphs, and make some remarks on more general graphs. Aspects to be discussed include induced subgraphs, forbidden subgraphs, connectedness, and automorphism groups. We can also ask about the graphs formed by the edges in one graph but not in an earlier graph in the hierarchy. I have included some results on intersection graphs of subgroups of various types, which are often in a dual relation to one of the other graphs considered. Another actor is the Gruenberg--Kegel graph, or prime graph, of a group: this very small graph influences various graphs defined on the group. I say little about Cayley graphs, since (except in special cases) these are not invariant under the automorphism group of $G$.
The graphs all have the property that they contain \emph{twins}, pairs of vertices with the same neighbours (save possibly one another). Being equal or twins is an equivalence relation, and the automorphism group of the graph has a normal subgroup inducing the symmetric group on each twin class. For some purposes, we can merge twin vertices and get a smaller graph. Continuing until no further twins occur, the result is independent of the reduction, and is the $1$-vertex graph if and only if the original graph is a \emph{cograph}. So I devote a section to cographs and twin reduction, and another to consequences for automorphism groups.
There are briefer discussions of related matters.
△ Less
Submitted 26 March, 2021; v1 submitted 22 February, 2021;
originally announced February 2021.
-
Theoretical proposal for the experimental realisation of a monochromatic electromagnetic knot
Authors:
R. P. Cameron,
W. Löffler,
K. D. Stephan
Abstract:
We propose an antenna designed to generate monochromatic electromagnetic knots and other "unusual electromagnetic disturbances" in the microwave domain. Our antenna is a spherical array of radiating dipolar elements configured to approximate the desired electromagnetic field near its centre. We show numerically that a specific embodiment of the antenna with a radius of 61.2 cm and only 20 element…
▽ More
We propose an antenna designed to generate monochromatic electromagnetic knots and other "unusual electromagnetic disturbances" in the microwave domain. Our antenna is a spherical array of radiating dipolar elements configured to approximate the desired electromagnetic field near its centre. We show numerically that a specific embodiment of the antenna with a radius of 61.2 cm and only 20 element pairs driven at a frequency of 2.45 GHz can yield linked and torus-knotted electric and magnetic field lines approximating those of an "electromagnetic tangle": a monochromatic electromagnetic knot closely related to the well-known Rañada-Hopf type electromagnetic knots but simpler in its construction. The antenna could be used to locally excite plasmas.
△ Less
Submitted 11 May, 2021; v1 submitted 22 January, 2021;
originally announced January 2021.
-
The diagonal graph
Authors:
R. A. Bailey,
Peter J. Cameron
Abstract:
According to the O'Nan--Scott Theorem, a finite primitive permutation group either preserves a structure of one of three types (affine space, Cartesian lattice, or diagonal semilattice), or is almost simple. However, diagonal groups are a much larger class than those occurring in this theorem. For any positive integer $m$ and group $G$ (finite or infinite), there is a diagonal semilattice, a sub-s…
▽ More
According to the O'Nan--Scott Theorem, a finite primitive permutation group either preserves a structure of one of three types (affine space, Cartesian lattice, or diagonal semilattice), or is almost simple. However, diagonal groups are a much larger class than those occurring in this theorem. For any positive integer $m$ and group $G$ (finite or infinite), there is a diagonal semilattice, a sub-semilattice of the lattice of partitions of a set $Ω$, whose automorphism group is the corresponding diagonal group. Moreover, there is a graph (the diagonal graph), bearing much the same relation to the diagonal semilattice and group as the Hamming graph does to the Cartesian lattice and the wreath product of symmetric groups.
Our purpose here, after a brief introduction to this semilattice and graph, is to establish some properties of this graph. The diagonal graph $Γ_D(G,m)$ is a Cayley graph for the group~$G^m$, and so is vertex-transitive. We establish its clique number in general and its chromatic number in most cases, with a conjecture about the chromatic number in the remaining cases. We compute the spectrum of the adjacency matrix of the graph, using a calculation of the Möbius function of the diagonal semilattice. We also compute some other graph parameters and symmetry properties of the graph.
We believe that this family of graphs will play a significant role in algebraic graph theory.
△ Less
Submitted 7 January, 2021;
originally announced January 2021.
-
Tight quasi-symmetric designs
Authors:
Peter J. Cameron
Abstract:
I give an elementary proof that a quasi-symmetric design without repeated blocks on $v$ points has at most $v\choose2$ blocks, with equality if and only if it is a tight $4$-design.
I give an elementary proof that a quasi-symmetric design without repeated blocks on $v$ points has at most $v\choose2$ blocks, with equality if and only if it is a tight $4$-design.
△ Less
Submitted 6 January, 2021;
originally announced January 2021.
-
Between the enhanced power graph and the commuting graph
Authors:
Peter J. Cameron,
Bojan Kuzma
Abstract:
The purpose of this note is to define a graph whose vertex set is a finite group $G$, whose edge set is contained in that of the commuting graph of $G$ and contains the enhanced power graph of $G$. We call this graph the deep commuting graph of $G$. Two elements of $G$ are joined in the deep commuting graph if and only if their inverse images in every central extension of $G$ commute.
We give co…
▽ More
The purpose of this note is to define a graph whose vertex set is a finite group $G$, whose edge set is contained in that of the commuting graph of $G$ and contains the enhanced power graph of $G$. We call this graph the deep commuting graph of $G$. Two elements of $G$ are joined in the deep commuting graph if and only if their inverse images in every central extension of $G$ commute.
We give conditions for the graph to be equal to either of the enhanced power graph and the commuting graph, and show that the automorphism group of $G$ acts as automorphisms of the deep commuting graph.
△ Less
Submitted 7 December, 2020;
originally announced December 2020.
-
Criterion of unrecognizability of a finite group by its Gruenberg-Kegel graph
Authors:
Peter J. Cameron,
Natalia V. Maslova
Abstract:
The Gruenberg-Kegel graph $Γ(G)$ associated with a finite group $G$ has as vertices the prime divisors of $|G|$, with an edge from $p$ to $q$ if and only if $G$ contains an element of order $pq$. This graph has been the subject of much recent interest; one of our goals here is to give a survey of some of this material, relating to groups with the same Gruenberg-Kegel graph. However, our main aim i…
▽ More
The Gruenberg-Kegel graph $Γ(G)$ associated with a finite group $G$ has as vertices the prime divisors of $|G|$, with an edge from $p$ to $q$ if and only if $G$ contains an element of order $pq$. This graph has been the subject of much recent interest; one of our goals here is to give a survey of some of this material, relating to groups with the same Gruenberg-Kegel graph. However, our main aim is to prove several new results. Among them are the following.
- There are infinitely many finite groups with the same Gruenberg-Kegel graph as the Gruenberg-Kegel of a finite group $G$ if and only if there is a finite group $H$ with non-trivial solvable radical such that $Γ(G)=Γ(H)$.
- There is a function $F$ on the natural numbers with the property that if a finite $n$-vertex graph whose vertices are labelled by pairwise distinct primes is the Gruenberg-Kegel graph of more than $F(n)$ finite groups, then it is the Gruenberg-Kegel graph of infinitely many finite groups. (The function we give satisfies $F(n)=O(n^7)$, but this is probably not best possible.)
- If a finite graph $Γ$ whose vertices are labelled by pairwise distinct primes is the Gruenberg-Kegel graph of only finitely many finite groups, then all such groups are almost simple; moreover, $Γ$ has at least three pairwise non-adjacent vertices, and $2$ is non-adjacent to at least one odd vertex.
- Groups whose power graphs, or commuting graphs, are isomorphic have the same Gruenberg-Kegel graph.
- The groups ${^2}G_2(27)$ and $E_8(2)$ are uniquely determined by the isomorphism types of their Gruenberg-Kegel graphs.
In addition, we consider groups whose Gruenberg-Kegel graph has no edges. These are the groups in which every element has prime power order, and have been studied under the name \emph{EPPO groups}; completing this line of research, we give a complete list of such groups.
△ Less
Submitted 31 January, 2023; v1 submitted 2 December, 2020;
originally announced December 2020.
-
Towards Compliant Data Management Systems for Healthcare ML
Authors:
Goutham Ramakrishnan,
Aditya Nori,
Hannah Murfet,
Pashmina Cameron
Abstract:
The increasing popularity of machine learning approaches and the rising awareness of data protection and data privacy presents an opportunity to build truly secure and trustworthy healthcare systems. Regulations such as GDPR and HIPAA present broad guidelines and frameworks, but the implementation can present technical challenges. Compliant data management systems require enforcement of a number o…
▽ More
The increasing popularity of machine learning approaches and the rising awareness of data protection and data privacy presents an opportunity to build truly secure and trustworthy healthcare systems. Regulations such as GDPR and HIPAA present broad guidelines and frameworks, but the implementation can present technical challenges. Compliant data management systems require enforcement of a number of technical and administrative safeguards. While policies can be set for both safeguards there is limited availability to understand compliance in real time. Increasingly, machine learning practitioners are becoming aware of the importance of kee** track of sensitive data. With sensitivity over personally identifiable, health or commercially sensitive information there would be value in understanding assessment of the flow of data in a more dynamic fashion. We review how data flows within machine learning projects in healthcare from source to storage to use in training algorithms and beyond. Based on this, we design engineering specifications and solutions for versioning of data. Our objective is to design tools to detect and track sensitive data across machines and users across the life cycle of a project, prioritizing efficiency, consistency and ease of use. We build a prototype of the solution that demonstrates the difficulties in this domain. Together, these represent first efforts towards building a compliant data management system for healthcare machine learning projects.
△ Less
Submitted 15 November, 2020;
originally announced November 2020.