Showing 1–46 of 46 results for author: Clark, A

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.

Comments: 12 pages, 9 figures

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.

Comments: Current: Improved results, added coauthors; Previous: Initial upload, comments welcome!

MSC Class: 14F08 (primary); 13D09; 13F40; 18G80

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.

Comments: Under Review

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.

MSC Class: 05C50; 05C78; 15A04; 15A18

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.

Comments: 23+2 pages, 8 figures. Supplementary material available at https://github.com/duetosymmetry/surprises-in-a-classic-BVP . Version 2: Added 12 references and additional discussion. Comments welcome

MSC Class: 34B16; 34E05; 34E15; 37M20; 65L11

Journal ref: SIAM Review 2023 65:1, 291-315

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.

Comments: Minor revisions to address reviewers' comments; final version published in JCP

Journal ref: J. Chem. Phys. 154, 114114 (2021)

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.

Comments: Accepted to the IEEE Conference on Decision and Control (CDC), 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.

Comments: 16 pages, submitted

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.

Comments: Final version. To appear in Tbilisi Math. Journal: Special Issue on Homotopy Theory, Spectra, and Structured Ring Spectra

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.

MSC Class: Primary 57N25; 37B45; Secondary 20E18; 53C12; 54F15

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.

Comments: This is a revised version of the paper that appeared in the proceedings of the 56th IEEE Conference on Decision and Control (CDC), Melbourne, Australia, 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.

Comments: Various text edits in version 2

MSC Class: 57N25; 37B45; 54F15

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.

Comments: Theorem 3.6 is added, where it is shown that minimal spaces without minimal squares can appear as minimal sets of torus homeomorphisms homotopic to the identity

MSC Class: 37B05; 37B45

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.

MSC Class: 37B40; 37B45; 37C70

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.

Comments: Updated with additional text to clarify some difficult or ambiguous statements. Title changed to emphasize that our counterexample is in dimension 2

MSC Class: Primary 37A20; 37B50; Secondary 37A55; 37B10; 37C85

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.

Comments: 11 pages

MSC Class: 65K06 (Primary); 65F06; 65Y06; 52A06; 90C06; 90C08 (Secondary)

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.

Comments: This work is an extensive revision of the previous version on the arXiv

MSC Class: 54F15; 54C56; 37B45; 57R30 (Primary); 57R65 (Secondary)

Journal ref: Geom. Topol. 23 (2019) 1-27

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.

Comments: 36 pages. Revision of the earlier version: introduction is rewritten. Accepted to a special issue of Indagationes Mathematicae

MSC Class: Primary 57R30; 37C55; 37B45; Secondary 53C12

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.

Comments: 19 pages

MSC Class: 90-02; 90-08; 90B99; 37D05 ACM Class: F.2.1; G.1.6; G.2.0; I.1.2

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.

Comments: PDF from Word docx, 11 pages, no figures

ACM Class: I.6.1

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.

Comments: Second revision, to further improve clarity

MSC Class: 52C23; 57R05; 57R30; 54F15; 37B45

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.

Comments: Final version; to appear in Houston J. Math

MSC Class: (Primary) 57R30; 37C55; 37B45 (Secondary) 53C12

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.

Comments: This is a major revision of the original article. Theorem 1.4 has been broadened, in that the assumption of no holonomy is no longer required, only that the holonomy action is equicontinuous. Appendices A and B have been removed, and the fundamental results from these Appendices are now contained in the preprint, arXiv:1107.1910v1

MSC Class: Primary 57S10; 54F15; 37B10; 37B45; Secondary 57R05 (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.

MSC Class: 57R30; 37C55; 37B45; 53C12

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.

Comments: 30 pages, 14 figures

MSC Class: 16G20; 16G70; 52C23

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.

Comments: Updated 2018 to version published in 2006. 19 pages, LaTeX, including four embedded figures

MSC Class: 37B50; 52C23 (Primary) 37A20; 37A25; 52C22 (Secondary)

Journal ref: Ergodic Theory and Dynamical Systems 26 (2006) 69-86

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.

Comments: Published by Algebraic and Geometric Topology at http://www.maths.warwick.ac.uk/agt/AGTVol2/agt-2-1.abs.html

MSC Class: 54F15; 55R10

Journal ref: Algebr. Geom. Topol. 2 (2002) 1-9

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.

Comments: Updated 2018 to version published in 2003. 14 pages, no figures, LaTeX

MSC Class: 52C23; 37A25; 37A30; 37A10; 37B10

Journal ref: Ergodic Theory and Dynamical Systems 23 (2003) 1043-1057

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.

Comments: Submitted for publication to Topology and its Applications

MSC Class: 37B05;37B45

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.

Comments: Submitted to "Topology and its Applications"

MSC Class: 54F15; 37B45

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.

Comments: To appear in "Toplogy Proceedings"

MSC Class: 58F25 (Primary) 43A60 (Secondary)

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.

Comments: 20 pages, 0 figures, to appear in Topology and its Applications

MSC Class: 58F25; 43A60;22C05

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.

Comments: 7 pages, 0 figures

MSC Class: 58F25