Showing 1–14 of 14 results for author: Bates, D

Spatio-Temporal Performance of 2D Local Inertial Hydrodynamic Models for Urban Drainage and Dam-Break Applications

Authors: Marcus N. Gomes Jr., Maria A. R. A. Castro, Luis M. R. Castillo, Mateo H. Sánchez, Marcio H. Giacomoni, Rodrigo C. D. de Paiva, Paul D. Bates

Abstract: Accurate flood modeling is crucial for effective analysis and forecasting. Full momentum hydrodynamic models often require extensive computational time, sometimes exceeding the forecast horizon. In contrast, low-complexity models, like local-inertial approximations, provide accurate results in subcritical flows but may have limited skillfulness in supercritical conditions. This paper explores two… ▽ More Accurate flood modeling is crucial for effective analysis and forecasting. Full momentum hydrodynamic models often require extensive computational time, sometimes exceeding the forecast horizon. In contrast, low-complexity models, like local-inertial approximations, provide accurate results in subcritical flows but may have limited skillfulness in supercritical conditions. This paper explores two main aspects: (i) the impact of urban infrastructure on 2D hydrodynamic modeling without detailed sewer and drainage data, and (ii) the accuracy of 2D local-inertial modeling using three numerical schemes (original formulation, s-centered, and s-upwind) in a dam-break scenario on complex, flat terrain. The HydroPol2D model is benchmarked against HEC-RAS 2D full momentum solver. We present one numerical case study and three real-world scenarios in São Paulo, Brazil: a detention pond with a $1$ in $100$-year inflow, a highly urbanized catchment with a $1$ in $50$-year hyetograph, and a dam-break scenario threatening a coastal city of nearly 200,000 residents. Results show that the model accurately simulates internal boundary conditions, achieving peak errors under 5\% compared to HEC-RAS 2D. However, neglecting urban infrastructure can lead to a 17.5\% difference in peak discharges at the outlet and significant mismatches in hydrographs, with computational times nearly doubling. The dam-break scenario demonstrates good predictive performance for maximum flood depths (CSI = $0.95$ for the original model, $0.92$ for s-centered, and $0.89$ for s-upwind), though the model's lack of convective inertia results in faster flood wave propagation than the full momentum solver. Notably, HydroPol2D is 23 times faster than HEC-RAS 2D, making it well-suited for simulating dam collapses in forecasting systems and capable of modeling urban drainage infrastructure such as orifices, weirs, and pumps. △ Less

Submitted 11 October, 2024; originally announced October 2024.

Comments: 1 table and 10 figures, under review

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.

Comments: 40 pages, many figures

MSC Class: 14Q65; 65H14

Fast Neural Network based Solving of Partial Differential Equations

Authors: Jaroslaw Rzepecki, Daniel Bates, Chris Doran

Abstract: We present a novel method for using Neural Networks (NNs) for finding solutions to a class of Partial Differential Equations (PDEs). Our method builds on recent advances in Neural Radiance Field research (NeRFs) and allows for a NN to converge to a PDE solution much faster than classic Physically Informed Neural Network (PINNs) approaches. We present a novel method for using Neural Networks (NNs) for finding solutions to a class of Partial Differential Equations (PDEs). Our method builds on recent advances in Neural Radiance Field research (NeRFs) and allows for a NN to converge to a PDE solution much faster than classic Physically Informed Neural Network (PINNs) approaches. △ Less

Submitted 27 May, 2022; v1 submitted 18 May, 2022; originally announced May 2022.

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.

Comments: Long version of ICMS extended abstract

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.

Comments: References added, additional clarifications

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 developing 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 developing 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 developing 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 developing 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.

Comments: 22 pages, 4 figures

MSC Class: 14P99; 65H10; 65H20 ACM Class: G.1.5

Operator Diagonalizations of Multiplier Sequences

Authors: Robert D. Bates

Abstract: We consider hyperbolicity preserving operators with respect to a new linear operator representation on $\mathbb{R}[x]$. In essence, we demonstrate that every Hermite and Laguerre multiplier sequence can be diagonalized into a sum of hyperbolicity preserving operators, where each of the summands forms a classical multiplier sequence. Interestingly, this does not work for other orthogonal bases; for… ▽ More We consider hyperbolicity preserving operators with respect to a new linear operator representation on $\mathbb{R}[x]$. In essence, we demonstrate that every Hermite and Laguerre multiplier sequence can be diagonalized into a sum of hyperbolicity preserving operators, where each of the summands forms a classical multiplier sequence. Interestingly, this does not work for other orthogonal bases; for example, this property fails for the Legendre basis. We establish many new formulas concerning the $Q_k$'s of Peetre's 1959 differential representation for linear operators in the specific case of Hermite and Laguerre diagonal differential operators. Additionally, we provide a new algebraic characterization of the Hermite multiplier sequences and also extend a recent result of T. Forgács and A. Piotrowski on hyperbolicity properties of the polynomial coefficients in hyperbolicity preserving Hermite diagonal differential operators. △ Less

Submitted 4 May, 2015; v1 submitted 6 April, 2014; originally announced April 2014.

Comments: 23 pages, Made more organized

Diagonal Differential Operators

Authors: Robert D. Bates

Abstract: We explore differential operators, $T$, that diagonalize on a simple basis, $\{B_n(x)\}_{n=0}^\infty$, with respect to some sequence of real numbers, $\{a_n\}_{n=0}^\infty$, and sequence of polynomials, $\{Q_k(x)\}_{k=0}^\infty$, as in $ T[B_n(x)]:=\left(\sum_{k=0}^\infty Q_k(x) D^k\right)B_n(x)=a_n B_n(x)$ for every $n\in\mathbb{N}_0$. We discover new relationships between the sequence,… ▽ More We explore differential operators, $T$, that diagonalize on a simple basis, $\{B_n(x)\}_{n=0}^\infty$, with respect to some sequence of real numbers, $\{a_n\}_{n=0}^\infty$, and sequence of polynomials, $\{Q_k(x)\}_{k=0}^\infty$, as in $ T[B_n(x)]:=\left(\sum_{k=0}^\infty Q_k(x) D^k\right)B_n(x)=a_n B_n(x)$ for every $n\in\mathbb{N}_0$. We discover new relationships between the sequence, $\{Q_k(x)\}_{k=0}^\infty$, and the sequence, $\{a_n\}_{n=0}^\infty$. We find new relationships between polynomial interpolated eigenvalues and the sequence, $\{°(Q_k(x))\}_{k=0}^\infty$. △ Less

Submitted 4 May, 2015; v1 submitted 1 February, 2014; originally announced February 2014.

Comments: Shortened the manuscript to contain just what is needed

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.

MSC Class: 65H10

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.

Comments: 15 pages. Updated to reflect the referees' suggestions. Also added ancillary files to the arXiv in this version

MSC Class: 14L30; 13A50; 14M12; 20G05; 15A72; 15A69

Khovanskii-Rolle continuation for real solutions

Authors: Dan Bates, Frank Sottile

Abstract: We present a new continuation algorithm to find all nondegenerate real solutions to a system of polynomial equations. Unlike homotopy methods, it is not based on a deformation of the system; instead, it traces real curves connecting the solutions of one system of equations to those of another, eventually leading to the desired real solutions. It also differs from homotopy methods in that it foll… ▽ More We present a new continuation algorithm to find all nondegenerate real solutions to a system of polynomial equations. Unlike homotopy methods, it is not based on a deformation of the system; instead, it traces real curves connecting the solutions of one system of equations to those of another, eventually leading to the desired real solutions. It also differs from homotopy methods in that it follows only real paths and computes no complex solutions of the original equations. The number of curves traced is bounded by the fewnomial bound for real solutions, and the method takes advantage of any slack in that bound. △ Less

Submitted 31 August, 2009; originally announced August 2009.

Comments: 21 pages, 7 figures

MSC Class: 14P99; 65H10; 65H20

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.

Comments: 5 pages

MSC Class: 14M25; 14P25; 52C35

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.

MSC Class: 65H10

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.

Comments: 12 pages, 1 figure, to appear in Computing