arXiv subjects

Charles W. Wampler

Publications and source records attributed to Charles W. Wampler.

6 recordsLinked to original sources

arXiv2026

Common Real Secants to Pairs of Real Twisted Cubic Curves

It is well established that a general pair of twisted cubic curves in complex projective space has ten common secant lines. As an initial investigation, we show that the monodromy group of the ten common secant lines over the complex numbers is the full symmetric group demonstrating that the common secant lines have no special structure over the complex numbers. We then investigate a novel question in real algebraic geometry: describe the possible collections of ten common secant lines to a pair of real projective twisted cubic curves. In addition to distinguishing between real and nonreal secant lines, we introduce a refinement of this classification which takes intersection points into account yielding totally real, partially real, and minimally real secant lines. Using computational algebraic geometry as well as combinatorics, we show that for each $k$ between 0 and 10, there exist pairs of real twisted cubic curves with exactly $k$ common totally real secant lines. We also obtain examples of real twisted cubics whose sets of common real secants cover a wide range of possibilities within our admissible classification of common real secant lines.

math.AG↗

arXiv2024

Robust Numerical Algebraic Geometry

The field of numerical algebraic geometry consists of algorithms for numerically solving systems of polynomial equations. When the system is exact, such as having rational coefficients, the solution set is well-defined. However, for a member of a parameterized family of polynomial systems where the parameter values may be measured with imprecision or arise from prior numerical computations, uncertainty may arise in the structure of the solution set, including the number of isolated solutions, the existence of higher dimensional solution components, and the number of irreducible components along with their multiplicities. The loci where these structures change form a stratification of exceptional algebraic sets in the space of parameters. We describe methodologies for making the interpretation of numerical results more robust by searching for nearby parameter values on an exceptional set. We demonstrate these techniques on several illustrative examples and then treat several more substantial problems arising from the kinematics of mechanisms and robots.

math.NA↗

arXiv2011

On Searching for Small Kochen-Specker Vector Systems (extended version)

Kochen-Specker (KS) vector systems are sets of vectors in R^3 with the property that it is impossible to assign 0s and 1s to the vectors in such a way that no two orthogonal vectors are assigned 0 and no three mutually orthogonal vectors are assigned 1. The existence of such sets forms the basis of the Kochen-Specker and Free Will theorems. Currently, the smallest known KS vector system contains 31 vectors. In this paper, we establish a lower bound of 18 on the size of any KS vector system. This requires us to consider a mix of graph-theoretic and topological embedding problems, which we investigate both from theoretical and practical angles. We propose several algorithms to tackle these problems and report on extensive experiments. At the time of writing, a large gap remains between the best lower and upper bounds for the minimum size of KS vector systems.

quant-ph↗

arXiv2006

Multiprecision path tracking

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.

math.NA↗

arXiv2005

Solving Polynomial Systems Equation by Equation

By a numerical continuation method called a diagonal homotopy we can compute the intersection of two positive dimensional solution sets of polynomial systems. This paper proposes to use this diagonal homotopy as the key step in a procedure to intersect general solution sets. Of particular interest is the special case where one of the sets is defined by a single polynomial equation. This leads to an algorithm for finding a numerical representation of the solution set of a system of polynomial equations introducing the equations one-by-one. Preliminary computational experiments show this approach can exploit the special structure of a polynomial system, which improves the performance of the path following algorithms.

math.NA↗

arXiv2004

An intrinsic homotopy for intersecting algebraic varieties

Recently we developed a diagonal homotopy method to compute a numerical representation of all positive dimensional components in the intersection of two irreducible algebraic sets. In this paper, we rewrite this diagonal homotopy in intrinsic coordinates, which reduces the number of variables, typically in half. This has the potential to save a significant amount of computation, especially in the iterative solving portion of the homotopy path tracker. There numerical experiments all show a speedup of about a factor two.

math.NA↗