-
Dynamics of An Information Theoretic Analog of Two Masses on a Spring
Authors:
Geoff Goehle,
Christopher Griffin
Abstract:
In this letter we investigate an information theoretic analogue of the classic two masses on spring system, arising from a physical interpretation of Friston's free energy principle in the theory of learning in a system of agents. Using methods from classical mechanics on manifolds, we define a kinetic energy term using the Fisher metric on distributions and a potential energy function defined in…
▽ More
In this letter we investigate an information theoretic analogue of the classic two masses on spring system, arising from a physical interpretation of Friston's free energy principle in the theory of learning in a system of agents. Using methods from classical mechanics on manifolds, we define a kinetic energy term using the Fisher metric on distributions and a potential energy function defined in terms of stress on the agents' beliefs. The resulting Lagrangian (Hamiltonian) produces a variation of the classic DeGroot dynamics. In the two agent case, the potential function is defined using the Jeffrey's divergence and the resulting dynamics are characterized by a non-linear spring. These dynamics produce trajectories that resemble flows on tori but are shown numerically to produce chaos near the boundary of the space. We then investigate persuasion as an information theoretic control problem where analysis indicates that manipulating peer pressure with a fixed target is a more stable approach to altering an agent's belief than providing a slowly changing belief state that approaches the target.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
Free Entropy Minimizing Persuasion in a Predictor-Corrector Dynamic
Authors:
Geoff Goehle,
Christopher Griffin
Abstract:
Persuasion is the process of changing an agent's belief distribution from a given (or estimated) prior to a desired posterior. A common assumption in the acceptance of information or misinformation as fact is that the (mis)information must be consistent with or familiar to the individual who accepts it. We model the process as a control problem in which the state is given by a (time-varying) belie…
▽ More
Persuasion is the process of changing an agent's belief distribution from a given (or estimated) prior to a desired posterior. A common assumption in the acceptance of information or misinformation as fact is that the (mis)information must be consistent with or familiar to the individual who accepts it. We model the process as a control problem in which the state is given by a (time-varying) belief distribution following a predictor-corrector dynamic. Persuasion is modeled as the corrector control signal with the performance index defined using the Fisher-Rao information metric, reflecting a fundamental cost associated to altering the agent's belief distribution. To compensate for the fact that information production arises naturally from the predictor dynamic (i.e., expected beliefs change) we modify the Fisher-Rao metric to account just for information generated by the control signal. The resulting optimal control problem produces non-geodesic paths through distribution space that are compared to the geodesic paths found using the standard free entropy minimizing Fisher metric in several example belief models: a Kalman Filter, a Boltzmann distribution and a joint Kalman/Boltzmann belief system.
△ Less
Submitted 10 October, 2023;
originally announced October 2023.
-
Approximate Extraction of Late-Time Returns via Morphological Component Analysis
Authors:
Geoff Goehle,
Benjamin Cowen,
Thomas E. Blanford,
J. Daniel Park,
Daniel C. Brown
Abstract:
A fundamental challenge in acoustic data processing is to separate a measured time series into relevant phenomenological components. A given measurement is typically assumed to be an additive mixture of myriad signals plus noise whose separation forms an ill-posed inverse problem. In the setting of sensing elastic objects using active sonar, we wish to separate the early-time returns (e.g., return…
▽ More
A fundamental challenge in acoustic data processing is to separate a measured time series into relevant phenomenological components. A given measurement is typically assumed to be an additive mixture of myriad signals plus noise whose separation forms an ill-posed inverse problem. In the setting of sensing elastic objects using active sonar, we wish to separate the early-time returns (e.g., returns from the object's exterior geometry) from late-time returns caused by elastic or compressional wave coupling.
Under the framework of Morphological Component Analysis (MCA), we compare two separation models using the short-duration and long-duration responses as a proxy for early-time and late-time returns. Results are computed for Stanton's elastic cylinder model as well as on experimental data taken from an in-Air circular Synthetic Aperture Sonar (AirSAS) system, whose separated time series are formed into imagery. We find that MCA can be used to separate early and late-time responses in both cases without the use of time-gating. The separation process is demonstrated to be robust to noise and compatible with AirSAS image reconstruction. The best separation results are obtained with a flexible, but computationally intensive, frame based signal model, while a faster Fourier Transform based method is shown to have competitive performance.
△ Less
Submitted 11 August, 2022;
originally announced August 2022.
-
Enveloped Sinusoid Parseval Frames
Authors:
Geoff Goehle,
Benjamin Cowen,
J. Daniel Park,
Daniel C. Brown
Abstract:
This paper presents a method of constructing Parseval frames from any collection of complex envelopes. The resulting Enveloped Sinusoid Parseval (ESP) frames can represent a wide variety of signal types as specified by their physical morphology. Since the ESP frame retains its Parseval property even when generated from a variety of envelopes, it is compatible with large scale and iterative optimiz…
▽ More
This paper presents a method of constructing Parseval frames from any collection of complex envelopes. The resulting Enveloped Sinusoid Parseval (ESP) frames can represent a wide variety of signal types as specified by their physical morphology. Since the ESP frame retains its Parseval property even when generated from a variety of envelopes, it is compatible with large scale and iterative optimization algorithms. ESP frames are constructed by applying time-shifted envelo** functions to the discrete Fourier Transform basis, and in this way are similar to the short-time Fourier Transform.
This work provides examples of ESP frame generation for both synthetic and experimentally measured signals. Furthermore, the frame's compatibility with distributed sparse optimization frameworks is demonstrated, and efficient implementation details are provided. Numerical experiments on acoustics data reveal that the flexibility of this method allows it to be simultaneously competitive with the STFT in time-frequency processing and also with Prony's Method for time-constant parameter estimation, surpassing the shortcomings of each individual technique.
△ Less
Submitted 18 April, 2022;
originally announced April 2022.
-
Groupoid C*-algebras with Hausdorff Spectrum
Authors:
Geoff Goehle
Abstract:
Suppose $G$ is a second countable, locally compact Hausdorff groupoid with abelian stabilizer subgroups and a Haar system. We provide necessary and sufficient conditions for the groupoid $C^*$-algebra to have Hausdorff spectrum. In particular we show that the spectrum of $C^*(G)$ is Hausdorff if and only if the stabilizers vary continuously with respect to the Fell topology, the orbit space…
▽ More
Suppose $G$ is a second countable, locally compact Hausdorff groupoid with abelian stabilizer subgroups and a Haar system. We provide necessary and sufficient conditions for the groupoid $C^*$-algebra to have Hausdorff spectrum. In particular we show that the spectrum of $C^*(G)$ is Hausdorff if and only if the stabilizers vary continuously with respect to the Fell topology, the orbit space $G^{(0)}/G$ is Hausdorff, and, given convergent sequences $χ_i\to χ$ and $γ_i\cdotχ_i \to ω$ in the dual stabilizer groupoid $\hat{S}$ where the $γ_i\in G$ act via conjugation, if $χ$ and $ω$ are elements of the same fiber then $χ= ω$
△ Less
Submitted 28 July, 2012;
originally announced July 2012.
-
Groupoid equivalence and the associated iterated crossed product
Authors:
Jonathan Henry Brown,
Geoff Goehle,
Dana P. Williams
Abstract:
Given groupoids $G$ and $H$ and a $(G,H)$-equivalence $X$ we may form the transformation groupoid $G\ltimes X\rtimes H$. Given a separable groupoid dynamical system $(A,G\ltimes X\rtimes H,ω)$ we may restrict $ω$ to an action of $G\ltimes X$ on $A$ and form the crossed product $A\rtimes G\ltimes X$. We show that there is an action of $H$ on $A\rtimes G\ltimes X$ and that the iterated crossed produ…
▽ More
Given groupoids $G$ and $H$ and a $(G,H)$-equivalence $X$ we may form the transformation groupoid $G\ltimes X\rtimes H$. Given a separable groupoid dynamical system $(A,G\ltimes X\rtimes H,ω)$ we may restrict $ω$ to an action of $G\ltimes X$ on $A$ and form the crossed product $A\rtimes G\ltimes X$. We show that there is an action of $H$ on $A\rtimes G\ltimes X$ and that the iterated crossed product $(A\rtimes G\ltimes X)\rtimes H$ is naturally isomorphic to the crossed product $A\rtimes (G\ltimes X\rtimes H)$.
△ Less
Submitted 24 July, 2012; v1 submitted 10 June, 2012;
originally announced June 2012.
-
The Brauer Semigroup of a groupoid and a symmetric imprimitivity theorem
Authors:
Jonathan Henry Brown,
Geoff Goehle
Abstract:
In this paper we define a monoid called the equivariant Brauer semigroup for a locally compact Hausdorff groupoid E whose elements consist of Morita equivalence classes of E-dynamical systems. This construction generalizes both the equivariant Brauer semigroup for transformation groups and the equivariant Brauer group for a groupoid. We show that groupoid equivalence induces an isomorphism of equi…
▽ More
In this paper we define a monoid called the equivariant Brauer semigroup for a locally compact Hausdorff groupoid E whose elements consist of Morita equivalence classes of E-dynamical systems. This construction generalizes both the equivariant Brauer semigroup for transformation groups and the equivariant Brauer group for a groupoid. We show that groupoid equivalence induces an isomorphism of equivariant Brauer semigroups and that this isomorphism preserves the Morita equivalence classes of the respective crossedproducts, thus generalizing Raeburn's symmetric imprimitivity theorem.
△ Less
Submitted 28 August, 2012; v1 submitted 10 June, 2012;
originally announced June 2012.
-
Locally Unitary Groupoid Crossed Products
Authors:
Geoff Goehle
Abstract:
We define the notion of a principal S-bundle where S is a groupoid group bundle and show that there is a one-to-one correspondence between principal S-bundles and elements of a sheaf cohomology group associated to S. We also define the notion of a locally unitary action and show that the spectrum of the crossed product is a principal bundle. Furthermore, we prove that the isomorphism class of th…
▽ More
We define the notion of a principal S-bundle where S is a groupoid group bundle and show that there is a one-to-one correspondence between principal S-bundles and elements of a sheaf cohomology group associated to S. We also define the notion of a locally unitary action and show that the spectrum of the crossed product is a principal bundle. Furthermore, we prove that the isomorphism class of the spectrum determines the exterior equivalence class of the action and that every principal bundle can be realized as the spectrum of some locally unitary crossed product.
△ Less
Submitted 26 August, 2009;
originally announced August 2009.
-
The Mackey Machine for Crossed Products by Regular Groupoids. II
Authors:
Geoff Goehle
Abstract:
We prove that given a regular groupoid $G$ whose isotropy subgroupoid $S$ has a Haar system, along with a dynamical system $(A,G,α)$, there is an action of $G$ on the spectrum of $A\rtimes S$ such that the spectrum of $A\rtimes G$ is homeomorphic to the orbit space of this action via induction. In addition, we give a strengthening of these results in the case where the crossed product is a group…
▽ More
We prove that given a regular groupoid $G$ whose isotropy subgroupoid $S$ has a Haar system, along with a dynamical system $(A,G,α)$, there is an action of $G$ on the spectrum of $A\rtimes S$ such that the spectrum of $A\rtimes G$ is homeomorphic to the orbit space of this action via induction. In addition, we give a strengthening of these results in the case where the crossed product is a groupoid algebra.
△ Less
Submitted 7 October, 2009; v1 submitted 10 August, 2009;
originally announced August 2009.
-
The Mackey Machine for Crossed Products by Regular Groupoids. I
Authors:
Geoff Goehle
Abstract:
We first describe a Rieffel induction system for groupoid crossed products. We then use this induction system to show that, given a regular groupoid $G$ and a dynamical system $(A,G,α)$, every irreducible representation of $A\rtimes G$ is induced from a representation of the group crossed product $A(u)\rtimes S_u$ where $u\in G\unit$, $A(u)$ is a fibre of $A$, and $S_u$ is a stabilizer subgroup…
▽ More
We first describe a Rieffel induction system for groupoid crossed products. We then use this induction system to show that, given a regular groupoid $G$ and a dynamical system $(A,G,α)$, every irreducible representation of $A\rtimes G$ is induced from a representation of the group crossed product $A(u)\rtimes S_u$ where $u\in G\unit$, $A(u)$ is a fibre of $A$, and $S_u$ is a stabilizer subgroup of $G$.
△ Less
Submitted 10 August, 2009;
originally announced August 2009.
-
Groupoid Crossed Products
Authors:
Geoff Goehle
Abstract:
We present a number of findings concerning groupoid dynamical systems and groupoid crossed products. The primary result is an identification of the spectrum of the groupoid crossed product when the groupoid has continuously varying abelian stabilizers and a well behaved orbit space. In this case, the spectrum of the crossed product is homeomorphic, via an induction map, to a quotient of the spec…
▽ More
We present a number of findings concerning groupoid dynamical systems and groupoid crossed products. The primary result is an identification of the spectrum of the groupoid crossed product when the groupoid has continuously varying abelian stabilizers and a well behaved orbit space. In this case, the spectrum of the crossed product is homeomorphic, via an induction map, to a quotient of the spectrum of the crossed product by the stabilizer group bundle. The main theorem is also generalized in the groupoid algebra case to an identification of the primitive ideal space. This generalization replaces the assumption that the orbit space is well behaved with an amenability hypothesis. We then use induction to show that the primitive ideal space of the groupoid algebra is homeomorphic to a quotient of the dual of the stabilizer group bundle. In both cases the identification is topological. We then apply these theorems in a number of examples, and examine when a groupoid algebra has Hausdorff spectrum. As a separate result, we also develop a theory of principal groupoid group bundles and locally unitary groupoid actions. We prove that such actions are characterized, up to exterior equivalence, by a cohomology class which arises from a principal bundle. Furthermore, we also demonstrate how to construct a locally unitary action from a given principal bundle. This last result uses a duality theorem for abelian group bundles which is also included as part of this thesis.
△ Less
Submitted 28 May, 2009;
originally announced May 2009.
-
Group Bundle Duality
Authors:
Geoff Goehle
Abstract:
This paper introduces a generalization of Pontryagin duality for locally compact Hausdorff abelian groups to locally compact Hausdorff abelian group bundles.
This paper introduces a generalization of Pontryagin duality for locally compact Hausdorff abelian groups to locally compact Hausdorff abelian group bundles.
△ Less
Submitted 26 March, 2009; v1 submitted 27 November, 2007;
originally announced November 2007.