-
Effective Computation of the Heegaard Genus of 3-Manifolds
Authors:
Benjamin A. Burton,
Finn Thompson
Abstract:
The Heegaard genus is a fundamental invariant of 3-manifolds. However, computing the Heegaard genus of a triangulated 3-manifold is NP-hard, and while algorithms exist, little work has been done in making such an algorithm efficient and practical for implementation. Current algorithms use almost normal surfaces, which are an extension of the algorithm-friendly normal surface theory but which add c…
▽ More
The Heegaard genus is a fundamental invariant of 3-manifolds. However, computing the Heegaard genus of a triangulated 3-manifold is NP-hard, and while algorithms exist, little work has been done in making such an algorithm efficient and practical for implementation. Current algorithms use almost normal surfaces, which are an extension of the algorithm-friendly normal surface theory but which add considerable complexity for both running time and implementation.
Here we take a different approach: instead of working with almost normal surfaces, we give a general method of modifying the input triangulation that allows us to avoid almost normal surfaces entirely. The cost is just four new tetrahedra, and the benefit is that important surfaces that were once almost normal can be moved to the simpler setting of normal surfaces in the new triangulation. We apply this technique to the computation of Heegaard genus, where we develop algorithms and heuristics that prove successful in practice when applied to a data set of 3,000 closed hyperbolic 3-manifolds; we precisely determine the genus for at least 2,705 of these.
△ Less
Submitted 18 March, 2024;
originally announced March 2024.
-
Reduced α-stable dynamics for multiple time scale systems forced with correlated additive and multiplicative Gaussian white noise
Authors:
William F. Thompson,
Rachel A. Kuske,
Adam. H. Monahan
Abstract:
Stochastic averaging problems with Gaussian forcing have been studied thoroughly for many years, but far less attention has been paid to problems where the stochastic forcing has infinite variance, such as an α-stable noise forcing. It has been shown that simple linear processes driven by correlated additive and multiplicative (CAM) Gaussian noise, which emerge in the context of atmosphere and oce…
▽ More
Stochastic averaging problems with Gaussian forcing have been studied thoroughly for many years, but far less attention has been paid to problems where the stochastic forcing has infinite variance, such as an α-stable noise forcing. It has been shown that simple linear processes driven by correlated additive and multiplicative (CAM) Gaussian noise, which emerge in the context of atmosphere and ocean dynamics, have infinite variance in certain parameter regimes.
In this paper, we study a stochastic averaging problem where a linear CAM noise process in a particular parameter regime is used to drive a comparatively slow process. It is shown that the slow process exhibits properties consistent with being forced by a white α-stable noise in the case of large time-scale separation. We identify the conditions required for the fast linear CAM process to have such an influence in driving a slower process, and then derive an (effectively) equivalent fast, infinite-variance process for which an existing stochastic averaging approximation is readily applied. These results are illustrated using a set of representative numerical results.
△ Less
Submitted 23 May, 2017;
originally announced May 2017.
-
Stochastic averaging of dynamical systems with multiple time scales forced with α-stable noise
Authors:
William F. Thompson,
Rachel A. Kuske,
Adam H. Monahan
Abstract:
Stochastic averaging allows for the reduction of the dimension and complexity of stochastic dynamical systems with multiple time scales, replacing fast variables with statistically equivalent stochastic processes in order to analyze variables evolving on the slow time scale. These procedures have been studied extensively for systems driven by Gaussian noise, but very little attention has been give…
▽ More
Stochastic averaging allows for the reduction of the dimension and complexity of stochastic dynamical systems with multiple time scales, replacing fast variables with statistically equivalent stochastic processes in order to analyze variables evolving on the slow time scale. These procedures have been studied extensively for systems driven by Gaussian noise, but very little attention has been given to the case of α-stable noise forcing which arises naturally from heavy-tailed stochastic perturbations. In this paper, we study nonlinear fast-slow stochastic dynamical systems in which the fast variables are driven by additive α-stable noise perturbations, and the slow variables depend linearly on the fast variables. Using a combination of perturbation methods and Fourier analysis, we derive stochastic averaging approximations for the statistical contributions of the fast variables to the slow variables. In the case that the diffusion term of the reduced model depends on the state of the slow variable, we show that this term is interpreted in terms of the Marcus calculus. For the case α= 2, which corresponds to Gaussian noise, the results are consistent with previous results for stochastic averaging in the Gaussian case. Although the main results are derived analytically for 1 < α< 2, we provide evidence of their validity for α< 1 with numerical examples. We numerically simulate both linear and nonlinear systems and the corresponding reduced models demonstrating good agreement for their stationary distributions and temporal dependence properties.
△ Less
Submitted 24 February, 2015; v1 submitted 7 October, 2014;
originally announced October 2014.
-
Equations for superelliptic curves over their minimal field of definition
Authors:
Lubjana Beshaj,
Fred Thompson
Abstract:
Let $\mathcal X_g$ be a genus $g\geq 2$ superelliptic curve, $F$ its field of moduli, and $K$ the minimal field of definition. In this short note we construct an equation of the curve $\mathcal X_g$ over its minimal field of definition $K$ when $\mathcal X_g$ has extra automorphisms. We make use of the dihedral invariants of superelliptic curves as defined by Shaska in [6] and results on the autom…
▽ More
Let $\mathcal X_g$ be a genus $g\geq 2$ superelliptic curve, $F$ its field of moduli, and $K$ the minimal field of definition. In this short note we construct an equation of the curve $\mathcal X_g$ over its minimal field of definition $K$ when $\mathcal X_g$ has extra automorphisms. We make use of the dihedral invariants of superelliptic curves as defined by Shaska in [6] and results on the automorphism groups of superelliptic curves as in [10].
△ Less
Submitted 23 July, 2014; v1 submitted 18 May, 2014;
originally announced May 2014.
-
Bielliptic curves of genus 3 in the hyperelliptic moduli
Authors:
T. Shaska,
F. Thompson
Abstract:
In this paper we study bielliptic curves of genus 3 defined over an algebraically closed field $k$ and the intersection of the moduli space $\M_3^b$ of such curves with the hyperelliptic moduli $\H_3$. Such intersection $§$ is an irreducible, 3-dimensional, rational algebraic variety. We determine the equation of this space in terms of the $Gl(2, k)$-invariants of binary octavics as defined in \ci…
▽ More
In this paper we study bielliptic curves of genus 3 defined over an algebraically closed field $k$ and the intersection of the moduli space $\M_3^b$ of such curves with the hyperelliptic moduli $\H_3$. Such intersection $§$ is an irreducible, 3-dimensional, rational algebraic variety. We determine the equation of this space in terms of the $Gl(2, k)$-invariants of binary octavics as defined in \cite{hyp_mod_3} and find a birational parametrization of $§$. We also compute all possible subloci of curves for all possible automorphism group $G$. Moreover, for every rational moduli point $\p \in §$, such that $| \Aut (\p) | > 4$, we give explicitly a rational model of the corresponding curve over its field of moduli in terms of the $Gl(2, k)$-invariants.
△ Less
Submitted 20 May, 2013;
originally announced May 2013.
-
Introducing Quaternionic Gerbes
Authors:
Finlay Thompson
Abstract:
The notion of a quaternionic gerbe is presented as a new way of bundling algebraic structures over a four manifold. The structure groupoid of this fibration is described in some detail. The Euclidean conformal group R*SO(4) appears naturally as a (non-commutative) monoidal structure on this groupoid. Using this monoidal structure we indicate the existence of a canonical quaternionic gerbe associ…
▽ More
The notion of a quaternionic gerbe is presented as a new way of bundling algebraic structures over a four manifold. The structure groupoid of this fibration is described in some detail. The Euclidean conformal group R*SO(4) appears naturally as a (non-commutative) monoidal structure on this groupoid. Using this monoidal structure we indicate the existence of a canonical quaternionic gerbe associated to a conformal structure on a four manifold.
△ Less
Submitted 21 September, 2000;
originally announced September 2000.