Research Output per year

# Project Details

### Description

Connectedness, as in "can we get there from here", is a fundamental concept, both in actual space and in various abstract spaces. Consider a long ladder in a right-angled corridor: can it get round the corner? Calling it a corridor implies that it is connected in actual three-dimensional space. But if we consider the space of configurations of the ladder, this is determined by the position and orientation of the ladder, and the `corridor' is now the requirement that no part of the ladder run into the walls - it is not sufficient that the ends of the ladder be clear of the walls. If the ladder is too long, it may have two feasible positions, one in each arm of the corridor, but there may be no possible way to get from one to the other. In this case we say that the configuration space of the ladder is not connected: we can't get the ladder there from here, even though we can get each end (taken separately, which is physically impossible) from here to there. Connectedness in configuration space is therefore the key to motion planning. These are problems human beings (especially furniture movers, or people trying to park cars in confined spaces) solve intuitively, but find very hard to explain. Note that the ladder is rigid and three-dimensional, hence its position is determined by the coordinates of three points on it, so configuration space is nine-dimensional. Connectedness in mathematical spaces is also important. The square root of 4 can be either 2 or -2: we have to decide which. Similarly, the square root of 9 can be 3 or -3. But, if 4 is connected to 9 in our problem space (whatever that is), we can't make these choices independently: our choice has to be consistent along the path from 4 to 9. When it is impossible to make such decisions totally consistently, we have what mathematicians call a `branch cut' - the classic example being the International Date Line, because it is impossible to assign `day' consistently round a globe. In previous work, we have shown that several mathematical paradoxes reduce to connectedness questions in an appropriate space divided by the relevant branch cuts. This is an area of mathematics which is notoriously difficult to get right by hand, and mathematicians, and software packages, often have internal inconsistencies when it comes to branch cuts. The standard computational approach to connectedness, which has been suggested in motion planning since the early 1980s, is via a technique called cylindrical algebraic decomposition. This has historically been computed via a "bottom-up" approach: we first analyse one direction, say the x-axis, decomposing it into all the critical points and intermediate regions necessary, then we take each (x,y)-cylinder above each critical point or region, and decompose it, then each (x,y,z) above each of these regions, and so on. Not only does this sound tedious, but it is inevitably tedious - the investigators and others have shown that the problem is extremely difficult (doubly exponential in the number of dimensions). Much of the time, notably in motion planning, we are not actually interested in the lower-dimensional components, since they would correspond to a motion with no degrees of freedom, rather like tightrope-walking. Recent Canadian developments have shown an alternative way of computing such decompositions via so-called triangular decompositions, and a 2010 paper (Moreno Maza in Canada + Davenport) has shown that the highest-dimensional components of a triangular decomposition can be computed in singly-exponential time. This therefore opens up the prospect, which we propose to investigate, of computing the highest-dimensional components of a cylindrical decomposition in singly-exponential time, which would be a major breakthrough in computational geometry.

Status | Finished |
---|---|

Effective start/end date | 1/10/11 → 31/12/15 |

### Funding

- Engineering and Physical Sciences Research Council

## Fingerprint Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.

## Research Output

### Identifying the parametric occurrence of multiple steady states for some biological networks

Bradford, R., Davenport, J. H., England, M., Errami, H., Gerdt, V., Grigoriev, D., Hoyt, C., Košta, M., Radulescu, O., Sturm, T. & Weber, A., 1 May 2020, In : Journal of Symbolic Computation. 98, p. 84-119 36 p.Research output: Contribution to journal › Article

2
Citations
(Scopus)

### Regular cylindrical algebraic decomposition

Davenport, J., Locatelli, A. & Sankaran, G., 29 Jul 2019, In : Journal of the London Mathematical Society.Research output: Contribution to journal › Article

Open Access

File

15
Downloads
(Pure)

### Using Machine Learning to Improve Cylindrical Algebraic Decomposition

Huang, Z., England, M., Wilson, D., Bridge, J., Davenport, J. & Paulson, L., 1 Dec 2019, In : Mathematics in Computer Science. 13, 4, p. 461-488 28 p.Research output: Contribution to journal › Article

Open Access

5
Citations
(Scopus)

## Datasets

### Real Geometry and Connectedness via Triangular Description: CAD Example Bank

Wilson, D. (Creator), University of Bath, Apr 2012

DOI: 10.15125/BATH-00069, http://www.cs.bath.ac.uk/~djw42/triangular/examplebank.html

Dataset

### Dataset supporting the paper: Improving the use of equational constraints in cylindrical algebraic decomposition

England, M. (Creator), Bradford, R. (Creator) & Davenport, J. (Creator), University of Bath, 2015

DOI: 10.15125/BATH-00071

Dataset

### Dataset supporting the paper: Truth table invariant cylindrical algebraic decomposition

England, M. (Creator), Bradford, R. (Creator), Davenport, J. (Creator), McCallum, S. (Creator) & Wilson, D. (Creator), University of Bath, 2015

DOI: 10.15125/BATH-00076

Dataset