-
Nonlinear Kinematics of Recursive Origami Inspired by the Spidron
Authors:
Rinki Imada,
Thomas C. Hull,
Jason S. Ku,
Tomohiro Tachi
Abstract:
Non-periodic folding of periodic crease patterns paves the way to novel nonlinear phenomena that cannot be feasible through periodic folding. This paper focuses on the non-periodic folding of recursive crease patterns generalized from Spidron. Although it is known that the Spidron has a $1$-DOF isotropic rigid folding motion, its general kinematics and dependence on the crease pattern remain uncle…
▽ More
Non-periodic folding of periodic crease patterns paves the way to novel nonlinear phenomena that cannot be feasible through periodic folding. This paper focuses on the non-periodic folding of recursive crease patterns generalized from Spidron. Although it is known that the Spidron has a $1$-DOF isotropic rigid folding motion, its general kinematics and dependence on the crease pattern remain unclear. Using the kinematics of a single unit cell of the Spidron and the recursive construction of the folded state of multiple unit cells, we consider the folding of the Spidron that is not necessarily isotropic. We found that as the number of unit cells increases, the non-periodic folding is restricted and the isotropic folding becomes dominant. Then, we analyze the three kinds of isotropic folding modes by constructing $1$-dimensional dynamical systems governing each of them. We show that these systems can possess different recursive natures depending on folding modes even in an identical crease pattern. Furthermore, we show their novel nonlinear nature, including the period-doubling cascade leading to the emergence of chaos.
△ Less
Submitted 10 May, 2024; v1 submitted 14 March, 2024;
originally announced March 2024.
-
Deep Representations of First-person Pronouns for Prediction of Depression Symptom Severity
Authors:
Xinyang Ren,
Hannah A Burkhardt,
Patricia A Areán,
Thomas D Hull,
Trevor Cohen
Abstract:
Prior work has shown that analyzing the use of first-person singular pronouns can provide insight into individuals' mental status, especially depression symptom severity. These findings were generated by counting frequencies of first-person singular pronouns in text data. However, counting doesn't capture how these pronouns are used. Recent advances in neural language modeling have leveraged metho…
▽ More
Prior work has shown that analyzing the use of first-person singular pronouns can provide insight into individuals' mental status, especially depression symptom severity. These findings were generated by counting frequencies of first-person singular pronouns in text data. However, counting doesn't capture how these pronouns are used. Recent advances in neural language modeling have leveraged methods generating contextual embeddings. In this study, we sought to utilize the embeddings of first-person pronouns obtained from contextualized language representation models to capture ways these pronouns are used, to analyze mental status. De-identified text messages sent during online psychotherapy with weekly assessment of depression severity were used for evaluation. Results indicate the advantage of contextualized first-person pronoun embeddings over standard classification token embeddings and frequency-based pronoun analysis results in predicting depression symptom severity. This suggests contextual representations of first-person pronouns can enhance the predictive utility of language used by people with depression symptoms.
△ Less
Submitted 4 October, 2023;
originally announced October 2023.
-
Flat origami is Turing Complete
Authors:
Thomas C. Hull,
Inna Zakharevich
Abstract:
Flat origami refers to the folding of flat, zero-curvature paper such that the finished object lies in a plane. Mathematically, flat origami consists of a continuous, piecewise isometric map $f:P\subseteq\mathbb{R}^2\to\mathbb{R}^2$ along with a layer ordering $λ_f:P\times P\to \{-1,1\}$ that tracks which points of $P$ are above/below others when folded. The set of crease lines that a flat origami…
▽ More
Flat origami refers to the folding of flat, zero-curvature paper such that the finished object lies in a plane. Mathematically, flat origami consists of a continuous, piecewise isometric map $f:P\subseteq\mathbb{R}^2\to\mathbb{R}^2$ along with a layer ordering $λ_f:P\times P\to \{-1,1\}$ that tracks which points of $P$ are above/below others when folded. The set of crease lines that a flat origami makes (i.e., the set on which the map** $f$ is non-differentiable) is called its \textit{crease pattern}. Flat origami map**s and their layer orderings can possess surprisingly intricate structure. For instance, determining whether or not a given straight-line planar graph drawn on $P$ is the crease pattern for some flat origami has been shown to be an NP-complete problem, and this result from 1996 led to numerous explorations in computational aspects of flat origami. In this paper we prove that flat origami, when viewed as a computational device, is Turing complete. We do this by showing that flat origami crease patterns with \textit{optional creases} (creases that might be folded or remain unfolded depending on constraints imposed by other creases or inputs) can be constructed to simulate Rule 110, a one-dimensional cellular automaton that was proven to be Turing complete by Matthew Cook in 2004.
△ Less
Submitted 2 March, 2024; v1 submitted 13 September, 2023;
originally announced September 2023.
-
Divergences in Color Perception between Deep Neural Networks and Humans
Authors:
Ethan O. Nadler,
Elise Darragh-Ford,
Bhargav Srinivasa Desikan,
Christian Conaway,
Mark Chu,
Tasker Hull,
Douglas Guilbeault
Abstract:
Deep neural networks (DNNs) are increasingly proposed as models of human vision, bolstered by their impressive performance on image classification and object recognition tasks. Yet, the extent to which DNNs capture fundamental aspects of human vision such as color perception remains unclear. Here, we develop novel experiments for evaluating the perceptual coherence of color embeddings in DNNs, and…
▽ More
Deep neural networks (DNNs) are increasingly proposed as models of human vision, bolstered by their impressive performance on image classification and object recognition tasks. Yet, the extent to which DNNs capture fundamental aspects of human vision such as color perception remains unclear. Here, we develop novel experiments for evaluating the perceptual coherence of color embeddings in DNNs, and we assess how well these algorithms predict human color similarity judgments collected via an online survey. We find that state-of-the-art DNN architectures $-$ including convolutional neural networks and vision transformers $-$ provide color similarity judgments that strikingly diverge from human color judgments of (i) images with controlled color properties, (ii) images generated from online searches, and (iii) real-world images from the canonical CIFAR-10 dataset. We compare DNN performance against an interpretable and cognitively plausible model of color perception based on wavelet decomposition, inspired by foundational theories in computational neuroscience. While one deep learning model $-$ a convolutional DNN trained on a style transfer task $-$ captures some aspects of human color perception, our wavelet algorithm provides more coherent color embeddings that better predict human color judgments compared to all DNNs we examine. These results hold when altering the high-level visual task used to train similar DNN architectures (e.g., image classification versus image segmentation), as well as when examining the color embeddings of different layers in a given DNN architecture. These findings break new ground in the effort to analyze the perceptual representations of machine learning algorithms and to improve their ability to serve as cognitively plausible models of human vision. Implications for machine learning, human perception, and embodied cognition are discussed.
△ Less
Submitted 11 September, 2023;
originally announced September 2023.
-
Explicit kinematic equations for degree-4 rigid origami vertices, Euclidean and non-Euclidean
Authors:
Riccardo Foschi,
Thomas C. Hull,
Jason S. Ku
Abstract:
We derive new algebraic equations for the folding angle relationships in completely general degree-four rigid-foldable origami vertices, including both Euclidean (developable) and non-Euclidean cases. These equations in turn lead to novel, elegant equations for the general developable degree-four case. We compare our equations to previous results in the literature and provide two examples of how t…
▽ More
We derive new algebraic equations for the folding angle relationships in completely general degree-four rigid-foldable origami vertices, including both Euclidean (developable) and non-Euclidean cases. These equations in turn lead to novel, elegant equations for the general developable degree-four case. We compare our equations to previous results in the literature and provide two examples of how the equations can be used: In analyzing a family of square twist pouches with discrete configuration spaces, and for proving that a new folding table design made with hyperbolic vertices has a single folding mode.
△ Less
Submitted 6 November, 2022; v1 submitted 25 June, 2022;
originally announced June 2022.
-
Maximal origami flip graphs of flat-foldable vertices: properties and algorithms
Authors:
Thomas C. Hull,
Manuel Morales,
Sarah Nash,
Natalya Ter-Saakov
Abstract:
Flat origami studies straight line, planar graphs $C=(V,E)$ drawn on a region $R\subset\mathbb{R}^2$ that can act as crease patterns to map, or fold, $R$ into $\mathbb{R}^2$ in a way that is continuous and a piecewise isometry exactly on the faces of $C$. Associated with such crease pattern graphs are valid mountain-valley (MV) assignments $μ:E\to\{-1,1\}$, indicating which creases can be mountain…
▽ More
Flat origami studies straight line, planar graphs $C=(V,E)$ drawn on a region $R\subset\mathbb{R}^2$ that can act as crease patterns to map, or fold, $R$ into $\mathbb{R}^2$ in a way that is continuous and a piecewise isometry exactly on the faces of $C$. Associated with such crease pattern graphs are valid mountain-valley (MV) assignments $μ:E\to\{-1,1\}$, indicating which creases can be mountains (convex) or valleys (concave) to allow $R$ to physically fold flat without self-intersecting. In this paper, we initiate the first study of how valid MV assignments of single-vertex crease patterns are related to one another via face-flips, a concept that emerged from applications of origami in engineering and physics, where flip** a face $F$ means switching the MV parity of all creases of $C$ that border $F$. Specifically, we study the origami flip graph ${\rm{OFG}}(C)$, whose vertices are all valid MV assignments of $C$ and edges connect assignments that differ by only one face flip. We prove that, for the single-vertex crease pattern $A_{2n}$ whose $2n$ sector angles around the vertex are all equal, ${\rm{OFG}}(A_{2n})$ contains as subgraphs all other origami flip graphs of degree-$2n$ flat origami vertex crease patterns. We also prove that ${\rm{OFG}}(A_{2n})$ is connected and has diameter $n$ by providing two $O(n^2)$ algorithms to traverse between vertices in the graph, and we enumerate the vertices, edges, and degree sequence of ${\rm{OFG}}(A_{2n})$. We conclude with open questions on the surprising complexity found in origami flip graphs of this type.
△ Less
Submitted 26 March, 2022;
originally announced March 2022.
-
Rigid folding equations of degree-6 origami vertices
Authors:
Johnna Farnham,
Thomas C. Hull,
Aubrey Rumbolt
Abstract:
Rigid origami, with applications ranging from nano-robots to unfolding solar sails in space, describes when a material is folded along straight crease line segments while kee** the regions between the creases planar. Prior work has found explicit equations for the folding angles of a flat-foldable degree-4 origami vertex and some cases of degree-6 vertices. We extend this work to generalized sym…
▽ More
Rigid origami, with applications ranging from nano-robots to unfolding solar sails in space, describes when a material is folded along straight crease line segments while kee** the regions between the creases planar. Prior work has found explicit equations for the folding angles of a flat-foldable degree-4 origami vertex and some cases of degree-6 vertices. We extend this work to generalized symmetries of the degree-6 vertex where all sector angles equal $60^\circ$. We enumerate the different viable rigid folding modes of these degree-6 crease patterns and then use $2^{nd}$-order Taylor expansions and prior rigid folding techniques to find algebraic folding angle relationships between the creases. This allows us to explicitly compute the configuration space of these degree-6 vertices, and in the process we uncover new explanations for the effectiveness of Weierstrass substitutions in modeling rigid origami. These results expand the toolbox of rigid origami mechanisms that engineers and materials scientists may use in origami-inspired designs.
△ Less
Submitted 21 January, 2022; v1 submitted 27 August, 2021;
originally announced August 2021.
-
The Polstar High Resolution Spectropolarimetry MIDEX Mission
Authors:
Paul A. Scowen,
Ken Gayley,
Coralie Neiner,
Gopal Vasudevan,
Robert Woodruff,
Richard Ignace,
Roberto Casini,
Tony Hull,
Alison Nordt,
H. Philip Stahl
Abstract:
The Polstar mission will provide for a space-borne 60cm telescope operating at UV wavelengths with spectropolarimetric capability capturing all four Stokes parameters (intensity, two linear polarization components, and circular polarization). Polstar's capabilities are designed to meet its goal of determining how circumstellar gas flows alter massive stars' evolution, and finding the consequences…
▽ More
The Polstar mission will provide for a space-borne 60cm telescope operating at UV wavelengths with spectropolarimetric capability capturing all four Stokes parameters (intensity, two linear polarization components, and circular polarization). Polstar's capabilities are designed to meet its goal of determining how circumstellar gas flows alter massive stars' evolution, and finding the consequences for the stellar remnant population and the stirring and enrichment of the interstellar medium, by addressing four key science objectives. In addition, Polstar will determine drivers for the alignment of the smallest interstellar grains, and probe the dust, magnetic fields, and environments in the hot diffuse interstellar medium, including for the first time a direct measurement of the polarized and energized properties of intergalactic dust. Polstar will also characterize processes that lead to the assembly of exoplanetary systems and that affect exoplanetary atmospheres and habitability. Science driven design requirements include: access to ultraviolet bands: where hot massive stars are brightest and circumstellar opacity is highest; high spectral resolution: accessing diagnostics of circumstellar gas flows and stellar composition in the far-UV at 122-200nm, including the NV, SiIV, and CIV resonance doublets and other transitions such as NIV, AlIII, HeII, and CIII; polarimetry: accessing diagnostics of circumstellar magnetic field shape and strength when combined with high FUV spectral resolution and diagnostics of stellar rotation and distribution of circumstellar gas when combined with low near-UV spectral resolution; sufficient signal-to-noise ratios: ~1000 for spectropolarimetric precisions of 0.1% per exposure; ~100 for detailed spectroscopic studies; ~10 for exploring dimmer sources; and cadence: ranging from 1-10 minutes for most wind variability studies.
△ Less
Submitted 24 August, 2021;
originally announced August 2021.
-
comp-syn: Perceptually Grounded Word Embeddings with Color
Authors:
Bhargav Srinivasa Desikan,
Tasker Hull,
Ethan O. Nadler,
Douglas Guilbeault,
Aabir Abubaker Kar,
Mark Chu,
Donald Ruggiero Lo Sardo
Abstract:
Popular approaches to natural language processing create word embeddings based on textual co-occurrence patterns, but often ignore embodied, sensory aspects of language. Here, we introduce the Python package comp-syn, which provides grounded word embeddings based on the perceptually uniform color distributions of Google Image search results. We demonstrate that comp-syn significantly enriches mode…
▽ More
Popular approaches to natural language processing create word embeddings based on textual co-occurrence patterns, but often ignore embodied, sensory aspects of language. Here, we introduce the Python package comp-syn, which provides grounded word embeddings based on the perceptually uniform color distributions of Google Image search results. We demonstrate that comp-syn significantly enriches models of distributional semantics. In particular, we show that (1) comp-syn predicts human judgments of word concreteness with greater accuracy and in a more interpretable fashion than word2vec using low-dimensional word-color embeddings, and (2) comp-syn performs comparably to word2vec on a metaphorical vs. literal word-pair classification task. comp-syn is open-source on PyPi and is compatible with mainstream machine-learning Python packages. Our package release includes word-color embeddings for over 40,000 English words, each associated with crowd-sourced word concreteness judgments.
△ Less
Submitted 19 October, 2020; v1 submitted 8 October, 2020;
originally announced October 2020.
-
The Habitable Exoplanet Observatory (HabEx) Mission Concept Study Final Report
Authors:
B. Scott Gaudi,
Sara Seager,
Bertrand Mennesson,
Alina Kiessling,
Keith Warfield,
Kerri Cahoy,
John T. Clarke,
Shawn Domagal-Goldman,
Lee Feinberg,
Olivier Guyon,
Jeremy Kasdin,
Dimitri Mawet,
Peter Plavchan,
Tyler Robinson,
Leslie Rogers,
Paul Scowen,
Rachel Somerville,
Karl Stapelfeldt,
Christopher Stark,
Daniel Stern,
Margaret Turnbull,
Rashied Amini,
Gary Kuan,
Stefan Martin,
Rhonda Morgan
, et al. (161 additional authors not shown)
Abstract:
The Habitable Exoplanet Observatory, or HabEx, has been designed to be the Great Observatory of the 2030s. For the first time in human history, technologies have matured sufficiently to enable an affordable space-based telescope mission capable of discovering and characterizing Earthlike planets orbiting nearby bright sunlike stars in order to search for signs of habitability and biosignatures. Su…
▽ More
The Habitable Exoplanet Observatory, or HabEx, has been designed to be the Great Observatory of the 2030s. For the first time in human history, technologies have matured sufficiently to enable an affordable space-based telescope mission capable of discovering and characterizing Earthlike planets orbiting nearby bright sunlike stars in order to search for signs of habitability and biosignatures. Such a mission can also be equipped with instrumentation that will enable broad and exciting general astrophysics and planetary science not possible from current or planned facilities. HabEx is a space telescope with unique imaging and multi-object spectroscopic capabilities at wavelengths ranging from ultraviolet (UV) to near-IR. These capabilities allow for a broad suite of compelling science that cuts across the entire NASA astrophysics portfolio. HabEx has three primary science goals: (1) Seek out nearby worlds and explore their habitability; (2) Map out nearby planetary systems and understand the diversity of the worlds they contain; (3) Enable new explorations of astrophysical systems from our own solar system to external galaxies by extending our reach in the UV through near-IR. This Great Observatory science will be selected through a competed GO program, and will account for about 50% of the HabEx primary mission. The preferred HabEx architecture is a 4m, monolithic, off-axis telescope that is diffraction-limited at 0.4 microns and is in an L2 orbit. HabEx employs two starlight suppression systems: a coronagraph and a starshade, each with their own dedicated instrument.
△ Less
Submitted 26 January, 2020; v1 submitted 18 January, 2020;
originally announced January 2020.
-
Optical design for CETUS: a wide-field 1.5m aperture UV payload being studied for a NASA probe class mission study
Authors:
Robert A. Woodruff,
William C. Danchi,
Sara R. Heap,
Tony Hull,
Stephen E. Kendrick,
Lloyd R. Purvesb,
Michael S. Rhee,
Eric Mentzell,
Brian Fleming,
Marty Valente,
James Burge,
Ben Lewis,
Kelly Dodson,
Greg Mehle,
Matt Tomic
Abstract:
As part of a study funded by NASA Headquarters, we are develo** a Probe-class mission concept called the Cosmic Evolution Through UV Spectroscopy (CETUS). CETUS includes a 1.5-m aperture diameter telescope with a large field-of-view (FOV). CETUS includes three scientific instruments: a Far Ultraviolet (FUV) and Near Ultraviolet (NUV) imaging camera (CAM); a NUV Multi-Object Spectrograph (MOS); a…
▽ More
As part of a study funded by NASA Headquarters, we are develo** a Probe-class mission concept called the Cosmic Evolution Through UV Spectroscopy (CETUS). CETUS includes a 1.5-m aperture diameter telescope with a large field-of-view (FOV). CETUS includes three scientific instruments: a Far Ultraviolet (FUV) and Near Ultraviolet (NUV) imaging camera (CAM); a NUV Multi-Object Spectrograph (MOS); and a dual-channel Point Source Spectrograph (PSS) in the Lyman Ultraviolet (LUV), FUV, and NUV spectral regions. The large FOV Three Mirror Anastigmatic (TMA) Optical Telescope Assembly (OTA) simultaneously feeds the three separate scientific instruments. That is, the instruments view separate portions of the TMA image plane, enabling parallel operation of the three instruments. The field viewed by the MOS, whose design is based on an Offner-type spectrographic configuration to provide wide FOV correction, is actively configured to select and isolate numerous field sources using a next-generation Micro-Shutter Array (MSA). The two-channel camera design is also based on an Offner-like configuration. The Point Source Spectrograph (PSS) performs high spectral resolution spectroscopy on unresolved objects over the NUV region with spectral resolving power, R~ 40,000, in an echelle mode. The PSS also performs long-slit imaging spectroscopy at R~ 20,000 in the LUV and FUV spectral regions with two aberration-corrected, blazed, holographic gratings used in a Rowland-like configuration. The optical system also includes two Fine Guidance Sensors (FGS), and Wavefront Sensors (WFS) that sample numerous locations over the full OTA FOV. In-flight wavelength calibration is performed by a Wavelength Calibration System (WCS), and flat-fielding is also performed, both using in-flight calibration sources. This paper will describe the current optical design and the major trade studies leading to the design.
△ Less
Submitted 13 December, 2019;
originally announced December 2019.
-
PolStar -- An Explorer-Class FUV Spectropolarimetry Mission to Map the Environments of Massive Stars
Authors:
Paul Scowen,
Richard Ignace,
Coralie Neiner,
Gregg Wade,
Matt Beasley,
Jon Bjorkman,
Jean-Claude Bouret,
Roberto Casini,
Tanausu del Pino Alemán,
Samantha Edgington,
Ken Gayley,
Ed Guinan,
Jennifer Hoffman,
Ian Howarth,
Tony Hull,
Rafael Manso Sainz,
Yael Naze,
Alison Nordt,
Stan Owocki,
Steve Petrinec,
Raman Prinja,
Hugues Sana,
Matt Shultz,
William Sparks,
Nicole St-Louis
, et al. (4 additional authors not shown)
Abstract:
PolStar is an Explorer-class far ultraviolet (FUV) spectropolarimetry mission designed to target massive stars and their environments. PolStar will take advantage of resonance lines only available in the FUV to measure for the first time the magnetic and wind environment around massive stars to constrain models of rotation and mass loss.
PolStar is an Explorer-class far ultraviolet (FUV) spectropolarimetry mission designed to target massive stars and their environments. PolStar will take advantage of resonance lines only available in the FUV to measure for the first time the magnetic and wind environment around massive stars to constrain models of rotation and mass loss.
△ Less
Submitted 15 November, 2019;
originally announced November 2019.
-
Face flips in origami tessellations
Authors:
Hugo A. Akitaya,
Vida Dujmovi,
David Eppstein,
Thomas C. Hull,
Kshitij Jain,
Anna Lubiw
Abstract:
Given a flat-foldable origami crease pattern $G=(V,E)$ (a straight-line drawing of a planar graph on a region of the plane) with a mountain-valley (MV) assignment $μ:E\to\{-1,1\}$ indicating which creases in $E$ bend convexly (mountain) or concavely (valley), we may \emph{flip} a face $F$ of $G$ to create a new MV assignment $μ_F$ which equals $μ$ except for all creases $e$ bordering $F$, where we…
▽ More
Given a flat-foldable origami crease pattern $G=(V,E)$ (a straight-line drawing of a planar graph on a region of the plane) with a mountain-valley (MV) assignment $μ:E\to\{-1,1\}$ indicating which creases in $E$ bend convexly (mountain) or concavely (valley), we may \emph{flip} a face $F$ of $G$ to create a new MV assignment $μ_F$ which equals $μ$ except for all creases $e$ bordering $F$, where we have $μ_F(e)=-μ(e)$. In this paper we explore the configuration space of face flips for a variety of crease patterns $G$ that are tilings of the plane, proving examples where $μ_F$ results in a MV assignment that is either never, sometimes, or always flat-foldable for various choices of $F$. We also consider the problem of finding, given two foldable MV assignments $μ_1$ and $μ_2$ of a given crease pattern $G$, a minimal sequence of face flips to turn $μ_1$ into $μ_2$. We find polynomial-time algorithms for this in the cases where $G$ is either a square grid or the Miura-ori, and show that this problem is NP-hard in the case where $G$ is the triangle lattice.
△ Less
Submitted 12 October, 2019;
originally announced October 2019.
-
Counting locally flat-foldable origami configurations via 3-coloring graphs
Authors:
Alvin Chiu,
William Hoganson,
Thomas C. Hull,
Sylvia Wu
Abstract:
Origami, where two-dimensional sheets are folded into complex structures, is proving to be rich with combinatorial and geometric structure, most of which remains to be fully understood. In this paper we consider \emph{flat origami}, where the sheet of material is folded into a two-dimensional object, and consider the mountain (convex) and valley (concave) creases made by such foldings, called a \e…
▽ More
Origami, where two-dimensional sheets are folded into complex structures, is proving to be rich with combinatorial and geometric structure, most of which remains to be fully understood. In this paper we consider \emph{flat origami}, where the sheet of material is folded into a two-dimensional object, and consider the mountain (convex) and valley (concave) creases made by such foldings, called a \emph{MV assignment} of the crease pattern. We establish a method to, given a flat-foldable crease pattern $C$ under certain conditions, create a planar graph $C^*$ whose 3-colorings are in one-to-one correspondence with the locally-valid MV assignments of $C$. This reduces the general, unsolved problem of enumerating locally-valid MV assignments to the enumeration of 3-colorings of graphs.
△ Less
Submitted 2 October, 2019;
originally announced October 2019.
-
The NASA Probe space mission concept, Cosmic Evolution Through UV Surveys (CETUS)
Authors:
Sara Heap,
Jonathan Arenberg,
Tony Hull,
Steven Kendrick,
Robert Woodruff
Abstract:
The mission concept, Cosmic Origins Through UV Surveys (CETUS) is an all-UV space mission concept that was selected and funded by NASA for study in 2017. The main capabilities of CETUS that even Hubble doesn't have are: (1) wide-field (17.4'x17.4') imaging and spectroscopy of astronomical sources with <0.5'' resolution; (2) spectral sensitivity to UV radiation at wavelengths as short as 1000 Å; (3…
▽ More
The mission concept, Cosmic Origins Through UV Surveys (CETUS) is an all-UV space mission concept that was selected and funded by NASA for study in 2017. The main capabilities of CETUS that even Hubble doesn't have are: (1) wide-field (17.4'x17.4') imaging and spectroscopy of astronomical sources with <0.5'' resolution; (2) spectral sensitivity to UV radiation at wavelengths as short as 1000 Å; (3) near-UV multi-object slit spectroscopy; and (4) rapid-response UV spectroscopy and deep imaging of transients like GW 170817; and (5) 23 times higher sensitivity to extended sources.
The main purposes of this CETUS Final Report are to describe the CETUS scientific program and to demonstrate the maturity of its instrumentation, which forms the basis of its estimated cost. While there are similarities of this Final Report to that submitted to NASA in March 2019 by the Goddard Space Flight Center, there are important differences including the following. * Science. The science case has been refreshed, deepened, and expanded as a result of ideas and recommendations expressed in the Astro2020 science white papers. * Instrumentation. Detailed investigations including a high-level error budget for focus with implications for thermal management, target acquisition in the MOS micro-shutter array, contamination control have been carried out. * Mission Design. The spacecraft and mission operations concepts as developed by NGIS Gilbert (formerly Orbital ATK) rather than the output of Goddard's Mission Design Lab have been adopted.. * Technology. Technology maturation plans have been updated.
△ Less
Submitted 23 September, 2019;
originally announced September 2019.
-
Borsuk-Ulam theorems for products of spheres and Stiefel manifolds revisited
Authors:
Yu Hin Chan,
Shujian Chen,
Florian Frick,
J. Tristan Hull
Abstract:
We give a different and possibly more accessible proof of a general Borsuk--Ulam theorem for a product of spheres, originally due to Ramos. That is, we show the non-existence of certain $(\mathbb{Z}/2)^k$-equivariant maps from a product of $k$ spheres to the unit sphere in a real $(\mathbb{Z}/2)^k$-representation of the same dimension. Our proof method allows us to derive Borsuk--Ulam theorems for…
▽ More
We give a different and possibly more accessible proof of a general Borsuk--Ulam theorem for a product of spheres, originally due to Ramos. That is, we show the non-existence of certain $(\mathbb{Z}/2)^k$-equivariant maps from a product of $k$ spheres to the unit sphere in a real $(\mathbb{Z}/2)^k$-representation of the same dimension. Our proof method allows us to derive Borsuk--Ulam theorems for certain equivariant maps from Stiefel manifolds, from the corresponding results about products of spheres, leading to alternative proofs and extensions of some results of Fadell and Husseini.
△ Less
Submitted 6 November, 2019; v1 submitted 3 February, 2019;
originally announced February 2019.
-
Rigid Foldability is NP-Hard
Authors:
Hugo Akitaya,
Erik D. Demaine,
Takashi Horiyama,
Thomas C. Hull,
Jason S. Ku,
Tomohiro Tachi
Abstract:
In this paper, we show that deciding rigid foldability of a given crease pattern using all creases is weakly NP-hard by a reduction from Partition, and that deciding rigid foldability with optional creases is strongly NP-hard by a reduction from 1-in-3 SAT. Unlike flat foldability of origami or flexibility of other kinematic linkages, whose complexity originates in the complexity of the layer orde…
▽ More
In this paper, we show that deciding rigid foldability of a given crease pattern using all creases is weakly NP-hard by a reduction from Partition, and that deciding rigid foldability with optional creases is strongly NP-hard by a reduction from 1-in-3 SAT. Unlike flat foldability of origami or flexibility of other kinematic linkages, whose complexity originates in the complexity of the layer ordering and possible self-intersection of the material, rigid foldability from a planar state is hard even though there is no potential self-intersection. In fact, the complexity comes from the combinatorial behavior of the different possible rigid folding configurations at each vertex. The results underpin the fact that it is harder to fold from an unfolded sheet of paper than to unfold a folded state back to a plane, frequently encountered problem when realizing folding-based systems such as self-folding matter and reconfigurable robots.
△ Less
Submitted 3 December, 2018;
originally announced December 2018.
-
Rigid foldability of the augmented square twist
Authors:
Thomas C. Hull,
Michael T. Urbanski
Abstract:
Define the augmented square twist origami crease pattern to be the classic square twist crease pattern with one crease added along a diagonal of the twisted square. In this paper we fully describe the rigid foldability of this new crease pattern. Specifically, the extra crease allows the square twist to rigidly fold in ways the original cannot. We prove that there are exactly four non-degenerate r…
▽ More
Define the augmented square twist origami crease pattern to be the classic square twist crease pattern with one crease added along a diagonal of the twisted square. In this paper we fully describe the rigid foldability of this new crease pattern. Specifically, the extra crease allows the square twist to rigidly fold in ways the original cannot. We prove that there are exactly four non-degenerate rigid foldings of this crease pattern from the unfolded state.
△ Less
Submitted 13 September, 2018;
originally announced September 2018.
-
Self-foldability of monohedral quadrilateral origami tessellations
Authors:
Thomas C. Hull,
Tomohiro Tachi
Abstract:
Using a mathematical model for self-foldability of rigid origami, we determine which monohedral quadrilateral tilings of the plane are uniquely self-foldable. In particular, the Miura-ori and Chicken Wire patterns are not self-foldable under our definition, but such tilings that are rotationally-symmetric about the midpoints of the tile are uniquely self-foldable.
Using a mathematical model for self-foldability of rigid origami, we determine which monohedral quadrilateral tilings of the plane are uniquely self-foldable. In particular, the Miura-ori and Chicken Wire patterns are not self-foldable under our definition, but such tilings that are rotationally-symmetric about the midpoints of the tile are uniquely self-foldable.
△ Less
Submitted 11 September, 2018;
originally announced September 2018.
-
Liquid-like Free Carrier Solvation and Band Edge Luminescence in Lead-Halide Perovskites
Authors:
Yinsheng Guo,
Omer Yaffe,
Trevor D. Hull,
Jonathan S. Owen,
David R. Reichman,
Louis E. Brus
Abstract:
We report a strongly temperature dependent luminescence Stokes shift in the electronic spectra of both hybrid and inorganic lead-bromide perovskite single crystals. This behavior stands in stark contrast to that exhibited by more conventional crystalline semiconductors. We correlate the electronic spectra with the anti-Stokes and Stokes Raman vibrational spectra. Dielectric solvation theories, ori…
▽ More
We report a strongly temperature dependent luminescence Stokes shift in the electronic spectra of both hybrid and inorganic lead-bromide perovskite single crystals. This behavior stands in stark contrast to that exhibited by more conventional crystalline semiconductors. We correlate the electronic spectra with the anti-Stokes and Stokes Raman vibrational spectra. Dielectric solvation theories, originally developed for excited molecules dissolved in polar liquids, reproduce our experimental observations. Our approach, which invokes a classical Debye-like relaxation process, captures the dielectric response originating from an anharmonic LO phonon at about 20 meV (160 cm-1) in the lead-bromide framework. We reconcile the liquid-like picture with more standard solid-state theories of the Stokes shift in crystalline semiconductors.
△ Less
Submitted 4 April, 2018;
originally announced April 2018.
-
Double-line rigid origami
Authors:
Thomas C. Hull,
Tomohiro Tachi
Abstract:
In this paper, we will show methods to interpret some rigid origami with higher degree vertices as the limit case of structures with degree-4 supplementary angle vertices. The interpretation is based on separating each crease into two parallel creases, or \emph{double lines}, connected by additional structures at the vertex. We show that double-lined versions of degree-4 flat-foldable vertices pos…
▽ More
In this paper, we will show methods to interpret some rigid origami with higher degree vertices as the limit case of structures with degree-4 supplementary angle vertices. The interpretation is based on separating each crease into two parallel creases, or \emph{double lines}, connected by additional structures at the vertex. We show that double-lined versions of degree-4 flat-foldable vertices possess a rigid folding motion, as do symmetric degree-$2n$ vertices. The latter gives us a symbolic analysis of the original vertex, showing that the tangent of the quarter fold angles are proportional to each other. The double line method is also a potentially useful in giving thickness to rigid origami mechanisms. By making single crease into two creases, the fold angles can be distributed to avoid $180^\circ$ folds, when panels can easily collide with each other. This can be understood as an extension of the crease offset method of thick rigid origami with an additional guarantee of rigid-foldability.
△ Less
Submitted 10 September, 2017;
originally announced September 2017.
-
Sculpting the Vertex: Manipulating the Configuration Space Topography and Topology of Origami Vertices to Design Mechanical Robustness
Authors:
Bin Liu,
Arthur A. Evans,
Jesse L. Silverberg,
Christian D. Santangelo,
Robert J. Lang,
Thomas C. Hull,
Itai Cohen
Abstract:
The geometric, aesthetic, and mathematical elegance of origami is being recognized as a powerful pathway to self-assembly of micro and nano-scale machines with programmable mechanical properties. The typical approach to designing the mechanical response of an ideal origami machine is to include mechanisms where mechanical constraints transform applied forces into a desired motion along a narrow se…
▽ More
The geometric, aesthetic, and mathematical elegance of origami is being recognized as a powerful pathway to self-assembly of micro and nano-scale machines with programmable mechanical properties. The typical approach to designing the mechanical response of an ideal origami machine is to include mechanisms where mechanical constraints transform applied forces into a desired motion along a narrow set of degrees of freedom. In fact, to date, most design approaches focus on building up complex mechanisms from simple ones in ways that preserve each individual mechanism's degree of freedom (DOF), with examples ranging from simple robotic arms to homogenous arrays of identical vertices, such as the well-known Miura-ori. However, such approaches typically require tight fabrication tolerances, and often suffer from parasitic compliance. In this work, we demonstrate a technique in which high-degree-of-freedom mechanisms associated with single vertices are heterogeneously combined so that the coupled phase spaces of neighboring vertices are pared down to a controlled range of motions. This approach has the advantage that it produces mechanisms that retain the DOF at each vertex, are robust against fabrication tolerances and parasitic compliance, but nevertheless effectively constrain the range of motion of the entire machine. We demonstrate the utility of this approach by map** out the configuration space for the modified Miura-ori vertex of degree 6, and show that when strung together, their combined configuration spaces create mechanisms that isolate deformations, constrain the configuration topology of neighboring vertices, or lead to sequential bistable folding throughout the entire origami sheet.
△ Less
Submitted 6 June, 2017;
originally announced June 2017.
-
Interplay between organic cations and inorganic framework and incommensurability in hybrid lead-halide perovskite CH3NH3PbBr3
Authors:
Yinsheng Guo,
Omer Yaffe,
Daniel W. Paley,
Alexander N. Beecher,
Trevor D. Hull,
Guilherme Szpak,
Jonathan S. Owen,
Louis E. Brus,
Marcos A. Pimenta
Abstract:
Organic-inorganic coupling in the hybrid lead-halide perovskite is a central issue in rationalizing the outstanding photovoltaic performance of these emerging materials. Here we compare and contrast the evolution of structure and dynamics of the hybrid CH3NH3PbBr3 and the inorganic CsPbBr3 lead-halide perovskites with temperature, using Raman spectroscopy and single-crystal X-ray diffraction. Resu…
▽ More
Organic-inorganic coupling in the hybrid lead-halide perovskite is a central issue in rationalizing the outstanding photovoltaic performance of these emerging materials. Here we compare and contrast the evolution of structure and dynamics of the hybrid CH3NH3PbBr3 and the inorganic CsPbBr3 lead-halide perovskites with temperature, using Raman spectroscopy and single-crystal X-ray diffraction. Results reveal a stark contrast between their order-disorder transitions, abrupt for the hybrid whereas smooth for the inorganic perovskite. X-ray diffraction observes an intermediate incommensurate phase between the ordered and the disordered phases in CH3NH3PbBr3. Low-frequency Raman scattering captures the appearance of a sharp soft mode in the incommensurate phase, ascribed to the theoretically predicted amplitudon mode. Our work highlights the interaction between the structural dynamics of organic cation CH3NH3+ and the lead-halide framework, and unravels the competition between tendencies of the organic and inorganic moieties to minimize energy in the incommensurate phase of the hybrid perovskite structure.
△ Less
Submitted 29 August, 2017; v1 submitted 30 May, 2017;
originally announced May 2017.
-
Minimal forcing sets for 1D origami
Authors:
Mirela Damian,
Erik Demaine,
Muriel Dulieu,
Robin Flatland,
Hella Hoffman,
Thomas C. Hull,
Jayson Lynch,
Suneeta Ramaswami
Abstract:
This paper addresses the problem of finding minimum forcing sets in origami. The origami material folds flat along straight lines called creases that can be labeled as mountains or valleys. A forcing set is a subset of creases that force all the other creases to fold according to their labels. The result is a flat folding of the origami material. In this paper we develop a linear time algorithm th…
▽ More
This paper addresses the problem of finding minimum forcing sets in origami. The origami material folds flat along straight lines called creases that can be labeled as mountains or valleys. A forcing set is a subset of creases that force all the other creases to fold according to their labels. The result is a flat folding of the origami material. In this paper we develop a linear time algorithm that finds minimum forcing sets in one dimensional origami.
△ Less
Submitted 18 March, 2017;
originally announced March 2017.
-
Local polar fluctuations in lead halide perovskite crystals
Authors:
Omer Yaffe,
Yinsheng Guo,
Liang Z. Tan,
David A. Egger,
Trevor Hull,
Constantinos C. Stoumpos,
Fan Zheng,
Tony F. Heinz,
Leeor Kronik,
Mercouri G. Kanatzidis,
Jonathan S Owen,
Andrew M. Rappe,
Marcos A. Pimenta,
Louis E. Brus
Abstract:
Hybrid lead-halide perovskites have emerged as an excellent class of photovoltaic materials. Recent reports suggest that the organic molecular cation is responsible for local polar fluctuations that inhibit carrier recombination. We combine low frequency Raman scattering with first-principles molecular dynamics (MD) to study the fundamental nature of these local polar fluctuations. Our observation…
▽ More
Hybrid lead-halide perovskites have emerged as an excellent class of photovoltaic materials. Recent reports suggest that the organic molecular cation is responsible for local polar fluctuations that inhibit carrier recombination. We combine low frequency Raman scattering with first-principles molecular dynamics (MD) to study the fundamental nature of these local polar fluctuations. Our observations of a strong central peak in both hybrid (CH$_3$NH$_3$PbBr$_3$) and all-inorganic (CsPbBr$_3$) lead-halide perovskites show that anharmonic, local polar fluctuations are intrinsic to the general lead-halide perovskite structure, and not unique to the dipolar organic cation. MD simulations show that head-to-head Cs motion coupled to Br face expansion, on a few hundred femtosecond time scale, drives the local polar fluctuations in CsPbBr$_3$.
△ Less
Submitted 10 February, 2017; v1 submitted 27 April, 2016;
originally announced April 2016.
-
Coloring connections with counting mountain-valley assignments
Authors:
Thomas C. Hull
Abstract:
We survey more recent attempts at enumerating the number of mountain-valley assignments that allow a given crease pattern to locally fold flat. In particular, we solve this problem for square twist tessellations and generalize the method used to a broader family of crease patterns. We also describe the more difficult case of the Miura-ori and a recently-discovered bijection with 3-vertex colorings…
▽ More
We survey more recent attempts at enumerating the number of mountain-valley assignments that allow a given crease pattern to locally fold flat. In particular, we solve this problem for square twist tessellations and generalize the method used to a broader family of crease patterns. We also describe the more difficult case of the Miura-ori and a recently-discovered bijection with 3-vertex colorings of grid graphs.
△ Less
Submitted 11 January, 2016;
originally announced January 2016.
-
Symmetric colorings of polypolyhedra
Authors:
Sarah-Marie Belcastro,
Thomas C. Hull
Abstract:
Polypolyhedra (after R. Lang) are compounds of edge-transitive 1-skeleta. There are 54 topologically different polypolyhedra, and each has icosidodecahedral, cuboctahedral, or tetrahedral symmetry, all are realizable as modular origami models with one module per skeleton edge. Consider a coloring in which each edge of a given component receives a different color, and where the coloring (up to glob…
▽ More
Polypolyhedra (after R. Lang) are compounds of edge-transitive 1-skeleta. There are 54 topologically different polypolyhedra, and each has icosidodecahedral, cuboctahedral, or tetrahedral symmetry, all are realizable as modular origami models with one module per skeleton edge. Consider a coloring in which each edge of a given component receives a different color, and where the coloring (up to global color permutation) is invariant under the polypolyhedron's symmetry group. On the Five Intersecting Tetrahedra, the edges of each color form visual bands on the model, and correspond to matchings on the dodecahedron graph. We count the number of such colorings and give three proofs. For each of the non-polygon-component polypolyhedra, there is a corresponding matching coloring, and we count the number of these matching colorings. For some of the non-polygon-component polypolyhedra, there is a corresponding visual-band coloring, and we count the number of these band colorings.
△ Less
Submitted 1 December, 2015;
originally announced December 2015.
-
Rigid Origami Vertices: Conditions and Forcing Sets
Authors:
Zachary Abel,
Jason Cantarella,
Erik D. Demaine,
David Eppstein,
Thomas C. Hull,
Jason S. Ku,
Robert J. Lang,
Tomohiro Tachi
Abstract:
We develop an intrinsic necessary and sufficient condition for single-vertex origami crease patterns to be able to fold rigidly. We classify such patterns in the case where the creases are pre-assigned to be mountains and valleys as well as in the unassigned case. We also illustrate the utility of this result by applying it to the new concept of minimal forcing sets for rigid origami models, which…
▽ More
We develop an intrinsic necessary and sufficient condition for single-vertex origami crease patterns to be able to fold rigidly. We classify such patterns in the case where the creases are pre-assigned to be mountains and valleys as well as in the unassigned case. We also illustrate the utility of this result by applying it to the new concept of minimal forcing sets for rigid origami models, which are the smallest collection of creases that, when folded, will force all the other creases to fold in a prescribed way.
△ Less
Submitted 6 July, 2015;
originally announced July 2015.
-
Counting mountain-valley assignments for flat folds
Authors:
Thomas C. Hull
Abstract:
We develop a combinatorial model of paperfolding for the purposes of enumeration. A planar embedding of a graph is called a {\em crease pattern} if it represents the crease lines needed to fold a piece of paper into something. A {\em flat fold} is a crease pattern which lies flat when folded, i.e. can be pressed in a book without crumpling. Given a crease pattern $C=(V,E)$, a {\em mountain-valley…
▽ More
We develop a combinatorial model of paperfolding for the purposes of enumeration. A planar embedding of a graph is called a {\em crease pattern} if it represents the crease lines needed to fold a piece of paper into something. A {\em flat fold} is a crease pattern which lies flat when folded, i.e. can be pressed in a book without crumpling. Given a crease pattern $C=(V,E)$, a {\em mountain-valley (MV) assignment} is a function $f:E\rightarrow \{$M,V$\}$ which indicates which crease lines are convex and which are concave, respectively. A MV assignment is {\em valid} if it doesn't force the paper to self-intersect when folded. We examine the problem of counting the number of valid MV assignments for a given crease pattern. In particular we develop recursive functions that count the number of valid MV assignments for {\em flat vertex folds}, crease patterns with only one vertex in the interior of the paper. We also provide examples, especially those of Justin, that illustrate the difficulty of the general multivertex case.
△ Less
Submitted 18 October, 2014;
originally announced October 2014.
-
Minimum Forcing Sets for Miura Folding Patterns
Authors:
Brad Ballinger,
Mirela Damian,
David Eppstein,
Robin Flatland,
Jessica Ginepro,
Thomas Hull
Abstract:
We introduce the study of forcing sets in mathematical origami. The origami material folds flat along straight line segments called creases, each of which is assigned a folding direction of mountain or valley. A subset $F$ of creases is forcing if the global folding mountain/valley assignment can be deduced from its restriction to $F$. In this paper we focus on one particular class of foldable pat…
▽ More
We introduce the study of forcing sets in mathematical origami. The origami material folds flat along straight line segments called creases, each of which is assigned a folding direction of mountain or valley. A subset $F$ of creases is forcing if the global folding mountain/valley assignment can be deduced from its restriction to $F$. In this paper we focus on one particular class of foldable patterns called Miura-ori, which divide the plane into congruent parallelograms using horizontal lines and zig-zag vertical lines. We develop efficient algorithms for constructing a minimum forcing set of a Miura-ori map, and for deciding whether a given set of creases is forcing or not. We also provide tight bounds on the size of a forcing set, establishing that the standard mountain-valley assignment for the Miura-ori is the one that requires the most creases in its forcing sets. Additionally, given a partial mountain/valley assignment to a subset of creases of a Miura-ori map, we determine whether the assignment domain can be extended to a locally flat-foldable pattern on all the creases. At the heart of our results is a novel correspondence between flat-foldable Miura-ori maps and $3$-colorings of grid graphs.
△ Less
Submitted 8 October, 2014;
originally announced October 2014.
-
The Combinatorics of Flat Folds: a Survey
Authors:
Thomas C. Hull
Abstract:
We survey results on the foldability of flat origami models. The main topics are the question of when a given crease pattern can fold flat, the combinatorics of mountain and valley creases, and counting how many ways a given crease pattern can be folded. In particular, we explore generalizations of Maekawa's and Kawasaki's Theorems, develop a necessary and sufficient condition for a given assignme…
▽ More
We survey results on the foldability of flat origami models. The main topics are the question of when a given crease pattern can fold flat, the combinatorics of mountain and valley creases, and counting how many ways a given crease pattern can be folded. In particular, we explore generalizations of Maekawa's and Kawasaki's Theorems, develop a necessary and sufficient condition for a given assignment of mountains and valleys to fold up in a special case of single vertex folds, and describe recursive formulas to enumerate the number of ways that single vertex in a crease pattern can be folded.
△ Less
Submitted 3 July, 2013;
originally announced July 2013.
-
Dr. Harold Whichello: medicine and astronomy in Cheshire
Authors:
Jeremy Shears,
Theresa Hull
Abstract:
Dr. Harold Whichello (1870-1945) was a Cheshire General Practitioner and an enthusiastic amateur astronomer. He joined the British Astronomical Association in 1898 and undertook observations for its Lunar, Solar and Variable Star Sections using a 6-inch Wray refractor. He also contributed lunar occultation predictions and comet ephemerides to its Computing Section.
Dr. Harold Whichello (1870-1945) was a Cheshire General Practitioner and an enthusiastic amateur astronomer. He joined the British Astronomical Association in 1898 and undertook observations for its Lunar, Solar and Variable Star Sections using a 6-inch Wray refractor. He also contributed lunar occultation predictions and comet ephemerides to its Computing Section.
△ Less
Submitted 28 March, 2013;
originally announced March 2013.