Showing 1–50 of 80 results for author: Nixon, A

Observations of Titan's Stratosphere During Northern Summer: Temperatures, CH3CN and CH3D Abundances

Authors: Alexander E. Thelen, Conor A. Nixon, Martin A. Cordiner, Emmanuel Lellouch, Sandrine Vinatier, Nicholas A. Teanby, Bryan Butler, Steven B. Charnley, Richard G. Cosentino, Katherine de Kleer, Patrick G. J. Irwin, Mark A. Gurwell, Zbigniew Kisiel, Raphael Moreno

Abstract: Titan's atmospheric composition and dynamical state have previously been studied over numerous epochs by both ground- and space-based facilities. However, stratospheric measurements remain sparse during Titan's northern summer and fall. The lack of seasonal symmetry in observations of Titan's temperature field and chemical abundances raises questions about the nature of the middle atmosphere's mer… ▽ More Titan's atmospheric composition and dynamical state have previously been studied over numerous epochs by both ground- and space-based facilities. However, stratospheric measurements remain sparse during Titan's northern summer and fall. The lack of seasonal symmetry in observations of Titan's temperature field and chemical abundances raises questions about the nature of the middle atmosphere's meridional circulation and evolution over Titan's 29-yr seasonal cycle that can only be answered through long-term monitoring campaigns. Here, we present maps of Titan's stratospheric temperature, acetonitrile (or methyl cyanide; CH$_3$CN), and monodeuterated methane (CH$_3$D) abundances following Titan's northern summer solstice obtained with Band 9 ($\sim0.43$ mm) ALMA observations. We find that increasing temperatures towards high-southern latitudes, currently in winter, resemble those observed during Titan's northern winter by the Cassini mission. Acetonitrile abundances have changed significantly since previous (sub)millimeter observations, and we find that the species is now highly concentrated at high-southern latitudes. The stratospheric CH$_3$D content is found to range between 4-8 ppm in these observations, and we infer the CH$_4$ abundance to vary between $\sim0.9-1.6\%$ through conversion with previously measured D/H values. A global value of CH$_4=1.15\%$ was retrieved, lending further evidence to the temporal and spatial variability of Titan's stratospheric methane when compared with previous measurements. Additional observations are required to determine the cause and magnitude of stratospheric enhancements in methane during these poorly understood seasons on Titan. △ Less

Submitted 3 May, 2024; originally announced May 2024.

Comments: Accepted for publication in the Planetary Science Journal. 9 Figures, 1 table

ALMA Spectroscopy of Europa: A Search for Active Plumes

Authors: M. A. Cordiner, A. E. Thelen, I. -L. Lai, W. -L. Tseng, C. A. Nixon, Y. -J. Kuan, G. L. Villanueva, L. Paganini, S. B. Charnley, K. D. Retherford

Abstract: The subsurface ocean of Europa is a high priority target in the search for extraterrestrial life, but direct investigations are hindered by the presence of a thick, exterior ice shell. Here we present spectral line and continuum maps of Europa obtained over four epochs in May-June 2021 using the Atacama Large Millimeter/submillimeter Array (ALMA), to search for molecular emission from atmospheric… ▽ More The subsurface ocean of Europa is a high priority target in the search for extraterrestrial life, but direct investigations are hindered by the presence of a thick, exterior ice shell. Here we present spectral line and continuum maps of Europa obtained over four epochs in May-June 2021 using the Atacama Large Millimeter/submillimeter Array (ALMA), to search for molecular emission from atmospheric plumes, with the aim of investigating subsurface processes. Using a 3D physical model, we obtained upper limits for the plume abundances of HCN, H$_2$CO, SO$_2$ and CH$_3$OH. If active plume(s) were present, they contained very low abundances of these molecules. Assuming a total gas production rate of $10^{29}$ s$^{-1}$, our H$_2$CO abundance upper limit of $<0.016$\% is more than an order of magnitude less than measured in the Enceladus plume by the Cassini spacecraft, implying a possible chemical difference between the plume source materials for these two icy moons. △ Less

Submitted 8 April, 2024; originally announced April 2024.

Comments: Submitted to IAU Symposium 383 conference proceedings --- Astrochemistry VIII: From the First Galaxies to the Formation of Habitable Worlds

Angular constraints on planar frameworks

Authors: Sean Dewar, Georg Grasegger, Anthony Nixon, Zvi Rosen, William Sims, Meera Sitharam, David Urizar

Abstract: Consider a collection of points and the sets of slopes or directions of the lines between pairs of points. It is known that the algebraic matroid on this set of elements is the well studied 2-dimensional rigidity matroid. This article analyzes a construction on top of the set of slopes given by an angle constraint system of incidences and angles. In this setting we provide a matricial rigidity for… ▽ More Consider a collection of points and the sets of slopes or directions of the lines between pairs of points. It is known that the algebraic matroid on this set of elements is the well studied 2-dimensional rigidity matroid. This article analyzes a construction on top of the set of slopes given by an angle constraint system of incidences and angles. In this setting we provide a matricial rigidity formulation of the problem for colored graphs, an algebro-geometric reformulation, precise necessary conditions and a combinatorial characterization of the generic behaviour for a special case. △ Less

Submitted 24 March, 2024; originally announced March 2024.

Comments: 27 pages, 7 figures, 3 tables

MSC Class: 52C25 (Primary) 05C10; 52C35 (Secondary)

Rigidity of nearly planar classes of graphs

Authors: Sean Dewar, Georg Grasegger, Eleftherios Kastis, Anthony Nixon, Brigitte Servatius

Abstract: We explore the rigidity of generic frameworks in 3-dimensions whose underlying graph is close to being planar. Specifically we consider apex graphs, edge-apex graphs and their variants and prove independence results in the generic 3-dimensional rigidity matroid adding to the short list of graph classes for which 3-dimensional rigidity is understood. We then analyse global rigidity for these graph… ▽ More We explore the rigidity of generic frameworks in 3-dimensions whose underlying graph is close to being planar. Specifically we consider apex graphs, edge-apex graphs and their variants and prove independence results in the generic 3-dimensional rigidity matroid adding to the short list of graph classes for which 3-dimensional rigidity is understood. We then analyse global rigidity for these graph classes and use our results to deduce bounds on the maximum likelihood threshold of graphs in these nearly planar classes. △ Less

Submitted 27 February, 2024; originally announced February 2024.

Comments: 29 pages, 9 figures, 4 tables

MSC Class: 52C25 (Primary) O5C10; 62H22 (Secondary)

The Composition and Chemistry of Titan's Atmosphere

Authors: Conor A. Nixon

Abstract: In this article I summarize the current state of knowledge about the composition of Titan's atmosphere, and our current understanding of the suggested chemistry that leads to that observed composition. I begin with our present knowledge of the atmospheric composition, garnered from a variety of measurements including Cassini-Huygens, the Atacama Large Millimeter/submillimeter Array (ALMA), and oth… ▽ More In this article I summarize the current state of knowledge about the composition of Titan's atmosphere, and our current understanding of the suggested chemistry that leads to that observed composition. I begin with our present knowledge of the atmospheric composition, garnered from a variety of measurements including Cassini-Huygens, the Atacama Large Millimeter/submillimeter Array (ALMA), and other ground and space-based telescopes. This review focuses on the typical vertical profiles of gases at low latitudes, rather than global and temporal variations. The main body of the paper presents a chemical description of how complex molecules are believed to arise from simpler species, considering all known 'stable' molecules - those that have been uniquely identified in the neutral atmosphere. The last section of the paper is devoted to the gaps in our present knowledge of Titan's chemical composition and how further work may fill those gaps. △ Less

Submitted 23 March, 2024; v1 submitted 26 February, 2024; originally announced February 2024.

Comments: 177 pages, 45 figures

Rigid frameworks with dilation constraints

Authors: Sean Dewar, Anthony Nixon, Andrew Sainsbury

Abstract: We consider the rigidity and global rigidity of bar-joint frameworks in Euclidean $d$-space under additional dilation constraints in specified coordinate directions. In this setting we obtain a complete characterisation of generic rigidity. We then consider generic global rigidity. In particular, we provide an algebraic sufficient condition and a weak necessary condition. We also construct a large… ▽ More We consider the rigidity and global rigidity of bar-joint frameworks in Euclidean $d$-space under additional dilation constraints in specified coordinate directions. In this setting we obtain a complete characterisation of generic rigidity. We then consider generic global rigidity. In particular, we provide an algebraic sufficient condition and a weak necessary condition. We also construct a large family of globally rigid frameworks and conjecture a combinatorial characterisation when most coordinate directions have dilation constraints. △ Less

Submitted 21 February, 2024; originally announced February 2024.

Comments: 15 pages, 1 figure

Variability in Titan's Mesospheric HCN and Temperature Structure as Observed by ALMA

Authors: A. E. Thelen, C. A. Nixon, R. Cosentino, M. A. Cordiner, N. A. Teanby, C. E. Newman, P. G. J. Irwin, S. B. Charnley

Abstract: The temperature structure of Titan's upper atmosphere exhibits large variability resulting from numerous spatially and temporally irregular external energy sources, seasonal changes, and the influence of molecular species produced via photochemistry. In particular, Titan's relatively abundant HCN is thought to provide substantial cooling to the upper atmosphere through rotational emission, balanci… ▽ More The temperature structure of Titan's upper atmosphere exhibits large variability resulting from numerous spatially and temporally irregular external energy sources, seasonal changes, and the influence of molecular species produced via photochemistry. In particular, Titan's relatively abundant HCN is thought to provide substantial cooling to the upper atmosphere through rotational emission, balancing UV/EUV heating and thermal conduction. Here, we present the analysis of ALMA observations of Titan from 2012, 2014, 2015, and 2017, corresponding to planetocentric solar longitudes of ~34-89$^{\circ}$, including vertical HCN and temperature profiles retrieved from the lower mesosphere through the thermosphere (~350-1200 km; $3\times10^{-2}$-$2\times10^{-8}$ mbar). Throughout the atmosphere, temperature profiles differ by 10 to 30 K between observations approximately one Earth year apart, particularly from 600-900 km. We find evidence for a large imbalance in Titan's upper atmospheric energy budget between 2014 and 2015, where the mesospheric thermal structure changes significantly and marks the transition between a mesopause located at ~600 km ($2\times10^{-4}$ mbar) and at ~800 km ($3\times10^{-6}$ mbar). The retrieved HCN abundances vary dramatically during the 2012 to 2017 time period as well, showing close to 2 orders of magnitude difference in abundance at 1000 km. However, the change in HCN abundance does not appear to fully account for the variation in mesospheric temperatures over the $L_S\sim$34-89$^{\circ}$ period. These measurements provide additional insight into the variability of Titan's mesospheric composition and thermal structure following its 2009 vernal equinox, and motivate continued investigation of the origins of such rapid changes in Titan's atmosphere throughout its seasonal cycle. △ Less

Submitted 2 February, 2024; originally announced February 2024.

Comments: Published in the Planetary Science Journal. 25 pages, 11 figures, 1 table

Rigidity of symmetric linearly constrained frameworks in the plane

Authors: Anthony Nixon, Bernd Schulze, Joseph Wall

Abstract: A bar-joint framework $(G,p)$ is the combination of a finite simple graph $G=(V,E)$ and a placement $p:V\rightarrow \mathbb{R}^d$. The framework is rigid if the only edge-length preserving continuous motions of the vertices arise from isometries of the space. Motivated by applications where boundary conditions play a significant role, one may generalise and consider linearly constrained frameworks… ▽ More A bar-joint framework $(G,p)$ is the combination of a finite simple graph $G=(V,E)$ and a placement $p:V\rightarrow \mathbb{R}^d$. The framework is rigid if the only edge-length preserving continuous motions of the vertices arise from isometries of the space. Motivated by applications where boundary conditions play a significant role, one may generalise and consider linearly constrained frameworks where some vertices are constrained to move on fixed affine subspaces. Streinu and Theran characterised exactly which linearly constrained frameworks are generically rigid in 2-dimensional space. In this article we extend their characterisation to symmetric frameworks. In particular necessary combinatorial conditions are given for a symmetric linearly constrained framework in the plane to be isostatic (i.e. minimally infinitesimally rigid) under any finite point group symmetry. In the case of rotation symmetry groups whose order is either 2 or odd, these conditions are then shown to be sufficient under suitable genericity assumptions, giving precise combinatorial descriptions of symmetric isostatic graphs in these contexts. △ Less

Submitted 19 December, 2023; originally announced December 2023.

Comments: 26 pages, 9 figures. arXiv admin note: text overlap with arXiv:2210.06060

MSC Class: 52C25; 05C70; 20C35

Inelastic scattering of transversely structured free electrons from nanophotonic targets: Theory and computation

Authors: Austin G. Nixon, Matthieu Chalifour, Marc R. Bourgeois, Michael Sanchez, David J. Masiello

Abstract: Recent advancements in abilities to create and manipulate the electron's transverse wave function within the transmission electron microscope (TEM) and scanning TEM (STEM) have enabled vectorially-resolved electron energy loss (EEL) and gain (EEG) measurements of nanoscale and quantum material responses using pre- and post-selected free electron states. This newfound capability is prompting renewe… ▽ More Recent advancements in abilities to create and manipulate the electron's transverse wave function within the transmission electron microscope (TEM) and scanning TEM (STEM) have enabled vectorially-resolved electron energy loss (EEL) and gain (EEG) measurements of nanoscale and quantum material responses using pre- and post-selected free electron states. This newfound capability is prompting renewed theoretical interest in quantum mechanical treatments of inelastic electron scattering observables and the information they contain. Here, we present a quantum mechanical treatment of the inelastic scattering of free electrons between pre- and post-selected transverse states with fully-retarded electron-sample interactions for both spontaneous EEL and continuous-wave laser-stimulated EEG measurements. General expressions for the state-resolved energy loss and gain rates are recast in forms amenable to numerical calculation using the method of coupled dipoles. We numerically implement our theory within the $e$-DDA code, and use it to investigate specific examples that highlight its versatility regarding the number, size, geometry, and material composition of the target specimen, as well as its ability to describe matter-wave diffraction from finite nanoscopic targets. △ Less

Submitted 11 March, 2024; v1 submitted 13 December, 2023; originally announced December 2023.

On the uniqueness of collections of pennies and marbles

Authors: Sean Dewar, Georg Grasegger, Kaie Kubjas, Fatemeh Mohammadi, Anthony Nixon

Abstract: In this note we study the uniqueness problem for collections of pennies and marbles. More generally, consider a collection of unit $d$-spheres that may touch but not overlap. Given the existence of such a collection, one may analyse the contact graph of the collection. In particular we consider the uniqueness of the collection arising from the contact graph. Using the language of graph rigidity th… ▽ More In this note we study the uniqueness problem for collections of pennies and marbles. More generally, consider a collection of unit $d$-spheres that may touch but not overlap. Given the existence of such a collection, one may analyse the contact graph of the collection. In particular we consider the uniqueness of the collection arising from the contact graph. Using the language of graph rigidity theory, we prove a precise characterisation of uniqueness (global rigidity) in dimensions 2 and 3 when the contact graph is additionally chordal. We then illustrate a wide range of examples in these cases. That is, we illustrate collections of marbles and pennies that can be perturbed continuously (flexible), are locally unique (rigid) and are unique (globally rigid). We also contrast these examples with the usual generic setting of graph rigidity. △ Less

Submitted 7 July, 2023; originally announced July 2023.

Comments: 9 pages, 11 figures

MSC Class: 05C10; 52C25; 52C17

Identifiability of Points and Rigidity of Hypergraphs under Algebraic Constraints

Authors: James Cruickshank, Fatemeh Mohammadi, Anthony Nixon, Shin-ichi Tanigawa

Abstract: The identifiability problem arises naturally in a number of contexts in mathematics and computer science. Specific instances include local or global rigidity of graphs and unique completability of partially-filled tensors subject to rank conditions. The identifiability of points on secant varieties has also been a topic of much research in algebraic geometry. It is often formulated as the problem… ▽ More The identifiability problem arises naturally in a number of contexts in mathematics and computer science. Specific instances include local or global rigidity of graphs and unique completability of partially-filled tensors subject to rank conditions. The identifiability of points on secant varieties has also been a topic of much research in algebraic geometry. It is often formulated as the problem of identifying a set of points satisfying a given set of algebraic relations. A key question then is to prove sufficient conditions for relations to guarantee the identifiability of the points. This paper proposes a new general framework for capturing the identifiability problem when a set of algebraic relations has a combinatorial structure and develops tools to analyse the impact of the underlying combinatorics on the local or global identifiability of points. Our framework is built on the language of graph rigidity, where the measurements are Euclidean distances between two points, but applicable in the generality of hypergraphs with arbitrary algebraic measurements. We establish necessary and sufficient (hyper)graph theoretical conditions for identifiability by exploiting techniques from graph rigidity theory and algebraic geometry of secant varieties. In particular our work analyses combinatorially the effect of non-generic projections of secant varieties. △ Less

Submitted 23 January, 2024; v1 submitted 30 May, 2023; originally announced May 2023.

Optical Polarization Analogs in Inelastic Free Electron Scattering

Authors: Marc R. Bourgeois, Austin G. Nixon, Matthieu Chalifour, David J. Masiello

Abstract: Advances in the ability to manipulate free electron phase profiles within the electron microscope have spurred development of quantum-mechanical descriptions of electron energy loss (EEL) processes involving transitions between phase-shaped transverse states. Here, we elucidate an underlying connection between two ostensibly distinct optical polarization analogs identified in EEL experiments as ma… ▽ More Advances in the ability to manipulate free electron phase profiles within the electron microscope have spurred development of quantum-mechanical descriptions of electron energy loss (EEL) processes involving transitions between phase-shaped transverse states. Here, we elucidate an underlying connection between two ostensibly distinct optical polarization analogs identified in EEL experiments as manifestations of the same conserved scattering flux. Our work introduces a procedure for probing general tensorial target characteristics including global mode symmetries and local polarization. △ Less

Submitted 28 May, 2023; originally announced May 2023.

Spitzer IRS Observations of Titan as a Precursor to JWST MIRI Observations

Authors: Brandon Park Coy, Conor A. Nixon, Naomi Rowe-Gurney, Richard Achterberg, Nicholas A. Lombardo, Leigh N. Fletcher, Patrick Irwin

Abstract: In this work we present, for the first time, infrared spectra of Titan from the Spitzer Space Telescope ($2004-2009$). The data are from both the short wavelength-low resolution (SL, $5.13-14.29\mathrm{μm}, R\sim60-127$) and short wavelength-high resolution channels (SH, $9.89 - 19.51\mathrm{μm}, R\sim600$) showing the emissions of CH$_{4}$, C$_{2}$H$_{2}$, C$_{2}$H$_{4}$, C$_{2}$H$_{6}$, C$_{3}$H… ▽ More In this work we present, for the first time, infrared spectra of Titan from the Spitzer Space Telescope ($2004-2009$). The data are from both the short wavelength-low resolution (SL, $5.13-14.29\mathrm{μm}, R\sim60-127$) and short wavelength-high resolution channels (SH, $9.89 - 19.51\mathrm{μm}, R\sim600$) showing the emissions of CH$_{4}$, C$_{2}$H$_{2}$, C$_{2}$H$_{4}$, C$_{2}$H$_{6}$, C$_{3}$H$_{4}$, C$_{3}$H$_{6}$, C$_{3}$H$_{8}$, C$_{4}$H$_{2}$, HCN, HC$_{3}$N, and CO$_{2}$. We compare the results obtained for Titan from Spitzer to those of the Cassini Composite Infrared Spectrometer (CIRS) for the same time period, focusing on the $16.35-19.35\mathrm{μm}$ wavelength range observed by the SH channel but impacted by higher noise levels in CIRS observations. We use the SH data to provide estimated haze extinction cross-sections for the $16.67-17.54\mathrm{μm}$ range that are missing in previous studies. We conclude by identifying spectral features in the $16.35-19.35\mathrm{μm}$ wavelength range, including two prominent emission features at 16.39 and $17.35\mathrm{μm}$, that could be analyzed further through upcoming James Webb Space Telescope Cycle 1 observations with the Mid-Infrared Instrument ($5.0-28.3\mathrm{μm}, R\sim1500-3500$). We also highlight gaps in current spectroscopic knowledge of molecular bands, including candidate trace species such as C$_{60}$ and detected trace species such as C$_{3}$H$_{6}$, that could be addressed by theoretical and laboratory study. △ Less

Submitted 22 May, 2023; originally announced May 2023.

Comments: Accepted to Planetary Science Journal April 28, 2023

Journal ref: Planet. Sci. J. 4 114 (2023)

Phosphine in the Venusian Atmosphere: A Strict Upper Limit from SOFIA GREAT Observations

Authors: M. A. Cordiner, G. L. Villanueva, H. Wiesemeyer, S. N. Milam, I. de Pater, A. Moullet, R. Aladro, C. A. Nixon, A. E. Thelen, S. B. Charnley, J. Stutzki, V. Kofman, S. Faggi, G. Liuzzi, R. Cosentino, B. A. McGuire

Abstract: The presence of phosphine (PH$_3$) in the atmosphere of Venus was reported by Greaves et al. (2021a), based on observations of the J=1-0 transition at 267 GHz using ground-based, millimeter-wave spectroscopy. This unexpected discovery presents a challenge for our understanding of Venus's atmosphere, and has led to a reappraisal of the possible sources and sinks of atmospheric phosphorous-bearing g… ▽ More The presence of phosphine (PH$_3$) in the atmosphere of Venus was reported by Greaves et al. (2021a), based on observations of the J=1-0 transition at 267 GHz using ground-based, millimeter-wave spectroscopy. This unexpected discovery presents a challenge for our understanding of Venus's atmosphere, and has led to a reappraisal of the possible sources and sinks of atmospheric phosphorous-bearing gases. Here we present results from a search for PH$_3$ on Venus using the GREAT instrument aboard the SOFIA aircraft, over three flights conducted in November 2021. Multiple PH$_3$ transitions were targeted at frequencies centered on 533 GHz and 1067 GHz, but no evidence for atmospheric PH$_3$ was detected. Through radiative transfer modeling, we derived a disk-averaged upper limit on the PH$_3$ abundance of 0.8 ppb in the altitude range 75-110 km, which is more stringent than previous ground-based studies. △ Less

Submitted 24 October, 2022; originally announced October 2022.

Comments: Accepted for publication in Geophysical Research Letters

Computing maximum likelihood thresholds using graph rigidity

Authors: Daniel Irving Bernstein, Sean Dewar, Steven J. Gortler, Anthony Nixon, Meera Sitharam, Louis Theran

Abstract: The maximum likelihood threshold (MLT) of a graph $G$ is the minimum number of samples to almost surely guarantee existence of the maximum likelihood estimate in the corresponding Gaussian graphical model. Recently a new characterization of the MLT in terms of rigidity-theoretic properties of $G$ was proved \cite{Betal}. This characterization was then used to give new combinatorial lower bounds on… ▽ More The maximum likelihood threshold (MLT) of a graph $G$ is the minimum number of samples to almost surely guarantee existence of the maximum likelihood estimate in the corresponding Gaussian graphical model. Recently a new characterization of the MLT in terms of rigidity-theoretic properties of $G$ was proved \cite{Betal}. This characterization was then used to give new combinatorial lower bounds on the MLT of any graph. We continue this line of research by exploiting combinatorial rigidity results to compute the MLT precisely for several families of graphs. These include graphs with at most $9$ vertices, graphs with at most 24 edges, every graph sufficiently close to a complete graph and graphs with bounded degrees. △ Less

Submitted 20 October, 2022; originally announced October 2022.

Comments: 15 pages, 5 figures. arXiv admin note: substantial text overlap with arXiv:2108.02185

MSC Class: 62H12 (Primary); 52C25 (Secondary)

Journal ref: Alg. Stat. 14 (2023) 287-305

Rigidity of symmetric frameworks on the cylinder

Authors: Anthony Nixon, Bernd Schulze, Joseph Wall

Abstract: A bar-joint framework $(G,p)$ is the combination of a finite simple graph $G=(V,E)$ and a placement $p:V\rightarrow \mathbb{R}^d$. The framework is rigid if the only edge-length preserving continuous deformations of the vertices arise from isometries of the space. This article combines two recent extensions of the generic theory of rigid and flexible graphs by considering symmetric frameworks in… ▽ More A bar-joint framework $(G,p)$ is the combination of a finite simple graph $G=(V,E)$ and a placement $p:V\rightarrow \mathbb{R}^d$. The framework is rigid if the only edge-length preserving continuous deformations of the vertices arise from isometries of the space. This article combines two recent extensions of the generic theory of rigid and flexible graphs by considering symmetric frameworks in $\mathbb{R}^3$ restricted to move on a surface. In particular necessary combinatorial conditions are given for a symmetric framework on the cylinder to be isostatic (i.e. minimally infinitesimally rigid) under any finite point group symmetry. In every case when the symmetry group is cyclic, which we prove restricts the group to being inversion, half-turn or reflection symmetry, these conditions are then shown to be sufficient under suitable genericity assumptions, giving precise combinatorial descriptions of symmetric isostatic graphs in these contexts. △ Less

Submitted 15 December, 2023; v1 submitted 12 October, 2022; originally announced October 2022.

Comments: 37 pages, 17 figures

MSC Class: 52C25; 05C70; 20C35

Global Rigidity of Line Constrained Frameworks

Authors: James Cruickshank, Fatemeh Mohammadi, Harshit J Motwani, Anthony Nixon, Shin-ichi Tanigawa

Abstract: We consider the global rigidity problem for bar-joint frameworks where each vertex is constrained to lie on a particular line in $\mathbb R^d$. In our setting we allow multiple vertices to be constrained to the same line. Under a mild assumption on the given set of lines we give a complete combinatorial characterisation of graphs that are generically globally rigid in this setting. This gives a… ▽ More We consider the global rigidity problem for bar-joint frameworks where each vertex is constrained to lie on a particular line in $\mathbb R^d$. In our setting we allow multiple vertices to be constrained to the same line. Under a mild assumption on the given set of lines we give a complete combinatorial characterisation of graphs that are generically globally rigid in this setting. This gives a $d$-dimensional extension of the well-known combinatorial characterisation of 1-dimensional global rigidity. △ Less

Submitted 12 October, 2023; v1 submitted 19 August, 2022; originally announced August 2022.

Comments: 24 pages, 5 figures

MSC Class: 52C25 (Primary); 05C10 (Secondary)

Universal Rigidity of Ladders on the line

Authors: Bryan Chen, Robert Connelly, Steven J. Gortler, Anthony Nixon, Louis Theran

Abstract: In "Universal rigidity on the line, point orde" it is shown, answering a question of Jordán and Nguyen, that universal rigidity of a generic bar-joint framework in R^1 depends on more than the ordering of the vertices. The graph G that was used in that paper is a ladder with three rungs. Here we provide a general answer when that ladder with three rungs in the line is universally rigid and when it… ▽ More In "Universal rigidity on the line, point orde" it is shown, answering a question of Jordán and Nguyen, that universal rigidity of a generic bar-joint framework in R^1 depends on more than the ordering of the vertices. The graph G that was used in that paper is a ladder with three rungs. Here we provide a general answer when that ladder with three rungs in the line is universally rigid and when it is not. △ Less

Submitted 18 July, 2022; originally announced July 2022.

MSC Class: 70C20 (52C25)

Uniquely realisable graphs in analytic normed planes

Authors: Sean Dewar, John Hewetson, Anthony Nixon

Abstract: A bar-joint framework $(G,p)$ in the Euclidean space $\mathbb{E}^d$ is globally rigid if it is the unique realisation, up to rigid congruences, of $G$ in $\mathbb{E}^d$ with the edge lengths of $(G,p)$. Building on key results of Hendrickson and Connelly, Jackson and Jordán gave a complete combinatorial characterisation of when a generic framework is global rigidity in $\mathbb{E}^2$. We prove an… ▽ More A bar-joint framework $(G,p)$ in the Euclidean space $\mathbb{E}^d$ is globally rigid if it is the unique realisation, up to rigid congruences, of $G$ in $\mathbb{E}^d$ with the edge lengths of $(G,p)$. Building on key results of Hendrickson and Connelly, Jackson and Jordán gave a complete combinatorial characterisation of when a generic framework is global rigidity in $\mathbb{E}^2$. We prove an analogous result when the Euclidean norm is replaced by any norm that is analytic on $\mathbb{R}^2 \setminus \{0\}$. More precisely, we show that a graph $G=(V,E)$ is globally rigid in a non-Euclidean analytic normed plane if and only if $G$ is 2-connected and $G-e$ contains 2 edge-disjoint spanning trees for all $e\in E$. The main technical tool is a recursive construction of 2-connected and redundantly rigid graphs in analytic normed planes. We also obtain some sufficient conditions for global rigidity as corollaries of our main result and prove that the analogous necessary conditions hold in $d$-dimensional analytic normed spaces. △ Less

Submitted 15 June, 2022; originally announced June 2022.

Comments: 40 pages, 16 figures

MSC Class: 52C25; 05C10; 52A21; 53A35; 52B40

The Isotopic Links from Planet Forming Regions to the Solar System

Authors: H. Nomura, K. Furuya, M. A. Cordiner, S. B. Charnley, C. M. O'D. Alexander, C. A. Nixon, V. V. Guzman, H. Yurimoto, T. Tsukagoshi, T. Iino

Abstract: Isotopic ratios provide a powerful tool for understanding the origins of materials, including the volatile and refractory matter within solar system bodies. Recent high sensitivity observations of molecular isotopologues, in particular with ALMA, have brought us new information on isotopic ratios of hydrogen, carbon, nitrogen and oxygen in star and planet forming regions as well as the solar syste… ▽ More Isotopic ratios provide a powerful tool for understanding the origins of materials, including the volatile and refractory matter within solar system bodies. Recent high sensitivity observations of molecular isotopologues, in particular with ALMA, have brought us new information on isotopic ratios of hydrogen, carbon, nitrogen and oxygen in star and planet forming regions as well as the solar system objects. Solar system exploration missions, such as Rosetta and Cassini, have given us further new insights. Meanwhile, the recent development of sophisticated models for isotope chemistry including detailed gas-phase and grain surface reaction network has made it possible to discuss how isotope fractionation in star and planet forming regions is imprinted into the icy mantles of dust grains, preserving a record of the initial isotopic state of solar system materials. This chapter reviews recent progress in observations of molecular isotopologues in extra-solar planet forming regions, prestellar/protostellar cores and protoplanetary disks, as well as objects in our solar system -- comets, meteorites, and planetary/satellite atmospheres -- and discusses their connection by means of isotope chemical models. △ Less

Submitted 21 March, 2022; originally announced March 2022.

Comments: To appear in Protostars and Planets VII, University of Arizona Press, eds. Shu-ichiro Inutsuka, Yuri Aikawa, Takayuki Muto, Kengo Tomida, and Motohide Tamura

Quotient graphs of symmetrically rigid frameworks

Authors: Sean Dewar, Georg Grasegger, Eleftherios Kastis, Anthony Nixon

Abstract: A natural problem in combinatorial rigidity theory concerns the determination of the rigidity or flexibility of bar-joint frameworks in $\mathbb{R}^d$ that admit some non-trivial symmetry. When $d=2$ there is a large literature on this topic. In particular, it is typical to quotient the symmetric graph by the group and analyse the rigidity of symmetric, but otherwise generic frameworks, using the… ▽ More A natural problem in combinatorial rigidity theory concerns the determination of the rigidity or flexibility of bar-joint frameworks in $\mathbb{R}^d$ that admit some non-trivial symmetry. When $d=2$ there is a large literature on this topic. In particular, it is typical to quotient the symmetric graph by the group and analyse the rigidity of symmetric, but otherwise generic frameworks, using the combinatorial structure of the appropriate group-labelled quotient graph. However, mirroring the situation for generic rigidity, little is known combinatorially when $d\geq 3$. Nevertheless in the periodic case, a key result of Borcea and Streinu characterises when a quotient graph can be lifted to a rigid periodic framework in $\mathbb{R}^d$. We develop an analogous theory for symmetric frameworks in $\mathbb{R}^d$. The results obtained apply to all finite and infinite 2-dimensional point groups, and then in arbitrary dimension they concern a wide range of infinite point groups, sufficiently large finite groups and groups containing translations and rotations. For the case of finite groups we also derive results concerning the probability of assigning group labels to a quotient graph so that the resulting lift is symmetrically rigid in $\mathbb{R}^d$. △ Less

Submitted 18 February, 2022; originally announced February 2022.

Comments: 31 pages, 11 figures

MSC Class: 52C25 (Primary) 05E18; 05C10; 60C05 (Secondary)

Coincident-point rigidity in normed planes

Authors: Sean Dewar, John Hewetson, Anthony Nixon

Abstract: A bar-joint framework $(G,p)$ is the combination of a graph $G$ and a map $p$ assigning positions, in some space, to the vertices of $G$. The framework is rigid if every edge-length-preserving continuous motion of the vertices arises from an isometry of the space. We will analyse rigidity when the space is a (non-Euclidean) normed plane and two designated vertices are mapped to the same position.… ▽ More A bar-joint framework $(G,p)$ is the combination of a graph $G$ and a map $p$ assigning positions, in some space, to the vertices of $G$. The framework is rigid if every edge-length-preserving continuous motion of the vertices arises from an isometry of the space. We will analyse rigidity when the space is a (non-Euclidean) normed plane and two designated vertices are mapped to the same position. This non-genericity assumption leads us to a count matroid first introduced by Jackson, Kaszanitsky and the third author. We show that independence in this matroid is equivalent to independence as a suitably regular bar-joint framework in a normed plane with two coincident points; this characterises when a regular normed plane coincident-point framework is rigid and allows us to deduce a delete-contract characterisation. We then apply this result to show that an important construction operation (generalised vertex splitting) preserves the stronger property of global rigidity in normed planes and use this to construct rich families of globally rigid graphs when the normed plane is analytic. △ Less

Submitted 20 December, 2021; originally announced December 2021.

Comments: 12 pages, 6 figures

MSC Class: 52C25; 05C10; 52B40; 46B20

Science goals and new mission concepts for future exploration of Titan's atmosphere geology and habitability: Titan POlar Scout/orbitEr and In situ lake lander and DrONe explorer (POSEIDON)

Authors: Sébastien Rodriguez, Sandrine Vinatier, Daniel Cordier, Gabriel Tobie, Richard K. Achterberg, Carrie M. Anderson, Sarah V. Badman, Jason W. Barnes, Erika L. Barth, Bruno Bézard, Nathalie Carrasco, Benjamin Charnay, Roger N. Clark, Patrice Coll, Thomas Cornet, Athena Coustenis, Isabelle Couturier-Tamburelli, Michel Dobrijevic, F. Michael Flasar, Remco de Kok, Caroline Freissinet, Marina Galand, Thomas Gautier, Wolf D. Geppert, Caitlin A. Griffith , et al. (39 additional authors not shown)

Abstract: In response to ESA Voyage 2050 announcement of opportunity, we propose an ambitious L-class mission to explore one of the most exciting bodies in the Solar System, Saturn largest moon Titan. Titan, a "world with two oceans", is an organic-rich body with interior-surface-atmosphere interactions that are comparable in complexity to the Earth. Titan is also one of the few places in the Solar System w… ▽ More In response to ESA Voyage 2050 announcement of opportunity, we propose an ambitious L-class mission to explore one of the most exciting bodies in the Solar System, Saturn largest moon Titan. Titan, a "world with two oceans", is an organic-rich body with interior-surface-atmosphere interactions that are comparable in complexity to the Earth. Titan is also one of the few places in the Solar System with habitability potential. Titan remarkable nature was only partly revealed by the Cassini-Huygens mission and still holds mysteries requiring a complete exploration using a variety of vehicles and instruments. The proposed mission concept POSEIDON (Titan POlar Scout/orbitEr and In situ lake lander DrONe explorer) would perform joint orbital and in situ investigations of Titan. It is designed to build on and exceed the scope and scientific/technological accomplishments of Cassini-Huygens, exploring Titan in ways that were not previously possible, in particular through full close-up and in situ coverage over long periods of time. In the proposed mission architecture, POSEIDON consists of two major elements: a spacecraft with a large set of instruments that would orbit Titan, preferably in a low-eccentricity polar orbit, and a suite of in situ investigation components, i.e. a lake lander, a "heavy" drone (possibly amphibious) and/or a fleet of mini-drones, dedicated to the exploration of the polar regions. The ideal arrival time at Titan would be slightly before the next northern Spring equinox (2039), as equinoxes are the most active periods to monitor still largely unknown atmospheric and surface seasonal changes. The exploration of Titan northern latitudes with an orbiter and in situ element(s) would be highly complementary with the upcoming NASA New Frontiers Dragonfly mission that will provide in situ exploration of Titan equatorial regions in the mid-2030s. △ Less

Submitted 20 October, 2021; originally announced October 2021.

Comments: arXiv admin note: substantial text overlap with arXiv:1908.01374

Generalised rigid body motions in non-Euclidean planes with applications to global rigidity

Authors: Sean Dewar, Anthony Nixon

Abstract: A bar-joint framework $(G,p)$ in a (non-Euclidean) real normed plane $X$ is the combination of a finite, simple graph $G$ and a placement $p$ of the vertices in $X$. A framework $(G,p)$ is globally rigid in $X$ if every other framework $(G,q)$ in $X$ with the same edge lengths as $(G,p)$ arises from an isometry of $X$. The weaker property of local rigidity in normed planes (where only $(G,q)$ with… ▽ More A bar-joint framework $(G,p)$ in a (non-Euclidean) real normed plane $X$ is the combination of a finite, simple graph $G$ and a placement $p$ of the vertices in $X$. A framework $(G,p)$ is globally rigid in $X$ if every other framework $(G,q)$ in $X$ with the same edge lengths as $(G,p)$ arises from an isometry of $X$. The weaker property of local rigidity in normed planes (where only $(G,q)$ within a neighbourhood of $(G,p)$ are considered) has been studied by several researchers over the last 5 years after being introduced by Kitson and Power for $\ell_p$-norms. However global rigidity is an unexplored area for general normed spaces, despite being intensely studied in the Euclidean context by many groups over the last 40 years. In order to understand global rigidity in $X$, we introduce new generalised rigid body motions in normed planes where the norm is determined by an analytic function. This theory allows us to deduce several geometric and combinatorial results concerning the global rigidity of bar-joint frameworks in $X$. △ Less

Submitted 14 August, 2021; originally announced August 2021.

Comments: 33 pages, 6 figures

MSC Class: 52C25; 05C10; 52A21

Journal ref: Journal of Mathematical Analysis and Applications (2022)

Maximum likelihood thresholds via graph rigidity

Authors: Daniel Irving Bernstein, Sean Dewar, Steven J. Gortler, Anthony Nixon, Meera Sitharam, Louis Theran

Abstract: The maximum likelihood threshold (MLT) of a graph $G$ is the minimum number of samples to almost surely guarantee existence of the maximum likelihood estimate in the corresponding Gaussian graphical model. We give a new characterization of the MLT in terms of rigidity-theoretic properties of $G$ and use this characterization to give new combinatorial lower bounds on the MLT of any graph. We use… ▽ More The maximum likelihood threshold (MLT) of a graph $G$ is the minimum number of samples to almost surely guarantee existence of the maximum likelihood estimate in the corresponding Gaussian graphical model. We give a new characterization of the MLT in terms of rigidity-theoretic properties of $G$ and use this characterization to give new combinatorial lower bounds on the MLT of any graph. We use the new lower bounds to give high-probability guarantees on the maximum likelihood thresholds of sparse Erd{ö}s-Rényi random graphs in terms of their average density. These examples show that the new lower bounds are within a polylog factor of tight, where, on the same graph families, all known lower bounds are trivial. Based on computational experiments made possible by our methods, we conjecture that the MLT of an Erd{ö}s-Rényi random graph is equal to its generic completion rank with high probability. Using structural results on rigid graphs in low dimension, we can prove the conjecture for graphs with MLT at most $4$ and describe the threshold probability for the MLT to switch from $3$ to $4$. We also give a geometric characterization of the MLT of a graph in terms of a new "lifting" problem for frameworks that is interesting in its own right. The lifting perspective yields a new connection between the weak MLT (where the maximum likelihood estimate exists only with positive probability) and the classical Hadwiger-Nelson problem. △ Less

Submitted 5 December, 2023; v1 submitted 4 August, 2021; originally announced August 2021.

Comments: In press at Annals of Applied Probability

MSC Class: 05C75; 62A99; 52C25; 62R01; 90C25

Detection of Dynamical Instability in Titan's Thermospheric Jet

Authors: M. A. Cordiner, E. Garcia-Berrios, R. G. Cosentino, N. A. Teanby, C. E. Newman, C. A. Nixon, A. E. Thelen, S. B. Charnley

Abstract: Similar to Earth, Saturn's largest moon, Titan, possesses a system of high-altitude zonal winds (or jets) that encircle the globe. Using the Atacama Large Millimeter/submillimeter Array (ALMA) in August 2016, Lellouch et al. (2019) discovered an equatorial jet at much higher altitudes than previously known, with a surprisingly fast speed of up to ~340 m/s, but the origin of such high velocities is… ▽ More Similar to Earth, Saturn's largest moon, Titan, possesses a system of high-altitude zonal winds (or jets) that encircle the globe. Using the Atacama Large Millimeter/submillimeter Array (ALMA) in August 2016, Lellouch et al. (2019) discovered an equatorial jet at much higher altitudes than previously known, with a surprisingly fast speed of up to ~340 m/s, but the origin of such high velocities is not yet understood. We obtained spectrally and spatially resolved ALMA observations in May 2017 to map Titan's 3D global wind field and compare our results with a reanalysis of the August 2016 data. Doppler wind velocity maps were derived in the altitude range ~300-1000 km (from the upper stratosphere to the thermosphere). At the highest, thermospheric altitudes, a 47% reduction in the equatorial zonal wind speed was measured over the 9-month period (corresponding to L_s = 82-90 degrees on Titan). This is interpreted as due to a dramatic slowing and loss of confinement (broadening) of the recently-discovered thermospheric equatorial jet, as a result of dynamical instability. These unexpectedly-rapid changes in the upper-atmospheric dynamics are consistent with strong variability of the jet's primary driving mechanism. △ Less

Submitted 3 June, 2021; originally announced June 2021.

Journal ref: Astrophysical Journal Letters, 2020, Volume 904, id.L12

Universal rigidity on the line, point order

Authors: Bryan Chen, Robert Connelly, Anthony Nixon, Louis Theran

Abstract: We show that universal rigidity of a generic bar and joint framework (G,p) in the line depends on more than the ordering of the vertices. In particular, we construct examples of one-dimensional generic frameworks with the same graph and ordering of the vertices, such that one is universally rigid and one is not. This answers, in the negative, a question of Jordan and Nguyen. We show that universal rigidity of a generic bar and joint framework (G,p) in the line depends on more than the ordering of the vertices. In particular, we construct examples of one-dimensional generic frameworks with the same graph and ordering of the vertices, such that one is universally rigid and one is not. This answers, in the negative, a question of Jordan and Nguyen. △ Less

Submitted 5 April, 2021; originally announced April 2021.

Comments: 9 pages, 6 figures

MSC Class: 14R99

Detection of Cyclopropenylidene on Titan with ALMA

Authors: Conor A. Nixon, Alexander E. Thelen, Martin A. Cordiner, Zbigniew Kisiel, Steven B. Charnley, Edward M. Molter, Joseph Serigano, Patrick G. J. Irwin, Nicholas A. Teanby, Yi-Jehng Kuan

Abstract: We report the first detection on Titan of the small cyclic molecule cyclopropenylidene (c-C3H2) from high sensitivity spectroscopic observations made with the Atacama Large Millimeter/sub-millimeter Array (ALMA). Multiple lines of cyclopropenylidene were detected in two separate datasets: ~251 GHz in 2016 (Band 6) and ~352 GHz in 2017 (Band 7). Modeling of these emissions indicates abundances of 0… ▽ More We report the first detection on Titan of the small cyclic molecule cyclopropenylidene (c-C3H2) from high sensitivity spectroscopic observations made with the Atacama Large Millimeter/sub-millimeter Array (ALMA). Multiple lines of cyclopropenylidene were detected in two separate datasets: ~251 GHz in 2016 (Band 6) and ~352 GHz in 2017 (Band 7). Modeling of these emissions indicates abundances of 0.50 +/- 0.14 ppb (2016) and 0.28 +/- 0.08 (2017) for a 350 km step model, which may either signify a decrease in abundance, or a mean value of 0.33 +/- 0.07 ppb. Inferred column abundances are (3-5)E12 cm-2 in 2016 and (1-2)E12 cm-2 in 2017, similar to photochemical model predictions. Previously the C3H3+ ion has been measured in Titan's ionosphere by Cassini's Ion and Neutral Mass Spectrometer (INMS), but the neutral (unprotonated) species has not been detected until now, and aromatic versus aliphatic structure could not be determined by the INMS. Our work therefore represents the first unambiguous detection of cyclopropenylidene, the second known cyclic molecule in Titan's atmosphere along with benzene (C6H6) and the first time this molecule has been detected in a planetary atmosphere. We also searched for the N-heterocycle molecules pyridine and pyrimidine finding non-detections in both cases, and determining 2-σ upper limits of 1.15 ppb (c-C5H5N) and 0.85 ppb (c-C4H4N2) for uniform abundances above 300 km. These new results on cyclic molecules provide fresh constraints on photochemical pathways in Titan's atmosphere, and will require new modeling and experimental work to fully understand the implications for complex molecule formation. △ Less

Submitted 23 October, 2020; originally announced October 2020.

Comments: 34 pages, 13 figures. 8 tables

Journal ref: The Astronomical Journal, 160:205 (17pp), 2020 November

Detection of CH$_3$C$_3$N in Titan's Atmosphere

Authors: A. E. Thelen, M. A. Cordiner, C. A. Nixon, V. Vuitton, Z. Kisiel, S. B. Charnley, M. Y. Palmer, N. A. Teanby, P. G. J. Irwin

Abstract: Titan harbors a dense, organic-rich atmosphere primarily composed of N$_2$ and CH$_4$, with lesser amounts of hydrocarbons and nitrogen-bearing species. As a result of high sensitivity observations by the Atacama Large Millimeter/submillimeter Array (ALMA) in Band 6 ($\sim$230-272 GHz), we obtained the first spectroscopic detection of CH$_3$C$_3$N (methylcyanoacetylene or cyanopropyne) in Titan's… ▽ More Titan harbors a dense, organic-rich atmosphere primarily composed of N$_2$ and CH$_4$, with lesser amounts of hydrocarbons and nitrogen-bearing species. As a result of high sensitivity observations by the Atacama Large Millimeter/submillimeter Array (ALMA) in Band 6 ($\sim$230-272 GHz), we obtained the first spectroscopic detection of CH$_3$C$_3$N (methylcyanoacetylene or cyanopropyne) in Titan's atmosphere through the observation of seven transitions in the $J = 64\rightarrow63$ and $J = 62\rightarrow61$ rotational bands. The presence of CH$_3$C$_3$N on Titan was suggested by the Cassini Ion and Neutral Mass Spectrometer detection of its protonated form: C$_4$H$_3$NH$^+$, but the atmospheric abundance of the associated (deprotonated) neutral product is not well constrained due to the lack of appropriate laboratory reaction data. Here, we derive the column density of CH$_3$C$_3$N to be (3.8-5.7)$\times10^{12}$ cm$^{-2}$ based on radiative transfer models sensitive to altitudes above 400 km Titan's middle atmosphere. When compared with laboratory and photochemical model results, the detection of methylcyanoacetylene provides important constraints for the determination of the associated production pathways (such as those involving CN, CCN, and hydrocarbons), and reaction rate coefficients. These results also further demonstrate the importance of ALMA and (sub)millimeter spectroscopy for future investigations of Titan's organic inventory and atmospheric chemistry, as CH$_3$C$_3$N marks the heaviest polar molecule detected spectroscopically in Titan's atmosphere to date. △ Less

Submitted 16 October, 2020; originally announced October 2020.

Comments: 17 pages, 6 figures, 2 tables. Accepted in ApJ Letters

The Science Case for a Titan Flagship-class Orbiter with Probes

Authors: Conor A. Nixon, James Abshire, Andrew Ashton, Jason W. Barnes, Nathalie Carrasco, Mathieu Choukroun, Athena Coustenis, Louis-Alexandre Couston, Niklas Edberg, Alexander Gagnon, Jason D. Hofgartner, Luciano Iess, Stéphane Le Mouélic, Rosaly Lopes, Juan Lora, Ralph D. Lorenz, Adrienn Luspay-Kuti, Michael Malaska, Kathleen Mandt, Marco Mastrogiuseppe, Erwan Mazarico, Marc Neveu, Taylor Perron, Jani Radebaugh, Sébastien Rodriguez , et al. (14 additional authors not shown)

Abstract: We outline a flagship-class mission concept focused on studying Titan as a global system, with particular emphasis on the polar regions. Investigating Titan from the unique standpoint of a polar orbit would enable comprehensive global maps to uncover the physics and chemistry of the atmosphere, and the topography and geophysical environment of the surface and subsurface. The mission includes two k… ▽ More We outline a flagship-class mission concept focused on studying Titan as a global system, with particular emphasis on the polar regions. Investigating Titan from the unique standpoint of a polar orbit would enable comprehensive global maps to uncover the physics and chemistry of the atmosphere, and the topography and geophysical environment of the surface and subsurface. The mission includes two key elements: (1) an orbiter spacecraft, which also acts as a data relay, and (2) one or more small probes to directly investigate Titan's seas and make the first direct measurements of their liquid composition and physical environment. The orbiter would carry a sophisticated remote sensing payload, including a novel topographic lidar, a long-wavelength surface-penetrating radar, a sub-millimeter sounder for winds and for mesospheric/thermospheric composition, and a camera and near-infrared spectrometer. An instrument suite to analyze particles and fields would include a mass spectrometer to focus on the interactions between Titan's esca** upper atmosphere and the solar wind and Saturnian magnetosphere. The orbiter would enter a stable polar orbit around 1500 to 1800 km, from which vantage point it would make global maps of the atmosphere and surface. One or more probes, released from the orbiter, would investigate Titan's seas in situ, including possible differences in composition between higher and lower latitude seas, as well as the atmosphere during the parachute descent. The number of probes, as well as the instrument complement on the orbiter and probe, remain to be finalized during a mission study that we recommend to NASA as part of the NRC Decadal Survey for Planetary Science now underway, with the goal of an overall mission cost in the "small flagship" category of ~$2 bn. International partnerships, similar to Cassini-Huygens, may also be included for consideration. △ Less

Submitted 13 August, 2020; originally announced August 2020.

Comments: 13 pages, white paper submitted to the NRC Decadal Survey for Planetary Science and Astrobiology

Which graphs are rigid in $\ell_p^d$?

Authors: Sean Dewar, Derek Kitson, Anthony Nixon

Abstract: We present three results which support the conjecture that a graph is minimally rigid in $d$-dimensional $\ell_p$-space, where $p\in (1,\infty)$ and $p\not=2$, if and only if it is $(d,d)$-tight. Firstly, we introduce a graph bracing operation which preserves independence in the generic rigidity matroid when passing from $\ell_p^d$ to $\ell_p^{d+1}$. We then prove that every $(d,d)$-sparse graph w… ▽ More We present three results which support the conjecture that a graph is minimally rigid in $d$-dimensional $\ell_p$-space, where $p\in (1,\infty)$ and $p\not=2$, if and only if it is $(d,d)$-tight. Firstly, we introduce a graph bracing operation which preserves independence in the generic rigidity matroid when passing from $\ell_p^d$ to $\ell_p^{d+1}$. We then prove that every $(d,d)$-sparse graph with minimum degree at most $d+1$ and maximum degree at most $d+2$ is independent in $\ell_p^d$. Finally, we prove that every triangulation of the projective plane is minimally rigid in $\ell_p^3$. A catalogue of rigidity preserving graph moves is also provided for the more general class of strictly convex and smooth normed spaces and we show that every triangulation of the sphere is independent for 3-dimensional spaces in this class. △ Less

Submitted 26 January, 2024; v1 submitted 31 July, 2020; originally announced July 2020.

Comments: 21 pages

MSC Class: 52C25 (Primary); 05C50 (Secondary)

Journal ref: Journal of Global Optimization (2021)

An improved bound for the rigidity of linearly constrained frameworks

Authors: Bill Jackson, Anthony Nixon, Shin-Ichi Tanigawa

Abstract: We consider the problem of characterising the generic rigidity of bar-joint frameworks in $\mathbb{R}^d$ in which each vertex is constrained to lie in a given affine subspace. The special case when $d=2$ was previously solved by I. Streinu and L. Theran in 2010 and the case when each vertex is constrained to lie in an affine subspace of dimension $t$, and $d\geq t(t-1)$ was solved by Cruickshank,… ▽ More We consider the problem of characterising the generic rigidity of bar-joint frameworks in $\mathbb{R}^d$ in which each vertex is constrained to lie in a given affine subspace. The special case when $d=2$ was previously solved by I. Streinu and L. Theran in 2010 and the case when each vertex is constrained to lie in an affine subspace of dimension $t$, and $d\geq t(t-1)$ was solved by Cruickshank, Guler and the first two authors in 2019. We extend the latter result by showing that the given characterisation holds whenever $d\geq 2t$. △ Less

Submitted 2 July, 2020; v1 submitted 22 May, 2020; originally announced May 2020.

Comments: 6 pages. This version corrects an error in the proof of Theorem 3.2

MSC Class: 52C25; 05C10; 53A05

Flexible circuits in the $d$-dimensional rigidity matroid

Authors: Georg Grasegger, Hakan Guler, Bill Jackson, Anthony Nixon

Abstract: A bar-joint framework $(G,p)$ in $\mathbb{R}^d$ is rigid if the only edge-length preserving continuous motions of the vertices arise from isometries of $\mathbb{R}^d$. It is known that, when $(G,p)$ is generic, its rigidity depends only on the underlying graph $G$, and is determined by the rank of the edge set of $G$ in the generic $d$-dimensional rigidity matroid $\mathcal{R}_d$. Complete combina… ▽ More A bar-joint framework $(G,p)$ in $\mathbb{R}^d$ is rigid if the only edge-length preserving continuous motions of the vertices arise from isometries of $\mathbb{R}^d$. It is known that, when $(G,p)$ is generic, its rigidity depends only on the underlying graph $G$, and is determined by the rank of the edge set of $G$ in the generic $d$-dimensional rigidity matroid $\mathcal{R}_d$. Complete combinatorial descriptions of the rank function of this matroid are known when $d=1,2$, and imply that all circuits in $\mathcal{R}_d$ are generically rigid in $\mathbb{R}^d$ when $d=1,2$. Determining the rank function of $\mathcal{R}_d$ is a long standing open problem when $d\geq 3$, and the existence of non-rigid circuits in $\mathcal{R}_d$ for $d\geq 3$ is a major contributing factor to why this problem is so difficult. We begin a study of non-rigid circuits by characterising the non-rigid circuits in $\mathcal{R}_d$ which have at most $d+6$ vertices. △ Less

Submitted 24 March, 2023; v1 submitted 14 March, 2020; originally announced March 2020.

Comments: 21 pages, 6 figures. Final version, with a short corrigendum appended to the end which gives counterexamples to Lemma 18(a) and Conjecture 17

MSC Class: 52C25; 05C10

A surface finite element method for computational modelling of cell blebbing

Authors: Björn Stinner, Andreas Dedner, Adam Nixon

Abstract: Cell blebs are protrusions of the cell membrane and can be instrumental for cell migration. We derive a continuum model for the mechanical and geometrical aspects of the onset of blebbing in terms of a force balance. It is abstract and flexible in that it allows for amending force contributions related to membrane tension or the presence of linker molecules between membrane and cell cortex. The de… ▽ More Cell blebs are protrusions of the cell membrane and can be instrumental for cell migration. We derive a continuum model for the mechanical and geometrical aspects of the onset of blebbing in terms of a force balance. It is abstract and flexible in that it allows for amending force contributions related to membrane tension or the presence of linker molecules between membrane and cell cortex. The deforming membrane and all forces are expressed by means of a parametrisation over a stationary reference surface. A variational formulation is presented and analysed for well-posedness. For this purpose, we derive a semi-discrete scheme based on the surface finite element method. We provide a convergence result and estimates of the error due to the spatial discretisation. Furthermore, we present a computational framework where specific models can be implemented and later on conveniently amended if desired, using a domain specific language implemented in Python. While the high level program control can be done within the Python scripting environment, the actual computationally expensive step of evolving the solution over time is carried out by binding to an efficient software backend. Cell membrane geometries given in terms of a parametrisation or obtained from image data can be accounted for. A couple of numerical simulation results illustrate the approach. △ Less

Submitted 2 March, 2020; originally announced March 2020.

MSC Class: 65M60

Detection of Propadiene on Titan

Authors: Nicholas A Lombardo, Conor A Nixon, Thomas K Greathouse, Bruno Bézard, Antoine Jolly, Sandrine Vinatier, Nicholas A Teanby, Matthew J Richter, Patrick J G Irwin, Athena Coustenis, F Michael Flasar

Abstract: The atmosphere of Titan, the largest moon of Saturn, is rich in organic molecules, and it has been suggested that the moon may serve as an analog for the pre-biotic Earth due to its highly reducing chemistry and existence of global hazes. Photochemical models of Titan have predicted the presence of propadiene (historically referred to as allene), CH$_{2}$CCH$_{2}$, an isomer of the well-measured p… ▽ More The atmosphere of Titan, the largest moon of Saturn, is rich in organic molecules, and it has been suggested that the moon may serve as an analog for the pre-biotic Earth due to its highly reducing chemistry and existence of global hazes. Photochemical models of Titan have predicted the presence of propadiene (historically referred to as allene), CH$_{2}$CCH$_{2}$, an isomer of the well-measured propyne (also called methylacetylene) CH$_{3}$CCH, but its detection has remained elusive due to insufficient spectroscopic knowledge of the molecule - which has recently been remedied with an updated spectral line list. Here we present the first unambiguous detection of the molecule in any astronomical object, observed with the Texas Echelle Cross Echelle Spectrograph (TEXES) on the NASA Infrared Telescope Facility (IRTF) in July 2017. We model its emission line near 12 $μ$m and measure a volume mixing ratio (VMR) of (6.9 $\pm$ 0.8) $\times$10$^{-10}$ at 175 km, assuming a vertically increasing abundance profile as predicted in photochemical models. Cassini measurements of propyne made during April 2017 indicate that the abundance ratio of propyne to propadiene is 8.2$\pm$1.1 at the same altitude. This initial measurement of the molecule in Titan's stratosphere paves the way towards constraining the amount of atomic hydrogen available on Titan, as well as future map** of propadiene on Titan from 8 meter and larger ground based observatories, and future detection on other planetary bodies. △ Less

Submitted 20 August, 2019; originally announced August 2019.

Journal ref: The Astrophysical Journal Letters, 881:L33 (6pp), 2019 August 20

Ethane in Titan's Stratosphere from Cassini CIRS Far- and Mid-Infrared Spectra

Authors: Nicholas A Lombardo, Conor A Nixon, Melody Sylvestre, Donald E Jennings, Nicholas Teanby, Patrick G J Irwin, F Michael Flasar

Abstract: The Cassini Composite Infrared Spectrometer (CIRS) observed thermal emission in the far- and mid-infrared (from 10 cm$^{-1}$ to 1500 cm$^{-1}$), enabling spatiotemporal studies of ethane on Titan across the span of the Cassini mission from 2004 through 2017. Many previous measurements of ethane on Titan have relied on modeling the molecule's mid-infrared $ν_{12}$ band, centered on 822 cm$^{-1}$. O… ▽ More The Cassini Composite Infrared Spectrometer (CIRS) observed thermal emission in the far- and mid-infrared (from 10 cm$^{-1}$ to 1500 cm$^{-1}$), enabling spatiotemporal studies of ethane on Titan across the span of the Cassini mission from 2004 through 2017. Many previous measurements of ethane on Titan have relied on modeling the molecule's mid-infrared $ν_{12}$ band, centered on 822 cm$^{-1}$. Other bands of ethane at shorter and longer wavelengths were seen, but have not been modeled to measure ethane abundance. Spectral line lists of the far-infrared $ν_{4}$ torsional band at 289 cm$^{-1}$ and the mid-infrared $ν_{8}$ band centered ay 1468 cm$^{-1}$ have recently been studied in the laboratory. We model CIRS observations of each of these bands (along with the $ν_{12}$ band) separately and compare retrieved mixing ratios from each spectral region. Nadir observations of of the $ν_{4}$ band probe the low stratosphere below 100 km. Our equatorial measurements at 289 cm$^{-1}$ show an abundance of (1.0$\pm$0.4) $\times$10$^{-5}$ at 88 km, from 2007 to 2017. This mixing ratio is consistent with measurements at higher altitudes, in contrast to the depletion that many photochemical models predict. Measurements from the $ν_{12}$ and $ν_{8}$ bands are comparable to each other, with the $ν_{12}$ band probing an altitude range that extends deeper in the atmosphere. We suggest future studies of planetary atmospheres may observe the $ν_{8}$ band, enabling shorter wavelength studies of ethane. There may also be an advantage to observing both the ethane $ν_{8}$ band and nearby methane $ν_{4}$ band in the same spectral window. △ Less

Submitted 5 August, 2019; originally announced August 2019.

Comments: 19 pages, 10 figures

Journal ref: AJ 157 160 (2019)

Science goals and mission concepts for a future orbital and in situ exploration of Titan

Authors: Sébastien Rodriguez, Sandrine Vinatier, Daniel Cordier, Nathalie Carrasco, Benjamin Charnay, Thomas Cornet, Athena Coustenis, Remco de Kok, Caroline Freissinet, Marina Galand, Wolf D. Geppert, Ralf Jauman, Klara Kalousova, Tommi T. Koskinen, Sébastien Lebonnois, Alice Le Gall, Stéphane Le Mouélic, Antoine Lucas, Kathleen Mandt, Marco Mastrogiuseppe, Conor A. Nixon, Jani Radebaugh, Pascal Rannou, Jason M. Soderblom, Anezina Solomonidou , et al. (5 additional authors not shown)

Abstract: In this white paper, we present a cross-section of important scientific questions that remain partially or completely unanswered, ranging from Titan exosphere to the deep interior, and we detail which instrumentation and mission scenarios should be used to answer them. Our intention is to formulate the science goals for the next generation of planetary missions to Titan in order to prepare the fut… ▽ More In this white paper, we present a cross-section of important scientific questions that remain partially or completely unanswered, ranging from Titan exosphere to the deep interior, and we detail which instrumentation and mission scenarios should be used to answer them. Our intention is to formulate the science goals for the next generation of planetary missions to Titan in order to prepare the future exploration of the moon. The ESA L-class mission concept that we propose is composed of a Titan orbiter and at least an in situ element (lake lander and/or drone(s)). △ Less

Submitted 4 August, 2019; originally announced August 2019.

Comments: White Paper submission to the call for ESA Voyage 2050 long-term plan

Cassini Composite Infrared Spectrometer (CIRS) Observations of Titan 2004--2017

Authors: Conor A. Nixon, Todd M. Ansty, Nicholas A. Lombardo, Gordon L. Bjoraker, Richard K. Achterberg, Andrew M. Annex, Malena Rice, Paul N. Romani, Donald E. Jennings, Robert E. Samuelson, Carrie M. Anderson, Athena Coustenis, Bruno Bezard, Sandrine Vinatier, Emmanuel Lellouch, Regis Courtin, Nicholas A. Teanby, Valeria Cottini, F. Michael Flasar

Abstract: From 2004 to 2017, the Cassini spacecraft orbited Saturn, completing 127 close flybys of its largest moon, Titan. Cassini's Composite Infrared Spectrometer (CIRS), one of 12 instruments carried on board, profiled Titan in the thermal infrared (7-1000 microns) throughout the entire 13-year mission. CIRS observed on both targeted encounters (flybys) and more distant opportunities, collecting 8.4 mil… ▽ More From 2004 to 2017, the Cassini spacecraft orbited Saturn, completing 127 close flybys of its largest moon, Titan. Cassini's Composite Infrared Spectrometer (CIRS), one of 12 instruments carried on board, profiled Titan in the thermal infrared (7-1000 microns) throughout the entire 13-year mission. CIRS observed on both targeted encounters (flybys) and more distant opportunities, collecting 8.4 million spectra from 837 individual Titan observations over 3633 hours. Observations of multiple types were made throughout the mission, building up a vast mosaic picture of Titan's atmospheric state across spatial and temporal domains. This paper provides a guide to these observations, describing each type and chronicling its occurrences and global-seasonal coverage. The purpose is to provide a resource for future users of the CIRS data set, as well as those seeking to put existing CIRS publications into the overall context of the mission, and to facilitate future inter-comparison of CIRS results with those of other Cassini instruments, and ground-based observations. △ Less

Submitted 29 July, 2019; originally announced July 2019.

Comments: 62 pages, 31 figures, 10 tables. CSV format table data included

ALMA Spectral Imaging of Titan Contemporaneous with Cassini's Grand Finale

Authors: M. A. Cordiner, N. A. Teanby, C. A. Nixon, V. Vuitton, A. E. Thelen, S. B. Charnley

Abstract: The Cassini mission performed 127 targeted flybys of Titan during its 13-year mission to Saturn, culminating in the Grand Finale between April-September 2017. Here we demonstrate the use of the Atacama Large Millimeter/submillimeter Array (ALMA) to continue Cassini's legacy for chemical and climatological studies of Titan's atmosphere. Whole-hemisphere, interferometric spectral maps of HCN, HNC, H… ▽ More The Cassini mission performed 127 targeted flybys of Titan during its 13-year mission to Saturn, culminating in the Grand Finale between April-September 2017. Here we demonstrate the use of the Atacama Large Millimeter/submillimeter Array (ALMA) to continue Cassini's legacy for chemical and climatological studies of Titan's atmosphere. Whole-hemisphere, interferometric spectral maps of HCN, HNC, HC3N, CH3CN, C2H3CN, C2H5CN and C3H8 were obtained using ALMA in May 2017 at moderate (~0.2'', or 1300 km) spatial resolution, revealing the effects of seasonally-variable chemistry and dynamics on the distribution of each species. The ALMA sub-mm observations of HCN and HC3N are consistent with Cassini infrared data on these species, obtained in the same month. Chemical/dynamical lifetimes of a few years are inferred for C2H3CN and C2H5CN, in reasonably close agreement with the latest chemical models incorporating sticking of C2H5CN to stratospheric aerosol particles. ALMA radial limb flux profiles provide column density information as a function of altitude, revealing maximum abundances in the thermosphere (above 600 km) for HCN, HNC, HC3N and C2H5CN. This constitutes the first detailed measurement of the spatial distribution of HNC, which is found to be confined predominantly to altitudes above 730 $\pm$ 60 km. The HNC emission map shows an east-west hemispheric asymmetry of (13$\pm$3)%. These results are consistent with very rapid production (and loss) of HNC in Titan's uppermost atmosphere, making this molecule an effective probe of short-timescale (diurnal) ionospheric processes. △ Less

Submitted 11 July, 2019; v1 submitted 9 July, 2019; originally announced July 2019.

Comments: AJ; submitted March 2019; accepted for publication June 2019

Global rigidity of 2-dimensional linearly constrained frameworks

Authors: Hakan Guler, Bill Jackson, Anthony Nixon

Abstract: A linearly constrained framework in $\mathbb{R}^d$ is a point configuration together with a system of constraints which fixes the distances between some pairs of points and additionally restricts some of the points to lie in given affine subspaces. It is globally rigid if the configuration is uniquely defined by the constraint system, and is rigid if it is uniquely defined within some small open n… ▽ More A linearly constrained framework in $\mathbb{R}^d$ is a point configuration together with a system of constraints which fixes the distances between some pairs of points and additionally restricts some of the points to lie in given affine subspaces. It is globally rigid if the configuration is uniquely defined by the constraint system, and is rigid if it is uniquely defined within some small open neighbourhood. Streinu and Theran characterised generic rigidity of linearly constrained frameworks in $\mathbb{R}^2$ in 2010. We obtain an analagous characterisation for generic global rigidity in $\mathbb{R}^2$. More precisely we show that a generic linearly constrained framework in $\mathbb{R}^2$ is globally rigid if and only if it is redundantly rigid and `balanced'. For generic frameworks which are not balanced, we determine the precise number of solutions to the constraint system whenever the underlying rigidity matroid of the given framework is connected. We also obtain a stress matrix sufficient condition and a Hendrickson type necessary condition for a generic linearly constrained framework to be globally rigid in $\mathbb{R}^d$. △ Less

Submitted 17 July, 2019; v1 submitted 26 June, 2019; originally announced June 2019.

Comments: 33 pages, 13 figures

MSC Class: 52C25; 05C10; 53A05

Pairing symmetries for Euclidean and spherical frameworks

Authors: Katie Clinch, Anthony Nixon, Bernd Schulze, Walter Whiteley

Abstract: In this paper we consider the effect of symmetry on the rigidity of bar-joint frameworks, spherical frameworks and point-hyperplane frameworks in $\mathbb{R}^d$. In particular we show that, under forced or incidental symmetry, infinitesimal rigidity for spherical frameworks with vertices in $X$ on the equator and point-hyperplane frameworks with the vertices in $X$ representing hyperplanes are equ… ▽ More In this paper we consider the effect of symmetry on the rigidity of bar-joint frameworks, spherical frameworks and point-hyperplane frameworks in $\mathbb{R}^d$. In particular we show that, under forced or incidental symmetry, infinitesimal rigidity for spherical frameworks with vertices in $X$ on the equator and point-hyperplane frameworks with the vertices in $X$ representing hyperplanes are equivalent. We then show, again under forced or incidental symmetry, that infinitesimal rigidity properties under certain symmetry groups can be paired, or clustered, under inversion on the sphere so that infinitesimal rigidity with a given group is equivalent to infinitesimal rigidity under a paired group. The fundamental basic example is that mirror symmetric rigidity is equivalent to half-turn symmetric rigidity on the 2-sphere. With these results in hand we also deduce some combinatorial consequences for the rigidity of symmetric bar-joint and point-line frameworks. △ Less

Submitted 6 June, 2019; v1 submitted 3 June, 2019; originally announced June 2019.

Comments: 30 pages, 5 figures

MSC Class: 52C25; 05C10; 51E15

Measurement of CH$_3$D on Titan at Submillimeter Wavelengths

Authors: Alexander E. Thelen, Conor A. Nixon, Martin A. Cordiner, Steven B. Charnley, Patrick G. J. Irwin, Zbigniew Kisiel

Abstract: We present the first radio/submillimeter detection of monodeuterated methane (CH$_3$D) in Titan's atmosphere, using archival data from of the Atacama Large Millimeter/submillimeter Array (ALMA). The $J_K=2_1-1_1$ and $J_K=2_0-1_0$ transitions at 465.235 and 465.250 GHz ($\sim0.644$ mm) were measured at significance levels of $4.6σ$ and $5.7σ$, respectively. These two lines were modeled using the N… ▽ More We present the first radio/submillimeter detection of monodeuterated methane (CH$_3$D) in Titan's atmosphere, using archival data from of the Atacama Large Millimeter/submillimeter Array (ALMA). The $J_K=2_1-1_1$ and $J_K=2_0-1_0$ transitions at 465.235 and 465.250 GHz ($\sim0.644$ mm) were measured at significance levels of $4.6σ$ and $5.7σ$, respectively. These two lines were modeled using the Non-linear optimal Estimator for MultivariatE spectral analySIS (NEMESIS) radiative transfer code to determine the disk-averaged CH$_3$D volume mixing ratio = $6.157\times10^{-6}$ in Titan's stratosphere (at altitudes $\gt130$ km). By comparison with the CH$_4$ vertical abundance profile measured by Cassini-Huygens mass spectrometry, the resulting value for D/H in CH$_4$ is $(1.033\pm0.081)\times10^{-4}$. This is consistent with previous ground-based and in-situ measurements from the Cassini-Huygens mission, though slightly lower than the average of the previous values. Additional CH$_3$D observations at higher spatial resolution will be required to determine a value truly comparable with the Cassini-Huygens CH$_4$ measurements, by measuring CH$_3$D with ALMA close to Titan's equator. In the post-Cassini era, spatially resolved observations of CH$_3$D with ALMA will enable the latitudinal distribution of methane to be determined, making this an important molecule for further studies. △ Less

Submitted 2 May, 2019; originally announced May 2019.

Comments: 9 pages, 4 figures

Impacts of Quantum Chemistry Calculations on Exoplanetary Science, Planetary Astronomy, and Astrophysics

Authors: Der-you Kao, Marko Gacesa, Renata M. Wentzcovitch, Shawn Domagal-Goldman, Ravi K. Kopparapu, Stephen J. Klippenstein, Steven B. Charnley, Wade G. Henning, Joe Renaud, Paul Romani, Yuni Lee, Conor A. Nixon, Koblar A. Jackson, Martin A. Cordiner, Nicholas A. Lombardo, Scott Wieman, Vladimir Airapetian, Veronica Allen, Daria Pidhorodetska, Erika Kohler, Julianne Moses, Timothy A. Livengood, Danielle N. Simkus, Noah J. Planavsky, Chuanfei Dong , et al. (4 additional authors not shown)

Abstract: Several of NASA missions (TESS, JWST, WFIRST, etc.) and mission concepts (LUVOIR, HabEx, and OST) emphasize the exploration and characterization of exoplanets, and the study of the interstellar medium. We anticipate that a much broader set of chemical environments exists on exoplanets, necessitating data from a correspondingly broader set of chemical reactions. Similarly, the conditions that exist… ▽ More Several of NASA missions (TESS, JWST, WFIRST, etc.) and mission concepts (LUVOIR, HabEx, and OST) emphasize the exploration and characterization of exoplanets, and the study of the interstellar medium. We anticipate that a much broader set of chemical environments exists on exoplanets, necessitating data from a correspondingly broader set of chemical reactions. Similarly, the conditions that exist in astrophysical environments are very different from those traditionally probed in laboratory chemical kinetics studies. These are areas where quantum mechanical theory, applied to important reactions via well-validated chemical kinetics models, can fill a critical knowledge gap. Quantum chemical calculations are also introduced to study interior of planets, photochemical escape, and many critical chemical pathways (e.g. prebiotic environments, contaminations, etc.) After years of development of the relevant quantum chemical theories and significant advances in computational power, quantum chemical simulations have currently matured enough to describe real systems with an accuracy that competes with experiments. These approaches, therefore, have become the best possible alternative in many circumstances where performing experiments is too difficult, too expensive, or too dangerous, or simply not possible. In this white paper, several existing quantum chemical studies supporting exoplanetary science, planetary astronomy, and astrophysics are described, and the potential positive impacts of improved models associated with scientific goals of missions are addressed. In the end, a few recommendations from the scientific community to strengthen related research efforts at NASA are provided. △ Less

Submitted 15 April, 2019; originally announced April 2019.

Spatial Variations in Titan's Atmospheric Temperature: ALMA and Cassini Comparisons from 2012 to 2015

Authors: A. E. Thelen, C. A. Nixon, N. J. Chanover, E. M. Molter, M. A. Cordiner, R. K. Achterberg, J. Serigano, P. G. J. Irwin, N. A. Teanby, S. B. Charnley

Abstract: Submillimeter emission lines of carbon monoxide (CO) in Titan's atmosphere provide excellent probes of atmospheric temperature due to the molecule's long chemical lifetime and stable, well constrained volume mixing ratio. Here we present the analysis of 4 datasets obtained with the Atacama Large Millimeter/Submillimeter Array (ALMA) from 2012 to 2015 that contain strong CO rotational transitions.… ▽ More Submillimeter emission lines of carbon monoxide (CO) in Titan's atmosphere provide excellent probes of atmospheric temperature due to the molecule's long chemical lifetime and stable, well constrained volume mixing ratio. Here we present the analysis of 4 datasets obtained with the Atacama Large Millimeter/Submillimeter Array (ALMA) from 2012 to 2015 that contain strong CO rotational transitions. Utilizing ALMA's high spatial resolution in the 2012, 2014, and 2015 observations, we extract spectra from 3 separate regions on Titan's disk using datasets with beam sizes of ~0.3''. Temperature profiles retrieved by the NEMESIS radiative transfer code are compared to Cassini Composite Infrared Spectrometer (CIRS) and radio occultation science results from similar latitude regions. Small seasonal variations in atmospheric temperature are present from 2012 to 2015 in the stratosphere and mesosphere (~100-500 km) of spatially resolved regions. We measure the stratopause (320 km) to increase in temperature by 5 K in northern latitudes from 2012-2015, while temperatures rise throughout the stratosphere at lower latitudes. While retrieved temperature profiles cover a range of latitudes in these observations, deviations from CIRS nadir maps and radio occultation measurements convolved with the ALMA beam-footprint are not found to be statistically significant, and discrepancies are often found to be less than 5 K throughout the atmosphere. ALMA's excellent sensitivity in the lower stratosphere (60-300 km) provides a highly complementary dataset to contemporary CIRS and radio science observations. The demonstrated utility of CO emission lines in the submillimeter as a tracer of Titan's atmospheric temperature lays the groundwork for future studies of other molecular species, as temperature profiles are found to consistently vary with latitude in all three years by up to 15 K. △ Less

Submitted 28 September, 2018; originally announced September 2018.

Comments: 11 pages, 9 figures, 3 tables

Journal ref: Thelen et al. (2018). Icarus, vol. 307, pp. 380-390

Abundance Measurements of Titan's Stratospheric HCN, HC$_3$N, C$_3$H$_4$, and CH$_3$CN from ALMA Observations

Authors: A. E. Thelen, C. A. Nixon, N. J. Chanover, M. A. Cordiner, E. M. Molter, N. A. Teanby, P. G. J. Irwin, J. Serigano, S. B. Charnley

Abstract: Previous investigations have employed more than 100 close observations of Titan by the Cassini orbiter to elucidate connections between the production and distribution of Titan's vast, organic-rich chemical inventory and its atmospheric dynamics. However, as Titan transitions into northern summer, the lack of incoming data from the Cassini orbiter presents a potential barrier to the continued stud… ▽ More Previous investigations have employed more than 100 close observations of Titan by the Cassini orbiter to elucidate connections between the production and distribution of Titan's vast, organic-rich chemical inventory and its atmospheric dynamics. However, as Titan transitions into northern summer, the lack of incoming data from the Cassini orbiter presents a potential barrier to the continued study of seasonal changes in Titan's atmosphere. In our previous work (Thelen et al., 2018), we demonstrated that the Atacama Large Millimeter/submillimeter Array (ALMA) is well suited for measurements of Titan's atmosphere in the stratosphere and lower mesosphere (~100-500 km) through the use of spatially resolved (beam sizes <1'') flux calibration observations of Titan. Here, we derive vertical abundance profiles of four of Titan's trace atmospheric species from the same 3 independent spatial regions across Titan's disk during the same epoch (2012 to 2015): HCN, HC$_3$N, C$_3$H$_4$, and CH$_3$CN. We find that Titan's minor constituents exhibit large latitudinal variations, with enhanced abundances at high latitudes compared to equatorial measurements; this includes CH$_3$CN, which eluded previous detection by Cassini in the stratosphere, and thus spatially resolved abundance measurements were unattainable. Even over the short 3-year period, vertical profiles and integrated emission maps of these molecules allow us to observe temporal changes in Titan's atmospheric circulation during northern spring. Our derived abundance profiles are comparable to contemporary measurements from Cassini infrared observations, and we find additional evidence for subsidence of enriched air onto Titan's south pole during this time period. Continued observations of Titan with ALMA beyond the summer solstice will enable further study of how Titan's atmospheric composition and dynamics respond to seasonal changes. △ Less

Submitted 28 September, 2018; originally announced September 2018.

Comments: 15 pages, 16 figures, 2 tables. Accepted for publication in Icarus, September 2018

Spatial and Seasonal Variations in C3Hx Hydrocarbon Abundance in Titan's Stratosphere from Cassini CIRS Observations

Authors: Nicholas A Lombardo, Conor A Nixon, Richard K Achterberg, Antoine Jolly, Keeyoon Sung, Patrick G J Irwin, F Michael Flasar

Abstract: Of the C$_{3}$H$_{x}$ hydrocarbons, propane (C${_3}$H$_{8}$) and propyne (methylacetylene, CH$_{3}$C$_{2}$H) were first detected in Titan's atmosphere during the Voyager 1 flyby in 1980. Propene (propylene, C$_{3}$H$_{6}$) was first detected in 2013 with data from the Composite InfraRed Spectrometer (CIRS) instrument on Cassini. We present the first measured abundance profiles of propene on Titan… ▽ More Of the C$_{3}$H$_{x}$ hydrocarbons, propane (C${_3}$H$_{8}$) and propyne (methylacetylene, CH$_{3}$C$_{2}$H) were first detected in Titan's atmosphere during the Voyager 1 flyby in 1980. Propene (propylene, C$_{3}$H$_{6}$) was first detected in 2013 with data from the Composite InfraRed Spectrometer (CIRS) instrument on Cassini. We present the first measured abundance profiles of propene on Titan from radiative transfer modeling, and compare our measurements to predictions derived from several photochemical models. Near the equator, propene is observed to have a peak abundance of 10 ppbv at a pressure of 0.2 mbar. Several photochemical models predict the amount at this pressure to be in the range 0.3 - 1 ppbv and also show a local minimum near 0.2 mbar which we do not see in our measurements. We also see that propene follows a different latitudinal trend than the other C$_{3}$ molecules. While propane and propyne concentrate near the winter pole, transported via a global convective cell, propene is most abundant above the equator. We retrieve vertical abundances profiles between 125 km and 375 km for these gases for latitude averages between 60$^{\circ}$S to 20$^{\circ}$S, 20$^{\circ}$S to 20$^{\circ}$N, and 20$^{\circ}$N to 60$^{\circ}$N over two time periods, 2004 through 2009 representing Titan's atmosphere before the 2009 equinox, and 2012 through 2015 representing time after the equinox. Additionally, using newly corrected line data, we determined an updated upper limit for allene (propadiene, CH$_{2}$CCH$_{2}$, the isomer of propyne). We claim a 3-$σ$ upper limit mixing ratio of 2.5$\times$10$^{-9}$ within 30$^\circ$ of the equator. The measurements we present will further constrain photochemical models by refining reaction rates and the transport of these gases throughout Titan's atmosphere. △ Less

Submitted 11 September, 2018; originally announced September 2018.

Comments: 31 pages, 13 pages, 2 tables

Journal ref: Icarus, Vol 317, 1 January 2019, Pages 454-469

Rigidity of symmetric frameworks in normed spaces

Authors: Derek Kitson, Anthony Nixon, Bernd Schulze

Abstract: We develop a combinatorial rigidity theory for symmetric bar-joint frameworks in a general finite dimensional normed space. In the case of rotational symmetry, matroidal Maxwell-type sparsity counts are identified for a large class of $d$-dimensional normed spaces (including all $\ell^p$ spaces with $p\not=2$). Complete combinatorial characterisations are obtained for half-turn rotation in the… ▽ More We develop a combinatorial rigidity theory for symmetric bar-joint frameworks in a general finite dimensional normed space. In the case of rotational symmetry, matroidal Maxwell-type sparsity counts are identified for a large class of $d$-dimensional normed spaces (including all $\ell^p$ spaces with $p\not=2$). Complete combinatorial characterisations are obtained for half-turn rotation in the $\ell^1$ and $\ell^\infty$-plane. As a key tool, a new Henneberg-type inductive construction is developed for the matroidal class of $(2,2,0)$-gain-tight graphs. △ Less

Submitted 16 April, 2020; v1 submitted 13 August, 2018; originally announced August 2018.

Comments: 42 pages, 11 figures. This version contains corrected proofs and more detailed explanations have been provided for greater clarity

MSC Class: 52C25; 20C35; 05C50

Interferometric imaging of Titan's HC$_3$N, H$^{13}$CCCN and HCCC$^{15}$N

Authors: M. A. Cordiner, C. A. Nixon, S. B. Charnley, N. A. Teanby, E. M. Molter, Z. Kisiel, V. Vuitton

Abstract: We present the first maps of cyanoacetylene isotopologues in Titan's atmosphere, including H$^{13}$CCCN and HCCC$^{15}$N, detected in the 0.9 mm band using the Atacama Large Millimeter/submillimeter array (ALMA) around the time of Titan's (southern winter) solstice in May 2017. The first high-resolution map of HC$_3$N in its $v_7=1$ vibrationally excited state is also presented, revealing a unique… ▽ More We present the first maps of cyanoacetylene isotopologues in Titan's atmosphere, including H$^{13}$CCCN and HCCC$^{15}$N, detected in the 0.9 mm band using the Atacama Large Millimeter/submillimeter array (ALMA) around the time of Titan's (southern winter) solstice in May 2017. The first high-resolution map of HC$_3$N in its $v_7=1$ vibrationally excited state is also presented, revealing a unique snapshot of the global HC$_3$N distribution, free from the strong optical depth effects that adversely impact the ground-state ($v=0$) map. The HC$_3$N emission is found to be strongly enhanced over Titan's south pole (by a factor of 5.7 compared to the north pole), consistent with rapid photochemical loss of HC$_3$N from the summer hemisphere combined with production and transport to the winter pole since the April 2015 ALMA observations. The H$^{13}$CCCN/HCCC$^{15}$N flux ratio is derived at the southern HC$_3$N peak, and implies an HC$_3$N/HCCC$^{15}$N ratio of $67\pm14$. This represents a significant enrichment in $^{15}$N compared with Titan's main molecular nitrogen reservoir, which has a $^{14}$N/$^{15}$N ratio of 167, and confirms the importance of photochemistry in determining the nitrogen isotopic ratio in Titan's organic inventory. △ Less

Submitted 11 May, 2018; originally announced May 2018.

Comments: Accepted for publication in ApJL, May 2018

Rigidity of linearly-constrained frameworks

Authors: James Cruickshank, Hakan Guler, Bill Jackson, Anthony Nixon

Abstract: We consider the problem of characterising the generic rigidity of bar-joint frameworks in $\mathbb{R}^d$ in which each vertex is constrained to lie in a given affine subspace. The special case when $d=2$ was previously solved by I. Streinu and L. Theran in 2010. We will extend their characterisation to the case when $d\geq 3$ and each vertex is constrained to lie in an affine subspace of dimension… ▽ More We consider the problem of characterising the generic rigidity of bar-joint frameworks in $\mathbb{R}^d$ in which each vertex is constrained to lie in a given affine subspace. The special case when $d=2$ was previously solved by I. Streinu and L. Theran in 2010. We will extend their characterisation to the case when $d\geq 3$ and each vertex is constrained to lie in an affine subspace of dimension $t$, when $t=1,2$ and also when $t\geq 3$ and $d\geq t(t-1)$. We then point out that results on body-bar frameworks obtained by N. Katoh and S. Tanigawa in 2013 can be used to characterise when a graph has a rigid realisation as a $d$-dimensional body-bar framework with a given set of linear constraints. △ Less

Submitted 29 June, 2018; v1 submitted 2 April, 2018; originally announced April 2018.

Comments: 12 pages, 2 figures

MSC Class: 52C25; 05C10; 53A05

Map** Vinyl Cyanide and Other Nitriles in Titan's Atmosphere Using ALMA

Authors: J. C. -Y. Lai, M. A. Cordiner, C. A. Nixon, R. K. Achterberg, E. M. Molter, N. A. Teanby, M. Y. Palmer, S. B. Charnley, J. E. Lindberg, Z. Kisiel, M. J. Mumma, P. G. J. Irwin

Abstract: Vinyl cyanide (C$_2$H$_3$CN) is theorized to form in Titan's atmosphere via high-altitude photochemistry and is of interest regarding the astrobiology of cold planetary surfaces due to its predicted ability to form cell membrane-like structures (azotosomes) in liquid methane. In this work, we follow up on the initial spectroscopic detection of C$_2$H$_3$CN on Titan by Palmer et al. (2017) with the… ▽ More Vinyl cyanide (C$_2$H$_3$CN) is theorized to form in Titan's atmosphere via high-altitude photochemistry and is of interest regarding the astrobiology of cold planetary surfaces due to its predicted ability to form cell membrane-like structures (azotosomes) in liquid methane. In this work, we follow up on the initial spectroscopic detection of C$_2$H$_3$CN on Titan by Palmer et al. (2017) with the detection of three new C$_2$H$_3$CN rotational emission lines at submillimeter frequencies. These new, high-resolution detections have allowed for the first spatial distribution map** of C$_2$H$_3$CN on Titan. We present simultaneous observations of C$_2$H$_5$CN, HC$_3$N, and CH$_3$CN emission, and obtain the first (tentative) detection of C$_3$H$_8$ (propane) at radio wavelengths. We present disk-averaged vertical abundance profiles, two-dimensional spatial maps, and latitudinal flux profiles for the observed nitriles. Similarly to HC$_3$N and C$_2$H$_5$CN, which are theorized to be short-lived in Titan's atmosphere, C$_2$H$_3$CN is most abundant over the southern (winter) pole, whereas the longer-lived CH$_3$CN is more concentrated in the north. This abundance pattern is consistent with the combined effects of high-altitude photochemical production, poleward advection, and the subsequent reversal of Titan's atmospheric circulation system following the recent transition from northern to southern winter. We confirm that C$_2$H$_3$CN and C$_2$H$_5$CN are most abundant at altitudes above 200 km. Using a 300 km step model, the average abundance of C$_2$H$_3$CN is found to be $3.03\pm0.29$ ppb, with a C$_2$H$_5$CN/C$_2$H$_3$CN abundance ratio of $2.43\pm0.26$. Our HC$_3$N and CH$_3$CN spectra can be accurately modeled using abundance gradients above the tropopause, with fractional scale-heights of $2.05\pm0.16$ and $1.63\pm0.02$, respectively. △ Less

Submitted 17 October, 2017; originally announced October 2017.

Comments: Accepted for publication in the Astronomical Journal