Search

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., Comment: 27 pages, 17 figures, submitted to SPIE Astronomical Telescopes & Instrumentation, Advances in Optical and Mechanical Technologies for Telescopes and Instrumentation VI (Conference 13100, Paper 57)

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., Comment: 17 pages, 13 figures, submitted to SPIE Advances in Optical and Mechanical Technologies for Telescopes and Instrumentation VI, Tokyo, 16-21/06/2024

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., Comment: 9 pages, 9 figures

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., Comment: 88 pages, 39 figures. Comments and expressions of interest are welcome by contacting members of the Core Science Team

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.

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.

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.

We use a combinatorial approach to compute the number of non-isomorphic choices on four elements that can be explained by models of bounded rationality.

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.

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., Comment: Accepted for publication in Experimental Astronomy

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., Comment: Submitted

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., Comment: In Proceedings GandALF 2017, arXiv:1709.01761. "extended" version at arXiv:1708.06121

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.

We fully generalize a previously-developed computational geometry tool [1] to perform large-scale simulations of arbitrary two-dimensional faceted surfaces $z = h(x,y)$. Our method uses a three-component facet/edge/junction storage model, which by naturally mirroring the intrinsic surface structure allows both rapid simulation and easy extraction of geometrical statistics. The bulk of this paper is a comprehensive treatment of topological events, which are detected and performed explicitly. In addition, we also give a careful analysis of the subtle pitfalls associated with time-stepping schemes for systems with topological changes. The method is demonstrated using a simple facet dynamics on surfaces with three different symmetries. Appendices detail the reconnection of "holes" left by facet removal and a strategy for dealing with the inherent kinematic non-uniqueness displayed by several topological events. [1] S.A. Norris and S.J. Watson, Acta Mat. 55 (2007) p. 6444

A mean-field theory is developed for the scale-invariant length distributions observed during the coarsening of one-dimensional faceted surfaces. This theory closely follows the Lifshitz-Slyozov-Wagner theory of Ostwald ripening in two-phase systems [1-3], but the mechanism of coarsening in faceted surfaces requires the addition of convolution terms recalling the work of Smoluchowski [4] and Schumann [5] on coalescence. The model is solved by the exponential distribution, but agreement with experiment is limited by the assumption that neighboring facet lengths are uncorrelated. However, the method concisely describes the essential processes operating in the scaling state, illuminates a clear path for future refinement, and offers a framework for the investigation of faceted surfaces evolving under arbitrary dynamics. [1] I. Lifshitz, V. Slezov, Soviet Physics JETP 38 (1959) 331-339. [2] I. Lifshitz, V. Slyozov, J. Phys. Chem. Solids 19 (1961) 35-50. [3] C. Wagner, Elektrochemie 65 (1961) 581-591. [4] M. von Smoluchowski, Physikalische Zeitschrift 17 (1916) 557-571. [5] T. Schumann, J. Roy. Met. Soc. 66 (1940) 195-207.