arXiv ScienceSearch

arXiv subjects

Peter Cameron

Publications and source records attributed to Peter Cameron.

At least 19 recordsLinked to original sources

Spherically symmetric inextendibility of weak null singularities with Christoffel symbols in $L^s_{\text{loc}}$

Motivated by the strong cosmic censorship conjecture in general relativity, we prove the inextendibility of spherically symmetric weak null singularities as spherically symmetric Lorentzian manifolds with a continuous metric and Christoffel symbols in $L^{s}_{\text{loc}}$ for $s>1$. The result assumes a suitable blow-up condition on the derivative of the area-radius function transverse to the weak null singularity in combination with a rigidity result on continuous spherically symmetric extensions across null boundaries proven in [1]. In particular we show that these assumptions are satisfied by the Reissner-Nordstr\"{o}m-Vaidya spacetime as well as by a class of spacetimes arising from small and generic spherically symmetric perturbations of subextremal Reissner-Nordstr\"{o}m under the Einstein-Maxwell-scalar field system.

gr-qc

Conformal Geodesics Cannot Spiral -- Erratum

Wojciech Kami\'nski has provided a non real-analytic counterexample to our claim in [1] that conformal geodesics cannot spiral. This erratum illustrates how the proof of Lemma 4.6 [1] (on which our claim was based) fails.

math.DG

On the uniqueness of continuous spacetime extensions in 1+1 dimensions with applications to weak null singularities

Motivated by weak null singularities in black hole interiors, we study 1+1 dimensional Lorentzian manifolds $(M,g)$ which admit a continuous spacetime extension across a null boundary $v=0$, where $v<0$ is a null coordinate. We study the degree to which such extensions are unique up to the boundary. Firstly, we find that in general not even the $C^0$-structure of the extension is uniquely determined by the assumption that the metric extends continuously. However, we exhibit an interesting local-global relation regarding the $C^0$-structure which in particular entails its rigidity for ''strongly spherically symmetric'' continuous extensions across the Cauchy horizon of the Reissner-Nordstr\"om spacetime. Secondly, we construct continuous extensions which have the same $C^0$-structure, but do not have equivalent $C^1$-structures. This construction also carries over to weak null singularities in 3+1 dimensions. Understanding the uniqueness properties of continuous spacetime extensions to the boundary is of importance for the study of low-regularity inextendibility problems.

gr-qc

The Near Infrared Imager and Slitless Spectrograph for the James Webb Space Telescope -- I. Instrument Overview and in-Flight Performance

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 $\mu$m, 3) single-object cross-dispersed slitless spectroscopy (SOSS) enabling simultaneous wavelength coverage between 0.6 and 2.8 $\mu$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 $\mu$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\,\mu$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.

astro-ph.IM

Development of TRL5 Space Qualified Hardware for Tuning, Biasing, and Readout of Kilopixel TES Bolometer Arrays

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.

astro-ph.IM

The Science Performance of JWST as Characterized in Commissioning

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.

astro-ph.IM

Conformal Geodesics Cannot Spiral

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.

math.DG

Asymptotic flatness in higher dimensions

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.

gr-qc

The Penrose Property with a Cosmological Constant

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).

gr-qc

On Schwarzschild causality in higher dimensions

We show that the causal properties of asymptotically flat spacetimes depend on their dimensionality: while the time-like future of any point in the past conformal infinity $\mathcal{I}^-$ contains the whole of the future conformal infinity $\mathcal{I}^+$ in $(2+1)$ and $(3+1)$ dimensional Schwarzschild spacetimes, this property (which we call the Penrose property) does not hold for $(d+1)$ dimensional Schwarzschild if $d>3$. We also show that the Penrose property holds for the Kerr solution in $(3+1)$ dimensions, and discuss the connection with scattering theory in the presence of positive mass.

gr-qc

A Transversal Property for Permutation Groups Motivated by Partial Transformations

In this paper we introduce the definition of $(k,l)$-universal transversal property, which is a refinement of the definition of $k$-universal transversal property, which in turn is a refinement of the classic definition of $k$-homogeneity for permutation groups. In particular, a group possesses the $(2,n)$-universal transversal property if and only if it is primitive; it possesses the $(2,2)$-universal transversal property if and only if it is $2$-homogeneous. Up to a few undecided cases, we give a classification of groups satisfying the $(k,l)$-universal transversal property, for $k\ge 3$. Then we apply this result for studying regular semigroups of partial transformations.

math.GR

Smallest cyclically covering subspaces of $\mathbb{F}_q^n$, and lower bounds in Isbell's conjecture

For a prime power $q$ and a positive integer $n$, we say a subspace $U$ of ${\mathbb{F}_q^n}$ is {\em cyclically covering} if the union of the cyclic shifts of $U$ is equal to $\mathbb{F}_q^n$. We investigate the problem of determining the minimum possible dimension of a cyclically covering subspace of $\mathbb{F}_q^n$. (This is a natural generalisation of a problem posed in 1991 by the first author.) We prove several upper and lower bounds, and for each fixed $q$, we answer the question completely for infinitely many values of $n$ (which take the form of certain geometric series). Our results imply lower bounds for a well-known conjecture of Isbell, and a generalisation theoreof, supplementing lower bounds due to Spiga. We also consider the analogous problem for general representations of groups. We use arguments from combinatorics, representation theory and finite field theory.

math.CO

The further chameleon groups of Richard Thompson and Graham Higman: Automorphisms via dynamics for the Higman groups $G_{n,r}$

We describe, through the use of Rubin's theorem, the automorphism groups of the Higman-Thompson groups $G_{n,r}$ as groups of specific homeomorphisms of Cantor spaces $\mathfrak{C}_{n,r}$. This continues a thread of research begun by Brin, and extended later by Brin and Guzm\'an: to characterise the automorphism groups of the `Chameleon groups of Richard Thompson,' as Brin referred to them in 1996. The work here completes the first stage of that twenty-year-old program, containing (amongst other things) a characterisation of the automorphism group of $V$, which was the `last chameleon.' The homeomorphisms which arise fit naturally into the framework of Grigorchuk, Nekrashevich, and Suschanskii's rational group $\mathscr{R}$: they are exactly those homeomorphisms which are induced by bi-sychronizing transducers, which we define in the paper. This result appears to offer insight into the nature of Brin and Guzman's exotic automorphisms, while also uncovering connections with the theory of reset words for automata (arising in the Road Colouring Problem) and with the theory of automorphism groups of the full shift.

math.GR

Innovative Science

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.

physics.soc-ph

Overgroups of the Automorphism Group of the Rado Graph

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.

math.CO

Decomposable functors and the exponential principle, II

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.

math.CO

Multipermutation solutions of the Yang--Baxter equation

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.

math.QA