-
Maximum A Posteriori Ly-alpha Estimator (MAPLE): Band-power and covariance estimation of the 3D Ly-alpha forest power spectrum
Authors:
Benjamin Horowitz,
Roger de Belsunce,
Zarija Lukic
Abstract:
We present a novel maximum a posteriori estimator to jointly estimate band-powers and the covariance of the three-dimensional power spectrum (P3D) of Lyman-alpha forest flux fluctuations, called MAPLE. Our Wiener-filter based algorithm reconstructs a window-deconvolved P3D in the presence of complex survey geometries typical for Lyman-alpha surveys that are sparsely sampled transverse to and dense…
▽ More
We present a novel maximum a posteriori estimator to jointly estimate band-powers and the covariance of the three-dimensional power spectrum (P3D) of Lyman-alpha forest flux fluctuations, called MAPLE. Our Wiener-filter based algorithm reconstructs a window-deconvolved P3D in the presence of complex survey geometries typical for Lyman-alpha surveys that are sparsely sampled transverse to and densely sampled along the line-of-sight. We demonstrate our method on idealized Gaussian random fields with two selection functions: (i) a sparse sampling of 30 background sources per square degree designed to emulate the currently observing the Dark Energy Spectroscopic Instrument (DESI); (ii) a dense sampling of 900 background sources per square degree emulating the upcoming Prime Focus Spectrograph Galaxy Evolution Survey. Our proof-of-principle shows promise, especially since the algorithm can be extended to marginalize jointly over nuisance parameters and contaminants, i.e.offsets introduced by continuum fitting. Our code is implemented in JAX and is publicly available on GitHub.
△ Less
Submitted 25 March, 2024;
originally announced March 2024.
-
Joint Cosmic Density Reconstruction from Photometric and Spectroscopic Samples
Authors:
Benjamin Horowitz,
Peter Melchior
Abstract:
We reconstruct the dark matter density field from spatially overlap** spectroscopic and photometric redshift catalogs through a forward modelling approach. Instead of directly inferring the underlying density field, we find the best fitting initial Gaussian fluctuations that will evolve into the observed cosmic volume. To account for the substantial uncertainty of photometric redshifts we employ…
▽ More
We reconstruct the dark matter density field from spatially overlap** spectroscopic and photometric redshift catalogs through a forward modelling approach. Instead of directly inferring the underlying density field, we find the best fitting initial Gaussian fluctuations that will evolve into the observed cosmic volume. To account for the substantial uncertainty of photometric redshifts we employ a differentiable continuous Poisson process. In the context of the upcoming Prime Focus Spectrograph (PFS), we find improvements in cosmic structure classification equivalent to 50-100\% more spectroscopic targets by combining relatively sparse spectroscopic with dense photometric samples.
△ Less
Submitted 30 November, 2023;
originally announced November 2023.
-
NANCY: Next-generation All-sky Near-infrared Community surveY
Authors:
Jiwon Jesse Han,
Arjun Dey,
Adrian M. Price-Whelan,
Joan Najita,
Edward F. Schlafly,
Andrew Saydjari,
Risa H. Wechsler,
Ana Bonaca,
David J Schlegel,
Charlie Conroy,
Anand Raichoor,
Alex Drlica-Wagner,
Juna A. Kollmeier,
Sergey E. Koposov,
Gurtina Besla,
Hans-Walter Rix,
Alyssa Goodman,
Douglas Finkbeiner,
Abhijeet Anand,
Matthew Ashby,
Benedict Bahr-Kalus,
Rachel Beaton,
Jayashree Behera,
Eric F. Bell,
Eric C Bellm
, et al. (184 additional authors not shown)
Abstract:
The Nancy Grace Roman Space Telescope is capable of delivering an unprecedented all-sky, high-spatial resolution, multi-epoch infrared map to the astronomical community. This opportunity arises in the midst of numerous ground- and space-based surveys that will provide extensive spectroscopy and imaging together covering the entire sky (such as Rubin/LSST, Euclid, UNIONS, SPHEREx, DESI, SDSS-V, GAL…
▽ More
The Nancy Grace Roman Space Telescope is capable of delivering an unprecedented all-sky, high-spatial resolution, multi-epoch infrared map to the astronomical community. This opportunity arises in the midst of numerous ground- and space-based surveys that will provide extensive spectroscopy and imaging together covering the entire sky (such as Rubin/LSST, Euclid, UNIONS, SPHEREx, DESI, SDSS-V, GALAH, 4MOST, WEAVE, MOONS, PFS, UVEX, NEO Surveyor, etc.). Roman can uniquely provide uniform high-spatial-resolution (~0.1 arcsec) imaging over the entire sky, vastly expanding the science reach and precision of all of these near-term and future surveys. This imaging will not only enhance other surveys, but also facilitate completely new science. By imaging the full sky over two epochs, Roman can measure the proper motions for stars across the entire Milky Way, probing 100 times fainter than Gaia out to the very edge of the Galaxy. Here, we propose NANCY: a completely public, all-sky survey that will create a high-value legacy dataset benefiting innumerable ongoing and forthcoming studies of the universe. NANCY is a pure expression of Roman's potential: it images the entire sky, at high spatial resolution, in a broad infrared bandpass that collects as many photons as possible. The majority of all ongoing astronomical surveys would benefit from incorporating observations of NANCY into their analyses, whether these surveys focus on nearby stars, the Milky Way, near-field cosmology, or the broader universe.
△ Less
Submitted 20 June, 2023;
originally announced June 2023.
-
Forecasting the power of Higher Order Weak Lensing Statistics with automatically differentiable simulations
Authors:
Denise Lanzieri,
François Lanusse,
Chirag Modi,
Benjamin Horowitz,
Joachim Harnois-Déraps,
Jean-Luc Starck,
The LSST Dark Energy Science Collaboration
Abstract:
We present the Differentiable Lensing Lightcone (DLL), a fully differentiable physical model designed for being used as a forward model in Bayesian inference algorithms requiring access to derivatives of lensing observables with respect to cosmological parameters. We extend the public FlowPM N-body code, a particle-mesh N-body solver, simulating lensing lightcones and implementing the Born approxi…
▽ More
We present the Differentiable Lensing Lightcone (DLL), a fully differentiable physical model designed for being used as a forward model in Bayesian inference algorithms requiring access to derivatives of lensing observables with respect to cosmological parameters. We extend the public FlowPM N-body code, a particle-mesh N-body solver, simulating lensing lightcones and implementing the Born approximation in the Tensorflow framework. Furthermore, DLL is aimed at achieving high accuracy with low computational costs. As such, it integrates a novel Hybrid Physical-Neural parameterisation able to compensate for the small-scale approximations resulting from particle-mesh schemes for cosmological N-body simulations. We validate our simulations in an LSST setting against high-resolution $κ$TNG simulations by comparing both the lensing angular power spectrum and multiscale peak counts. We demonstrate an ability to recover lensing $C_\ell$ up to a 10% accuracy at $\ell=1000$ for sources at redshift 1, with as few as $\sim 0.6$ particles per Mpc/h. As a first use case, we use this tool to investigate the relative constraining power of the angular power spectrum and peak counts statistic in an LSST setting. Such comparisons are typically very costly as they require a large number of simulations, and do not scale well with the increasing number of cosmological parameters. As opposed to forecasts based on finite differences, these statistics can be analytically differentiated with respect to cosmology, or any systematics included in the simulations at the same computational cost of the forward simulation. We find that the peak counts outperform the power spectrum on the cold dark matter parameter $Ω_c$, on the amplitude of density fluctuations $σ_8$, and on the amplitude of the intrinsic alignment signal $A_{IA}$.
△ Less
Submitted 12 May, 2023;
originally announced May 2023.
-
Observational Evidence for Large-Scale Gas Heating in a Galaxy Protocluster at z=2.30
Authors:
Chenze Dong,
Khee-Gan Lee,
Metin Ata,
Benjamin Horowitz,
Rieko Momose
Abstract:
We report a $z=2.30$ galaxy protocluster (COSTCO-I) in the COSMOS field, where the Lyman-$α$ forest as seen in the CLAMATO IGM tomography survey does not show significant absorption. This departs from the transmission-density relationship (often dubbed the fluctuating Gunn-Peterson approximation; FGPA) usually expected to hold at this epoch, which would lead one to predict strong Ly$α$ absorption…
▽ More
We report a $z=2.30$ galaxy protocluster (COSTCO-I) in the COSMOS field, where the Lyman-$α$ forest as seen in the CLAMATO IGM tomography survey does not show significant absorption. This departs from the transmission-density relationship (often dubbed the fluctuating Gunn-Peterson approximation; FGPA) usually expected to hold at this epoch, which would lead one to predict strong Ly$α$ absorption at the overdensity. For comparison, we generate mock Lyman-$α$ forest maps by applying FGPA to constrained simulations of the COSMOS density field, and create mocks that incorporate the effects of finite sightline sampling, pixel noise, and Wiener filtering. Averaged over $r=15\,h^{-1}\,\mathrm{Mpc}$ around the protocluster, the observed Lyman-$α$ forest is consistently more transparent in the real data than in the mocks, indicating a rejection of the null hypothesis that the gas in COSTCO-I follows FGPA ($p=0.0026$, or $2.79 σ$ significance). It suggests that the large-scale gas associated with COSTCO-I is being heated above the expectations of FGPA, which might be due to either large-scale AGN jet feedback or early gravitational shock heating. COSTCO-I is the first known large-scale region of the IGM that is observed to be transitioning from the optically-thin photoionized regime at Cosmic Noon, to eventually coalesce into an intra-cluster medium (ICM) by $z=0$. Future observations of similar structures will shed light on the growth of the ICM and allow constraints on AGN feedback mechanisms.
△ Less
Submitted 14 March, 2023;
originally announced March 2023.
-
The Dependence of Galaxy Properties on the Underlying 3D Matter Density Field at 2.0<z<2.5
Authors:
Rieko Momose,
Khee-Gan Lee,
Benjamin Horowitz,
Metin Ata,
Jeyhan S. Kartaltepe
Abstract:
We study the environmental effect of galaxy evolution as a function of the underlying 3D dark matter density for the first time at $z=2-2.5$, in which the underlying matter density is reconstructed from galaxy and Ly$α$ forest spectroscopy through dynamical forward modeling techniques. Utilizing these maps, we investigate the dependence of the star formation activities and galaxy types (mergers, s…
▽ More
We study the environmental effect of galaxy evolution as a function of the underlying 3D dark matter density for the first time at $z=2-2.5$, in which the underlying matter density is reconstructed from galaxy and Ly$α$ forest spectroscopy through dynamical forward modeling techniques. Utilizing these maps, we investigate the dependence of the star formation activities and galaxy types (mergers, submillimeter galaxies, active galactic nuclei, and quiescent galaxies) on the matter overdensity $Δ$ and stellar mass. For the first time, we are able to probe underdense regions ($Δ<1$) in addition to overdensities. We find that star formation activity generally depend on the stellar mass, not the matter density, except for high-mass galaxies ($M_*\geq10^{10.5}$ M$_\odot$) which show a drop in star formation activities by a factor of more than $30$ if they reside in high density regions with $Δ\geq4-6$. We also find: (1) an absence of mergers and submillimeter galaxies in higher-density regions but otherwise no trend across lower-density bins, (2) the increase of active galactic nuclei and quiescent galaxy prevalence as a function of matter density, and (3) the increase of all aforementioned categories with the stellar mass. These results indicate that mass is the main driver of galaxy evolution. Nonetheless, we also find evidence for environmental quenching, particularly for high-mass galaxies in high-density environments. Our novel approach directly using reconstructed dark matter density maps demonstrates the new capability of the environmental effect studies in galaxy evolution at higher redshift.
△ Less
Submitted 12 December, 2022;
originally announced December 2022.
-
Plausible Adversarial Attacks on Direct Parameter Inference Models in Astrophysics
Authors:
Benjamin Horowitz,
Peter Melchior
Abstract:
In this abstract we explore the possibility of introducing biases in physical parameter inference models from adversarial-type attacks. In particular, we inject small amplitude systematics into inputs to a mixture density networks tasked with inferring cosmological parameters from observed data. The systematics are constructed analogously to white-box adversarial attacks. We find that the analysis…
▽ More
In this abstract we explore the possibility of introducing biases in physical parameter inference models from adversarial-type attacks. In particular, we inject small amplitude systematics into inputs to a mixture density networks tasked with inferring cosmological parameters from observed data. The systematics are constructed analogously to white-box adversarial attacks. We find that the analysis network can be tricked into spurious detection of new physics in cases where standard cosmological estimators would be insensitive. This calls into question the robustness of such networks and their utility for reliably detecting new physics.
△ Less
Submitted 27 November, 2022;
originally announced November 2022.
-
Alignments Between Galaxies and the Cosmic Web at $z \sim 1-2$ in the IllustrisTNG Simulations
Authors:
Benjamin Zhang,
Khee-Gan Lee,
Alex Krolewski,
**g**g Shi,
Benjamin Horowitz,
Robin Kooistra
Abstract:
Galaxy formation theories predict that galaxy shapes and angular momenta have non-random alignments with the cosmic web. This leads to so-called intrinsic alignment between pairs of galaxies, which is important to quantify as a nuisance parameter for weak lensing. We study galaxy-cosmic web alignment in the IllustrisTNG suite of hydrodynamical simulations at redshifts 1 and 2, finding that alignme…
▽ More
Galaxy formation theories predict that galaxy shapes and angular momenta have non-random alignments with the cosmic web. This leads to so-called intrinsic alignment between pairs of galaxies, which is important to quantify as a nuisance parameter for weak lensing. We study galaxy-cosmic web alignment in the IllustrisTNG suite of hydrodynamical simulations at redshifts 1 and 2, finding that alignment trends are consistent with previous studies. However, we find that the magnitude of the spin alignment signal is $\sim 2.4 \times$ weaker than seen in previous studies of the Horizon-AGN simulation, suggesting that this signal may have significant dependence on subgrid physics. Based on IllustrisTNG, we then construct mock observational spectroscopic surveys that can probe shape-cosmic web alignment at $z \sim 1-2$, modeled on the low-$z$ galaxy redshift and IGM tomography surveys on the upcoming Subaru Prime Focus Spectrograph Galaxy Evolution (PFS GE) survey. However, even over box sizes of $L=205\,h^{-1}\,\mathrm{Mpc}$, we find that global anisotropies induce a sample variance in the 2D projected alignment signal that depend on the projected direction -- this induces significant errors in the observed alignment. We predict a $5.3σ$ detection of IllustrisTNG's shape alignment signal at $z \sim 1$ from Subaru PFS GE, although a detection would be challenging at $z \sim 2$. However, a rough rescaling of the relative alignment signal strengths between the TNG and HorizonAGN simulations suggests that PFS GE should be able to more easily constrain the latter's stronger signal.
△ Less
Submitted 11 July, 2023; v1 submitted 16 November, 2022;
originally announced November 2022.
-
Differentiable Stochastic Halo Occupation Distribution
Authors:
Benjamin Horowitz,
ChangHoon Hahn,
Francois Lanusse,
Chirag Modi,
Simone Ferraro
Abstract:
In this work, we demonstrate how differentiable stochastic sampling techniques developed in the context of deep Reinforcement Learning can be used to perform efficient parameter inference over stochastic, simulation-based, forward models. As a particular example, we focus on the problem of estimating parameters of Halo Occupancy Distribution (HOD) models which are used to connect galaxies with the…
▽ More
In this work, we demonstrate how differentiable stochastic sampling techniques developed in the context of deep Reinforcement Learning can be used to perform efficient parameter inference over stochastic, simulation-based, forward models. As a particular example, we focus on the problem of estimating parameters of Halo Occupancy Distribution (HOD) models which are used to connect galaxies with their dark matter halos. Using a combination of continuous relaxation and gradient parameterization techniques, we can obtain well-defined gradients with respect to HOD parameters through discrete galaxy catalogs realizations. Having access to these gradients allows us to leverage efficient sampling schemes, such as Hamiltonian Monte-Carlo, and greatly speed up parameter inference. We demonstrate our technique on a mock galaxy catalog generated from the Bolshoi simulation using the Zheng et al. 2007 HOD model and find near identical posteriors as standard Markov Chain Monte Carlo techniques with an increase of ~8x in convergence efficiency. Our differentiable HOD model also has broad applications in full forward model approaches to cosmic structure and cosmological analysis.
△ Less
Submitted 7 November, 2022;
originally announced November 2022.
-
Constraining the Fluctuating Gunn-Peterson Approximation Using Lyman-$α$ Forest Tomography at $z=2$
Authors:
Robin Kooistra,
Khee-Gan Lee,
Benjamin Horowitz
Abstract:
The fluctuating Gunn-Peterson approximation (FGPA) is a commonly-used method to generate mock Lyman-$α$ (Ly$α$) forest absorption skewers at Cosmic Noon ($z\gtrsim 2$) from the matter-density field of $N$-body simulations without running expensive hydrodynamical simulations. Motivated by recent developments in 3D IGM tomography observations as well as matter density field reconstruction techniques…
▽ More
The fluctuating Gunn-Peterson approximation (FGPA) is a commonly-used method to generate mock Lyman-$α$ (Ly$α$) forest absorption skewers at Cosmic Noon ($z\gtrsim 2$) from the matter-density field of $N$-body simulations without running expensive hydrodynamical simulations. Motivated by recent developments in 3D IGM tomography observations as well as matter density field reconstruction techniques applied to galaxy redshift samples at $z\sim 2$, we examine the possibility of observationally testing FGPA by directly examining the relationship between the Ly$α$ transmission and the underlying matter density field. Specifically, we analyze the EAGLE, Illustris, IllustrisTNG and Nyx cosmological hydrodynamic simulations, that were run with different codes and sub-grid models. While the FGPA is an excellent description of the IGM in lower-density regions, the slope of the transmission-density distribution at higher densities is significantly affected by feedback processes causing the FGPA to break down in that regime. Even without added feedback, we find significant deviations caused by hydrodynamical effects arising from non-linear structure growth. We then proceed to make comparisons using realistic mock data assuming the sightline sampling and spectral properties of the recent CLAMATO survey, and find that it would be challenging to discern between the FGPA and hydrodynamical models with current data sets. However, the improved sightline sampling from future extremely large telescopes or large volumes from multiplexed spectroscopic surveys such as Subaru PFS should allow for stringent tests of the FGPA, and make it possible to detect the effect of galaxy feedback on the IGM.
△ Less
Submitted 21 September, 2022; v1 submitted 25 January, 2022;
originally announced January 2022.
-
Second Data Release of the COSMOS Lyman-alpha Map** and Tomographic Observation: The First 3D Maps of the Detailed Cosmic Web at 2.05<z<2.55
Authors:
Benjamin Horowitz,
Khee-Gan Lee,
Metin Ata,
Thomas Müller,
Alex Krolewski,
J. Xavier Prochaska,
Joseph F. Hennawi,
Martin White,
David Schlegel,
R. Michael Rich,
Peter E. Nugent,
Nao Suzuki,
Daichi Kashino,
Anton M. Koekemoer,
Brian C. Lemaux
Abstract:
We present the second data release of the COSMOS Lyman-Alpha Map** And Tomography Observations (CLAMATO) Survey conducted with the LRIS spectrograph on the Keck-I telescope. This project used Lyman-alpha forest absorption in the spectra of faint star forming galaxies and quasars at z ~ 2-3 to trace neutral hydrogen in the intergalactic medium. In particular, we use 320 objects over a footprint o…
▽ More
We present the second data release of the COSMOS Lyman-Alpha Map** And Tomography Observations (CLAMATO) Survey conducted with the LRIS spectrograph on the Keck-I telescope. This project used Lyman-alpha forest absorption in the spectra of faint star forming galaxies and quasars at z ~ 2-3 to trace neutral hydrogen in the intergalactic medium. In particular, we use 320 objects over a footprint of ~0.2 deg^2 to reconstruct the absorption field at 2.05 < z < 2.55 at ~2 h^{-1}Mpc resolution. We apply a Wiener filtering technique to the observed data to reconstruct three dimensional maps of the field over a volume of 4.1 x 10^5 comoving cubic Mpc. In addition to the filtered flux maps, for the first time we infer the underlying dark matter field through a forward modeling framework from a joint likelihood of galaxy and Lyman-alpha forest data, finding clear examples of the detailed cosmic web consisting of cosmic voids, sheets, filaments, and nodes. In addition to traditional figures, we present a number of interactive three dimensional models to allow exploration of the data and qualitative comparisons to known galaxy surveys. We find that our inferred over-densities are consistent with those found from galaxy fields. Our reduced spectra, extracted Lyman-alpha forest pixel data, and reconstructed tomographic maps are available publicly at https://doi.org/10.5281/zenodo.7524313
△ Less
Submitted 12 January, 2023; v1 submitted 20 September, 2021;
originally announced September 2021.
-
HyPhy: Deep Generative Conditional Posterior Map** of Hydrodynamical Physics
Authors:
Benjamin Horowitz,
Max Dornfest,
Zarija Lukić,
Peter Harrington
Abstract:
Generating large volume hydrodynamical simulations for cosmological observables is a computationally demanding task necessary for next generation observations. In this work, we construct a novel fully convolutional variational auto-encoder (VAE) to synthesize hydrodynamic fields conditioned on dark matter fields from N-body simulations. After training the model on a single hydrodynamical simulatio…
▽ More
Generating large volume hydrodynamical simulations for cosmological observables is a computationally demanding task necessary for next generation observations. In this work, we construct a novel fully convolutional variational auto-encoder (VAE) to synthesize hydrodynamic fields conditioned on dark matter fields from N-body simulations. After training the model on a single hydrodynamical simulation, we are able to probabilistically map new dark matter only simulations to corresponding full hydrodynamical outputs. By sampling over the latent space of our VAE, we can generate posterior samples and study the variance of the map**. We find that our reconstructed field provides an accurate representation of the target hydrodynamical fields as well as a reasonable variance estimates. This approach has promise for the rapid generation of mocks as well as for implementation in a full Bayesian inverse model of observed data.
△ Less
Submitted 23 June, 2021;
originally announced June 2021.
-
Fast, high-fidelity Lyman $α$ forests with convolutional neural networks
Authors:
Peter Harrington,
Mustafa Mustafa,
Max Dornfest,
Benjamin Horowitz,
Zarija Lukić
Abstract:
Full-physics cosmological simulations are powerful tools for studying the formation and evolution of structure in the universe but require extreme computational resources. Here, we train a convolutional neural network to use a cheaper N-body-only simulation to reconstruct the baryon hydrodynamic variables (density, temperature, and velocity) on scales relevant to the Lyman-$α$ (Ly$α$) forest, usin…
▽ More
Full-physics cosmological simulations are powerful tools for studying the formation and evolution of structure in the universe but require extreme computational resources. Here, we train a convolutional neural network to use a cheaper N-body-only simulation to reconstruct the baryon hydrodynamic variables (density, temperature, and velocity) on scales relevant to the Lyman-$α$ (Ly$α$) forest, using data from Nyx simulations. We show that our method enables rapid estimation of these fields at a resolution of $\sim$20kpc, and captures the statistics of the Ly$α$ forest with much greater accuracy than existing approximations. Because our model is fully-convolutional, we can train on smaller simulation boxes and deploy on much larger ones, enabling substantial computational savings. Furthermore, as our method produces an approximation for the hydrodynamic fields instead of Ly$α$ flux directly, it is not limited to a particular choice of ionizing background or mean transmitted flux.
△ Less
Submitted 23 June, 2021;
originally announced June 2021.
-
Improved Lyman Alpha Tomography using Optimized Reconstruction with Constraints on Absorption (ORCA)
Authors:
Zihao Li,
Benjamin Horowitz,
Zheng Cai
Abstract:
In this work, we propose an improved approach to reconstruct the three-dimensional intergalactic medium from observed Lyman-$α$ forest absorption features. We present our new method, the Optimized Reconstruction with Constraints on Absorption (ORCA), which outperforms the current baseline Wiener Filter (WF) when tested on mock Lyman Alpha forest data generated from hydrodynamical simulations. We f…
▽ More
In this work, we propose an improved approach to reconstruct the three-dimensional intergalactic medium from observed Lyman-$α$ forest absorption features. We present our new method, the Optimized Reconstruction with Constraints on Absorption (ORCA), which outperforms the current baseline Wiener Filter (WF) when tested on mock Lyman Alpha forest data generated from hydrodynamical simulations. We find that both reconstructed flux errors and cosmic web classification improve substantially with ORCA, equivalent to 30-40\% additional sight-lines with the standard WF. We use this method to identify and classify extremal objects, i.e. voids and (proto)-clusters, and find improved reconstruction across all summary statistics explored. We apply ORCA to existing Lyman Alpha forest data from the COSMOS Lyman Alpha Map** and Tomography Observations (CLAMATO) Survey and compare it to the WF reconstruction.
△ Less
Submitted 12 May, 2021; v1 submitted 24 February, 2021;
originally announced February 2021.
-
Cyberphysical Security Through Resiliency: A Systems-centric Approach
Authors:
Cody Fleming,
Carl Elks,
Georgios Bakirtzis,
Stephen C. Adams,
Bryan Carter,
Peter A. Beling,
Barry Horowitz
Abstract:
Cyber-physical systems (CPS) are often defended in the same manner as information technology (IT) systems -- by using perimeter security. Multiple factors make such defenses insufficient for CPS. Resiliency shows potential in overcoming these shortfalls. Techniques for achieving resilience exist; however, methods and theory for evaluating resilience in CPS are lacking. We argue that such methods a…
▽ More
Cyber-physical systems (CPS) are often defended in the same manner as information technology (IT) systems -- by using perimeter security. Multiple factors make such defenses insufficient for CPS. Resiliency shows potential in overcoming these shortfalls. Techniques for achieving resilience exist; however, methods and theory for evaluating resilience in CPS are lacking. We argue that such methods and theory should assist stakeholders in deciding where and how to apply design patterns for resilience. Such a problem potentially involves tradeoffs between different objectives and criteria, and such decisions need to be driven by traceable, defensible, repeatable engineering evidence. Multi-criteria resiliency problems require a system-oriented approach that evaluates systems in the presence of threats as well as potential design solutions once vulnerabilities have been identified. We present a systems-oriented view of cyber-physical security, termed Mission Aware, that is based on a holistic understanding of mission goals, system dynamics, and risk.
△ Less
Submitted 9 October, 2021; v1 submitted 29 November, 2020;
originally announced November 2020.
-
TARDIS Paper II: Synergistic Density Reconstruction from Lyman-alpha Forest and Spectroscopic Galaxy Surveys with Applications to Protoclusters and the Cosmic Web
Authors:
Benjamin Horowitz,
Benjamin Zhang,
Khee-Gan Lee,
Robin Kooistra
Abstract:
In this work we expand upon the Tomographic Absorption Reconstruction and Density Inference Scheme (TARDIS) in order to include multiple tracers while reconstructing matter density fields at Cosmic Noon (z ~ 2-3). In particular, we jointly reconstruct the underlying density field from simulated Lyman-Alpha forest observations at $z\sim 2.5$ and an overlap** galaxy survey. We find that these data…
▽ More
In this work we expand upon the Tomographic Absorption Reconstruction and Density Inference Scheme (TARDIS) in order to include multiple tracers while reconstructing matter density fields at Cosmic Noon (z ~ 2-3). In particular, we jointly reconstruct the underlying density field from simulated Lyman-Alpha forest observations at $z\sim 2.5$ and an overlap** galaxy survey. We find that these data are synergistic, with the Lyman Alpha forest providing reconstruction of low density regions and galaxy surveys tracing the density peaks. We find a more accurate power spectra reconstruction going to higher scales when fitting these two data-sets simultaneously than if using either one individually. When applied to cosmic web analysis, we find performing the joint analysis is equivalent to a Lyman Alpha survey with significantly increased sight-line spacing. Since we reconstruct the velocity field and matter field jointly, we demonstrate the ability to evolve the mock observed volume further to z=0, allowing us to create a rigorous definition of "proto-cluster" as regions which will evolve into clusters. We apply our reconstructions to study protocluster structure and evolution, finding for realistic survey parameters we can provide accurate mass estimates of the z \approx 2 structures and their z = 0 fate.
△ Less
Submitted 31 July, 2020;
originally announced July 2020.
-
An Ontological Metamodel for Cyber-Physical System Safety, Security, and Resilience Coengineering
Authors:
Georgios Bakirtzis,
Tim Sherburne,
Stephen Adams,
Barry M. Horowitz,
Peter A. Beling,
Cody H. Fleming
Abstract:
System complexity has become ubiquitous in the design, assessment, and implementation of practical and useful cyber-physical systems. This increased complexity is impacting the management of models necessary for designing cyber-physical systems that are able to take into account a number of ``-ilities'', such that they are safe and secure and ultimately resilient to disruption of service. We propo…
▽ More
System complexity has become ubiquitous in the design, assessment, and implementation of practical and useful cyber-physical systems. This increased complexity is impacting the management of models necessary for designing cyber-physical systems that are able to take into account a number of ``-ilities'', such that they are safe and secure and ultimately resilient to disruption of service. We propose an ontological metamodel for system design that augments an already existing industry metamodel to capture the relationships between various model elements and safety, security, and resilient considerations. Employing this metamodel leads to more cohesive and structured modeling efforts with an overall increase in scalability, usability, and unification of already existing models. In turn, this leads to a mission-oriented perspective in designing security defenses and resilience mechanisms to combat undesirable behaviors. We illustrate this metamodel in an open-source GraphQL implementation, which can interface with a number of modeling languages. We support our proposed metamodel with a detailed demonstration using an oil and gas pipeline model.
△ Less
Submitted 9 June, 2020;
originally announced June 2020.
-
Fundamental Challenges of Cyber-Physical Systems Security Modeling
Authors:
Georgios Bakirtzis,
Garrett L. Ward,
Christopher J. Deloglos,
Carl R. Elks,
Barry M. Horowitz,
Cody H. Fleming
Abstract:
Systems modeling practice lacks security analysis tools that can interface with modeling languages to facilitate security by design. Security by design is a necessity in the age of safety critical cyber-physical systems, where security violations can cause hazards. Currently, the overlap between security and safety is narrow. But deploying cyber-physical systems means that today's adversaries can…
▽ More
Systems modeling practice lacks security analysis tools that can interface with modeling languages to facilitate security by design. Security by design is a necessity in the age of safety critical cyber-physical systems, where security violations can cause hazards. Currently, the overlap between security and safety is narrow. But deploying cyber-physical systems means that today's adversaries can intentionally trigger accidents. By implementing security assessment tools for modeling languages we are better able to address threats earlier in the system's lifecycle and, therefore, assure their safe and secure behavior in their eventual deployment. We posit that cyber-physical systems security modeling is practiced insufficiently because it is still addressed similarly to information technology systems.
△ Less
Submitted 30 April, 2020;
originally announced May 2020.
-
TARDIS Paper I: A Constrained Reconstruction Approach to Modeling the z~2.5 Cosmic Web Probed by Lyman-alpha Forest Tomography
Authors:
Benjamin Horowitz,
Khee-Gan Lee,
Martin White,
Alex Krolewski,
Metin Ata
Abstract:
Recent Lyman-$α$ forest tomography measurements of the intergalactic medium (IGM) have revealed a wealth of cosmic structures at high redshift ($z\sim 2.5$). In this work, we present the Tomographic Absorption Reconstruction and Density Inference Scheme (TARDIS), a new chrono-cosmographic analysis tool for understanding the formation and evolution of these observed structures. We use maximum likel…
▽ More
Recent Lyman-$α$ forest tomography measurements of the intergalactic medium (IGM) have revealed a wealth of cosmic structures at high redshift ($z\sim 2.5$). In this work, we present the Tomographic Absorption Reconstruction and Density Inference Scheme (TARDIS), a new chrono-cosmographic analysis tool for understanding the formation and evolution of these observed structures. We use maximum likelihood techniques with a fast non-linear gravitational model to reconstruct the initial density field of the observed regions. We find that TARDIS allows accurate reconstruction of smaller scale structures than standard Wiener filtering techniques. Applying this technique to mock Lyman-$α$ forest data sets that simulate ongoing and future surveys such as CLAMATO, Subaru-PFS or the ELTs, we are able to infer the underlying matter density field at observed redshift and classify the cosmic web structures. We find good agreement with the underlying truth both in the characteristic eigenvalues and eigenvectors of the pseudo-deformation tensor, with the eigenvalues inferred from 30m-class telescopes correlated at $r=0.95$ relative to the truth. As an output of this method, we are able to further evolve the inferred structures to late time ($z=0$), and also track the trajectories of coeval $z=2.5$ galaxies to their $z=0$ cosmic web environments.
△ Less
Submitted 15 May, 2020; v1 submitted 21 March, 2019;
originally announced March 2019.
-
Efficient Optimal Reconstruction of Linear Fields and Band-powers from Cosmological Data
Authors:
Benjamin Horowitz,
Uros Seljak,
Grigor Aslanyan
Abstract:
We present an efficient implementation of Wiener filtering of real-space linear field and optimal quadratic estimator of its power spectrum Band-powers. We first recast the field reconstruction into an optimization problem, which we solve using quasi-Newton optimization. We then recast the power spectrum estimation into the field marginalization problem, from which we obtain an expression that dep…
▽ More
We present an efficient implementation of Wiener filtering of real-space linear field and optimal quadratic estimator of its power spectrum Band-powers. We first recast the field reconstruction into an optimization problem, which we solve using quasi-Newton optimization. We then recast the power spectrum estimation into the field marginalization problem, from which we obtain an expression that depends on the field reconstruction solution and a determinant term. We develop a novel simulation based method for the latter. We extend the simulations formalism to provide the covariance matrix for the power spectrum. We develop a flexible framework that can be used on a variety of cosmological fields and present results for a variety of test cases, using simulated examples of projected density fields, projected shear maps from galaxy lensing, and observed Cosmic Microwave Background (CMB) temperature anisotropies, with a wide range of map incompleteness and variable noise. For smaller cases where direct numerical inversion is possible, we show that our solution matches that created by direct Wiener Filtering at a fraction of the overall computation cost. Even more significant reduction of computational is achieved by this implementation of optimal quadratic estimator due to the fast evaluation of the Hessian matrix. This technique allows for accurate map and power spectrum reconstruction with complex masks and nontrivial noise properties.
△ Less
Submitted 15 October, 2019; v1 submitted 30 September, 2018;
originally announced October 2018.
-
Reconstructing Small Scale Lenses from the Cosmic Microwave Background Temperature Fluctuations
Authors:
Benjamin Horowitz,
Simone Ferraro,
Blake D. Sherwin
Abstract:
Cosmic Microwave Background (CMB) lensing is a powerful probe of the matter distribution in the Universe. The standard quadratic estimator, which is typically used to measure the lensing signal, is known to be suboptimal for low-noise polarization data from next-generation experiments. In this paper we explain why the quadratic estimator will also be suboptimal for measuring lensing on very small…
▽ More
Cosmic Microwave Background (CMB) lensing is a powerful probe of the matter distribution in the Universe. The standard quadratic estimator, which is typically used to measure the lensing signal, is known to be suboptimal for low-noise polarization data from next-generation experiments. In this paper we explain why the quadratic estimator will also be suboptimal for measuring lensing on very small scales, even for measurements in temperature where this estimator typically performs well. Though maximum likelihood methods could be implemented to improve performance, we explore a much simpler solution, revisiting a previously proposed method to measure lensing which involves a direct inversion of the background gradient. An important application of this simple formalism is the measurement of cluster masses with CMB lensing. We find that directly applying a gradient inversion matched filter to simulated lensed images of the CMB can tighten constraints on cluster masses compared to the quadratic estimator. While the difference is not relevant for existing surveys, for future surveys it can translate to significant improvements in mass calibration for distant clusters, where galaxy lensing calibration is ineffective due to the lack of enough resolved background galaxies. Improvements can be as large as $\sim 50\%$ for a cluster at $z = 2$ and a next-generation CMB experiment with 1$μ$K-arcmin noise, and over an order of magnitude for lower noise levels. For future surveys, this simple matched-filter or gradient inversion method approaches the performance of maximum likelihood methods, at a fraction of the computational cost.
△ Less
Submitted 15 April, 2019; v1 submitted 27 October, 2017;
originally announced October 2017.
-
Revisiting Primordial Black Holes Constraints from Ionization History
Authors:
Benjamin Horowitz
Abstract:
Much attention has been drawn to the recent discoveries by the Advanced Laser Interferometer Gravitational-Wave Observatory (LIGO) of merging intermediate mass black holes. Of particular interest is the possibility that the merger events detected could be evidence of dark matter in the form of primordial black holes (PBHs). It has been argued that the presence of many black holes would effect the…
▽ More
Much attention has been drawn to the recent discoveries by the Advanced Laser Interferometer Gravitational-Wave Observatory (LIGO) of merging intermediate mass black holes. Of particular interest is the possibility that the merger events detected could be evidence of dark matter in the form of primordial black holes (PBHs). It has been argued that the presence of many black holes would effect the thermal and ionization history of the universe via their accretion of matter which would have strong signatures in the Cosmic Microwave Background's (CMB) power spectra evident in the dam** of anisotropies and change in low-$l$ polarization power. In general the accretion is quite sensitive to the specific physics involved and the conditions of the early universe. In this work, we take a minimal approach and find constraints on PBHs not including the model dependent effects of nonlinear structure of formation or transition between different accretion models which would work to increase the effect. In addition, we include the relative velocity between dark matter and baryonic matter including the effects of supersonic streaming at high redshift which work to significantly reduce the constraining power. We also examine the constraints on more astrophysically-motivated extended black hole mass functions and discuss how mergers might effect this distribution. We find constraints on PBHs in the range $ \approx 30 M_\odot$, finding that they could not compose more than $10\%$ of the total dark matter content.
△ Less
Submitted 21 December, 2016;
originally announced December 2016.
-
Cosmological constraints from thermal Sunyaev Zeldovich power spectrum revisited
Authors:
Benjamin Horowitz,
Uroš Seljak
Abstract:
Thermal Sunyaev-Zeldovich (tSZ) power spectrum is one of the most sensitive methods to constrain cosmological parameters, scaling as the amplitude $σ_8^8$. It is determined by the integral over the halo mass function multiplied by the total pressure content of clusters, and further convolved by the cluster gas pressure profile. It has been shown that various feedback effects can change significant…
▽ More
Thermal Sunyaev-Zeldovich (tSZ) power spectrum is one of the most sensitive methods to constrain cosmological parameters, scaling as the amplitude $σ_8^8$. It is determined by the integral over the halo mass function multiplied by the total pressure content of clusters, and further convolved by the cluster gas pressure profile. It has been shown that various feedback effects can change significantly the pressure profile, possibly even pushing the gas out to the virial radius and beyond, strongly affecting the tSZ power spectrum at high $l$. Energetics arguments and SZ-halo mass scaling relations suggest feedback is unlikely to significantly change the total pressure content, making low $l$ tSZ power spectrum more robust against feedback effects. Furthermore, the separation between the cosmic infrared background (CIB) and tSZ is more reliable at low $l$. Low $l$ modes are however probing very small volumes, giving rise to very large non-gaussian sampling variance errors. By computing the trispectrum contribution we identify $90<l<350$ as the minimum variance scale where the combined error is minimized. Using the measurement at this $l$ provides constraints that are almost as strong as using the entire power spectrum. We extend the work by the Planck collaboration by including a full trispectrum and feedback effects in the analysis. We perform a Markov-Chain Monte Carlo analysis over the two dimensional parameter space and find constraints on $σ_8$ by marginalizing over the feedback nuisance parameter.We obtain $σ_8 =0.820^{+0.021}_{-0.009}\left(Ω_m/0.31\right)^{0.4}$, when fixing other parameters to Planck cosmology values. Our results suggest it is possible to obtain competitive cosmological constraints from tSZ without cluster redshift information, and that the current tSZ power spectrum shows no evidence for a low amplitude of $σ_8$.
△ Less
Submitted 28 March, 2017; v1 submitted 7 September, 2016;
originally announced September 2016.
-
Suboptimal Stabilizing Controllers for Linearly Solvable System
Authors:
Yoke Peng Leong,
Matanya B. Horowitz,
Joel W. Burdick
Abstract:
This paper presents a novel method to synthesize stochastic control Lyapunov functions for a class of nonlinear, stochastic control systems. In this work, the classical nonlinear Hamilton-Jacobi-Bellman partial differential equation is transformed into a linear partial differential equation for a class of systems with a particular constraint on the stochastic disturbance. It is shown that this lin…
▽ More
This paper presents a novel method to synthesize stochastic control Lyapunov functions for a class of nonlinear, stochastic control systems. In this work, the classical nonlinear Hamilton-Jacobi-Bellman partial differential equation is transformed into a linear partial differential equation for a class of systems with a particular constraint on the stochastic disturbance. It is shown that this linear partial differential equation can be relaxed to a linear differential inclusion, allowing for approximating polynomial solutions to be generated using sum of squares programming. It is shown that the resulting solutions are stochastic control Lyapunov functions with a number of compelling properties. In particular, a-priori bounds on trajectory suboptimality are shown for these approximate value functions. The result is a technique whereby approximate solutions may be computed with non-increasing error via a hierarchy of semidefinite optimization problems.
△ Less
Submitted 25 September, 2015;
originally announced September 2015.
-
Convex Model Predictive Control for Vehicular Systems
Authors:
Tiffany A. Huang,
Matanya B. Horowitz,
Joel W. Burdick
Abstract:
In this work, we present a method to perform Model Predictive Control (MPC) over systems whose state is an element of $SO(n)$ for $n=2,3$. This is done without charts or any local linearization, and instead is performed by operating over the orbitope of rotation matrices. This results in a novel MPC scheme without the drawbacks associated with conventional linearization techniques. Instead, second…
▽ More
In this work, we present a method to perform Model Predictive Control (MPC) over systems whose state is an element of $SO(n)$ for $n=2,3$. This is done without charts or any local linearization, and instead is performed by operating over the orbitope of rotation matrices. This results in a novel MPC scheme without the drawbacks associated with conventional linearization techniques. Instead, second order cone- or semidefinite-constraints on state variables are the only requirement beyond those of a QP-scheme typical for MPC of linear systems. Of particular emphasis is the application to aeronautical and vehicular systems, wherein the method removes many of the transcendental trigonometric terms associated with these systems' state space equations. Furthermore, the method is shown to be compatible with many existing variants of MPC, including obstacle avoidance via Mixed Integer Linear Programming (MILP).
△ Less
Submitted 10 October, 2014;
originally announced October 2014.
-
A Convex Approach to Consensus on SO(n)
Authors:
Nikolai Matni,
Matanya B. Horowitz
Abstract:
This paper introduces several new algorithms for consensus over the special orthogonal group. By relying on a convex relaxation of the space of rotation matrices, consensus over rotation elements is reduced to solving a convex problem with a unique global solution. The consensus protocol is then implemented as a distributed optimization using (i) dual decomposition, and (ii) both semi and fully di…
▽ More
This paper introduces several new algorithms for consensus over the special orthogonal group. By relying on a convex relaxation of the space of rotation matrices, consensus over rotation elements is reduced to solving a convex problem with a unique global solution. The consensus protocol is then implemented as a distributed optimization using (i) dual decomposition, and (ii) both semi and fully distributed variants of the alternating direction method of multipliers technique -- all with strong convergence guarantees. The convex relaxation is shown to be exact at all iterations of the dual decomposition based method, and exact once consensus is reached in the case of the alternating direction method of multipliers. Further, analytic and/or efficient solutions are provided for each iteration of these distributed computation schemes, allowing consensus to be reached without any online optimization. Examples in satellite attitude alignment with up to 100 agents, an estimation problem from computer vision, and a rotation averaging problem on $SO(6)$ validate the approach.
△ Less
Submitted 7 October, 2014;
originally announced October 2014.
-
Linearly Solvable Stochastic Control Lyapunov Functions
Authors:
Yoke Peng Leong,
Matanya B. Horowitz,
Joel W. Burdick
Abstract:
This paper presents a new method for synthesizing stochastic control Lyapunov functions for a class of nonlinear stochastic control systems. The technique relies on a transformation of the classical nonlinear Hamilton-Jacobi-Bellman partial differential equation to a linear partial differential equation for a class of problems with a particular constraint on the stochastic forcing. This linear par…
▽ More
This paper presents a new method for synthesizing stochastic control Lyapunov functions for a class of nonlinear stochastic control systems. The technique relies on a transformation of the classical nonlinear Hamilton-Jacobi-Bellman partial differential equation to a linear partial differential equation for a class of problems with a particular constraint on the stochastic forcing. This linear partial differential equation can then be relaxed to a linear differential inclusion, allowing for relaxed solutions to be generated using sum of squares programming. The resulting relaxed solutions are in fact viscosity super/subsolutions, and by the maximum principle are pointwise upper and lower bounds to the underlying value function, even for coarse polynomial approximations. Furthermore, the pointwise upper bound is shown to be a stochastic control Lyapunov function, yielding a method for generating nonlinear controllers with pointwise bounded distance from the optimal cost when using the optimal controller. These approximate solutions may be computed with non-increasing error via a hierarchy of semidefinite optimization problems. Finally, this paper develops a-priori bounds on trajectory suboptimality when using these approximate value functions, as well as demonstrates that these methods, and bounds, can be applied to a more general class of nonlinear systems not obeying the constraint on stochastic forcing. Simulated examples illustrate the methodology.
△ Less
Submitted 5 September, 2017; v1 submitted 1 October, 2014;
originally announced October 2014.
-
Optimal Navigation Functions for Nonlinear Stochastic Systems
Authors:
Matanya B. Horowitz,
Joel W. Burdick
Abstract:
This paper presents a new methodology to craft navigation functions for nonlinear systems with stochastic uncertainty. The method relies on the transformation of the Hamilton-Jacobi-Bellman (HJB) equation into a linear partial differential equation. This approach allows for optimality criteria to be incorporated into the navigation function, and generalizes several existing results in navigation f…
▽ More
This paper presents a new methodology to craft navigation functions for nonlinear systems with stochastic uncertainty. The method relies on the transformation of the Hamilton-Jacobi-Bellman (HJB) equation into a linear partial differential equation. This approach allows for optimality criteria to be incorporated into the navigation function, and generalizes several existing results in navigation functions. It is shown that the HJB and that existing navigation functions in the literature sit on ends of a spectrum of optimization problems, upon which tradeoffs may be made in problem complexity. In particular, it is shown that under certain criteria the optimal navigation function is related to Laplace's equation, previously used in the literature, through an exponential transform. Further, analytical solutions to the HJB are available in simplified domains, yielding guidance towards optimality for approximation schemes. Examples are used to illustrate the role that noise, and optimality can potentially play in navigation system design.
△ Less
Submitted 21 September, 2014;
originally announced September 2014.
-
Domain Decomposition for Stochastic Optimal Control
Authors:
Matanya B. Horowitz,
Ivan Papusha,
Joel W. Burdick
Abstract:
This work proposes a method for solving linear stochastic optimal control (SOC) problems using sum of squares and semidefinite programming. Previous work had used polynomial optimization to approximate the value function, requiring a high polynomial degree to capture local phenomena. To improve the scalability of the method to problems of interest, a domain decomposition scheme is presented. By us…
▽ More
This work proposes a method for solving linear stochastic optimal control (SOC) problems using sum of squares and semidefinite programming. Previous work had used polynomial optimization to approximate the value function, requiring a high polynomial degree to capture local phenomena. To improve the scalability of the method to problems of interest, a domain decomposition scheme is presented. By using local approximations, lower degree polynomials become sufficient, and both local and global properties of the value function are captured. The domain of the problem is split into a non-overlap** partition, with added constraints ensuring $C^1$ continuity. The Alternating Direction Method of Multipliers (ADMM) is used to optimize over each domain in parallel and ensure convergence on the boundaries of the partitions. This results in improved conditioning of the problem and allows for much larger and more complex problems to be addressed with improved performance.
△ Less
Submitted 21 September, 2014;
originally announced September 2014.
-
Linear Hamilton Jacobi Bellman Equations in High Dimensions
Authors:
Matanya B. Horowitz,
Anil Damle,
Joel W. Burdick
Abstract:
The Hamilton Jacobi Bellman Equation (HJB) provides the globally optimal solution to large classes of control problems. Unfortunately, this generality comes at a price, the calculation of such solutions is typically intractible for systems with more than moderate state space size due to the curse of dimensionality. This work combines recent results in the structure of the HJB, and its reduction to…
▽ More
The Hamilton Jacobi Bellman Equation (HJB) provides the globally optimal solution to large classes of control problems. Unfortunately, this generality comes at a price, the calculation of such solutions is typically intractible for systems with more than moderate state space size due to the curse of dimensionality. This work combines recent results in the structure of the HJB, and its reduction to a linear Partial Differential Equation (PDE), with methods based on low rank tensor representations, known as a separated representations, to address the curse of dimensionality. The result is an algorithm to solve optimal control problems which scales linearly with the number of states in a system, and is applicable to systems that are nonlinear with stochastic forcing in finite-horizon, average cost, and first-exit settings. The method is demonstrated on inverted pendulum, VTOL aircraft, and quadcopter models, with system dimension two, six, and twelve respectively.
△ Less
Submitted 21 September, 2014; v1 submitted 3 April, 2014;
originally announced April 2014.
-
Semidefinite Relaxations for Stochastic Optimal Control Policies
Authors:
Matanya B. Horowitz,
Joel W. Burdick
Abstract:
Recent results in the study of the Hamilton Jacobi Bellman (HJB) equation have led to the discovery of a formulation of the value function as a linear Partial Differential Equation (PDE) for stochastic nonlinear systems with a mild constraint on their disturbances. This has yielded promising directions for research in the planning and control of nonlinear systems. This work proposes a new method o…
▽ More
Recent results in the study of the Hamilton Jacobi Bellman (HJB) equation have led to the discovery of a formulation of the value function as a linear Partial Differential Equation (PDE) for stochastic nonlinear systems with a mild constraint on their disturbances. This has yielded promising directions for research in the planning and control of nonlinear systems. This work proposes a new method obtaining approximate solutions to these linear stochastic optimal control (SOC) problems. A candidate polynomial with variable coefficients is proposed as the solution to the SOC problem. A Sum of Squares (SOS) relaxation is then taken to the partial differential constraints, leading to a hierarchy of semidefinite relaxations with improving sub-optimality gap. The resulting approximate solutions are shown to be guaranteed over- and under-approximations for the optimal value function.
△ Less
Submitted 12 February, 2014;
originally announced February 2014.
-
Convex Relaxations of SE(2) and SE(3) for Visual Pose Estimation
Authors:
Matanya B. Horowitz,
Nikolai Matni,
Joel W. Burdick
Abstract:
This paper proposes a new method for rigid body pose estimation based on spectrahedral representations of the tautological orbitopes of $SE(2)$ and $SE(3)$. The approach can use dense point cloud data from stereo vision or an RGB-D sensor (such as the Microsoft Kinect), as well as visual appearance data. The method is a convex relaxation of the classical pose estimation problem, and is based on ex…
▽ More
This paper proposes a new method for rigid body pose estimation based on spectrahedral representations of the tautological orbitopes of $SE(2)$ and $SE(3)$. The approach can use dense point cloud data from stereo vision or an RGB-D sensor (such as the Microsoft Kinect), as well as visual appearance data. The method is a convex relaxation of the classical pose estimation problem, and is based on explicit linear matrix inequality (LMI) representations for the convex hulls of $SE(2)$ and $SE(3)$. Given these representations, the relaxed pose estimation problem can be framed as a robust least squares problem with the optimization variable constrained to these convex sets. Although this formulation is a relaxation of the original problem, numerical experiments indicate that it is indeed exact - i.e. its solution is a member of $SE(2)$ or $SE(3)$ - in many interesting settings. We additionally show that this method is guaranteed to be exact for a large class of pose estimation problems.
△ Less
Submitted 6 April, 2014; v1 submitted 15 January, 2014;
originally announced January 2014.
-
Categories within the Foundation of Mathematics
Authors:
Benjamin Horowitz
Abstract:
The recent trend in mathematics is towards a framework of abstract mathematical objects, rather than the more concrete approach of explicitly defining elements which objects were thought to consist of. A natural question to raise is whether this sort of abstract approach advocated for by Lawvere, among others, is foundational in the sense that it provides a unified, universal, system of first orde…
▽ More
The recent trend in mathematics is towards a framework of abstract mathematical objects, rather than the more concrete approach of explicitly defining elements which objects were thought to consist of. A natural question to raise is whether this sort of abstract approach advocated for by Lawvere, among others, is foundational in the sense that it provides a unified, universal, system of first order axioms in which we can define the usual mathematical objects and prove their usual properties. In this way, we view the ``foundation" as something without any necessary justification or starting point. Some of the main arguments for categories as such a structure are laid out by MacLane as he argues that the set-theoretic constructions are inappropriate for current mathematics as practices, and that they are inadequate to properly encompass category theory itself and therefore cannot properly encompass all of mathematics, while category theory can be used to describe set theory and all the natural consequences of a given primitive system.
△ Less
Submitted 20 December, 2013;
originally announced December 2013.
-
Group Theoretical Approach to the Construction of Conformal Field Theories
Authors:
Benjamin Horowitz
Abstract:
A conformal field theory (CFT) is a quantum field theory which is invariant under conformal transformations; a group action that preserve angles but not necessarily lengths. There are two traditional approaches to the construction of CFTs: analyzing a statistical system near a critical point as a euclidean field theory, and in holographic duality within the context of string theory. This pedagogic…
▽ More
A conformal field theory (CFT) is a quantum field theory which is invariant under conformal transformations; a group action that preserve angles but not necessarily lengths. There are two traditional approaches to the construction of CFTs: analyzing a statistical system near a critical point as a euclidean field theory, and in holographic duality within the context of string theory. This pedagogical paper presents a construction of CFTs using purely group theoretic techniques. Starting with the basic definition of a Lie algebra and quantum field theory, we generalize to affine Lie algebras and form a energy momentum tensor via the Sugawara construction.
△ Less
Submitted 20 December, 2013;
originally announced December 2013.
-
La Silla QUEST RR Lyrae Star Survey: Region I
Authors:
R. Zinn,
B. Horowitz,
A. K. Vivas,
C. Baltay,
N. Ellman,
E. Hadjiyska,
D. Rabinowitz,
L. Miller
Abstract:
A search for RR Lyrae stars (RRLS) in 840 sq.deg. of the sky in right ascension 150 - 210 deg and declination -10 - +10 deg yielded 1013 type ab and 359 type c RRLS. This sample is used to study the density profile of the Galactic halo, halo substructures, and the Oosterhoff type of the halo over distances from 5 to 80 kpc. The halo is flattened towards the Galactic plane, and its density profile…
▽ More
A search for RR Lyrae stars (RRLS) in 840 sq.deg. of the sky in right ascension 150 - 210 deg and declination -10 - +10 deg yielded 1013 type ab and 359 type c RRLS. This sample is used to study the density profile of the Galactic halo, halo substructures, and the Oosterhoff type of the halo over distances from 5 to 80 kpc. The halo is flattened towards the Galactic plane, and its density profile steepens in slope at galactocentric distances greater than 25 kpc. The RRLS in the stellar stream from the Sagittarius dwarf spheroidal (dSph) galaxy match well the model of Law and Majewski for the stars that were stripped 1.3 to 3.2 Gyr ago, but not for the ones stripped 3.2 to 5.0 Gyr ago. Over densities are found at the locations of the Virgo Overdensity and the Virgo Stellar Stream. Within 1 deg of 1220-1, which Jerjen et al. identify as a halo substructure at a distance of 24 kpc, there are 4 RRLS that are possibly members. Away from substructures, the RRLS are a mixture of Oosterhoff types I and II, but mostly OoI (73%). The accretion of galaxies resembling in RRLS content the most massive Milky Way satellites (LMC, SMC, For,Sgr) may explain this preponderance of OoI. Six new RRLS and 3 new anomalous Cepheids were found in the Sextans dSph galaxy.
△ Less
Submitted 5 December, 2013;
originally announced December 2013.
-
La Silla-QUEST Variability Survey in the Southern Hemisphere
Authors:
Ellie Hadjiyska,
David Rabinowitz,
Charles Baltay,
Nancy Ellman,
Peter Nugent,
Robert Zinn,
Benjamin Horowitz,
Ryan McKinnon,
Lissa R. Miller
Abstract:
We describe the La Silla-QUEST (LSQ) Variability Survey. LSQ is a dedicated wide-field synoptic survey in the Southern Hemisphere, focussing on the discovery and study of transients ranging from low redshift (z < 0.1) SN Ia, Tidal Disruption events, RR Lyræ variables, CVs, Quasars, TNOs and others. The survey utilizes the 1.0-m Schmidt Telescope of the European Southern Observatory at La Silla, Ch…
▽ More
We describe the La Silla-QUEST (LSQ) Variability Survey. LSQ is a dedicated wide-field synoptic survey in the Southern Hemisphere, focussing on the discovery and study of transients ranging from low redshift (z < 0.1) SN Ia, Tidal Disruption events, RR Lyræ variables, CVs, Quasars, TNOs and others. The survey utilizes the 1.0-m Schmidt Telescope of the European Southern Observatory at La Silla, Chile, with the large-area QUEST camera, a mosaic of 112 CCDs with field of view of 9.6 square degrees. The LSQ Survey was commissioned in 2009, and is now regularly covering ~1000 square deg per night with a repeat cadence of hours to days. The data are currently processed on a daily basis. We present here a first look at the photometric capabilities of LSQ and we discuss some of the most interesting recent transient detections.
△ Less
Submitted 4 October, 2012;
originally announced October 2012.