-
Optimal Control of State-Triggered Linear Hybrid Systems
Authors:
William A. Clark
Abstract:
The linear quadratic regulator is a famous application of optimal control theory. This class of control systems has linear dynamics (in both the state and control), while minimizing a quadratic cost. Upon application of Pontryagin's maximum principle, the co-states can be fully decoupled from the state which results in a matrix Riccati equation. As such, solutions can be found by solving this matr…
▽ More
The linear quadratic regulator is a famous application of optimal control theory. This class of control systems has linear dynamics (in both the state and control), while minimizing a quadratic cost. Upon application of Pontryagin's maximum principle, the co-states can be fully decoupled from the state which results in a matrix Riccati equation. As such, solutions can be found by solving this matrix equation backwards. The purpose of this work is to extend this analysis to systems with linear state jumps, which are referred to as linear hybrid systems. The extension of the maximum principle to these systems results in the ``hybrid maximum principle.'' However, successful application of this theory requires many subtle properties which are usually ignored - specifically beating/blocking and Zeno. It turns out that these phenomena occur in linear hybrid systems and as such, the hybrid maximum principle is not immediately applicable to these seemingly simple systems. We show that for spatially triggered linear hybrid systems, beating always occurs while blocking and Zeno can be successfully avoided if a certain controllability assumption is satisfied. For these trivially blocking systems, we develop conditions for optimality for the two cases of when beating is excluded and present. This work concluded with an example.
△ Less
Submitted 15 July, 2024;
originally announced July 2024.
-
Generalized Dimension Reduction Using Semi-Relaxed Gromov-Wasserstein Distance
Authors:
Ranthony A. Clark,
Tom Needham,
Thomas Weighill
Abstract:
Dimension reduction techniques typically seek an embedding of a high-dimensional point cloud into a low-dimensional Euclidean space which optimally preserves the geometry of the input data. Based on expert knowledge, one may instead wish to embed the data into some other manifold or metric space in order to better reflect the geometry or topology of the point cloud. We propose a general method for…
▽ More
Dimension reduction techniques typically seek an embedding of a high-dimensional point cloud into a low-dimensional Euclidean space which optimally preserves the geometry of the input data. Based on expert knowledge, one may instead wish to embed the data into some other manifold or metric space in order to better reflect the geometry or topology of the point cloud. We propose a general method for manifold-valued multidimensional scaling based on concepts from optimal transport. In particular, we establish theoretical connections between the recently introduced semi-relaxed Gromov-Wasserstein (srGW) framework and multidimensional scaling by solving the Monge problem in this setting. We also derive novel connections between srGW distance and Gromov-Hausdorff distance. We apply our computational framework to analyze ensembles of political redistricting plans for states with two Congressional districts, achieving an effective visualization of the ensemble as a distribution on a circle which can be used to characterize typical neutral plans, and to flag outliers.
△ Less
Submitted 24 May, 2024;
originally announced May 2024.
-
Classification and nonexistence results for tensor $t$-structures on derived categories of schemes
Authors:
Rudradip Biswas,
Alexander Clark,
Pat Lank,
Kabeer Manali Rahul,
Chris J. Parker
Abstract:
Our work examines $t$-structures in derived categories related to Noetherian schemes, establishing both classification and nonexistence results for compactly generated $t$-structures that satisfy a tensor compatibility condition. First, we classify which $t$-structures on the derived category of quasi-coherent sheaves can be restricted to the bounded derived category of coherent sheaves. This sign…
▽ More
Our work examines $t$-structures in derived categories related to Noetherian schemes, establishing both classification and nonexistence results for compactly generated $t$-structures that satisfy a tensor compatibility condition. First, we classify which $t$-structures on the derived category of quasi-coherent sheaves can be restricted to the bounded derived category of coherent sheaves. This significantly generalizes Takahashi's results for CM-excellent rings of finite Krull dimension, and its sharpness is illustrated using an example of Nagata. Second, we show that there are no non-trivial tensor $t$-structures on the category of perfect complexes with cohomology supported on an irreducible closed subset if that subset is not contained in the regular locus of the scheme, which generalizes a result of Smith in the affine setting concerning a conjecture of Antieau, Gepner, and Heller.
△ Less
Submitted 13 August, 2024; v1 submitted 12 April, 2024;
originally announced April 2024.
-
Explicit Formula for Partial Information Decomposition
Authors:
Aobo Lyu,
Andrew Clark,
Netanel Raviv
Abstract:
Mutual information between two random variables is a well-studied notion, whose understanding is fairly complete. Mutual information between one random variable and a pair of other random variables, however, is a far more involved notion. Specifically, Shannon's mutual information does not capture fine-grained interactions between those three variables, resulting in limited insights in complex sys…
▽ More
Mutual information between two random variables is a well-studied notion, whose understanding is fairly complete. Mutual information between one random variable and a pair of other random variables, however, is a far more involved notion. Specifically, Shannon's mutual information does not capture fine-grained interactions between those three variables, resulting in limited insights in complex systems. To capture these fine-grained interactions, in 2010 Williams and Beer proposed to decompose this mutual information to information atoms, called unique, redundant, and synergistic, and proposed several operational axioms that these atoms must satisfy. In spite of numerous efforts, a general formula which satisfies these axioms has yet to be found. Inspired by Judea Pearl's do-calculus, we resolve this open problem by introducing the do-operation, an operation over the variable system which sets a certain marginal to a desired value, which is distinct from any existing approaches. Using this operation, we provide the first explicit formula for calculating the information atoms so that Williams and Beer's axioms are satisfied, as well as additional properties from subsequent studies in the field.
△ Less
Submitted 7 May, 2024; v1 submitted 5 February, 2024;
originally announced February 2024.
-
Almost-Sure Safety Guarantees of Stochastic Zero-Control Barrier Functions Do Not Hold
Authors:
Oswin So,
Andrew Clark,
Chuchu Fan
Abstract:
The 2021 paper "Control barrier functions for stochastic systems" provides theorems that give almost sure safety guarantees given stochastic zero control barrier function (ZCBF). Unfortunately, both the theorem and its proof is invalid. In this letter, we illustrate on a toy example that the almost sure safety guarantees for stochastic ZCBF do not hold and explain why the proof is flawed. Although…
▽ More
The 2021 paper "Control barrier functions for stochastic systems" provides theorems that give almost sure safety guarantees given stochastic zero control barrier function (ZCBF). Unfortunately, both the theorem and its proof is invalid. In this letter, we illustrate on a toy example that the almost sure safety guarantees for stochastic ZCBF do not hold and explain why the proof is flawed. Although stochastic reciprocal barrier functions (RCBF) also uses the same proof technique, we provide a different proof technique that verifies that stochastic RCBFs are indeed safe with probability one. Using the RCBF, we derive a modified ZCBF condition that guarantees safety with probability one. Finally, we provide some discussion on the role of unbounded controls in the almost-sure safety guarantees of RCBFs, and show that the rate of divergence of the ratio of the drift and diffusion is the key for whether a system has almost sure safety guarantees.
△ Less
Submitted 4 December, 2023;
originally announced December 2023.
-
Apportionable matrices and gracefully labelled graphs
Authors:
Antwan Clark,
Bryan A. Curtis,
Edinah K. Gnang,
Leslie Hogben
Abstract:
To apportion a complex matrix means to apply a similarity so that all entries of the resulting matrix have the same magnitude. We initiate the study of apportionment, both by unitary matrix similarity and general matrix similarity. There are connections between apportionment and classical graph decomposition problems, including graceful labelings of graphs, Hadamard matrices, and equiangluar lines…
▽ More
To apportion a complex matrix means to apply a similarity so that all entries of the resulting matrix have the same magnitude. We initiate the study of apportionment, both by unitary matrix similarity and general matrix similarity. There are connections between apportionment and classical graph decomposition problems, including graceful labelings of graphs, Hadamard matrices, and equiangluar lines, and potential applications to instantaneous uniform mixing in quantum walks. The connection between apportionment and graceful labelings allows the construction of apportionable matrices from trees. A generalization of the well-known Eigenvalue Interlacing Inequalities using graceful labelings is also presented. It is shown that every rank one matrix can be apportioned by a unitary similarity, but there are $2\x 2$ matrices that cannot be apportioned. A necessary condition for a matrix to be apportioned by unitary matrix is established. This condition is used to construct a set of matrices with nonzero Lebesgue measure that are not apportionable by a unitary matrix.
△ Less
Submitted 1 June, 2024; v1 submitted 22 August, 2023;
originally announced August 2023.
-
A Hybrid Submodular Optimization Approach to Controlled Islanding with Post-Disturbance Stability Guarantees
Authors:
Luyao Niu,
Dinuka Sahanbandu,
Andrew Clark,
Radha Poovendran
Abstract:
Disturbances may create cascading failures in power systems and lead to widespread blackouts. Controlled islanding is an effective approach to mitigate cascading failures by partitioning the power system into a set of disjoint islands. To retain the stability of the power system following disturbances, the islanding strategy should not only be minimally disruptive, but also guarantee post-disturba…
▽ More
Disturbances may create cascading failures in power systems and lead to widespread blackouts. Controlled islanding is an effective approach to mitigate cascading failures by partitioning the power system into a set of disjoint islands. To retain the stability of the power system following disturbances, the islanding strategy should not only be minimally disruptive, but also guarantee post-disturbance stability. In this paper, we study the problem of synthesizing post-disturbance stability-aware controlled islanding strategies. To ensure post-disturbance stability, our computation of islanding strategies takes load-generation balance and transmission line capacity constraints into consideration, leading to a hybrid optimization problem with both discrete and continuous variables. To mitigate the computational challenge incurred when solving the hybrid optimization program, we propose the concepts of hybrid submodularity and hybrid matroid. We show that the islanding problem is equivalent to a hybrid matroid optimization program, whose objective function is hybrid supermodular. Leveraging the supermodularity property, we develop an efficient local search algorithm and show that the proposed algorithm achieves 1/2-optimality guarantee. We compare our approach with a baseline using mixed-integer linear program on IEEE 118-bus, IEEE 300-bus, ActivSg 500-bus, and Polish 2383-bus systems. Our results show that our approach outperforms the baseline in terms of the total cost incurred during islanding across all test cases. Furthermore, our proposed approach can find an islanding strategy for large-scale test cases such as Polish 2383-bus system, whereas the baseline approach becomes intractable.
△ Less
Submitted 9 August, 2023; v1 submitted 17 February, 2023;
originally announced February 2023.
-
Defense Against Adversarial Swarms with Parameter Uncertainty
Authors:
Claire Walton,
Isaac Kaminer,
Qi Gong,
Abram. H. Clark,
Theodoros Tsatsanifos
Abstract:
This paper addresses the problem of optimal defense of a High Value Unit against a large-scale swarm attack. We show that the problem can be cast in the framework of uncertain parameter optimal control and derive a consistency result for the dual problem of this framework. We show that the dual can be computed numerically and apply these numerical results to derive optimal defender strategies agai…
▽ More
This paper addresses the problem of optimal defense of a High Value Unit against a large-scale swarm attack. We show that the problem can be cast in the framework of uncertain parameter optimal control and derive a consistency result for the dual problem of this framework. We show that the dual can be computed numerically and apply these numerical results to derive optimal defender strategies against a 100 agent swarm attack.
△ Less
Submitted 9 August, 2021;
originally announced August 2021.
-
Modeling and Control of Large-Scale Adversarial Swarm Engagements
Authors:
Theodoros Tsatsanifos,
Abram H. Clark,
Claire Walton,
Isaac Kaminer,
Qi Gong
Abstract:
We theoretically and numerically study the problem of optimal control of large-scale autonomous systems under explicitly adversarial conditions, including probabilistic destruction of agents during the simulation. Large-scale autonomous systems often include an adversarial component, where different agents or groups of agents explicitly compete with one another. An important component of these sys…
▽ More
We theoretically and numerically study the problem of optimal control of large-scale autonomous systems under explicitly adversarial conditions, including probabilistic destruction of agents during the simulation. Large-scale autonomous systems often include an adversarial component, where different agents or groups of agents explicitly compete with one another. An important component of these systems that is not included in current theory or modeling frameworks is random destruction of agents in time. In this case, the modeling and optimal control framework should consider the attrition of agents as well as their position. We propose and test three numerical modeling schemes, where survival probabilities of all agents are smoothly and continuously decreased in time, based on the relative positions of all agents during the simulation. In particular, we apply these schemes to the case of agents defending a high-value unit from an attacking swarm. We show that these models can be successfully used to model this situation, provided that attrition and spatial dynamics are coupled. Our results have relevance to an entire class of adversarial autonomy situations, where the positions of agents and their survival probabilities are both important.
△ Less
Submitted 4 August, 2021;
originally announced August 2021.
-
Surprises in a classic boundary-layer problem
Authors:
William A. Clark,
Mario W. Gomes,
Arnaldo Rodriguez-Gonzalez,
Leo C. Stein,
Steven H. Strogatz
Abstract:
We revisit a textbook example of a singularly perturbed nonlinear boundary-value problem. Unexpectedly, it shows a wealth of phenomena that seem to have been overlooked previously, including a pitchfork bifurcation in the number of solutions as one varies the small parameter, and transcendentally small terms in the initial conditions that can be calculated by elementary means. Based on our own cla…
▽ More
We revisit a textbook example of a singularly perturbed nonlinear boundary-value problem. Unexpectedly, it shows a wealth of phenomena that seem to have been overlooked previously, including a pitchfork bifurcation in the number of solutions as one varies the small parameter, and transcendentally small terms in the initial conditions that can be calculated by elementary means. Based on our own classroom experience, we believe this problem could provide an enjoyable workout for students in courses on perturbation methods, applied dynamical systems, or numerical analysis.
△ Less
Submitted 25 February, 2022; v1 submitted 24 July, 2021;
originally announced July 2021.
-
Reinforcement Learning Beyond Expectation
Authors:
Bhaskar Ramasubramanian,
Luyao Niu,
Andrew Clark,
Radha Poovendran
Abstract:
The inputs and preferences of human users are important considerations in situations where these users interact with autonomous cyber or cyber-physical systems. In these scenarios, one is often interested in aligning behaviors of the system with the preferences of one or more human users. Cumulative prospect theory (CPT) is a paradigm that has been empirically shown to model a tendency of humans t…
▽ More
The inputs and preferences of human users are important considerations in situations where these users interact with autonomous cyber or cyber-physical systems. In these scenarios, one is often interested in aligning behaviors of the system with the preferences of one or more human users. Cumulative prospect theory (CPT) is a paradigm that has been empirically shown to model a tendency of humans to view gains and losses differently. In this paper, we consider a setting where an autonomous agent has to learn behaviors in an unknown environment. In traditional reinforcement learning, these behaviors are learned through repeated interactions with the environment by optimizing an expected utility. In order to endow the agent with the ability to closely mimic the behavior of human users, we optimize a CPT-based cost. We introduce the notion of the CPT-value of an action taken in a state, and establish the convergence of an iterative dynamic programming-based approach to estimate this quantity. We develop two algorithms to enable agents to learn policies to optimize the CPT-vale, and evaluate these algorithms in environments where a target state has to be reached while avoiding obstacles. We demonstrate that behaviors of the agent learned using these algorithms are better aligned with that of a human user who might be placed in the same environment, and is significantly improved over a baseline that optimizes an expected utility.
△ Less
Submitted 29 March, 2021;
originally announced April 2021.
-
Representations of Energy Landscapes by Sublevelset Persistent Homology: An Example With n-Alkanes
Authors:
Joshua Mirth,
Yanqin Zhai,
Johnathan Bush,
Enrique G Alvarado,
Howie Jordan,
Mark Heim,
Bala Krishnamoorthy,
Markus Pflaum,
Aurora Clark,
Yang Zhang,
Henry Adams
Abstract:
Encoding the complex features of an energy landscape is a challenging task, and often chemists pursue the most salient features (minima and barriers) along a highly reduced space, i.e. 2- or 3-dimensions. Even though disconnectivity graphs or merge trees summarize the connectivity of the local minima of an energy landscape via the lowest-barrier pathways, there is more information to be gained by…
▽ More
Encoding the complex features of an energy landscape is a challenging task, and often chemists pursue the most salient features (minima and barriers) along a highly reduced space, i.e. 2- or 3-dimensions. Even though disconnectivity graphs or merge trees summarize the connectivity of the local minima of an energy landscape via the lowest-barrier pathways, there is more information to be gained by also considering the topology of each connected component at different energy thresholds (or sublevelsets). We propose sublevelset persistent homology as an appropriate tool for this purpose. Our computations on the configuration phase space of n-alkanes from butane to octane allow us to conjecture, and then prove, a complete characterization of the sublevelset persistent homology of the alkane $C_m H_{2m+2}$ potential energy landscapes, for all $m$, and in all homological dimensions. We further compare both the analytical configurational potential energy landscapes and sampled data from molecular dynamics simulation, using the united and all-atom descriptions of the intramolecular interactions. In turn, this supports the application of distance metrics to quantify sampling fidelity and lays the foundation for future work regarding new metrics that quantify differences between the topological features of high-dimensional energy landscapes.
△ Less
Submitted 19 March, 2021; v1 submitted 2 November, 2020;
originally announced November 2020.
-
Privacy-Preserving Resilience of Cyber-Physical Systems to Adversaries
Authors:
Bhaskar Ramasubramanian,
Luyao Niu,
Andrew Clark,
Linda Bushnell,
Radha Poovendran
Abstract:
A cyber-physical system (CPS) is expected to be resilient to more than one type of adversary. In this paper, we consider a CPS that has to satisfy a linear temporal logic (LTL) objective in the presence of two kinds of adversaries. The first adversary has the ability to tamper with inputs to the CPS to influence satisfaction of the LTL objective. The interaction of the CPS with this adversary is m…
▽ More
A cyber-physical system (CPS) is expected to be resilient to more than one type of adversary. In this paper, we consider a CPS that has to satisfy a linear temporal logic (LTL) objective in the presence of two kinds of adversaries. The first adversary has the ability to tamper with inputs to the CPS to influence satisfaction of the LTL objective. The interaction of the CPS with this adversary is modeled as a stochastic game. We synthesize a controller for the CPS to maximize the probability of satisfying the LTL objective under any policy of this adversary. The second adversary is an eavesdropper who can observe labeled trajectories of the CPS generated from the previous step. It could then use this information to launch other kinds of attacks. A labeled trajectory is a sequence of labels, where a label is associated to a state and is linked to the satisfaction of the LTL objective at that state. We use differential privacy to quantify the indistinguishability between states that are related to each other when the eavesdropper sees a labeled trajectory. Two trajectories of equal length will be differentially private if they are differentially private at each state along the respective trajectories. We use a skewed Kantorovich metric to compute distances between probability distributions over states resulting from actions chosen according to policies from related states in order to quantify differential privacy. Moreover, we do this in a manner that does not affect the satisfaction probability of the LTL objective. We validate our approach on a simulation of a UAV that has to satisfy an LTL objective in an adversarial environment.
△ Less
Submitted 26 July, 2020;
originally announced July 2020.
-
The partition poset complex and the Goodwillie derivatives of the identity in spaces
Authors:
Duncan A. Clark
Abstract:
We produce a canonical highly homotopy-coherent operad structure on the derivatives of the identity functor in spaces via a pairing of cosimplicial objects, providing a new description of an operad structure on such objects first described by Ching. In addition, we show the derived primitives of a commutative coalgebra in spectra form an algebra over this operad.
We produce a canonical highly homotopy-coherent operad structure on the derivatives of the identity functor in spaces via a pairing of cosimplicial objects, providing a new description of an operad structure on such objects first described by Ching. In addition, we show the derived primitives of a commutative coalgebra in spectra form an algebra over this operad.
△ Less
Submitted 15 September, 2020; v1 submitted 10 July, 2020;
originally announced July 2020.
-
On the Goodwillie derivatives of the identity in structured ring spectra
Authors:
Duncan A. Clark
Abstract:
The aim of this paper is three-fold: (i) we construct a naturally occurring highly homotopy coherent operad structure on the derivatives of the identity functor on structured ring spectra which can be described as algebras over an operad $\mathcal{O}$ in spectra, (ii) we prove that every connected $\mathcal{O}$-algebra has a naturally occurring left action of the derivatives of the identity, and (…
▽ More
The aim of this paper is three-fold: (i) we construct a naturally occurring highly homotopy coherent operad structure on the derivatives of the identity functor on structured ring spectra which can be described as algebras over an operad $\mathcal{O}$ in spectra, (ii) we prove that every connected $\mathcal{O}$-algebra has a naturally occurring left action of the derivatives of the identity, and (iii) we show that there is a naturally occurring weak equivalence of highly homotopy coherent operads between the derivatives of the identity on $\mathcal{O}$-algebras and the operad $\mathcal{O}$.
Along the way, we introduce the notion of $\mathbf{N}$-colored operads with levels which -- by construction -- provides a precise algebraic framework for working with and comparing highly homotopy coherent operads, operads, and their algebras.
△ Less
Submitted 24 February, 2021; v1 submitted 6 April, 2020;
originally announced April 2020.
-
Control Barrier Functions for Stochastic Systems
Authors:
Andrew Clark
Abstract:
Control Barrier Functions (CBFs) aim to ensure safety by constraining the control input at each time step so that the system state remains within a desired safe region. This paper presents a framework for CBFs in stochastic systems in the presence of Gaussian process and measurement noise. We first consider the case where the system state is known at each time step, and present reciprocal and zero…
▽ More
Control Barrier Functions (CBFs) aim to ensure safety by constraining the control input at each time step so that the system state remains within a desired safe region. This paper presents a framework for CBFs in stochastic systems in the presence of Gaussian process and measurement noise. We first consider the case where the system state is known at each time step, and present reciprocal and zero CBF constructions that guarantee safety with probability 1. We extend our results to high relative degree systems with linear dynamics and affine safety constraints. We then develop CBFs for incomplete state information environments, in which the state must be estimated using sensors that are corrupted by Gaussian noise. We prove that our proposed CBF ensures safety with probability 1 when the state estimate is within a given bound of the true state, which can be achieved using an Extended Kalman Filter when the system is linear or the process and measurement noise are sufficiently small. We propose control policies that combine these CBFs with Control Lyapunov Functions in order to jointly ensure safety and stochastic stability. Our results are validated via numerical study on a multi-agent collision avoidance example.
△ Less
Submitted 16 October, 2020; v1 submitted 6 March, 2020;
originally announced March 2020.
-
Pro-groups and generalizations of a theorem of Bing
Authors:
Alex Clark,
Steven Hurder,
Olga Lukina
Abstract:
A matchbox manifold is a generalized lamination, which is a continuum whose path components define the leaves of a foliation of the space. A matchbox manifold is M-like if it has the shape of a fixed topological space M. When M is a closed manifold, in a previous work, the authors have shown that if $\frak M$ is a matchbox manifold which is M-like, then it is homeomorphic to a weak solenoid. In th…
▽ More
A matchbox manifold is a generalized lamination, which is a continuum whose path components define the leaves of a foliation of the space. A matchbox manifold is M-like if it has the shape of a fixed topological space M. When M is a closed manifold, in a previous work, the authors have shown that if $\frak M$ is a matchbox manifold which is M-like, then it is homeomorphic to a weak solenoid. In this work, we associate to a weak solenoid a pro-group, whose pro-isomorphism class is an invariant of the homeomorphism class of $\frak M$. We then show that an M-like matchbox manifold is homeomorphic to a weak solenoid whose base manifold has fundamental group which is non co-Hopfian; that is, it admits a non-trivial self-embedding of finite index. We include a collection of examples illustrating this conclusion.
△ Less
Submitted 1 November, 2018;
originally announced November 2018.
-
Controlled Islanding via Weak Submodularity
Authors:
Zhipeng Liu,
Andrew Clark,
Linda Bushnell,
Daniel Kirschen,
Radha Poovendran
Abstract:
Cascading failures typically occur following a large disturbance in power systems, such as tripping of a generating unit or a transmission line. Such failures can propagate and destabilize the entire power system, potentially leading to widespread outages. One approach to mitigate impending cascading failures is through controlled islanding, in which a set of transmission lines is deliberately tri…
▽ More
Cascading failures typically occur following a large disturbance in power systems, such as tripping of a generating unit or a transmission line. Such failures can propagate and destabilize the entire power system, potentially leading to widespread outages. One approach to mitigate impending cascading failures is through controlled islanding, in which a set of transmission lines is deliberately tripped to partition the unstable system into several disjoint, internally stable islands. Selecting such a set of transmission lines is inherently a combinatorial optimization problem. Current approaches address this problem in two steps: first classify coherent generators into groups and then separate generator groups into different islands with minimal load-generation imbalance. These methods, however, are based on computationally expensive heuristics that do not provide optimality guarantees. In this paper, we propose a novel approach to controlled islanding based on weak submodularity. Our formulation jointly captures the minimal generator non-coherency and minimal load-generation imbalance in one objective function. We relax the problem to a formulation with bounded submodularity ratio and a matroid constraint, and propose an approximation algorithm which achieves a provable optimality bound on non-coherency and load-generation imbalance. The proposed framework is tested on IEEE 39-bus and 118-bus power systems.
△ Less
Submitted 13 March, 2018;
originally announced March 2018.
-
Minimal Input Selection for Robust Control
Authors:
Zhipeng Liu,
Yao Long,
Andrew Clark,
Phillip Lee,
Linda Bushnell,
Daniel Kirschen,
Radha Poovendran
Abstract:
This paper studies the problem of selecting a minimum-size set of input nodes to guarantee stability of a networked system in the presence of uncertainties and time delays. Current approaches to input selection in networked dynamical systems focus on nominal systems with known parameter values in the absence of delays. We derive sufficient conditions for existence of a stabilizing controller for a…
▽ More
This paper studies the problem of selecting a minimum-size set of input nodes to guarantee stability of a networked system in the presence of uncertainties and time delays. Current approaches to input selection in networked dynamical systems focus on nominal systems with known parameter values in the absence of delays. We derive sufficient conditions for existence of a stabilizing controller for an uncertain system that are based on a subset of system modes lying within the controllability subspace induced by the set of inputs. We then formulate the minimum input selection problem and prove that it is equivalent to a discrete optimization problem with bounded submodularity ratio, leading to polynomial-time algorithms with provable optimality bounds. We show that our approach is applicable to different types of uncertainties, including additive and multiplicative uncertainties in the system matrices as well as uncertain time delays. We demonstrate our approach in a numerical case study on the IEEE 39-bus test power system.
△ Less
Submitted 11 December, 2017; v1 submitted 4 December, 2017;
originally announced December 2017.
-
Manifold--like matchbox manifolds
Authors:
Alex Clark,
Steven Hurder,
Olga Lukina
Abstract:
A matchbox manifold is a generalized lamination, and is a continuum whose arc-components define the leaves of a foliation of the space. The main result of this paper implies that a matchbox manifold which is manifold-like must be homeomorphic to a weak solenoid.
A matchbox manifold is a generalized lamination, and is a continuum whose arc-components define the leaves of a foliation of the space. The main result of this paper implies that a matchbox manifold which is manifold-like must be homeomorphic to a weak solenoid.
△ Less
Submitted 22 April, 2017; v1 submitted 14 April, 2017;
originally announced April 2017.
-
A compact minimal space $Y$ such that its square $Y\times Y$ is not minimal
Authors:
J. P. Boronski,
Alex Clark,
P. Oprocha
Abstract:
The following well known open problem is answered in the negative: Given two compact spaces $X$ and $Y$ that admit minimal homeomorphisms, must the Cartesian product $X\times Y$ admit a minimal homeomorphism as well? A key element of our construction is an inverse limit approach inspired by combination of a technique of Aarts & Oversteegen and the construction of Slovak spaces by Downarowicz & Sno…
▽ More
The following well known open problem is answered in the negative: Given two compact spaces $X$ and $Y$ that admit minimal homeomorphisms, must the Cartesian product $X\times Y$ admit a minimal homeomorphism as well? A key element of our construction is an inverse limit approach inspired by combination of a technique of Aarts & Oversteegen and the construction of Slovak spaces by Downarowicz & Snoha & Tywoniuk. This approach allows us also to prove the following result. Let $φ\colon M\times\mathbb{R}\to M$ be a continuous, aperiodic minimal flow on the compact, finite--dimensional metric space $M$. Then there is a generic choice of parameters $c\in\mathbb{R}$, such that the homeomorphism $h(x)=φ(x,c)$ admits a noninvertible minimal map $f\colon M\to M$ as an almost 1-1 extension.
△ Less
Submitted 15 December, 2017; v1 submitted 29 December, 2016;
originally announced December 2016.
-
New exotic minimal sets from pseudo-suspensions of Cantor systems
Authors:
J. P. Boroński,
Alex Clark,
P. Oprocha
Abstract:
We develop a technique, pseudo-suspension, that applies to invariant sets of homeomorphisms of a class of annulus homeomorphisms we describe, Handel-Anosov-Katok (HAK) homeomorphisms, that generalize the homeomorphism first described by Handel. Given a HAK homeomorphism and a homeomorphism of the Cantor set, the pseudo-suspension yields a homeomorphism of a new space that admits a homeomorphism th…
▽ More
We develop a technique, pseudo-suspension, that applies to invariant sets of homeomorphisms of a class of annulus homeomorphisms we describe, Handel-Anosov-Katok (HAK) homeomorphisms, that generalize the homeomorphism first described by Handel. Given a HAK homeomorphism and a homeomorphism of the Cantor set, the pseudo-suspension yields a homeomorphism of a new space that admits a homeomorphism that combines features of both of the original homeomorphisms. This allows us to answer a well known open question by providing examples of hereditarily indecomposable continua that admit homeomorphisms of intermediate complexity. Additionally, we show that such examples occur as minimal sets of volume preserving smooth diffeomorphisms of 4-dimensional manifolds. We also use our techniques to exhibit the first examples of minimal, uniformly rigid and weakly mixing homeomorphisms in dimension $1$, and these can also be realized as invariant sets of smooth diffeomorphisms of a 4-manifold. Until now the only known examples of spaces that admit minimal, uniformly rigid and weakly mixing homeomorphisms were modifications of those given by Glasner and Maon in dimension at least $2$.
△ Less
Submitted 28 September, 2016;
originally announced September 2016.
-
The homology core and invariant measures
Authors:
Alex Clark,
John Hunton
Abstract:
Here we shall consider the topology and dynamics associated to a wide class of matchbox manifolds, including a large selection of tiling spaces and all minimal matchbox manifolds of dimension one. For such spaces we introduce topological invariants related to their expansions as an inverse sequence of simplicial complexes. These invariants are related to corresponding inverse sequences of groups a…
▽ More
Here we shall consider the topology and dynamics associated to a wide class of matchbox manifolds, including a large selection of tiling spaces and all minimal matchbox manifolds of dimension one. For such spaces we introduce topological invariants related to their expansions as an inverse sequence of simplicial complexes. These invariants are related to corresponding inverse sequences of groups arising from applying the top--dimension homology to these sequences. In many cases this leads to a computable invariant based on an inverse sequence of matrices. Significantly, we show that when the space is obtained by suspending a topologically transitive action of the fundamental group $\G$ of a closed orientable on a zero--dimensional compact space this invariant at the same time corresponds to the space of Borel measures on the Cantor set which are invariant under the action of $\G$. This leads to connections between the rank of homology groups we consider and the number of invariant, ergodic Borel probability measures for such actions. We illustrate with several examples how these invariants can be calculated and used for topological classification and how it leads to an understanding of the invariant measures.
△ Less
Submitted 14 February, 2016; v1 submitted 5 January, 2016;
originally announced January 2016.
-
Small cocycles, fine torus fibrations, and a ${\mathbb Z}^2$ subshift with neither
Authors:
Alex Clark,
Lorenzo Sadun
Abstract:
Following an earlier similar conjecture of Kellendonk and Putnam, Giordano, Putnam and Skau conjectured that all minimal, free ${\mathbb Z}^d$ actions on Cantor sets admit "small cocycles." These represent classes in $H^1$ that are mapped to small vectors in ${\mathbb R}^d$ by the Ruelle-Sullivan (RS) map. We show that there exist ${\mathbb Z}^d$ actions where no such small cocycles exist, and whe…
▽ More
Following an earlier similar conjecture of Kellendonk and Putnam, Giordano, Putnam and Skau conjectured that all minimal, free ${\mathbb Z}^d$ actions on Cantor sets admit "small cocycles." These represent classes in $H^1$ that are mapped to small vectors in ${\mathbb R}^d$ by the Ruelle-Sullivan (RS) map. We show that there exist ${\mathbb Z}^d$ actions where no such small cocycles exist, and where the image of $H^1$ under RS is ${\mathbb Z}^d$. Our methods involve tiling spaces and shape deformations, and along the way we prove a relation between the image of RS and the set of "virtual eigenvalues," i.e. elements of ${\mathbb R}^d$ that become topological eigenvalues of the tiling flow after an arbitrarily small change in the shapes and sizes of the tiles.
△ Less
Submitted 17 February, 2017; v1 submitted 5 June, 2015;
originally announced June 2015.
-
On Optimal Frame Conditioners
Authors:
Chae A. Clark,
Kasso A. Okoudjou
Abstract:
A (unit norm) frame is scalable if its vectors can be rescaled so as to result into a tight frame. Tight frames can be considered optimally conditioned because the condition number of their frame operators is unity. In this paper we reformulate the scalability problem as a convex optimization question. In particular, we present examples of various formulations of the problem along with numerical r…
▽ More
A (unit norm) frame is scalable if its vectors can be rescaled so as to result into a tight frame. Tight frames can be considered optimally conditioned because the condition number of their frame operators is unity. In this paper we reformulate the scalability problem as a convex optimization question. In particular, we present examples of various formulations of the problem along with numerical results obtained by using our methods on randomly generated frames.
△ Less
Submitted 26 January, 2015;
originally announced January 2015.
-
Input Selection for Performance and Controllability of Structured Linear Descriptor Systems
Authors:
Andrew Clark,
Basel Alomair,
Linda Bushnell,
Radha Poovendran
Abstract:
A common approach to controlling complex networks is to directly control a subset of input nodes, which then controls the remaining nodes via network interactions. While techniques have been proposed for selecting input nodes based on either performance metrics or controllability, a unifying approach based on joint consideration of performance and controllability is an open problem. In this paper,…
▽ More
A common approach to controlling complex networks is to directly control a subset of input nodes, which then controls the remaining nodes via network interactions. While techniques have been proposed for selecting input nodes based on either performance metrics or controllability, a unifying approach based on joint consideration of performance and controllability is an open problem. In this paper, we develop a submodular optimization framework for selecting input nodes based on joint performance and controllability in structured linear descriptor systems. We develop our framework for arbitrary linear descriptor systems. In developing our framework, we first prove that selecting a minimum-size set of input nodes for controllability is a matroid intersection problem that can be solved in polynomial-time in the network size. We then prove that input selection to maximize a performance metric with controllability as a constraint is equivalent to maximizing a monotone submodular function with two matroid basis constraints, and derive efficient approximation algorithms with provable optimality bounds for input selection. Finally, we present a graph controllability index metric, which characterizes the largest controllable subgraph of a given complex network, and prove its submodular structure, leading to input selection algorithms that trade-off performance and controllability. We provide improved optimality guarantees for known systems such as strongly connected networks, consensus networks, networks of double integrators, and networks where all system parameters (e.g., link weights) are chosen independently and at random.
△ Less
Submitted 11 December, 2014;
originally announced December 2014.
-
Classifying matchbox manifolds
Authors:
Alex Clark,
Steven Hurder,
Olga Lukina
Abstract:
Matchbox manifolds are foliated spaces with totally disconnected transversals. Two matchbox manifolds which are homeomorphic have return equivalent dynamics, so that invariants of return equivalence can be applied to distinguish non-homeomorphic matchbox manifolds. In this work we study the problem of showing the converse implication: when does return equivalence imply homeomorphism? For the class…
▽ More
Matchbox manifolds are foliated spaces with totally disconnected transversals. Two matchbox manifolds which are homeomorphic have return equivalent dynamics, so that invariants of return equivalence can be applied to distinguish non-homeomorphic matchbox manifolds. In this work we study the problem of showing the converse implication: when does return equivalence imply homeomorphism? For the class of weak solenoidal matchbox manifolds, we show that if the base manifolds satisfy a strong form of the Borel Conjecture, then return equivalence for the dynamics of their foliations implies the total spaces are homeomorphic. In particular, we show that two equicontinuous $\mT^n$--like matchbox manifolds of the same dimension are homeomorphic if and only if their corresponding restricted pseudogroups are return equivalent. At the same time, we show that these results cannot be extended to include the "\emph{adic}-surfaces", which are a class of weak solenoids fibering over a closed surface of genus 2.
△ Less
Submitted 24 October, 2017; v1 submitted 1 November, 2013;
originally announced November 2013.
-
Shape of matchbox manifolds
Authors:
Alex Clark,
Steve Hurder,
Olga Lukina
Abstract:
In this work, we develop shape expansions of minimal matchbox manifolds without holonomy, in terms of branched manifolds formed from their leaves. Our approach is based on the method of coding the holonomy groups for the foliated spaces, to define leafwise regions which are transversely stable and are adapted to the foliation dynamics. Approximations are obtained by collapsing appropriately chosen…
▽ More
In this work, we develop shape expansions of minimal matchbox manifolds without holonomy, in terms of branched manifolds formed from their leaves. Our approach is based on the method of coding the holonomy groups for the foliated spaces, to define leafwise regions which are transversely stable and are adapted to the foliation dynamics. Approximations are obtained by collapsing appropriately chosen neighborhoods onto these regions along a "transverse Cantor foliation". The existence of the "transverse Cantor foliation" allows us to generalize standard techniques known for Euclidean and fibered cases to arbitrary matchbox manifolds with Riemannian leaf geometry and without holonomy. The transverse Cantor foliations used here are constructed by purely intrinsic and topological means, as we do not assume that our matchbox manifolds are embedded into a smooth foliated manifold, or a smooth manifold.
△ Less
Submitted 6 February, 2014; v1 submitted 15 August, 2013;
originally announced August 2013.
-
Group theory, group actions, evolutionary algorithms, and global optimization
Authors:
Andrew Clark
Abstract:
In this paper we use group, action and orbit to understand how evolutionary solve nonconvex optimization problems.
In this paper we use group, action and orbit to understand how evolutionary solve nonconvex optimization problems.
△ Less
Submitted 3 May, 2013; v1 submitted 27 December, 2012;
originally announced January 2013.
-
A Supermodular Optimization Framework for Leader Selection under Link Noise in Linear Multi-Agent Systems
Authors:
Andrew Clark,
Linda Bushnell,
Radha Poovendran
Abstract:
In many applications of multi-agent systems (MAS), a set of leader agents acts as a control input to the remaining follower agents. In this paper, we introduce an analytical approach to selecting leader agents in order to minimize the total mean-square error of the follower agent states from their desired value in steady-state in the presence of noisy communication links. We show that the problem…
▽ More
In many applications of multi-agent systems (MAS), a set of leader agents acts as a control input to the remaining follower agents. In this paper, we introduce an analytical approach to selecting leader agents in order to minimize the total mean-square error of the follower agent states from their desired value in steady-state in the presence of noisy communication links. We show that the problem of choosing leaders in order to minimize this error can be solved using supermodular optimization techniques, leading to efficient algorithms that are within a provable bound of the optimum. We formulate two leader selection problems within our framework, namely the problem of choosing a fixed number of leaders to minimize the error, as well as the problem of choosing the minimum number of leaders to achieve a tolerated level of error. We study both leader selection criteria for different scenarios, including MAS with static topologies, topologies experiencing random link or node failures, switching topologies, and topologies that vary arbitrarily in time due to node mobility. In addition to providing provable bounds for all these cases, simulation results demonstrate that our approach outperforms other leader selection methods, such as node degree-based and random selection methods, and provides comparable performance to current state of the art algorithms.
△ Less
Submitted 4 August, 2012;
originally announced August 2012.
-
Piecewise Linear Topology, Evolutionary Algorithms, and Optimization Problems
Authors:
Andrew Clark
Abstract:
Schemata theory, Markov chains, and statistical mechanics have been used to explain how evolutionary algorithms (EAs) work. Incremental success has been achieved with all of these methods, but each has been stymied by limitations related to its less-than-global view. We show that moving the investigation into topological space improves our understanding of why EAs work.
Schemata theory, Markov chains, and statistical mechanics have been used to explain how evolutionary algorithms (EAs) work. Incremental success has been achieved with all of these methods, but each has been stymied by limitations related to its less-than-global view. We show that moving the investigation into topological space improves our understanding of why EAs work.
△ Less
Submitted 28 June, 2012;
originally announced June 2012.
-
Voronoi tessellations for matchbox manifolds
Authors:
Alex Clark,
Steven Hurder,
Olga Lukina
Abstract:
Matchbox manifolds ${\mathfrak M}$ are a special class of foliated spaces, which includes as special examples exceptional minimal sets of foliations, weak solenoids, suspensions of odometer and Toeplitz actions, and tiling spaces associated to aperiodic tilings with finite local complexity. Some of these classes of examples are endowed with an additional structure, that of a transverse foliation,…
▽ More
Matchbox manifolds ${\mathfrak M}$ are a special class of foliated spaces, which includes as special examples exceptional minimal sets of foliations, weak solenoids, suspensions of odometer and Toeplitz actions, and tiling spaces associated to aperiodic tilings with finite local complexity. Some of these classes of examples are endowed with an additional structure, that of a transverse foliation, consisting of a continuous family of Cantor sets transverse to the foliated structure. The purpose of this paper is to show that this transverse structure can be defined on all minimal matchbox manifolds. This follows from the construction of uniform stable Voronoi tessellations on a dense leaf, which is the main goal of this work. From this we define a foliated Delaunay triangulation of ${\mathfrak M}$, adapted to the dynamics of ${\mathcal F}$. The result is highly technical, but underlies the study of the basic topological structure of matchbox manifolds in general. Our methods are unique in that we give the construction of the Voronoi tessellations for a complete Riemannian manifold $L$ of arbitrary dimension, with stability estimates.
△ Less
Submitted 7 August, 2012; v1 submitted 10 July, 2011;
originally announced July 2011.
-
Tiling Spaces, Codimension One Attractors and Shape
Authors:
Alex Clark,
John Hunton
Abstract:
We show that any codimension one hyperbolic attractor of a diffeomorphism of a (d+1)-dimensional closed manifold is shape equivalent to a (d+1)-dimensional torus with a finite number of points removed, or, in the non-orientable case, to a space with a 2 to 1 covering by such a torus-less-points. Furthermore, we show that each orientable attractor is homeomorphic to a tiling space associated to an…
▽ More
We show that any codimension one hyperbolic attractor of a diffeomorphism of a (d+1)-dimensional closed manifold is shape equivalent to a (d+1)-dimensional torus with a finite number of points removed, or, in the non-orientable case, to a space with a 2 to 1 covering by such a torus-less-points. Furthermore, we show that each orientable attractor is homeomorphic to a tiling space associated to an aperiodic tiling of Rd, but that the converse is generally not true. This work allows the definition of a new invariant for aperiodic tilings, in many cases finer than the cohomological or K-theoretic invariants studied to date.
△ Less
Submitted 24 May, 2012; v1 submitted 4 May, 2011;
originally announced May 2011.
-
The Schreier continuum and ends
Authors:
Alex Clark,
Robbert Fokkink,
Olga Lukina
Abstract:
Blanc showed in his thesis that a compact minimal foliated space with a residual subset of 2-ended leaves can contain only 1 or 2 ended leaves. In this paper we give examples of compact minimal foliated spaces where a topologically generic leaf has 1 end, there is an uncountable set of leaves with 2 ends and a leaf with 2n ends, for a given n>1. The examples we present are weak solenoids, which al…
▽ More
Blanc showed in his thesis that a compact minimal foliated space with a residual subset of 2-ended leaves can contain only 1 or 2 ended leaves. In this paper we give examples of compact minimal foliated spaces where a topologically generic leaf has 1 end, there is an uncountable set of leaves with 2 ends and a leaf with 2n ends, for a given n>1. The examples we present are weak solenoids, which allows us to represent the graph of the group action on the fibre as the inverse limit of finite coverings of a finite graph, which we call the Schreier continuum, which we use to obtain the result. While in certain cases the problem can be reduced to the study of a self-similar action of an automorphism group of a regular tree, our geometric technique is more general, as it applies to cases where the action is not self-similar.
△ Less
Submitted 4 February, 2012; v1 submitted 5 July, 2010;
originally announced July 2010.
-
Homogeneous matchbox manifolds
Authors:
Alex Clark,
Steven Hurder
Abstract:
We prove that a homogeneous matchbox manifold of any finite dimension is homeomorphic to a McCord solenoid, thereby proving a strong version of a conjecture of Fokkink and Oversteegen. The proof uses techniques from the theory of foliations that involve making important connections between homogeneity and equicontinuity. The results provide a framework for the study of equicontinuous minimal sets…
▽ More
We prove that a homogeneous matchbox manifold of any finite dimension is homeomorphic to a McCord solenoid, thereby proving a strong version of a conjecture of Fokkink and Oversteegen. The proof uses techniques from the theory of foliations that involve making important connections between homogeneity and equicontinuity. The results provide a framework for the study of equicontinuous minimal sets of foliations that have the structure of a matchbox manifold.
△ Less
Submitted 11 July, 2011; v1 submitted 28 June, 2010;
originally announced June 2010.
-
Embedding solenoids in foliations
Authors:
Alex Clark,
Steven Hurder
Abstract:
In this paper we find smooth embeddings of solenoids in smooth foliations. We show that if a smooth foliation F of a manifold M contains a compact leaf L with H^1(L;R)= 0 and if the foliation is a product foliation in some saturated open neighbourhood U of L, then there exists a foliation F' on M which is C^1-close to F, and F' has an uncountable set of solenoidal minimal sets contained in U that…
▽ More
In this paper we find smooth embeddings of solenoids in smooth foliations. We show that if a smooth foliation F of a manifold M contains a compact leaf L with H^1(L;R)= 0 and if the foliation is a product foliation in some saturated open neighbourhood U of L, then there exists a foliation F' on M which is C^1-close to F, and F' has an uncountable set of solenoidal minimal sets contained in U that are pair wise non-homeomorphic. If H^1(L;R) is not 0, then it is known that any sufficiently small perturbation of F contains a saturated product neighbourhood. Thus, our result can be thought of as an instability result complementing the stability results of Reeb, Thurston and Langevin and Rosenberg.
△ Less
Submitted 27 April, 2011; v1 submitted 5 December, 2008;
originally announced December 2008.
-
Rhombus Filtrations and Rauzy Algebras
Authors:
Alex Clark,
Karin Erdmann,
Sibylle Schroll
Abstract:
Peach introduced rhombal algebras associated to quivers given by tilings of the plane by rhombi. We develop general techniques to analyse rhombal algebras, including a filtration by what we call rhombus modules.
We introduce a way to relate the infinite-dimensional rhombal algebra corresponding to a complete tiling of the plane to finite-dimensional algebras corresponding to finite portions of…
▽ More
Peach introduced rhombal algebras associated to quivers given by tilings of the plane by rhombi. We develop general techniques to analyse rhombal algebras, including a filtration by what we call rhombus modules.
We introduce a way to relate the infinite-dimensional rhombal algebra corresponding to a complete tiling of the plane to finite-dimensional algebras corresponding to finite portions of the tiling. Throughout, we apply our general techniques to the special case of the Rauzy tiling, which is built in stages reflecting an underlying self-similarity. Exploiting this self-similar structure allows us to uncover interesting features of the associated finite-dimensional algebras, including some of the tree classes in the stable Auslander-Reiten quiver.
△ Less
Submitted 15 October, 2007;
originally announced October 2007.
-
Self Duality and Codings for Expansive Group Automorphisms
Authors:
Alex Clark,
Robbert Fokkink
Abstract:
Lind and Schmidt have shown that the homoclinic group of a cyclic $\Z^k$ algebraic dynamical system is isomorphic to the dual of the phase group. We show that this duality result is part of an exact sequence if $k=1$. The exact sequence is a well known algebraic object, which has been applied by Schmidt in his work on rigidity. We show that it can be derived from dynamical considerations only. T…
▽ More
Lind and Schmidt have shown that the homoclinic group of a cyclic $\Z^k$ algebraic dynamical system is isomorphic to the dual of the phase group. We show that this duality result is part of an exact sequence if $k=1$. The exact sequence is a well known algebraic object, which has been applied by Schmidt in his work on rigidity. We show that it can be derived from dynamical considerations only. The constructions naturally lead to an almost 1-1-coding of certain Pisot automorphisms by their associated $β$-shift, generalizing similar results for Pisot automorphisms of the torus.
△ Less
Submitted 26 January, 2005;
originally announced January 2005.
-
When Shape Matters: Deformations of Tiling Spaces
Authors:
Alex Clark,
Lorenzo Sadun
Abstract:
We investigate the dynamics of tiling dynamical systems and their deformations. If two tiling systems have identical combinatorics, then the tiling spaces are homeomorphic, but their dynamical properties may differ. There is a natural map ${\mathcal I}$ from the parameter space of possible shapes of tiles to $H^1$ of a model tiling space, with values in ${\mathbb R}^d$. Two tiling spaces that have…
▽ More
We investigate the dynamics of tiling dynamical systems and their deformations. If two tiling systems have identical combinatorics, then the tiling spaces are homeomorphic, but their dynamical properties may differ. There is a natural map ${\mathcal I}$ from the parameter space of possible shapes of tiles to $H^1$ of a model tiling space, with values in ${\mathbb R}^d$. Two tiling spaces that have the same image under ${\mathcal I}$ are mutually locally derivable (MLD). When the difference of the images is `asymptotically negligible', then the tiling dynamics are topologically conjugate, but generally not MLD. For substitution tilings, we give a simple test for a cohomology class to be asymptotically negligible, and show that infinitesimal deformations of shape result in topologically conjugate dynamics only when the change in the image of ${\mathcal I}$ is asymptotically negligible. Finally, we give criteria for a (deformed) substitution tiling space to be topologically weakly mixing.
△ Less
Submitted 9 July, 2018; v1 submitted 13 June, 2003;
originally announced June 2003.
-
Bihomogeneity of solenoids
Authors:
Alex Clark,
Robbert Fokkink
Abstract:
Solenoids are inverse limit spaces over regular covering maps of closed manifolds. M.C. McCord has shown that solenoids are topologically homogeneous and that they are principal bundles with a profinite structure group. We show that if a solenoid is bihomogeneous, then its structure group contains an open abelian subgroup. This leads to new examples of homogeneous continua that are not bihomogen…
▽ More
Solenoids are inverse limit spaces over regular covering maps of closed manifolds. M.C. McCord has shown that solenoids are topologically homogeneous and that they are principal bundles with a profinite structure group. We show that if a solenoid is bihomogeneous, then its structure group contains an open abelian subgroup. This leads to new examples of homogeneous continua that are not bihomogeneous.
△ Less
Submitted 29 January, 2002;
originally announced January 2002.
-
When size matters: subshifts and their related tiling spaces
Authors:
Alex Clark,
Lorenzo Sadun
Abstract:
We investigate the dynamics of substitution subshifts and their associated tiling spaces. For a given subshift, the associated tiling spaces are all homeomorphic, but their dynamical properties may differ. We give criteria for such a tiling space to be weakly mixing, and for the dynamics of two such spaces to be topologically conjugate.
We investigate the dynamics of substitution subshifts and their associated tiling spaces. For a given subshift, the associated tiling spaces are all homeomorphic, but their dynamical properties may differ. We give criteria for such a tiling space to be weakly mixing, and for the dynamics of two such spaces to be topologically conjugate.
△ Less
Submitted 9 July, 2018; v1 submitted 16 January, 2002;
originally announced January 2002.
-
The Rotation Class of a Flow
Authors:
Alex Clark
Abstract:
Generalizing a construction of A. Weil, we introduce a topological invariant for flows on compact, connected, finite dimensional, abelian, topological groups. We calculate this invariant for some examples and compare the invariant with other flow invariants.
Generalizing a construction of A. Weil, we introduce a topological invariant for flows on compact, connected, finite dimensional, abelian, topological groups. We calculate this invariant for some examples and compare the invariant with other flow invariants.
△ Less
Submitted 31 October, 2000;
originally announced October 2000.
-
A generalization of Hagopian's theorem and exponents
Authors:
Alex Clark
Abstract:
We generalize Hagopian's theorem characterizing solenoids to higher dimensions by showing that any homogeneous continuum admitting a fiber bundle projection onto a torus with totally disconnected fibers admits a compatible abelian topological group structure. The higher dimensional exponent group is then introduced.
We generalize Hagopian's theorem characterizing solenoids to higher dimensions by showing that any homogeneous continuum admitting a fiber bundle projection onto a torus with totally disconnected fibers admits a compatible abelian topological group structure. The higher dimensional exponent group is then introduced.
△ Less
Submitted 29 March, 2000;
originally announced March 2000.
-
Exponents and Almost Periodic Orbits
Authors:
Alex Clark
Abstract:
We introduce the group of exponents of a map of the reals into a metric space and give conditions under which this group embeds in the first Cech cohomology group of the closure of the image of the map. We show that this group generalizes the subgroup of the reals generated by the Fourier-Bohr exponents of an almost periodic orbit and that any minimal almost periodic flow in a complete metric sp…
▽ More
We introduce the group of exponents of a map of the reals into a metric space and give conditions under which this group embeds in the first Cech cohomology group of the closure of the image of the map. We show that this group generalizes the subgroup of the reals generated by the Fourier-Bohr exponents of an almost periodic orbit and that any minimal almost periodic flow in a complete metric space is determined up to (topological) equivalence by this group. We also develop a way of associating groups with any self-homeomorphism of a metric space that generalizes the rotation number of an orientation-preserving homeomorphism of the circle with irrational rotation number.
△ Less
Submitted 1 August, 1999;
originally announced August 1999.
-
Linear Flows on $κ$-Solenoids
Authors:
Alex Clark
Abstract:
Linear flows on inverse limits of tori are defined and it is shown that two linear flows on an inverse limit of tori are equivalent if and only if there is an automorphism of the inverse limit generating the equivalence.
Linear flows on inverse limits of tori are defined and it is shown that two linear flows on an inverse limit of tori are equivalent if and only if there is an automorphism of the inverse limit generating the equivalence.
△ Less
Submitted 24 June, 1999;
originally announced June 1999.
-
Flows on solenoids are generically not almost periodic
Authors:
Alex Clark
Abstract:
The space of non-singular flows on any given solenoid is shown to contain a generic subset consisting of flows that are not almost periodic. Whether this result carries over to Hamiltonian flows remains an open question.
The space of non-singular flows on any given solenoid is shown to contain a generic subset consisting of flows that are not almost periodic. Whether this result carries over to Hamiltonian flows remains an open question.
△ Less
Submitted 22 June, 1999;
originally announced June 1999.