-
RadSplat: Radiance Field-Informed Gaussian Splatting for Robust Real-Time Rendering with 900+ FPS
Authors:
Michael Niemeyer,
Fabian Manhardt,
Marie-Julie Rakotosaona,
Michael Oechsle,
Daniel Duckworth,
Rama Gosula,
Keisuke Tateno,
John Bates,
Dominik Kaeser,
Federico Tombari
Abstract:
Recent advances in view synthesis and real-time rendering have achieved photorealistic quality at impressive rendering speeds. While Radiance Field-based methods achieve state-of-the-art quality in challenging scenarios such as in-the-wild captures and large-scale scenes, they often suffer from excessively high compute requirements linked to volumetric rendering. Gaussian Splatting-based methods,…
▽ More
Recent advances in view synthesis and real-time rendering have achieved photorealistic quality at impressive rendering speeds. While Radiance Field-based methods achieve state-of-the-art quality in challenging scenarios such as in-the-wild captures and large-scale scenes, they often suffer from excessively high compute requirements linked to volumetric rendering. Gaussian Splatting-based methods, on the other hand, rely on rasterization and naturally achieve real-time rendering but suffer from brittle optimization heuristics that underperform on more challenging scenes. In this work, we present RadSplat, a lightweight method for robust real-time rendering of complex scenes. Our main contributions are threefold. First, we use radiance fields as a prior and supervision signal for optimizing point-based scene representations, leading to improved quality and more robust optimization. Next, we develop a novel pruning technique reducing the overall point count while maintaining high quality, leading to smaller and more compact scene representations with faster inference speeds. Finally, we propose a novel test-time filtering approach that further accelerates rendering and allows to scale to larger, house-sized scenes. We find that our method enables state-of-the-art synthesis of complex captures at 900+ FPS.
△ Less
Submitted 20 March, 2024;
originally announced March 2024.
-
Numerical Nonlinear Algebra
Authors:
Daniel J. Bates,
Paul Breiding,
Tianran Chen,
Jonathan D. Hauenstein,
Anton Leykin,
Frank Sottile
Abstract:
Numerical nonlinear algebra is a computational paradigm that uses numerical analysis to study polynomial equations. Its origins were methods to solve systems of polynomial equations based on the classical theorem of Bézout. This was decisively linked to modern developments in algebraic geometry by the polyhedral homotopy algorithm of Huber and Sturmfels, which exploits the combinatorial structure…
▽ More
Numerical nonlinear algebra is a computational paradigm that uses numerical analysis to study polynomial equations. Its origins were methods to solve systems of polynomial equations based on the classical theorem of Bézout. This was decisively linked to modern developments in algebraic geometry by the polyhedral homotopy algorithm of Huber and Sturmfels, which exploits the combinatorial structure of the equations and led to efficient software for solving polynomial equations.
Subsequent growth of numerical nonlinear algebra continues to be informed by algebraic geometry and its applications. These include new approaches to solving, algorithms for studying positive-dimensional varieties, certification, and a range of applications both within mathematics and from other disciplines. With new implementations, numerical nonlinear algebra is now a fundamental computational tool for algebraic geometry and its applications. We survey some of these innovations and some recent applications.
△ Less
Submitted 6 March, 2024; v1 submitted 16 February, 2023;
originally announced February 2023.
-
An approach to study recruitment/derecruitment dynamics in a patient-specific computational model of an injured human lung
Authors:
Carolin M. Geitner,
Tobias Becher,
Inéz Frerichs,
Norbert Weiler,
Jason H. T. Bates,
Wolfgang A. Wall
Abstract:
We present a new approach for physics-based computational modeling of diseased human lungs. Our main object is the development of a model that takes the novel step of incorporating the dynamics of airway recruitment/de-recruitment into an anatomically accurate, spatially resolved model of respiratory system mechanics, and the relation of these dynamics to airway dimensions and the biophysical prop…
▽ More
We present a new approach for physics-based computational modeling of diseased human lungs. Our main object is the development of a model that takes the novel step of incorporating the dynamics of airway recruitment/de-recruitment into an anatomically accurate, spatially resolved model of respiratory system mechanics, and the relation of these dynamics to airway dimensions and the biophysical properties of the lining fluid. The importance of our approach is that it potentially allows for more accurate predictions of where mechanical stress foci arise in the lungs, since it is at these locations that injury is thought to arise and propagate from. We match the model to data from a patient with Acute Respiratory Distress Syndrome (ARDS) to demonstrate the potential of the model for revealing the underlying derangements in ARDS in a patient-specific manner. To achieve this, the specific geometry of the lung and its heterogeneous pattern of injury are extracted from medical CT images. The mechanical behavior of the model is tailored to the patient's respiratory mechanics using measured ventilation data. In retrospective simulations of various clinically performed, pressure-driven ventilation profiles, the model adequately reproduces clinical quantities measured in the patient such as tidal volume and change in pleural pressure. The model also exhibits physiologically reasonable lung recruitment dynamics and has the spatial resolution to allow the study of local mechanical quantities such as alveolar strains. This modeling approach advances our ability to perform patient-specific studies in silico, opening the way to personalized therapies that will optimize patient outcomes.
△ Less
Submitted 9 May, 2023; v1 submitted 2 December, 2022;
originally announced December 2022.
-
Dynamic imaging using Motion-Compensated SmooThness Regularization on Manifolds (MoCo-SToRM)
Authors:
Qing Zou,
Luis A. Torres,
Sean B. Fain,
Nara S. Higano,
Alister J. Bates,
Mathews Jacob
Abstract:
We introduce an unsupervised motion-compensated reconstruction scheme for high-resolution free-breathing pulmonary MRI. We model the image frames in the time series as the deformed version of the 3D template image volume. We assume the deformation maps to be points on a smooth manifold in high-dimensional space. Specifically, we model the deformation map at each time instant as the output of a CNN…
▽ More
We introduce an unsupervised motion-compensated reconstruction scheme for high-resolution free-breathing pulmonary MRI. We model the image frames in the time series as the deformed version of the 3D template image volume. We assume the deformation maps to be points on a smooth manifold in high-dimensional space. Specifically, we model the deformation map at each time instant as the output of a CNN-based generator that has the same weight for all time-frames, driven by a low-dimensional latent vector. The time series of latent vectors account for the dynamics in the dataset, including respiratory motion and bulk motion. The template image volume, the parameters of the generator, and the latent vectors are learned directly from the k-t space data in an unsupervised fashion. Our experimental results show improved reconstructions compared to state-of-the-art methods, especially in the context of bulk motion during the scans.
△ Less
Submitted 6 December, 2021;
originally announced December 2021.
-
Toward Lattice QCD On Billion Core Approximate Computers
Authors:
Alexandra Bates,
Joseph Bates
Abstract:
We present evidence of the feasibility of using billion core approximate computers to run simple U(1) sigma models, and discuss how the approach might be extended to Lattice Quantum Chromodynamics (LQCD) models. This work is motivated by the extreme time, power, and cost needed to run LQCD on current computing hardware. We show that, using massively parallel approximate hardware, at least some mod…
▽ More
We present evidence of the feasibility of using billion core approximate computers to run simple U(1) sigma models, and discuss how the approach might be extended to Lattice Quantum Chromodynamics (LQCD) models. This work is motivated by the extreme time, power, and cost needed to run LQCD on current computing hardware. We show that, using massively parallel approximate hardware, at least some models can run with great speed and power efficiency without sacrificing accuracy. As a test of accuracy, a 32 x 32 x 32 U(1) sigma model yielded similar results using floating point and approximate representations for the spins. A 20 million point 3D model, run on a 34,000-core single-board prototype approximate computer, showed encouraging accuracy with a ~750 times improvement in speed and ~2500 times improvement in speed/watt compared to a traditional CPU. These results suggest there is value in future research to determine whether similar speed-ups and accuracies are possible running full LQCD on the compact billion-core approximate computing systems that are now practical.
△ Less
Submitted 29 October, 2020;
originally announced October 2020.
-
Effective Mass Path Integral Simulations of Quasiparticles in Condensed Phases
Authors:
Richard C. Remsing,
Jefferson E. Bates
Abstract:
The quantum many-body problem in condensed phases is often simplified using a quasiparticle description, such as effective mass theory for electron motion in a periodic solid. These approaches are often the basis for understanding many fundamental condensed phase processes, including the molecular mechanisms underlying solar energy harvesting and photocatalysis. Despite the importance of these eff…
▽ More
The quantum many-body problem in condensed phases is often simplified using a quasiparticle description, such as effective mass theory for electron motion in a periodic solid. These approaches are often the basis for understanding many fundamental condensed phase processes, including the molecular mechanisms underlying solar energy harvesting and photocatalysis. Despite the importance of these effective particles, there is still a need for computational methods that can explore their behavior on chemically relevant length and time scales. This is especially true when the interactions between the particles and their environment are important. We introduce an approach for studying quasiparticles in condensed phases by combining effective mass theory with the path integral treatment of quantum particles. This framework incorporates the generally anisotropic electronic band structure of materials into path integral simulation schemes to enable modeling of quasiparticles in quantum confinement, for example. We demonstrate the utility of effective mass path integral simulations by modeling an exciton in solid potassium chloride and electron trap** by a sulfur vacancy in monolayer molybdenum disulfide.
△ Less
Submitted 1 July, 2020;
originally announced July 2020.
-
Super-transition-array calculations for synthetic spectra and opacity of high-density, high-temperature germanium plasmas
Authors:
Teck-Ghee Lee,
W. Jarrah,
D. Benredjem,
J. -C. Pain,
M. Busquet,
M. Klapisch,
A. J. Schmitt,
J. W. Bates,
J. Giuliani
Abstract:
The synthetic emission spectra and opacity of high-density, high-temperature germanium (Z=32) plasma from super-transition-array (STA) calculations are presented. The viability of the STA model, which is based on a statistical superconfigurations accounting approach for calculating the atomic and radiative properties, is examined by comparing and contrasting its results against the available exper…
▽ More
The synthetic emission spectra and opacity of high-density, high-temperature germanium (Z=32) plasma from super-transition-array (STA) calculations are presented. The viability of the STA model, which is based on a statistical superconfigurations accounting approach for calculating the atomic and radiative properties, is examined by comparing and contrasting its results against the available experimental data and other theoretical calculations. First, we focus on the emission data. To model the data, the Eulerian radiation-hydrodynamics code FastRad3D is used in conjunction with STA to obtain the STA-required inputs, namely, the time-dependent temperature and density profiles of the Ge plasmas. Consequently, we find that STA results fit the experimental spectrum [High Energy Density Phys., 6 (2010) 105] reasonably well. However, careful comparison between experimental and theoretical results in the photon-energy regions of ~ 1.7 keV shows some degrees of disparity between the two. This may be due to the non-LTE effects and the presence of spatial gradients in the sample. Limitations of STA to model the experimental spectrum precisely is expected and underscoring the difficulty of the present attempts as the model assumed local thermodynamics equilibrium population dynamics. Second, we examine the STA calculated multi-frequency opacities, ionized population fraction and average ionization for a broad range of Ge plasma conditions. Comparing with a hybrid LTE opacity code which combines the statistical super-transition-array and fine-structure methods [High Energy Density Phys., 7 (2011) 234], impressively good agreement is found between the two calculations.
△ Less
Submitted 17 January, 2020; v1 submitted 2 January, 2020;
originally announced January 2020.
-
Accurate ground state- and quasiparticle energies: beyond the RPA and GW methods with adiabatic exchange-correlation kernels
Authors:
Thomas Olsen,
Christopher E. Patrick,
Jefferson E. Bates,
Adrienn Ruzsinszky,
Kristian S. Thygesen
Abstract:
We review the theory and application of adiabatic exchange-correlation (xc-) kernels for ab initio calculations of ground state energies and quasiparticle excitations within the frameworks of the adiabatic connection fluctuation dissipation theorem and Hedin's equations, respectively. Various different xc-kernels, which are all rooted in the homogeneous electron gas, are introduced but hereafter w…
▽ More
We review the theory and application of adiabatic exchange-correlation (xc-) kernels for ab initio calculations of ground state energies and quasiparticle excitations within the frameworks of the adiabatic connection fluctuation dissipation theorem and Hedin's equations, respectively. Various different xc-kernels, which are all rooted in the homogeneous electron gas, are introduced but hereafter we focus on the specific class of renormalized adiabatic kernels, in particular the rALDA and rAPBE. The kernels drastically improve the description of short-range correlations as compared to the random phase approximation (RPA), resulting in significantly better correlation energies. This effect greatly reduces the reliance on error cancellations, which is essential in RPA, and systematically improves covalent bond energies while preserving the good performance of the RPA for dispersive interactions. For quasiparticle energies, the xc-kernels account for vertex corrections that are missing in the GW self-energy. In this context, we show that the short-range correlations mainly correct the absolute band positions while the band gap is less affected in agreement with the known good performance of GW for the latter. The renormalized xc-kernels offer a rigorous extension of the RPA and GW methods with clear improvements in terms of accuracy at little extra computational cost.
△ Less
Submitted 18 June, 2019;
originally announced June 2019.
-
Simultaneous Eulerian-Lagrangian velocity measurements of particulate pipe flow in transitional regime
Authors:
Sanjay Singh,
Alban Pothérat,
Chris C. T. Pringle,
Ian R. J. Bates,
Martin Holdsworth
Abstract:
We present a unique pipe flow rig capable where simultaneous particle tracking and flow velocity measurements in a dilute, neutrally buoyant particulate pipe flow in regimes of transition to turbulence. The flow consists of solid glass spheres for the disperse phase, and a density-matching fluid for the carrier phase. The measurements are conducted using a bespoke, combined 2D PIV/ PTV technique.…
▽ More
We present a unique pipe flow rig capable where simultaneous particle tracking and flow velocity measurements in a dilute, neutrally buoyant particulate pipe flow in regimes of transition to turbulence. The flow consists of solid glass spheres for the disperse phase, and a density-matching fluid for the carrier phase. The measurements are conducted using a bespoke, combined 2D PIV/ PTV technique. The technique takes advantage of a phase discrimination approach that involves separating the disperse and carrier phases based on their respective image characteristics. Our results show that the rig and the technique it implements can be employed to study transitional particulate pipe flows at dilute concentration.
△ Less
Submitted 26 September, 2019; v1 submitted 29 May, 2019;
originally announced May 2019.
-
Treating different bonding situations: Revisiting Au-Cu alloys using the random phase approximation
Authors:
Niraj K. Nepal,
Santosh Adhikari,
Jefferson E. Bates,
Adrienn Ruzsinszky
Abstract:
The ground state equilibrium properties of copper-gold alloys have been explored with the state of art random phase approximation (RPA). Our estimated lattice constants agree with the experiment within a mean absolute percentage error (MAPE) of 1.4 percent. Semi-local functionals such as the generalized gradient approximation (GGA) of Perdew, Burke, and Ernzerhof (PBE) and strongly constrained and…
▽ More
The ground state equilibrium properties of copper-gold alloys have been explored with the state of art random phase approximation (RPA). Our estimated lattice constants agree with the experiment within a mean absolute percentage error (MAPE) of 1.4 percent. Semi-local functionals such as the generalized gradient approximation (GGA) of Perdew, Burke, and Ernzerhof (PBE) and strongly constrained and appropriately normed (SCAN) fail to provide accurate bulk moduli, which indicate their inability to describe the system in a stretched or compressed state with respect to the equilibrium geometry. We find that the non-locality present in RPA is able to describe the transition between two delocalized electron densities (bulk elemental constituents to crystallized alloys), as required to provide accurate formation energies. Based on our results, we conclude that it is difficult to find a universal density functional which can give accurate results for a wide range of properties of intermetallic alloys. However, RPA can capture different bonding situations, often better than other density functionals. It gives accurate results for a wide range of ground state properties for the alloys, generated from metals with completely filled d-shells.
△ Less
Submitted 23 May, 2019; v1 submitted 22 May, 2019;
originally announced May 2019.
-
Laser-Plasma Interactions Enabled by Emerging Technologies
Authors:
J. P. Palastro,
F. Albert,
B. Albright,
T. M. Antonsen Jr.,
A. Arefiev,
J. Bates,
R. Berger,
J. Bromage,
M. Campbell,
T. Chapman,
E. Chowdhury,
A. Colaïtis,
C. Dorrer,
E. Esarey,
F. Fiúza,
N. Fisch,
R. Follett,
D. Froula,
S. Glenzer,
D. Gordon,
D. Haberberger,
B. M. Hegelich,
T. Jones,
D. Kaganovich,
K. Krushelnick
, et al. (29 additional authors not shown)
Abstract:
An overview from the past and an outlook for the future of fundamental laser-plasma interactions research enabled by emerging laser systems.
An overview from the past and an outlook for the future of fundamental laser-plasma interactions research enabled by emerging laser systems.
△ Less
Submitted 30 April, 2019;
originally announced April 2019.
-
Radiative and atomic properties of C and CH plasmas in the warm-dense matter regime
Authors:
Teck-Ghee Lee,
M. Busquet,
M. Klapisch,
J. W. Bates,
A. J. Schmitt,
S. X. Hu,
J. Giuliani
Abstract:
A theoretical model based on the method of super transition arrays (STA) is used to compute the emissivities, opacities and average ionization states of carbon (C) and polystyrene (CH) plasmas in the warm-dense matter regime in which the coupling constant varies between 0.02 to 2.0. The accuracy of results of STA calculations is assessed by benchmarking against the available experimental data and…
▽ More
A theoretical model based on the method of super transition arrays (STA) is used to compute the emissivities, opacities and average ionization states of carbon (C) and polystyrene (CH) plasmas in the warm-dense matter regime in which the coupling constant varies between 0.02 to 2.0. The accuracy of results of STA calculations is assessed by benchmarking against the available experimental data and results obtained using other theoretical methods, assuming that a state of local thermodynamic equilibrium exists in the plasma. In the case of a carbon plasma, the STA method yields spectral features that are in reasonably-good agreement with Dirac-Fock and Hartree-Fock-Slater theories; in the case of CH, we find that STA-derived opacities are very similar to those derived using quantum-molecular-dynamics density-functional theory and Hartree-Fock method down to plasma temperature of about 20 eV. Our calculations also compare favorably with available experimental measurements of Gamboa {\it et al} [High Energy Density Phys. {\bf 11}, 75 (2014)] of the plasma temperature and average ionization state behind a blast wave in a pure carbon foam. Although the STA-computed average-ionization charge state in the rarefaction region appears to be lower than the experimental data, it is within the experimental uncertainty and the discrepancy is nevertheless consistent with results reported using an atomic kinetic model. In addition, we further predict the temperature dependence of average ionization states of CH plasma in the same temperature range as for the carbon plasma.
△ Less
Submitted 19 November, 2018; v1 submitted 26 September, 2018;
originally announced September 2018.
-
Modeling human intuitions about liquid flow with particle-based simulation
Authors:
Christopher J. Bates,
Ilker Yildirim,
Joshua B. Tenenbaum,
Peter Battaglia
Abstract:
Humans can easily describe, imagine, and, crucially, predict a wide variety of behaviors of liquids--splashing, squirting, gushing, sloshing, soaking, drip**, draining, trickling, pooling, and pouring--despite tremendous variability in their material and dynamical properties. Here we propose and test a computational model of how people perceive and predict these liquid dynamics, based on coarse…
▽ More
Humans can easily describe, imagine, and, crucially, predict a wide variety of behaviors of liquids--splashing, squirting, gushing, sloshing, soaking, drip**, draining, trickling, pooling, and pouring--despite tremendous variability in their material and dynamical properties. Here we propose and test a computational model of how people perceive and predict these liquid dynamics, based on coarse approximate simulations of fluids as collections of interacting particles. Our model is analogous to a "game engine in the head", drawing on techniques for interactive simulations (as in video games) that optimize for efficiency and natural appearance rather than physical accuracy. In two behavioral experiments, we found that the model accurately captured people's predictions about how liquids flow among complex solid obstacles, and was significantly better than two alternatives based on simple heuristics and deep neural networks. Our model was also able to explain how people's predictions varied as a function of the liquids' properties (e.g., viscosity and stickiness). Together, the model and empirical results extend the recent proposal that human physical scene understanding for the dynamics of rigid, solid objects can be supported by approximate probabilistic simulation, to the more complex and unexplored domain of fluid dynamics.
△ Less
Submitted 5 September, 2018;
originally announced September 2018.
-
Flux Density Variations at 3.6 cm in the Massive Star-Forming Region W49A
Authors:
C. G. De Pree,
R. Galván-Madrid,
W. M. Goss,
R. S. Klessen,
M. -M. Mac Low,
T. Peters,
D. Wilner,
J. Bates,
T. Melo,
B. Presler-Marshall,
R. Webb-Forgus
Abstract:
A number of ultracompact H II regions in Galactic star forming environments have been observed to vary significantly in radio flux density on timescales of 10-20 years. Theory predicted that such variations should occur when the accretion flow that feeds a young massive star becomes unstable and clumpy. We have targeted the massive star-forming region W49A with the Karl G. Jansky Very Large Array…
▽ More
A number of ultracompact H II regions in Galactic star forming environments have been observed to vary significantly in radio flux density on timescales of 10-20 years. Theory predicted that such variations should occur when the accretion flow that feeds a young massive star becomes unstable and clumpy. We have targeted the massive star-forming region W49A with the Karl G. Jansky Very Large Array (VLA) for observations at 3.6 cm with the B-configuration at 0.8'' resolution, to compare to nearly identical observations taken almost 21 years earlier (February 2015 and August 1994). Most of the sources in the crowded field of ultracompact and hypercompact H II regions exhibit no significant changes over this time period. However, one source, W49A/G2, decreased by 20% in peak intensity (from 71+/-4 mJy/beam to 57+/-3 mJy/beam), and 40% in integrated flux (from 0.109+/-0.011 Jy to 0.067+/-0.007 Jy), where we cite 5 sigma errors in peak intensity, and 10% errors in integrated flux. We present the radio images of the W49A region at the two epochs, the difference image that indicates the location of the flux density decrease, and discuss explanations for the flux density decrease near the position of W49A/G2.
△ Less
Submitted 27 July, 2018;
originally announced July 2018.
-
Paramotopy: Parameter homotopies in parallel
Authors:
Daniel J. Bates,
Danielle Brake,
Matthew Niemerg
Abstract:
Numerical algebraic geometry provides a number of efficient tools for approximating the solutions of polynomial systems. One such tool is the parameter homotopy, which can be an extremely efficient method to solve numerous polynomial systems that differ only in coefficients, not monomials. This technique is frequently used for solving a parameterized family of polynomial systems at multiple parame…
▽ More
Numerical algebraic geometry provides a number of efficient tools for approximating the solutions of polynomial systems. One such tool is the parameter homotopy, which can be an extremely efficient method to solve numerous polynomial systems that differ only in coefficients, not monomials. This technique is frequently used for solving a parameterized family of polynomial systems at multiple parameter values. Parameter homotopies have recently been useful in several areas of application and have been implemented in at least two software packages. This article describes Paramotopy, a new, parallel, optimized implementation of this technique, making use of the Bertini software package. The novel features of this implementation, not available elsewhere, include allowing for the simultaneous solutions of arbitrary polynomial systems in a parameterized family on an automatically generated (or manually provided) mesh in the parameter space of coefficients, front ends and back ends that are easily specialized to particular classes of problems, and adaptive techniques for solving polynomial systems near singular points in the parameter space. This last feature automates and simplifies a task that is important but often misunderstood by non-experts.
△ Less
Submitted 11 April, 2018;
originally announced April 2018.
-
Outcome Based Matching
Authors:
Jonathan Bates,
Alexander Cloninger
Abstract:
We propose a method to reduce variance in treatment effect estimates in the setting of high-dimensional data. In particular, we introduce an approach for learning a metric to be used in matching treatment and control groups. The metric reduces variance in treatment effect estimates by weighting covariates related to the outcome and filtering out unrelated covariates.
We propose a method to reduce variance in treatment effect estimates in the setting of high-dimensional data. In particular, we introduce an approach for learning a metric to be used in matching treatment and control groups. The metric reduces variance in treatment effect estimates by weighting covariates related to the outcome and filtering out unrelated covariates.
△ Less
Submitted 13 December, 2017;
originally announced December 2017.
-
Geolocation with FDOA Measurements via Polynomial Systems and RANSAC
Authors:
Karleigh J. Cameron,
Daniel J. Bates
Abstract:
The problem of geolocation of a transmitter via time difference of arrival (TDOA) and frequency difference of arrival (FDOA) is given as a system of polynomial equations. This allows for the use of homotopy continuation-based methods from numerical algebraic geometry. A novel geolocation algorithm employs numerical algebraic geometry techniques in conjunction with the random sample consensus (RANS…
▽ More
The problem of geolocation of a transmitter via time difference of arrival (TDOA) and frequency difference of arrival (FDOA) is given as a system of polynomial equations. This allows for the use of homotopy continuation-based methods from numerical algebraic geometry. A novel geolocation algorithm employs numerical algebraic geometry techniques in conjunction with the random sample consensus (RANSAC) method. This is all developed and demonstrated in the setting of only FDOA measurements, without loss of generality. Additionally, the problem formulation as polynomial systems immediately provides lower bounds on the number of receivers or measurements required for the solution set to consist of only isolated points.
△ Less
Submitted 5 December, 2017;
originally announced December 2017.
-
Properties of real metallic surfaces: Effects of density functional semilocality and van der Waals nonlocality
Authors:
Abhirup Patra,
Jefferson E. Bates,
Jianwei Sun,
John P. Perdew
Abstract:
We have computed the surface energies, work functions, and interlayer surface relaxations of clean (111), (110), and (100) surfaces of Al, Cu, Ru, Rh, Pd, Ag, Pt, and Au. Many of these metallic surfaces have technological or catalytic applications. We compare experimental reference values to those of the local density approximation (LDA), the Perdew-Burke-Ernzerhof (PBE) generalized gradient appro…
▽ More
We have computed the surface energies, work functions, and interlayer surface relaxations of clean (111), (110), and (100) surfaces of Al, Cu, Ru, Rh, Pd, Ag, Pt, and Au. Many of these metallic surfaces have technological or catalytic applications. We compare experimental reference values to those of the local density approximation (LDA), the Perdew-Burke-Ernzerhof (PBE) generalized gradient approximation (GGA), the PBEsol (PBE for solids) GGA, the SCAN meta-GGA, and SCAN+rVV10 (SCAN with a long-range van der Waals or vdW correction). The closest agreement with uncertain experimental values is achieved by the simplest density functional (LDA) and by the most sophisticated general-purpose one (SCAN+rVV10). The long-range vdW interaction increases the surface energies by about 10%, and the work functions by about 1%. LDA works for metal surfaces through a stronger-than-usual error cancellation. PBE yields the most-underestimated and presumably least accurate surface energies and work functions. Surface energies within the random phase approximation (RPA) are also reported. Interlayer relaxations from different functionals are in reasonable agreement with one another, and usually with experiment.
△ Less
Submitted 18 May, 2017; v1 submitted 22 February, 2017;
originally announced February 2017.
-
DeepSurv: Personalized Treatment Recommender System Using A Cox Proportional Hazards Deep Neural Network
Authors:
Jared Katzman,
Uri Shaham,
Jonathan Bates,
Alexander Cloninger,
Tingting Jiang,
Yuval Kluger
Abstract:
Medical practitioners use survival models to explore and understand the relationships between patients' covariates (e.g. clinical and genetic features) and the effectiveness of various treatment options. Standard survival models like the linear Cox proportional hazards model require extensive feature engineering or prior medical knowledge to model treatment interaction at an individual level. Whil…
▽ More
Medical practitioners use survival models to explore and understand the relationships between patients' covariates (e.g. clinical and genetic features) and the effectiveness of various treatment options. Standard survival models like the linear Cox proportional hazards model require extensive feature engineering or prior medical knowledge to model treatment interaction at an individual level. While nonlinear survival methods, such as neural networks and survival forests, can inherently model these high-level interaction terms, they have yet to be shown as effective treatment recommender systems. We introduce DeepSurv, a Cox proportional hazards deep neural network and state-of-the-art survival method for modeling interactions between a patient's covariates and treatment effectiveness in order to provide personalized treatment recommendations. We perform a number of experiments training DeepSurv on simulated and real survival data. We demonstrate that DeepSurv performs as well as or better than other state-of-the-art survival models and validate that DeepSurv successfully models increasingly complex relationships between a patient's covariates and their risk of failure. We then show how DeepSurv models the relationship between a patient's features and effectiveness of different treatment options to show how DeepSurv can be used to provide individual treatment recommendations. Finally, we train DeepSurv on real clinical studies to demonstrate how it's personalized treatment recommendations would increase the survival time of a set of patients. The predictive and modeling capabilities of DeepSurv will enable medical researchers to use deep neural networks as a tool in their exploration, understanding, and prediction of the effects of a patient's characteristics on their risk of failure.
△ Less
Submitted 8 August, 2017; v1 submitted 2 June, 2016;
originally announced June 2016.
-
Benchmark tests of a strongly constrained semilocal functional with a long-range dispersion correction
Authors:
J. G. Brandenburg,
J. E. Bates,
A. Ruzsinszky,
J. Sun,
J. P. Perdew
Abstract:
The strongly constrained and appropriately normed (SCAN) semilocal density functional [J. Sun, A. Ruzsinszky, J. P. Perdew \textit{Phys. Rev. Lett.} {\bf 115}, 036402 (2015)] obeys all 17 known exact constraints for meta-generalized-gradient approximations (meta-GGA) and includes some medium range correlation effects. Long-range London dispersion interactions are still missing, but can be accounte…
▽ More
The strongly constrained and appropriately normed (SCAN) semilocal density functional [J. Sun, A. Ruzsinszky, J. P. Perdew \textit{Phys. Rev. Lett.} {\bf 115}, 036402 (2015)] obeys all 17 known exact constraints for meta-generalized-gradient approximations (meta-GGA) and includes some medium range correlation effects. Long-range London dispersion interactions are still missing, but can be accounted for via an appropriate correction scheme. In this study, we combine SCAN with an efficient London dispersion correction and show that lattice energies of simple organic crystals can be improved with the applied correction by 50\%. The London-dispersion corrected SCAN meta-GGA outperforms all other tested London-dispersion corrected meta-GGAs for molecular geometries. Our new method delivers mean absolute deviations (MADs) for main group bond lengths that are consistently below 1\,pm, rotational constants with MADs of 0.2\%, and noncovalent distances with MADs below 1\%. For a large database of general main group thermochemistry and kinetics, it also delivers a weighted mean absolute deviation below 4 kcal/mol, one of the lowest for long-range corrected meta-GGA functionals. We also discuss some consequences of numerical sensitivity encountered for meta-GGAs.
△ Less
Submitted 23 May, 2016;
originally announced May 2016.
-
The embedding dimension of Laplacian eigenfunction maps
Authors:
Jonathan Bates
Abstract:
Any closed, connected Riemannian manifold $M$ can be smoothly embedded by its Laplacian eigenfunction maps into $\mathbb{R}^m$ for some $m$. We call the smallest such $m$ the maximal embedding dimension of $M$. We show that the maximal embedding dimension of $M$ is bounded from above by a constant depending only on the dimension of $M$, a lower bound for injectivity radius, a lower bound for Ricci…
▽ More
Any closed, connected Riemannian manifold $M$ can be smoothly embedded by its Laplacian eigenfunction maps into $\mathbb{R}^m$ for some $m$. We call the smallest such $m$ the maximal embedding dimension of $M$. We show that the maximal embedding dimension of $M$ is bounded from above by a constant depending only on the dimension of $M$, a lower bound for injectivity radius, a lower bound for Ricci curvature, and a volume bound. We interpret this result for the case of surfaces isometrically immersed in $\mathbb{R}^3$, showing that the maximal embedding dimension only depends on bounds for the Gaussian curvature, mean curvature, and surface area. Furthermore, we consider the relevance of these results for shape registration.
△ Less
Submitted 4 May, 2016;
originally announced May 2016.
-
Entropy Production and the Pressure-Volume Curve of the Lung
Authors:
Cláudio L. N. Oliveira,
Ascânio D. Araújo,
Jason H. T. Bates,
José S. Andrade Jr.,
Béla Suki
Abstract:
We investigate analytically the production of entropy during a breathing cycle in healthy and diseased lungs. First, we calculate entropy production in healthy lungs by applying the laws of thermodynamics to the well-known transpulmonary pressure-volume ($P-V$) curves of the lung under the assumption that lung tissue behaves as an entropy spring-like rubber. The bulk modulus, $B$, of the lung is a…
▽ More
We investigate analytically the production of entropy during a breathing cycle in healthy and diseased lungs. First, we calculate entropy production in healthy lungs by applying the laws of thermodynamics to the well-known transpulmonary pressure-volume ($P-V$) curves of the lung under the assumption that lung tissue behaves as an entropy spring-like rubber. The bulk modulus, $B$, of the lung is also derived from these calculations. Second, we extend this approach to elastic recoil disorders of the lung such as occur in pulmonary fibrosis and emphysema. These diseases are characterized by particular alterations in the $P-V$ relationship. For example, in fibrotic lungs $B$ increases monotonically with disease progression, while in emphysema the opposite occurs. These diseases can thus be mimicked simply by making appropriate adjustments to the parameters of the $P-V$ curve. Using Clausius's formalism, we show that entropy production, $ΔS$, is related to the hysteresis area, $ΔA$, enclosed by the $P-V$ curve during a breathing cycle, namely, $ΔS=ΔA/T$, where $T$ is the body temperature. Although $ΔA$ is highly dependent on the disease, such formula applies to healthy as well as diseased lungs, regardless of the disease stage. Finally, we use {\it ansatzs} to predict analytically the entropy produced by the fibrotic and emphysematous lungs.
△ Less
Submitted 28 September, 2015;
originally announced September 2015.
-
Numerical algebraic geometry for model selection and its application to the life sciences
Authors:
Elizabeth Gross,
Brent Davis,
Kenneth L. Ho,
Daniel J. Bates,
Heather A. Harrington
Abstract:
Researchers working with mathematical models are often confronted by the related problems of parameter estimation, model validation, and model selection. These are all optimization problems, well-known to be challenging due to non-linearity, non-convexity and multiple local optima. Furthermore, the challenges are compounded when only partial data is available. Here, we consider polynomial models (…
▽ More
Researchers working with mathematical models are often confronted by the related problems of parameter estimation, model validation, and model selection. These are all optimization problems, well-known to be challenging due to non-linearity, non-convexity and multiple local optima. Furthermore, the challenges are compounded when only partial data is available. Here, we consider polynomial models (e.g., mass-action chemical reaction networks at steady state) and describe a framework for their analysis based on optimization using numerical algebraic geometry. Specifically, we use probability-one polynomial homotopy continuation methods to compute all critical points of the objective function, then filter to recover the global optima. Our approach exploits the geometric structures relating models and data, and we demonstrate its utility on examples from cell signaling, synthetic biology, and epidemiology.
△ Less
Submitted 1 April, 2016; v1 submitted 15 July, 2015;
originally announced July 2015.
-
Software for the Gale transform of fewnomial systems and a Descartes rule for fewnomials
Authors:
Daniel J. Bates,
Jonathan D. Hauenstein,
Matthew E. Niemerg,
Frank Sottile
Abstract:
We give a Descartes'-like bound on the number of positive solutions to a system of fewnomials that holds when its exponent vectors are not in convex position and a sign condition is satisfied. This was discovered while develo** algorithms and software for computing the Gale transform of a fewnomial system, which is our main goal. This software is a component of a package we are develo** for Kh…
▽ More
We give a Descartes'-like bound on the number of positive solutions to a system of fewnomials that holds when its exponent vectors are not in convex position and a sign condition is satisfied. This was discovered while develo** algorithms and software for computing the Gale transform of a fewnomial system, which is our main goal. This software is a component of a package we are develo** for Khovanskii-Rolle continuation, which is a numerical algorithm to compute the real solutions to a system of fewnomials.
△ Less
Submitted 20 May, 2015;
originally announced May 2015.
-
A network model of correlated growth of tissue stiffening in pulmonary fibrosis
Authors:
Cláudio L. N. Oliveira,
Jason H. T. Bates,
Béla Suki
Abstract:
During the progression of pulmonary fibrosis, initially isolated regions of high stiffness form and grow in the lung tissue due to collagen deposition by fibroblast cells. We have previously shown that ongoing collagen deposition may not lead to significant increases in the bulk modulus of the lung until these local remodeled regions have become sufficiently numerous and extensive to percolate in…
▽ More
During the progression of pulmonary fibrosis, initially isolated regions of high stiffness form and grow in the lung tissue due to collagen deposition by fibroblast cells. We have previously shown that ongoing collagen deposition may not lead to significant increases in the bulk modulus of the lung until these local remodeled regions have become sufficiently numerous and extensive to percolate in a continuous path across the entire tissue [Bates {\it et al.} 2007 {\it Am. J. Respir. Crit. Care Med.} {\bf 176} 617]. In the present study, we investigate whether spatial correlations influence the bulk modulus in a two-dimensional elastic network model of lung tissue. Random collagen deposition at a single site is modeled by increasing the elastic constant of the spring at that site by a factor of 100.
By contrast, correlated collagen deposition is represented by stiffening the springs encountered along a random walk starting from some initial spring, the rationale being that excess collagen deposition is more likely in the vicinity of an already stiff region. A combination of random and correlated deposition is modeled by performing random walks of length $N$ from randomly selected initial sites, the balance between the two processes being determined by $N$. We found that the dependence of bulk modulus, $B(N,c)$, on both $N$ and the fraction of stiff springs, $c$, can be described by a strikingly simple set of empirical equations.
Our results suggest that the spatial correlation of collagen deposition in the fibrotic lung has a strong effect on the rate of lung function decline and on the mechanical environment in which the cells responsible for remodeling find themselves.
△ Less
Submitted 25 December, 2013;
originally announced December 2013.
-
Bertini for Macaulay2
Authors:
Daniel J. Bates,
Elizabeth Gross,
Anton Leykin,
Jose Israel Rodriguez
Abstract:
Numerical algebraic geometry is the field of computational mathematics concerning the numerical solution of polynomial systems of equations. Bertini, a popular software package for computational applications of this field, includes implementations of a variety of algorithms based on polynomial homotopy continuation. The Macaulay2 package Bertini.m2 provides an interface to Bertini, making it possi…
▽ More
Numerical algebraic geometry is the field of computational mathematics concerning the numerical solution of polynomial systems of equations. Bertini, a popular software package for computational applications of this field, includes implementations of a variety of algorithms based on polynomial homotopy continuation. The Macaulay2 package Bertini.m2 provides an interface to Bertini, making it possible to access the core run modes of Bertini in Macaulay2. With these run modes, users can find approximate solutions to zero-dimensional systems and positive-dimensional systems, test numerically whether a point lies on a variety, sample numerically from a variety, and perform parameter homotopy runs.
△ Less
Submitted 11 October, 2013;
originally announced October 2013.
-
An Analysis of the Connections Between Layers of Deep Neural Networks
Authors:
Eugenio Culurciello,
Jonghoon **,
Aysegul Dundar,
Jordan Bates
Abstract:
We present an analysis of different techniques for selecting the connection be- tween layers of deep neural networks. Traditional deep neural networks use ran- dom connection tables between layers to keep the number of connections small and tune to different image features. This kind of connection performs adequately in supervised deep networks because their values are refined during the training.…
▽ More
We present an analysis of different techniques for selecting the connection be- tween layers of deep neural networks. Traditional deep neural networks use ran- dom connection tables between layers to keep the number of connections small and tune to different image features. This kind of connection performs adequately in supervised deep networks because their values are refined during the training. On the other hand, in unsupervised learning, one cannot rely on back-propagation techniques to learn the connections between layers. In this work, we tested four different techniques for connecting the first layer of the network to the second layer on the CIFAR and SVHN datasets and showed that the accuracy can be im- proved up to 3% depending on the technique used. We also showed that learning the connections based on the co-occurrences of the features does not confer an advantage over a random connection table in small networks. This work is helpful to improve the efficiency of connections between the layers of unsupervised deep neural networks.
△ Less
Submitted 1 June, 2013;
originally announced June 2013.
-
Non-Gaussian Stochastic Gravity
Authors:
Jason D. Bates
Abstract:
This paper presents a new, non-Gaussian formulation of stochastic gravity by incorporating the higher moments of the fluctuations of the quantum stress energy tensor for a free quantum scalar field in a consistent way. A scheme is developed for obtaining realizations of these fluctuations in terms of the Wightman function, and the behavior of the fluctuations is investigated. The resulting probabi…
▽ More
This paper presents a new, non-Gaussian formulation of stochastic gravity by incorporating the higher moments of the fluctuations of the quantum stress energy tensor for a free quantum scalar field in a consistent way. A scheme is developed for obtaining realizations of these fluctuations in terms of the Wightman function, and the behavior of the fluctuations is investigated. The resulting probability distribution for fluctuations of the energy density in Minkowski spacetime is found to be similar to a shifted Gamma distribution. This distribution features a minimum energy density cutoff at a small negative value, but a sharp peak in the vicinity of this cutoff such that the total probability of observing a negative value is approximately 62%, balanced by correspondingly larger but rarer positive values.
△ Less
Submitted 16 May, 2013;
originally announced May 2013.
-
Stochastic Force Due to a Quantum Scalar Field in Minkowski Spacetime
Authors:
Jason D. Bates
Abstract:
A method is presented for computing approximate expressions for the stochastic force term $ξ_{ab}$ which appears in the Einstein-Langevin equation of stochastic gravity. Within this framework, $ξ_{ab}$ is a stochastic tensor field whose probability distribution mimics the probability distribution of the fluctuations of the quantum stress tensor operator; it is defined to be a random tensor field o…
▽ More
A method is presented for computing approximate expressions for the stochastic force term $ξ_{ab}$ which appears in the Einstein-Langevin equation of stochastic gravity. Within this framework, $ξ_{ab}$ is a stochastic tensor field whose probability distribution mimics the probability distribution of the fluctuations of the quantum stress tensor operator; it is defined to be a random tensor field of zero mean whose correlation function is given by the expectation value of the symmetrized two point function of the stress energy fluctuation operator, called the noise kernel. Approximate expressions are obtained by means of a truncated Karhunen-Loeve transform defined on a random lattice of spacetime points. Due to the singular nature of the noise kernel, a coarse graining procedure is used to regulate divergences; as a result, the expressions obtained for $ξ_{ab}$ approximate values which might be seen by a probe measuring fluctuations in the stress energy using a sampling profile of finite width. Two realizations of $ξ_{ab}$ in Minkowski spacetime for the conformally invariant quantum scalar field in the Minkowski vacuum state are presented.
△ Less
Submitted 7 March, 2013;
originally announced March 2013.
-
Clustering Learning for Robotic Vision
Authors:
Eugenio Culurciello,
Jordan Bates,
Aysegul Dundar,
Jose Carrasco,
Clement Farabet
Abstract:
We present the clustering learning technique applied to multi-layer feedforward deep neural networks. We show that this unsupervised learning technique can compute network filters with only a few minutes and a much reduced set of parameters. The goal of this paper is to promote the technique for general-purpose robotic vision systems. We report its use in static image datasets and object tracking…
▽ More
We present the clustering learning technique applied to multi-layer feedforward deep neural networks. We show that this unsupervised learning technique can compute network filters with only a few minutes and a much reduced set of parameters. The goal of this paper is to promote the technique for general-purpose robotic vision systems. We report its use in static image datasets and object tracking datasets. We show that networks trained with clustering learning can outperform large networks trained for many hours on complex datasets.
△ Less
Submitted 13 March, 2013; v1 submitted 13 January, 2013;
originally announced January 2013.
-
Exact noise kernel for quantum fields in static de Sitter and conformally-flat spacetimes
Authors:
Jason D. Bates,
Hing-Tong Cho,
Paul R. Anderson,
B. L. Hu
Abstract:
We compute exact expressions of the noise kernel, defined as the expectation value of the symmetrized connected stress energy bitensor, for conformally-invariant scalar fields with respect to the conformal vacuum, valid for an arbitrary separation (timelike, spacelike and null) of points in a class of conformally-flat spacetimes. We derive explicit expressions for the noise kernel evaluated in the…
▽ More
We compute exact expressions of the noise kernel, defined as the expectation value of the symmetrized connected stress energy bitensor, for conformally-invariant scalar fields with respect to the conformal vacuum, valid for an arbitrary separation (timelike, spacelike and null) of points in a class of conformally-flat spacetimes. We derive explicit expressions for the noise kernel evaluated in the static de Sitter coordinates with respect to the Gibbons-Hawking vacuum and analyze the behavior of the noise kernel in the region near the cosmological horizon. We develop a quasi-local expansion near the cosmological horizon and compare it with the exact results. This gives insight into the likely range of validity of the quasi-local approximation expressions for the noise kernel for the conformally invariant scalar field in Schwarzschild spacetime which are given in PHYSICAL REVIEW D{\bf 85}, 044037 (2012).
△ Less
Submitted 11 January, 2013;
originally announced January 2013.
-
Noise kernel for a quantum field in Schwarzschild spacetime under the Gaussian approximation
Authors:
A. Eftekharzadeh,
Jason D. Bates,
Albert Roura,
Paul R. Anderson,
B. L. Hu
Abstract:
A method is given to compute an approximation to the noise kernel, defined as the symmetrized connected 2-point function of the stress tensor, for the conformally invariant scalar field in any spacetime conformal to an ultra-static spacetime for the case in which the field is in a thermal state at an arbitrary temperature. The most useful applications of the method are flat space where the approxi…
▽ More
A method is given to compute an approximation to the noise kernel, defined as the symmetrized connected 2-point function of the stress tensor, for the conformally invariant scalar field in any spacetime conformal to an ultra-static spacetime for the case in which the field is in a thermal state at an arbitrary temperature. The most useful applications of the method are flat space where the approximation is exact and Schwarzschild spacetime where the approximation is better than it is in most other spacetimes. The two points are assumed to be separated in a timelike or spacelike direction. The method involves the use of a Gaussian approximation which is of the same type as that used by Page to compute an approximate form of the stress tensor for this field in Schwarzschild spacetime. All components of the noise kernel have been computed exactly for hot flat space and one component is explicitly displayed. Several components have also been computed for Schwarzschild spacetime and again one component is explicitly displayed.
△ Less
Submitted 31 October, 2011; v1 submitted 22 November, 2010;
originally announced November 2010.
-
Toward a salmon conjecture
Authors:
Daniel J. Bates,
Luke Oeding
Abstract:
By using a result from the numerical algebraic geometry package Bertini we show that (up to high numerical accuracy) a specific set of degree 6 and degree 9 polynomials cut out the secant variety $σ_{4}(\mathbb{P}^{2}\times \mathbb{P} ^{2} \times \mathbb{P} ^{3})$. This, combined with an argument provided by Landsberg and Manivel (whose proof was corrected by Friedland), implies set-theoretic defi…
▽ More
By using a result from the numerical algebraic geometry package Bertini we show that (up to high numerical accuracy) a specific set of degree 6 and degree 9 polynomials cut out the secant variety $σ_{4}(\mathbb{P}^{2}\times \mathbb{P} ^{2} \times \mathbb{P} ^{3})$. This, combined with an argument provided by Landsberg and Manivel (whose proof was corrected by Friedland), implies set-theoretic defining equations in degrees 5, 6 and 9 for a much larger set of secant varieties, including $σ_{4}(\mathbb{P}^{3}\times \mathbb{P} ^{3} \times \mathbb{P} ^{3})$ which is of particular interest in light of the salmon prize offered by E. Allman for the ideal-theoretic defining equations.
△ Less
Submitted 2 February, 2011; v1 submitted 30 September, 2010;
originally announced September 2010.
-
Effects of Quantized Scalar Fields in Cosmological Spacetimes with Big Rip Singularities
Authors:
Jason D. Bates,
Paul R. Anderson
Abstract:
Effects of quantized free scalar fields in cosmological spacetimes with Big Rip singularities are investigated. The energy densities for these fields are computed at late times when the expansion is very rapid. For the massless minimally coupled field it is shown that an attractor state exists in the sense that, for a large class of states, the energy density of the field asymptotically approaches…
▽ More
Effects of quantized free scalar fields in cosmological spacetimes with Big Rip singularities are investigated. The energy densities for these fields are computed at late times when the expansion is very rapid. For the massless minimally coupled field it is shown that an attractor state exists in the sense that, for a large class of states, the energy density of the field asymptotically approaches the energy density it would have if it was in the attractor state. Results of numerical computations of the energy density for the massless minimally coupled field and for massive fields with minimal and conformal coupling to the scalar curvature are presented. For the massive fields the energy density is seen to always asymptotically approach that of the corresponding massless field. The question of whether the energy densities of quantized fields can be large enough for backreaction effects to remove the Big Rip singularity is addressed.
△ Less
Submitted 22 April, 2011; v1 submitted 26 April, 2010;
originally announced April 2010.
-
Bounds on the number of real solutions to polynomial equations
Authors:
Daniel J. Bates,
Frédéric Bihan,
Frank Sottile
Abstract:
We use Gale duality for polynomial complete intersections and adapt the proof of the fewnomial bound for positive solutions to obtain the bound (e^4+3) 2^(k choose 2) n^k/4 for the number of non-zero real solutions to a system of n polynomials in n variables having n+k+1 monomials whose exponent vectors generate a subgroup of Z^n of odd index. This bound exceeds the bound for positive solutions…
▽ More
We use Gale duality for polynomial complete intersections and adapt the proof of the fewnomial bound for positive solutions to obtain the bound (e^4+3) 2^(k choose 2) n^k/4 for the number of non-zero real solutions to a system of n polynomials in n variables having n+k+1 monomials whose exponent vectors generate a subgroup of Z^n of odd index. This bound exceeds the bound for positive solutions only by the constant factor (e^4+3)/(e^2+3) and it is asymptotically sharp for k fixed and n large.
△ Less
Submitted 3 October, 2007; v1 submitted 27 June, 2007;
originally announced June 2007.
-
Multiprecision path tracking
Authors:
Daniel J. Bates,
Andrew J. Sommese,
Charles W. Wampler
Abstract:
A path tracking algorithm that adaptively adjusts precision is presented. By adjusting the level of precision in accordance with the numerical conditioning of the path, the algorithm achieves high reliability with less computational cost than would be incurred by raising precision across the board. We develop simple rules for adjusting precision and show how to integrate these into an algorithm…
▽ More
A path tracking algorithm that adaptively adjusts precision is presented. By adjusting the level of precision in accordance with the numerical conditioning of the path, the algorithm achieves high reliability with less computational cost than would be incurred by raising precision across the board. We develop simple rules for adjusting precision and show how to integrate these into an algorithm that also adaptively adjusts the step size. The behavior of the method is illustrated on several examples arising as homotopies for solving systems of polynomial equations.
△ Less
Submitted 3 May, 2006;
originally announced May 2006.
-
Solution of polynomial systems derived from differential equations
Authors:
E. L. Allgower,
D. J. Bates,
A. J. Sommese,
C. W. Wampler
Abstract:
Nonlinear two-point boundary value problems arise in numerous areas of application. The existence and number of solutions for various cases has been studied from a theoretical standpoint. These results generally rely upon growth conditions of the nonlinearity. However, in general, one cannot forecast how many solutions a boundary value problem may possess or even determine the existence of a sol…
▽ More
Nonlinear two-point boundary value problems arise in numerous areas of application. The existence and number of solutions for various cases has been studied from a theoretical standpoint. These results generally rely upon growth conditions of the nonlinearity. However, in general, one cannot forecast how many solutions a boundary value problem may possess or even determine the existence of a solution. In recent years numerical continuation methods have been developed which permit the numerical approximation of all complex solutions of systems of polynomial equations. In this paper, numerical continuation methods are adapted to numerically calculate the solutions of finite difference discretizations of nonlinear two-point boundary value problems. The approach taken here is to perform a homotopy deformation to successively refine discretizations. In this way additional new solutions on finer meshes are obtained from solutions on coarser meshes. The complicating issue which the complex polynomial system setting introduces is that the number of solutions grows with the number of mesh points of the discretization. To counter this, the use of filters to limit the number of paths to be followed at each stage is considered.
△ Less
Submitted 24 May, 2005;
originally announced May 2005.
-
A New Look At Carbon Abundances In Planetary Nebulae. IV. Implications For Stellar Nucleosynthesis
Authors:
R. B. C. Henry,
K. B. Kwitter,
J. A. Bates
Abstract:
This paper is the fourth and final report on a project designed to study carbon abundances in a sample of planetary nebulae representing a broad range in progenitor mass and metallicity. We present newly acquired optical spectrophotometric data for three Galactic planetary nebulae IC 418, NGC 2392, and NGC 3242 and combine them with UV data from the IUE Final Archive for identical positions in e…
▽ More
This paper is the fourth and final report on a project designed to study carbon abundances in a sample of planetary nebulae representing a broad range in progenitor mass and metallicity. We present newly acquired optical spectrophotometric data for three Galactic planetary nebulae IC 418, NGC 2392, and NGC 3242 and combine them with UV data from the IUE Final Archive for identical positions in each nebula to determine accurate abundances of He, C, N, O, and Ne at one or more locations in each object. We then collect abundances of these elements for the entire sample and compare them with theoretical predictions of planetary nebula abundances from a grid of intermediate mass star models. We find some consistency between observations and theory, lending modest support to our current understanding of nucleosynthesis in stars below 8 M_o in birth mass. Overall, we believe that observed abundances agree with theoretical predictions to well within an order of magnitude but probably not better than within a factor of 2 or 3. But even this level of consistency between observation and theory enhances the validity of published intermediate-mass stellar yields of carbon and nitrogen in the study of the abundance evolution of these elements.
△ Less
Submitted 19 October, 1999;
originally announced October 1999.
-
Toroidal Vortices in Resistive Magnetohydrodynamic Equilibria
Authors:
David Montgomery,
Jason W. Bates,
Shuojun Li
Abstract:
Resistive steady states in toroidal magnetohydrodynamics (MHD), where Ohm's law must be taken into account, differ considerably from ideal ones. Only for special (and probably unphysical) resistivity profiles can the Lorentz force, in the static force-balance equation, be expressed as the gradient of a scalar and thus cancel the gradient of a scalar pressure. In general, the Lorentz force has a…
▽ More
Resistive steady states in toroidal magnetohydrodynamics (MHD), where Ohm's law must be taken into account, differ considerably from ideal ones. Only for special (and probably unphysical) resistivity profiles can the Lorentz force, in the static force-balance equation, be expressed as the gradient of a scalar and thus cancel the gradient of a scalar pressure. In general, the Lorentz force has a curl directed so as to generate toroidal vorticity. Here, we calculate, for a collisional, highly viscous magnetofluid, the flows that are required for an axisymmetric toroidal steady state, assuming uniform scalar resistivity and viscosity. The flows originate from paired toroidal vortices (in what might be called a ``double smoke ring'' configuration), and are thought likely to be ubiquitous in the interior of toroidally driven magnetofluids of this type. The existence of such vortices is conjectured to characterize magnetofluids beyond the high-viscosity limit in which they are readily calculable.
△ Less
Submitted 7 October, 1996;
originally announced October 1996.
-
Resistive Magnetohydrodynamic Equilibria in a Torus
Authors:
David Montgomery,
Jason W. Bates,
H. Ralph Lewis
Abstract:
It was recently demonstrated that static, resistive, magnetohydrodynamic equilibria, in the presence of spatially-uniform electrical conductivity, do not exist in a torus under a standard set of assumed symmetries and boundary conditions. The difficulty, which goes away in the ``periodic straight cylinder approximation,'' is associated with the necessarily non-vanishing character of the curl of…
▽ More
It was recently demonstrated that static, resistive, magnetohydrodynamic equilibria, in the presence of spatially-uniform electrical conductivity, do not exist in a torus under a standard set of assumed symmetries and boundary conditions. The difficulty, which goes away in the ``periodic straight cylinder approximation,'' is associated with the necessarily non-vanishing character of the curl of the Lorentz force, j x B. Here, we ask if there exists a spatial profile of electrical conductivity that permits the existence of zero-flow, axisymmetric r esistive equilibria in a torus, and answer the question in the affirmative. However, the physical properties of the conductivity profile are unusual (the conductivity cannot be constant on a magnetic surface, for example) and whether such equilibria are to be considered physically possible remains an open question.
△ Less
Submitted 7 October, 1996;
originally announced October 1996.