-
Knot probabilities in equilateral random polygons
Authors:
A. Xiong,
A. J. Taylor,
M. R. Dennis,
S. G. Whittington
Abstract:
We consider the probability of knotting in equilateral random polygons in Euclidean 3-dimensional space, which model, for instance, random polymers. Results from an extensive Monte Carlo dataset of random polygons indicate a universal scaling formula for the knotting probability with the number of edges. This scaling formula involves an exponential function, independent of knot type, with a power…
▽ More
We consider the probability of knotting in equilateral random polygons in Euclidean 3-dimensional space, which model, for instance, random polymers. Results from an extensive Monte Carlo dataset of random polygons indicate a universal scaling formula for the knotting probability with the number of edges. This scaling formula involves an exponential function, independent of knot type, with a power law factor that depends on the number of prime components of the knot. The unknot, appearing as a composite knot with zero components, scales with a small negative power law, contrasting with previous studies that indicated a purely exponential scaling. The methodology incorporates several improvements over previous investigations: our random polygon data set is generated using a fast, unbiased algorithm, and knotting is detected using an optimised set of knot invariants based on the Alexander polynomial.
△ Less
Submitted 16 August, 2021;
originally announced August 2021.
-
Guaranteeing Safety of Learned Perception Modules via Measurement-Robust Control Barrier Functions
Authors:
Sarah Dean,
Andrew J. Taylor,
Ryan K. Cosner,
Benjamin Recht,
Aaron D. Ames
Abstract:
Modern nonlinear control theory seeks to develop feedback controllers that endow systems with properties such as safety and stability. The guarantees ensured by these controllers often rely on accurate estimates of the system state for determining control actions. In practice, measurement model uncertainty can lead to error in state estimates that degrades these guarantees. In this paper, we seek…
▽ More
Modern nonlinear control theory seeks to develop feedback controllers that endow systems with properties such as safety and stability. The guarantees ensured by these controllers often rely on accurate estimates of the system state for determining control actions. In practice, measurement model uncertainty can lead to error in state estimates that degrades these guarantees. In this paper, we seek to unify techniques from control theory and machine learning to synthesize controllers that achieve safety in the presence of measurement model uncertainty. We define the notion of a Measurement-Robust Control Barrier Function (MR-CBF) as a tool for determining safe control inputs when facing measurement model uncertainty. Furthermore, MR-CBFs are used to inform sampling methodologies for learning-based perception systems and quantify tolerable error in the resulting learned models. We demonstrate the efficacy of MR-CBFs in achieving safety with measurement model uncertainty on a simulated Segway system.
△ Less
Submitted 29 October, 2020;
originally announced October 2020.
-
Safety-Critical Event Triggered Control via Input-to-State Safe Barrier Functions
Authors:
Andrew J. Taylor,
Pio Ong,
Jorge Cortes,
Aaron D. Ames
Abstract:
The efficient utilization of available resources while simultaneously achieving control objectives is a primary motivation in the event-triggered control paradigm. In many modern control applications, one such objective is enforcing the safety of a system. The goal of this paper is to carry out this vision by combining event-triggered and safety-critical control design. We discuss how a direct tra…
▽ More
The efficient utilization of available resources while simultaneously achieving control objectives is a primary motivation in the event-triggered control paradigm. In many modern control applications, one such objective is enforcing the safety of a system. The goal of this paper is to carry out this vision by combining event-triggered and safety-critical control design. We discuss how a direct transcription, in the context of safety, of event-triggered methods for stabilization may result in designs that are not implementable on real hardware due to the lack of a minimum interevent time. We provide a counterexample showing this phenomena and, building on the insight gained, propose an event-triggered control approach via Input to State Safe Barrier Functions that achieves safety while ensuring that interevent times are uniformly lower bounded. We illustrate our results in simulation.
△ Less
Submitted 15 March, 2020;
originally announced March 2020.
-
Knotting and weak knotting in confined, open random walks using virtual knots
Authors:
Keith Alexander,
Alexander J Taylor,
Mark R Dennis
Abstract:
We probe the character of knotting in open, confined polymers, assigning knot types to open curves by identifying their projections as virtual knots. In this sense, virtual knots are transitional, lying in between classical knot types, which are useful to classify the ambiguous nature of knotting in open curves. Modelling confined polymers using both lattice walks and ideal chains, we find an ense…
▽ More
We probe the character of knotting in open, confined polymers, assigning knot types to open curves by identifying their projections as virtual knots. In this sense, virtual knots are transitional, lying in between classical knot types, which are useful to classify the ambiguous nature of knotting in open curves. Modelling confined polymers using both lattice walks and ideal chains, we find an ensemble of random, tangled open curves whose knotting is not dominated by any single knot type, a behaviour we call weakly knotted. We compare cubically confined lattice walks and spherically confined ideal chains, finding the weak knotting probability in both families is quite similar and growing with length, despite the overall knotting probability being quite different. In contrast, the probability of weak knotting in unconfined walks is small at all lengths investigated. For spherically confined ideal chains, weak knotting is strongly correlated with the degree of confinement but is almost entirely independent of length. For ideal chains confined to tubes and slits, weak knotting is correlated with an adjusted degree of confinement, again with length having negligible effect.
△ Less
Submitted 24 July, 2019;
originally announced July 2019.
-
Proteins analysed as virtual knots
Authors:
Keith Alexander,
Alexander J Taylor,
Mark R Dennis
Abstract:
Long, flexible physical filaments are naturally tangled and knotted, from macroscopic string down to long-chain molecules. The existence of knotting in a filament naturally affects its configuration and properties, and may be very stable or disappear rapidly under manipulation and interaction. Knotting has been previously identified in protein backbone chains, for which these mechanical constraint…
▽ More
Long, flexible physical filaments are naturally tangled and knotted, from macroscopic string down to long-chain molecules. The existence of knotting in a filament naturally affects its configuration and properties, and may be very stable or disappear rapidly under manipulation and interaction. Knotting has been previously identified in protein backbone chains, for which these mechanical constraints are of fundamental importance to their molecular functionality, despite their being open curves in which the knots are not mathematically well defined; knotting can only be identified by closing the termini of the chain somehow. We introduce a new method for resolving knotting in open curves using virtual knots, a wider class of topological objects that do not require a classical closure and so naturally capture the topological ambiguity inherent in open curves. We describe the results of analysing proteins in the Protein Data Bank by this new scheme, recovering and extending previous knotting results, and identifying topological interest in some new cases. The statistics of virtual knots in protein chains are compared with those of open random walks and Hamiltonian subchains on cubic lattices, identifying a regime of open curves in which the virtual knotting description is likely to be important.
△ Less
Submitted 18 November, 2016;
originally announced November 2016.