arXiv Science⌕ Search

arXiv subjects

Stephen Watson

Publications and source records attributed to Stephen Watson.

14 recordsLinked to original sources
arXiv2024

CUBES, the Cassegrain U-Band Efficient Spectrograph: towards final design review

In the era of Extremely Large Telescopes, the current generation of 8-10m facilities are likely to remain competitive at ground-UV wavelengths for the foreseeable future. The Cassegrain U-Band Efficient Spectrograph (CUBES) has been designed to provide high instrumental efficiency ( $>$ 37\%) observations in the near UV (305-400 nm requirement, 300-420 nm goal) at a spectral resolving power of R $>$ 20, 000 (with a lower-resolution, sky-limited mode of R $\sim$ 7, 000). With the design focusing on maximizing the instrument throughput (ensuring a Signal to Noise Ratio -SNR- $\sim$ 20 per spectral resolution element at 313 nm for U $\sim$ 17.5 mag objects in 1h of observations), it will offer new possibilities in many fields of astrophysics: i) access to key lines of stellar spectra (e.g. lighter elements, in particular Beryllium), extragalactic studies (e.g. circumgalactic medium of distant galaxies, cosmic UV background) and follow-up of explosive transients. We present the CUBES instrument design, currently in Phase-C and approaching the final design review, summarizing the hardware architecture and interfaces between the different subsystems as well as the relevant technical requirements. We describe the optical, mechanical, electrical design of the different subsystems (from the telescope adapter and support structure, through the main opto-mechanical path, including calibration unit, detector devices and cryostat control, main control electronics), detailing peculiar instrument functions like the Active Flexure Compensation (AFC). Furthermore, we outline the AITV concept and the main instrument operations giving an overview of its software ecosystem. Installation at the VLT is planned for 2028-2029 and first science operations in late 2029.

astro-ph.IM↗
arXiv2024

Additive manufacturing applications in astronomy: a review

Despite the established role of additive manufacturing (AM) in aerospace and medical fields, its adoption in astronomy remains low. Encouraging AM integration in a risk-averse community necessitates documentation and dissemination of previous case studies. The objective of this study is to create the first review of AM in astronomy hardware, answering: where is AM currently being used in astronomy, what is the status of its adoption, and what challenges are preventing its widespread use? The review starts with an introduction to astronomical instruments size/cost challenges, alongside the role of manufacturing innovation. This is followed by highlighting the benefits/challenges of AM and used materials/processes in both space-based and ground-based applications. The review case studies include mirrors, optomechanical structures, compliant mechanisms, brackets and tooling applications that are either in research phase or are implemented.

astro-ph.IM↗
arXiv2024

Flexure based fibre positioners: design optimisation to follow arbitrary focal plane curvature

The use of flexures to achieve fibre positioner motion is being actively investigated by several institutes, for example at the UK Astronomy Technology Centre (UKATC) and Leibniz-Institute for Astrophysics Potsdam. One challenge when designing with flexures is the large number of degrees of freedom available which makes it difficult or impossible to optimise their motion by hand. In this paper we demonstrate two approaches for optimising flexure geometry to follow arbitrary focal surface curvature and to orient the optical fibre with arbitrary tilt. These approaches are: analytical using MATLAB models and FEA based using Ansys. The approaches are complementary allowing the designer to efficiently explore the parameter space and then do precise optimisation of the flexure geometry. We demonstrate the applicability both to the UKATCs preferred design for WST, and to flexure-based fibre positioner designs generally. We also present a sensitivity analysis relating small changes in design parameters to changes in fibre tip motion. Finally we briefly present the UKATCs preferred geometry for the WST fibre positioner.

astro-ph.IM↗
arXiv2024

WST -- Widefield Spectroscopic Telescope: addressing the instrumentation challenges of a new 12m class telescope dedicated to widefield Multi-object and Integral Field Spectroscopy

WST - Widefield Spectroscopic Telescope: We summarise the design challenges of instrumentation for a proposed 12m class Telescope that aims to provide a large (>2.5 square degree) field of view and enable simultaneous Multi-object (> 20,000 objects) and Integral Field spectroscopy (inner 3x3 arcminutes field of view), initially at visible wavelengths. For the MOS mode, instrumentation includes the fiber positioning units, fiber runs and the high (R~40,000) and low (R~3,000 - 4,000) resolution spectrographs. For the MUSE like Integral Field Spectrograph, this includes the relay from the Telescope Focal Plane, the multi-stage splitting and slicing and almost 150 identical spectrographs. We highlight the challenge of mass production at a credible cost and the issues of maintenance and sustainable operation.

astro-ph.IM↗
arXiv2023

HRMOS White Paper: Science Motivation

The High-Resolution Multi-Object Spectrograph (HRMOS) is a facility instrument that we plan to propose for the Very Large Telescope (VLT) of the European Southern Observatory (ESO), following the initial presentation at the VLT 2030 workshop held at ESO in June 2019. HRMOS provides a combination of capabilities that are essential to carry out breakthrough science across a broad range of active research areas from stellar astrophysics and exoplanet studies to Galactic and Local Group archaeology. HRMOS fills a gap in capabilities amongst the landscape of future instrumentation planned for the next decade. The key characteristics of HRMOS will be high spectral resolution (R = 60000 - 80000) combined with multi-object (20-100) capabilities and long term stability that will provide excellent radial velocity precision and accuracy (10m/s). Initial designs predict that a SNR~100 will be achievable in about one hour for a star with mag(AB) = 15, while with the same exposure time a SNR~ 30 will be reached for a star with mag(AB) = 17. The combination of high resolution and multiplexing with wavelength coverage extending to relatively blue wavelengths (down to 380\,nm), makes HRMOS a spectrograph that will push the boundaries of our knowledge and that is envisioned as a workhorse instrument in the future. The science cases presented in this White Paper include topics and ideas developed by the Core Science Team with the contributions from the astronomical community, also through the wide participation in the first HRMOS Workshop (https://indico.ict.inaf.it/event/1547/) that took place in Firenze (Italy) in October 2021.

astro-ph.IM↗
arXiv2023

A new proof for the existence of Nash equilibrium

We present a new proof for the existence of a Nash equilibrium, which involves no fixed point theorem. The self-contained proof consists of two parts. The first part introduces the notions of root function and pre-equilibrium. The second part shows the existence of pre-equilibria and Nash equilibria.

econ.TH↗
arXiv2023

A rational measure of irrationality

All possible types of deterministic choice behavior are classified by their degree of irrationality. This classification is performed in three steps: (1) select a benchmark of rationality, for which this degree is zero; (2) endow the set of choices with a metric to measure deviations from rationality; and (3) compute the distance of any choice behavior from the selected benchmark. The natural candidate for step 1 is the family of all rationalizable behaviors. A possible candidate for step 2 is a suitable variation of the metric described by Klamler (2008), which displays a sharp discerning power among different types of choice behaviors. In step 3 we use this new metric to establish the minimum distance of any choice behavior from the benchmark of rationality. Finally we describe a measure of stochastic irrationality, which employs the random utility model as a benchmark of rationality, and the Block-Marschak polynomials to measure deviations from it.

econ.TH↗
arXiv2022

Rationalization of indecisive choice behavior by majoritarian ballots

We describe a model that explains possibly indecisive choice behavior, that is, quasi-choices (choice correspondences that may be empty on some menus). The justification is here provided by a proportion of ballots, which are quasi-choices rationalizable by an arbitrary binary relation. We call a quasi-choice $s$-majoritarian if all options selected from a menu are endorsed by a share of ballots larger than $s$. We prove that all forms of majoritarianism are equivalent to a well-known behavioral property, namely Chernoff axiom. Then we focus on two paradigms of majoritarianism, whereby either a simple majority of ballots justifies a quasi-choice, or the endorsement by a single ballot suffices - a liberal justification. These benchmark explanations typically require a different minimum number of ballots. We determine the asymptotic minimum size of a liberal justification.

econ.TH↗
arXiv2022

Semantics meets attractiveness: Choice by salience

We describe a context-sensitive model of choice, in which the selection process is shaped not only by the attractiveness of items but also by their semantics ('salience'). All items are ranked according to a relation of salience, and a linear order is associated to each item. The selection of a single element from a menu is justified by one of the linear orders indexed by the most salient items in the menu. The general model provides a structured explanation for any observed behavior, and allows us to to model the 'moodiness' of a decision maker, which is typical of choices requiring as many distinct rationales as items. Asymptotically all choices are moody. We single out a model of linear salience, in which the salience order is transitive and complete, and characterize it by a behavioral property, called WARP(S). Choices rationalizable by linear salience can only exhibit non-conflicting violations of WARP. We also provide numerical estimates, which show the high selectivity of this testable model of bounded rationality.

econ.TH↗
arXiv2022

CUBES Phase A design overview -- The Cassegrain U-Band Efficient Spectrograph for the Very Large Telescope

We present the baseline conceptual design of the Cassegrain U-Band Efficient Spectrograph (CUBES) for the Very Large Telescope. CUBES will provide unprecedented sensitivity for spectroscopy on a 8 - 10 m class telescope in the ground ultraviolet (UV), spanning a bandwidth of > 100 nm that starts at 300 nm, the shortest wavelength accessible from the ground. The design has been optimized for end-to-end efficiency and provides a spectral resolving power of R > 20000, that will unlock a broad range of new topics across solar system, Galactic and extraglactic astronomy. The design also features a second, lower-resolution (R \sim 7000) mode and has the option of a fiberlink to the UVES instrument for simultaneous observations at longer wavelengths. Here we present the optical, mechanical and software design of the various subsystems of the instrument after the Phase A study of the project. We discuss the expected performances for the layout choices and highlight some of the performance trade-offs considered to best meet the instrument top-level requirements. We also introduce the model-based system engineering approach used to organize and manage the project activities and interfaces, in the context that it is increasingly necessary to integrate such tools in the development of complex astronomical projects.

astro-ph.IM↗
arXiv2021

Resolutions of Convex Geometries

Convex geometries (Edelman and Jamison, 1985) are finite combinatorial structures dual to union-closed antimatroids or learning spaces. We define an operation of resolution for convex geometries, which replaces each element of a base convex geometry by a fiber convex geometry. Contrary to what happens for similar constructions -- compounds of hypergraphs, as in Chein, Habib and Maurer (1981), and compositions of set systems, as in Mohring and Radermacher (1984) -- , resolutions of convex geometries always yield a convex geometry. We investigate resolutions of special convex geometries: ordinal and affine. A resolution of ordinal convex geometries is again ordinal, but a resolution of affine convex geometries may fail to be affine. A notion of primitivity, which generalize the corresponding notion for posets, arises from resolutions: a convex geometry is primitive if it is not a resolution of smaller ones. We obtain a characterization of affine convex geometries that are primitive, and compute the number of primitive convex geometries on at most four elements. Several open problems are listed.

math.CO↗
arXiv2017

The Satisfiability Problem for Boolean Set Theory with a Choice Correspondence

Given a set U of alternatives, a choice (correspondence) on U is a contractive map c defined on a family Omega of nonempty subsets of U. Semantically, a choice c associates to each menu A in Omega a nonempty subset c(A) of A comprising all elements of A that are deemed selectable by an agent. A choice on U is total if its domain is the powerset of U minus the empty set, and partial otherwise. According to the theory of revealed preferences, a choice is rationalizable if it can be retrieved from a binary relation on U by taking all maximal elements of each menu. It is well-known that rationalizable choices are characterized by the satisfaction of suitable axioms of consistency, which codify logical rules of selection within menus. For instance, WARP (Weak Axiom of Revealed Preference) characterizes choices rationalizable by a transitive relation. Here we study the satisfiability problem for unquantified formulae of an elementary fragment of set theory involving a choice function symbol c, the Boolean set operators and the singleton, the equality and inclusion predicates, and the propositional connectives. In particular, we consider the cases in which the interpretation of c satisfies any combination of two specific axioms of consistency, whose conjunction is equivalent to WARP. In two cases we prove that the related satisfiability problem is NP-complete, whereas in the remaining cases we obtain NP-completeness under the additional assumption that the number of choice terms is constant.

cs.LO↗
arXiv2017

Extending rational choice behavior: The decision problem for Boolean set theory with a choice correspondence

Given the family $P$ of all nonempty subsets of a set $U$ of alternatives, a choice over $U$ is a function $c \colon \Omega \to P$ such that $\Omega \subseteq P$ and $c(B) \subseteq B$ for all menus $B \in \Omega$. A choice is total if $\Omega = P$, and partial otherwise. In economics, an agent is considered rational whenever her choice behavior satisfies suitable axioms of consistency, which are properties quantified over menus. Here we address the following lifting problem: Given a partial choice satisfying one or more axioms of consistency, is it possible to extend it to a total choice satisfying the same axioms? After characterizing the lifting of some choice properties that are well-known in the economics literature, we study the decidability of the connected satisfiability problem for unquantified formulae of an elementary fragment of set theory, which involves a choice function symbol, the Boolean set operators, the singleton, the equality and inclusion predicates, and the propositional connectives. In two cases we prove that the satisfiability problem is NP-complete, whereas in the remaining cases we obtain NP-completeness under the additional assumption that the number of choice terms is constant.

cs.LO↗