Showing 1–50 of 68 results for author: Fisher, T

Minimisation of 2-coverings of genus 2 Jacobians

Authors: Tom Fisher, Mengzhen Liu

Abstract: An important problem in computational arithmetic geometry is to find changes of coordinates to simplify a system of polynomial equations with rational coefficients. This is tackled by a combination of two techniques, called minimisation and reduction. We give an algorithm for minimising certain pairs of quadratic forms, subject to the constraint that the first quadratic form is fixed. This has app… ▽ More An important problem in computational arithmetic geometry is to find changes of coordinates to simplify a system of polynomial equations with rational coefficients. This is tackled by a combination of two techniques, called minimisation and reduction. We give an algorithm for minimising certain pairs of quadratic forms, subject to the constraint that the first quadratic form is fixed. This has applications to 2-descent on the Jacobian of a genus 2 curve. △ Less

Submitted 12 September, 2023; originally announced September 2023.

Comments: 15 pages

MSC Class: 11G30; 11D09; 14Q25; 11Y99

Computing the Cassels-Tate pairing on the 2-Selmer group of a genus 2 Jacobian

Authors: Tom Fisher, Jiali Yan

Abstract: We describe a method for computing the Cassels-Tate pairing on the 2-Selmer group of the Jacobian of a genus 2 curve. This can be used to improve the upper bound coming from 2-descent for the rank of the group of rational points on the Jacobian. Our method remains practical regardless of the Galois action on the Weierstrass points of the genus 2 curve. It does however depend on being able to find… ▽ More We describe a method for computing the Cassels-Tate pairing on the 2-Selmer group of the Jacobian of a genus 2 curve. This can be used to improve the upper bound coming from 2-descent for the rank of the group of rational points on the Jacobian. Our method remains practical regardless of the Galois action on the Weierstrass points of the genus 2 curve. It does however depend on being able to find a rational point on a certain twisted Kummer surface. The latter does not appear to be a severe restriction in practice. In particular, we have used our method to unconditionally determine the ranks of all genus 2 Jacobians in the L-functions and modular forms database (LMFDB). △ Less

Submitted 9 June, 2023; originally announced June 2023.

Comments: 48 pages

MSC Class: 11G10; 11G30

The density of integral quadratic forms having a $k$-dimensional totally isotropic subspace

Authors: Lycka Drakengren, Tom Fisher

Abstract: We investigate the probability that a random quadratic form in ${\mathbb{Z}}[x_1,...,x_n]$ has a totally isotropic subspace of a given dimension. We show that this global probability is a product of local probabilities. Our main result computes these local probabilities for quadratic forms over the $p$-adics. The formulae we obtain are rational functions in $p$ invariant upon substituting… ▽ More We investigate the probability that a random quadratic form in ${\mathbb{Z}}[x_1,...,x_n]$ has a totally isotropic subspace of a given dimension. We show that this global probability is a product of local probabilities. Our main result computes these local probabilities for quadratic forms over the $p$-adics. The formulae we obtain are rational functions in $p$ invariant upon substituting $p \mapsto 1/p$. △ Less

Submitted 20 December, 2022; originally announced December 2022.

Comments: 18 pages

MSC Class: 11D09; 11E08

On binary quartics and the Cassels-Tate pairing

Authors: Tom Fisher

Abstract: We use the invariant theory of binary quartics to give a new formula for the Cassels-Tate pairing on the $2$-Selmer group of an elliptic curve. Unlike earlier methods, our formula does not require us to solve any conics. An important role in our construction is played by a certain $K3$ surface defined by a $(2,2,2)$-form. We use the invariant theory of binary quartics to give a new formula for the Cassels-Tate pairing on the $2$-Selmer group of an elliptic curve. Unlike earlier methods, our formula does not require us to solve any conics. An important role in our construction is played by a certain $K3$ surface defined by a $(2,2,2)$-form. △ Less

Submitted 31 August, 2022; originally announced August 2022.

Comments: 15 pages, to appear in the proceedings of ANTS 2022

MSC Class: 11G05

Computing structure constants for rings of finite rank from minimal free resolutions

Authors: Tom Fisher, Lazar Radičević

Abstract: We show how the minimal free resolution of a set of $n$ points in general position in projective space of dimension $n-2$ explicitly determines structure constants for a ring of rank $n$. This generalises previously known constructions of Levi-Delone-Faddeev and Bhargava in the cases $n=3,4,5$. We show how the minimal free resolution of a set of $n$ points in general position in projective space of dimension $n-2$ explicitly determines structure constants for a ring of rank $n$. This generalises previously known constructions of Levi-Delone-Faddeev and Bhargava in the cases $n=3,4,5$. △ Less

Submitted 16 September, 2021; originally announced September 2021.

Comments: 22 pages

MSC Class: 11R04; 13D02

On pairs of 17-congruent elliptic curves

Authors: Tom Fisher

Abstract: We compute explicit equations for the surfaces Z(17,1) and Z(17,3) parametrising pairs of $17$-congruent elliptic curves. We find that each is a double cover of the same elliptic K3-surface. We use these equations to exhibit the first non-trivial example of a pair of symplectically 17-congruent elliptic curves over the rationals. We also compute the corresponding genus 2 curve whose Jacobian has a… ▽ More We compute explicit equations for the surfaces Z(17,1) and Z(17,3) parametrising pairs of $17$-congruent elliptic curves. We find that each is a double cover of the same elliptic K3-surface. We use these equations to exhibit the first non-trivial example of a pair of symplectically 17-congruent elliptic curves over the rationals. We also compute the corresponding genus 2 curve whose Jacobian has a $(17,17)$-splitting. △ Less

Submitted 3 June, 2021; originally announced June 2021.

Comments: 24 pages

MSC Class: 11G05; 11F80

The density of polynomials of degree $n$ over $\mathbb{Z}_p$ having exactly $r$ roots in $\mathbb{Q}_p$

Authors: Manjul Bhargava, John Cremona, Tom Fisher, Stevan Gajović

Abstract: We determine the probability that a random polynomial of degree $n$ over $\mathbb{Z}_p$ has exactly $r$ roots in $\mathbb{Q}_p$, and show that it is given by a rational function of $p$ that is invariant under replacing $p$ by $1/p$. We determine the probability that a random polynomial of degree $n$ over $\mathbb{Z}_p$ has exactly $r$ roots in $\mathbb{Q}_p$, and show that it is given by a rational function of $p$ that is invariant under replacing $p$ by $1/p$. △ Less

Submitted 25 March, 2022; v1 submitted 23 January, 2021; originally announced January 2021.

Comments: 22 pages; to appear in the Proceedings of the London Mathematical Society; this version includes further details in the proof of Lemma 3.5

MSC Class: 11S05

Phase transitions for the geodesic flow of a rank one surface with nonpositive curvature

Authors: Keith Burns, Jérôme Buzzi, Todd Fisher, Noelle Sawyer

Abstract: We study the one parameter family of potential functions $q\varphi^u$ associated with the geometric potential $\varphi^u$ for the geodesic flow of a compact rank 1 surface of nonpositive curvature. For $q<1$ it is known that there is a unique equilibrium state associated with $q\varphi^u$, and it has full support. For $q > 1$ it is known that an invariant measure is an equilibrium state if and onl… ▽ More We study the one parameter family of potential functions $q\varphi^u$ associated with the geometric potential $\varphi^u$ for the geodesic flow of a compact rank 1 surface of nonpositive curvature. For $q<1$ it is known that there is a unique equilibrium state associated with $q\varphi^u$, and it has full support. For $q > 1$ it is known that an invariant measure is an equilibrium state if and only if it is supported on the singular set. We study the critical value $q=1$ and show that the ergodic equilibrium states are either the restriction to the regular set of the Liouville measure, or measures supported on the singular set. In particular, when~$q = 1$, there is a unique ergodic equilibrium state that gives positive measure to the regular set. △ Less

Submitted 5 January, 2021; originally announced January 2021.

Comments: 9 pages, 1 figure

MSC Class: 37B40

Accessibility and centralizers for partially hyperbolic flows

Authors: Todd Fisher, Boris Hasselblatt

Abstract: Stable accessibility for partially hyperbolic diffeomorphisms is central to their ergodic theory, and we establish its \(C^1\)-density among 1. all, 2. volume-preserving, 3. symplectic, and 4. contact partially hyperbolic flows. As applications, we obtain in each of these 4 categories \(C^1\)-density of \(C^1\)-stable topological transitivity, ergodicity, and triviality of the centralizer. Stable accessibility for partially hyperbolic diffeomorphisms is central to their ergodic theory, and we establish its \(C^1\)-density among 1. all, 2. volume-preserving, 3. symplectic, and 4. contact partially hyperbolic flows. As applications, we obtain in each of these 4 categories \(C^1\)-density of \(C^1\)-stable topological transitivity, ergodicity, and triviality of the centralizer. △ Less

Submitted 8 July, 2020; originally announced July 2020.

Comments: 15 pages, 3 figures

MSC Class: 37D30

Journal ref: Ergod. Th. Dynam. Sys. 42 (2022) 835-854

Bootstrapping a Powerful Mixed Portmanteau Test for Time Series

Authors: Esam Mahdi, Thomas J. Fisher

Abstract: A new portmanteau test statistic is proposed for detecting nonlinearity in time series data. In this paper, we elaborate on the Toeplitz autocorrelation matrix to the autocorrelation and cross-correlation of residuals and squared residuals block matrix. We derive a new portmanteau test statistic using the log of the determinant of the mth autocorrelations and cross-correlations block matrix. The a… ▽ More A new portmanteau test statistic is proposed for detecting nonlinearity in time series data. In this paper, we elaborate on the Toeplitz autocorrelation matrix to the autocorrelation and cross-correlation of residuals and squared residuals block matrix. We derive a new portmanteau test statistic using the log of the determinant of the mth autocorrelations and cross-correlations block matrix. The asymptotic distribution of the proposed test statistic is derived as a linear combination of chi-squared distributions and can be approximated by a gamma distribution. This test is applied to identify the linearity and nonlinearity dependency of some stationary time series models. It is shown that the convergence of the new test to its asymptotic distribution is reasonable with higher power than other tests in many situations. We demonstrate the efficiency of the proposed test by investigating linear and nonlinear effects in Vodafone Qatar and Nikkei-300 daily returns. △ Less

Submitted 30 August, 2022; v1 submitted 2 May, 2020; originally announced May 2020.

Equilibrium states for natural extensions of non-uniformly expanding local homeomorphisms

Authors: Todd Fisher, Krerley Oliveira

Abstract: We examine uniqueness of equilibrium states for the natural extension of a topologically exact, non-uniformly expanding, local homeomorphism with a Hölder continuous potential function. We do this by applying general techniques developed by Climenhaga and Thompson, and show there is a natural condition on decompositions that guarantees that a unique equilibrium state exists. We then show how to ap… ▽ More We examine uniqueness of equilibrium states for the natural extension of a topologically exact, non-uniformly expanding, local homeomorphism with a Hölder continuous potential function. We do this by applying general techniques developed by Climenhaga and Thompson, and show there is a natural condition on decompositions that guarantees that a unique equilibrium state exists. We then show how to apply these results to partially hyperbolic attractors. △ Less

Submitted 1 May, 2020; originally announced May 2020.

Comments: 12 pages. arXiv admin note: text overlap with arXiv:1909.05230

MSC Class: 37B40; 37C40; 37D30

The proportion of genus one curves over $\mathbb{Q}$ defined by a binary quartic that everywhere locally have a point

Authors: Manjul Bhargava, John Cremona, Tom Fisher

Abstract: We consider the proportion of genus one curves over $\mathbb{Q}$ of the form $z^2=f(x,y)$ where $f(x,y)\in\mathbb{Z}[x,y]$ is a binary quartic form (or more generally of the form $z^2+h(x,y)z=f(x,y)$ where also $h(x,y)\in\mathbb{Z}[x,y]$ is a binary quadratic form) that have points everywhere locally. We show that the proportion of these curves that are locally soluble, computed as a product of lo… ▽ More We consider the proportion of genus one curves over $\mathbb{Q}$ of the form $z^2=f(x,y)$ where $f(x,y)\in\mathbb{Z}[x,y]$ is a binary quartic form (or more generally of the form $z^2+h(x,y)z=f(x,y)$ where also $h(x,y)\in\mathbb{Z}[x,y]$ is a binary quadratic form) that have points everywhere locally. We show that the proportion of these curves that are locally soluble, computed as a product of local densities, is approximately 75.96%. We prove that the local density at a prime $p$ is given by a fixed degree-$9$ rational function of $p$ for all odd $p$ (and for the generalised equation, the same rational function gives the local density at every prime). An additional analysis is carried out to estimate rigorously the local density at the real place. △ Less

Submitted 31 July, 2020; v1 submitted 25 April, 2020; originally announced April 2020.

Comments: 19 pages. To appear in IJNT

On families of 13-congruent elliptic curves

Authors: Tom Fisher

Abstract: We compute twists of the modular curve $X(13)$ that parametrise the elliptic curves 13-congruent to a given elliptic curve. Searching for rational points on these twists enables us to find non-trivial pairs of 13-congruent elliptic curves over ${\mathbb Q}$, i.e. pairs of non-isogenous elliptic curves over ${\mathbb Q}$ whose 13-torsion subgroups are isomorphic as Galois modules. We also find equa… ▽ More We compute twists of the modular curve $X(13)$ that parametrise the elliptic curves 13-congruent to a given elliptic curve. Searching for rational points on these twists enables us to find non-trivial pairs of 13-congruent elliptic curves over ${\mathbb Q}$, i.e. pairs of non-isogenous elliptic curves over ${\mathbb Q}$ whose 13-torsion subgroups are isomorphic as Galois modules. We also find equations for the surfaces parametrising pairs of 13-congruent elliptic curves. There are two such surfaces, corresponding to 13-congruences that do, or do not, respect the Weil pairing. We write each as a double cover of the projective plane ramified over a highly singular model for Baran's modular curve of level 13. By finding suitable rational curves on these surfaces, we show that there are infinitely many non-trivial pairs of 13-congruent elliptic curves over ${\mathbb Q}$. △ Less

Submitted 23 December, 2019; originally announced December 2019.

Comments: 45 pages

Everywhere local solubility for hypersurfaces in products of projective spaces

Authors: Tom Fisher, Wei Ho, Jennifer Park

Abstract: We prove that a positive proportion of hypersurfaces in products of projective spaces over $\mathbb{Q}$ are everywhere locally soluble, for almost all multidegrees and dimensions, as a generalization of a theorem of Poonen and Voloch. We also study the specific case of genus $1$ curves in $\mathbb{P}^1 \times \mathbb{P}^1$ defined over $\mathbb{Q}$, represented as bidegree $(2,2)$-forms, and show… ▽ More We prove that a positive proportion of hypersurfaces in products of projective spaces over $\mathbb{Q}$ are everywhere locally soluble, for almost all multidegrees and dimensions, as a generalization of a theorem of Poonen and Voloch. We also study the specific case of genus $1$ curves in $\mathbb{P}^1 \times \mathbb{P}^1$ defined over $\mathbb{Q}$, represented as bidegree $(2,2)$-forms, and show that the proportion of everywhere locally soluble such curves is approximately $87.4\%$. The proportion of these curves in $\mathbb{P}^1 \times \mathbb{P}^1$ soluble over $\mathbb{Q}_p$ is a rational function of $p$ for each finite prime $p$. Finally, we include some experimental data on the Hasse principle for these curves. △ Less

Submitted 16 October, 2020; v1 submitted 21 November, 2019; originally announced November 2019.

Comments: Added a case to Conjecture 1.2 (and 2.4), and a few other minor changes. To appear in Research in Number Theory

Equilibrium states for certain partially hyperbolic attractors

Authors: Todd Fisher, Krerley Oliveira

Abstract: We prove that a class of partially hyperbolic attractors introduced by Castro and Nascimento have unique equilibrium states for natural classes of potentials. We also show if the attractors are $C^2$ and have invariant stable and centerunstable foliations, then there is a unique equilibrium state for the geometric potential and its 1-parameter family. We do this by applying general techniques deve… ▽ More We prove that a class of partially hyperbolic attractors introduced by Castro and Nascimento have unique equilibrium states for natural classes of potentials. We also show if the attractors are $C^2$ and have invariant stable and centerunstable foliations, then there is a unique equilibrium state for the geometric potential and its 1-parameter family. We do this by applying general techniques developed by Climenhaga and Thompson. △ Less

Submitted 11 September, 2019; originally announced September 2019.

Comments: 14 pages, 1 figure

A dichotomy for measures of maximal entropy near time-one maps of transitive Anosov flows

Authors: Jérôme Buzzi, Todd Fisher, Ali Tahzibi

Abstract: We show that time-one maps of transitive Anosov flows of compact manifolds are accumulated by diffeomorphisms robustly satisfying the following dichotomy: either all of the measures of maximal entropy are non-hyperbolic, or there are exactly two ergodic measures of maximal entropy, one with a positive central exponent and the other with a negative central exponent. We establish this dichotomy fo… ▽ More We show that time-one maps of transitive Anosov flows of compact manifolds are accumulated by diffeomorphisms robustly satisfying the following dichotomy: either all of the measures of maximal entropy are non-hyperbolic, or there are exactly two ergodic measures of maximal entropy, one with a positive central exponent and the other with a negative central exponent. We establish this dichotomy for certain partially hyperbolic diffeomorphisms isotopic to the identity whenever both of their strong foliations are minimal. Our proof builds on the approach developed by Margulis for Anosov flows where he constructs suitable families of measures on the dynamical foliations. △ Less

Submitted 8 December, 2020; v1 submitted 16 April, 2019; originally announced April 2019.

Comments: 31 pages

MSC Class: 37C40; 37D30; 37A35; 37D35

Centralizers of hyperbolic and kinematic-expansive flows

Authors: Lennard Bakker, Todd Fisher, Boris Hasselblatt

Abstract: We show generic $C^\infty$ hyperbolic flows (Axiom A and no cycles, but not transitive Anosov) commute with no $C^\infty$-diffeomorphism other than a time-t map of the flow itself. Kinematic expansivity, a substantial weakening of expansivity, implies that $C^0$ flows have quasi-discrete $C^0$-centralizer, and additional conditions broader than transitivity then give discrete $C^0$-centralizer. We… ▽ More We show generic $C^\infty$ hyperbolic flows (Axiom A and no cycles, but not transitive Anosov) commute with no $C^\infty$-diffeomorphism other than a time-t map of the flow itself. Kinematic expansivity, a substantial weakening of expansivity, implies that $C^0$ flows have quasi-discrete $C^0$-centralizer, and additional conditions broader than transitivity then give discrete $C^0$-centralizer. We also prove centralizer-rigidity: a diffeomorphism commuting with a generic hyperbolic flow is determined by its values on any open set. △ Less

Submitted 26 March, 2019; originally announced March 2019.

Comments: 18 pages

MSC Class: 37D20; 37C10; 37C20

Explicit moduli spaces for congruences of elliptic curves

Authors: Tom Fisher

Abstract: We determine explicit birational models over Q for the modular surfaces parametrising pairs of N-congruent elliptic curves in all cases where this surface is an elliptic surface. In each case we also determine the rank of the Mordell-Weil lattice and the geometric Picard number. We determine explicit birational models over Q for the modular surfaces parametrising pairs of N-congruent elliptic curves in all cases where this surface is an elliptic surface. In each case we also determine the rank of the Mordell-Weil lattice and the geometric Picard number. △ Less

Submitted 26 April, 2018; originally announced April 2018.

Comments: 20 pages

MSC Class: 11G05; 11F80; 14J27

Computing the Cassels-Tate pairing on 3-isogeny Selmer groups via cubic norm equations

Authors: Monique van Beek, Tom Fisher

Abstract: We explain a method for computing the Cassels-Tate pairing on the 3-isogeny Selmer groups of an elliptic curve. This improves the upper bound on the rank of the elliptic curve coming from a descent by 3-isogeny, to that coming from a full 3-descent. One ingredient of our work is a new algorithm for solving cubic norm equations, that avoids the need for any S-unit computations. As an application, w… ▽ More We explain a method for computing the Cassels-Tate pairing on the 3-isogeny Selmer groups of an elliptic curve. This improves the upper bound on the rank of the elliptic curve coming from a descent by 3-isogeny, to that coming from a full 3-descent. One ingredient of our work is a new algorithm for solving cubic norm equations, that avoids the need for any S-unit computations. As an application, we show that the elliptic curves with torsion subgroup of order 3 and rank at least 13, found by Eroshkin, have rank exactly 13. △ Less

Submitted 7 November, 2017; originally announced November 2017.

Comments: 31 pages

MSC Class: 11G05; 11Y40

On some algebras associated to genus one curves

Authors: Tom Fisher

Abstract: Haile, Han and Kuo have studied certain non-commutative algebras associated to a binary quartic or ternary cubic form. We extend their construction to pairs of quadratic forms in four variables, and conjecture a further generalisation to genus one curves of arbitrary degree. These constructions give an explicit realisation of an isomorphism relating the Weil-Chatelet and Brauer groups of an ellipt… ▽ More Haile, Han and Kuo have studied certain non-commutative algebras associated to a binary quartic or ternary cubic form. We extend their construction to pairs of quadratic forms in four variables, and conjecture a further generalisation to genus one curves of arbitrary degree. These constructions give an explicit realisation of an isomorphism relating the Weil-Chatelet and Brauer groups of an elliptic curve. △ Less

Submitted 26 July, 2017; originally announced July 2017.

Comments: 20 pages

MSC Class: 11G05; 14F22; 16H05

$\left( β, \varpi \right)$-stability for cross-validation and the choice of the number of folds

Authors: Ning Xu, Jian Hong, Timothy C. G. Fisher

Abstract: In this paper, we introduce a new concept of stability for cross-validation, called the $\left( β, \varpi \right)$-stability, and use it as a new perspective to build the general theory for cross-validation. The $\left( β, \varpi \right)$-stability mathematically connects the generalization ability and the stability of the cross-validated model via the Rademacher complexity. Our result reveals mat… ▽ More In this paper, we introduce a new concept of stability for cross-validation, called the $\left( β, \varpi \right)$-stability, and use it as a new perspective to build the general theory for cross-validation. The $\left( β, \varpi \right)$-stability mathematically connects the generalization ability and the stability of the cross-validated model via the Rademacher complexity. Our result reveals mathematically the effect of cross-validation from two sides: on one hand, cross-validation picks the model with the best empirical generalization ability by validating all the alternatives on test sets; on the other hand, cross-validation may compromise the stability of the model selection by causing subsampling error. Moreover, the difference between training and test errors in q\textsuperscript{th} round, sometimes referred to as the generalization error, might be autocorrelated on q. Guided by the ideas above, the $\left( β, \varpi \right)$-stability help us derivd a new class of Rademacher bounds, referred to as the one-round/convoluted Rademacher bounds, for the stability of cross-validation in both the i.i.d.\ and non-i.i.d.\ cases. For both light-tail and heavy-tail losses, the new bounds quantify the stability of the one-round/average test error of the cross-validated model in terms of its one-round/average training error, the sample sizes $n$, number of folds $K$, the tail property of the loss (encoded as Orlicz-$Ψ_ν$ norms) and the Rademacher complexity of the model class $Λ$. The new class of bounds not only quantitatively reveals the stability of the generalization ability of the cross-validated model, it also shows empirically the optimal choice for number of folds $K$, at which the upper bound of the one-round/average test error is lowest, or, to put it in another way, where the test error is most stable. △ Less

Submitted 5 July, 2017; v1 submitted 20 May, 2017; originally announced May 2017.

Unique equilibrium states for geodesic flows in nonpositive curvature

Authors: Keith Burns, Vaughn Climenhaga, Todd Fisher, Daniel J. Thompson

Abstract: We study geodesic flows over compact rank 1 manifolds and prove that sufficiently regular potential functions have unique equilibrium states if the singular set does not carry full pressure. In dimension 2, this proves uniqueness for scalar multiples of the geometric potential on the interval $(-\infty,1)$, which is optimal. In higher dimensions, we obtain the same result on a neighborhood of 0, a… ▽ More We study geodesic flows over compact rank 1 manifolds and prove that sufficiently regular potential functions have unique equilibrium states if the singular set does not carry full pressure. In dimension 2, this proves uniqueness for scalar multiples of the geometric potential on the interval $(-\infty,1)$, which is optimal. In higher dimensions, we obtain the same result on a neighborhood of 0, and give examples where uniqueness holds on all of $\mathbb{R}$. For general potential functions $\varphi$, we prove that the pressure gap holds whenever $\varphi$ is locally constant on a neighborhood of the singular set, which allows us to give examples for which uniqueness holds on a $C^0$-open and dense set of Hölder potentials. △ Less

Submitted 28 August, 2018; v1 submitted 31 March, 2017; originally announced March 2017.

Comments: 44 pages, 4 figures. Version 3: minor corrections to end of section 7. Final version, to appear in GAFA

MSC Class: 37D35; 37D40; 37C40. 37D25

Equilibrium states for Mañé diffeomorphisms

Authors: V. Climenhaga, T. Fisher, D. J. Thompson

Abstract: We study thermodynamic formalism for the family of robustly transitive diffeomorphisms introduced by Mañé, establishing existence and uniqueness of equilibrium states for natural classes of potential functions. In particular, we characterize the SRB measures for these diffeomorphisms as unique equilibrium states for a suitable geometric potential. We also obtain large deviations and multifractal r… ▽ More We study thermodynamic formalism for the family of robustly transitive diffeomorphisms introduced by Mañé, establishing existence and uniqueness of equilibrium states for natural classes of potential functions. In particular, we characterize the SRB measures for these diffeomorphisms as unique equilibrium states for a suitable geometric potential. We also obtain large deviations and multifractal results for the unique equilibrium states produced by the main theorem. △ Less

Submitted 23 October, 2017; v1 submitted 16 March, 2017; originally announced March 2017.

Comments: This work develops material that originally appeared in the first version of arxiv:1505.06371, originally titled 'Unique equilibrium states for the robustly transitive diffeomorphisms of Mañé and Bonatti-Viana'. We split this material into two papers: arxiv:1505.06371 now treats the Bonatti-Viana class and general estimates; this article studies the Mañé class. 28 pages, 1 figure

MSC Class: 37C40; 37A35; 37C15

Some minimisation algorithms in arithmetic invariant theory

Authors: Tom Fisher, Lazar Radičević

Abstract: We extend the work of Cremona, Fisher and Stoll on minimising genus one curves of degrees 2,3,4,5, to some of the other representations associated to genus one curves, as studied by Bhargava and Ho. Specifically we describe algorithms for minimising bidegree (2,2)-forms, 3 x 3 x 3 cubes and 2 x 2 x 2 x 2 hypercubes. We also prove a theorem relating the minimal discriminant to that of the Jacobian… ▽ More We extend the work of Cremona, Fisher and Stoll on minimising genus one curves of degrees 2,3,4,5, to some of the other representations associated to genus one curves, as studied by Bhargava and Ho. Specifically we describe algorithms for minimising bidegree (2,2)-forms, 3 x 3 x 3 cubes and 2 x 2 x 2 x 2 hypercubes. We also prove a theorem relating the minimal discriminant to that of the Jacobian elliptic curve. △ Less

Submitted 6 March, 2017; originally announced March 2017.

Comments: 28 pages

MSC Class: 11G05; 11G07; 14H52

Visibility of 4-covers of elliptic curves

Authors: Nils Bruin, Tom Fisher

Abstract: Let $C$ be a $4$-cover of an elliptic curve $E$, written as a quadric intersection in $\mathbb{P}^3$. Let $E'$ be another elliptic curve with $4$-torsion isomorphic to that of $E$. We show how to write down the $4$-cover $C'$ of $E'$ with the property that $C$ and $C'$ are represented by the same cohomology class on the $4$-torsion. In fact we give equations for $C'$ as a curve of degree $8$ in… ▽ More Let $C$ be a $4$-cover of an elliptic curve $E$, written as a quadric intersection in $\mathbb{P}^3$. Let $E'$ be another elliptic curve with $4$-torsion isomorphic to that of $E$. We show how to write down the $4$-cover $C'$ of $E'$ with the property that $C$ and $C'$ are represented by the same cohomology class on the $4$-torsion. In fact we give equations for $C'$ as a curve of degree $8$ in $\mathbb{P}^5$. We also study the K3-surfaces fibred by the curves $C'$ as we vary $E'$. In particular we show how to write down models for these surfaces as complete intersections of quadrics in $\mathbb{P}^5$ with exactly $16$ singular points. This allows us to give examples of elliptic curves over $\mathbb{Q}$ that have elements of order $4$ in their Tate-Shafarevich group that are not visible in a principally polarized abelian surface. △ Less

Submitted 8 February, 2017; v1 submitted 25 January, 2017; originally announced January 2017.

Comments: 33 pages. Reformatted Author field in Metadata (no other changes)

MSC Class: 11G05; 11G35; 14H10

Journal ref: Research in Number Theory 4:11 (2018)

Local perturbations of conservative $C^1$-diffeomorphisms

Authors: Jerome Buzzi, Sylvain Crovisier, Todd Fisher

Abstract: A number of techniques have been developed to perturb the dynamics of $C^1$-diffeomorphisms and to modify the properties of their periodic orbits. For instance, one can locally linearize the dynamics, change the tangent dynamics, or create local homoclinic orbits. These techniques have been crucial for the understanding of $C^1$ dynamics, but their most precise forms have mostly been shown in the… ▽ More A number of techniques have been developed to perturb the dynamics of $C^1$-diffeomorphisms and to modify the properties of their periodic orbits. For instance, one can locally linearize the dynamics, change the tangent dynamics, or create local homoclinic orbits. These techniques have been crucial for the understanding of $C^1$ dynamics, but their most precise forms have mostly been shown in the dissipative setting. This work extends these results to volume-preserving and especially symplectic systems. These tools underlie our study of the entropy of $C^1$-diffeomorphisms in (arxiv:1606.01765). We also give an application to the approximation of transitive invariant sets without genericity assumptions. △ Less

Submitted 20 December, 2016; originally announced December 2016.

Comments: 31 pages, companion to the paper Entropy of C1 diffeomorphisms without a dominated splitting (arxiv:1606.01765)

MSC Class: 37C15 (primary); 37B40; 37D05; 37D30 (secondary)

Generalization error minimization: a new approach to model evaluation and selection with an application to penalized regression

Authors: Ning Xu, Jian Hong, Timothy C. G. Fisher

Abstract: We study model evaluation and model selection from the perspective of generalization ability (GA): the ability of a model to predict outcomes in new samples from the same population. We believe that GA is one way formally to address concerns about the external validity of a model. The GA of a model estimated on a sample can be measured by its empirical out-of-sample errors, called the generalizati… ▽ More We study model evaluation and model selection from the perspective of generalization ability (GA): the ability of a model to predict outcomes in new samples from the same population. We believe that GA is one way formally to address concerns about the external validity of a model. The GA of a model estimated on a sample can be measured by its empirical out-of-sample errors, called the generalization errors (GE). We derive upper bounds for the GE, which depend on sample sizes, model complexity and the distribution of the loss function. The upper bounds can be used to evaluate the GA of a model, ex ante. We propose using generalization error minimization (GEM) as a framework for model selection. Using GEM, we are able to unify a big class of penalized regression estimators, including lasso, ridge and bridge, under the same set of assumptions. We establish finite-sample and asymptotic properties (including $\mathcal{L}_2$-consistency) of the GEM estimator for both the $n \geqslant p$ and the $n < p$ cases. We also derive the $\mathcal{L}_2$-distance between the penalized and corresponding unpenalized regression estimates. In practice, GEM can be implemented by validation or cross-validation. We show that the GE bounds can be used for selecting the optimal number of folds in $K$-fold cross-validation. We propose a variant of $R^2$, the $GR^2$, as a measure of GA, which considers both both in-sample and out-of-sample goodness of fit. Simulations are used to demonstrate our key results. △ Less

Submitted 18 October, 2016; originally announced October 2016.

Comments: The theoretical generalization and extension of arXiv:1606.00142 and arXiv:1609.03344

Finite-sample and asymptotic analysis of generalization ability with an application to penalized regression

Authors: Ning Xu, Jian Hong, Timothy C. G. Fisher

Abstract: In this paper, we study the performance of extremum estimators from the perspective of generalization ability (GA): the ability of a model to predict outcomes in new samples from the same population. By adapting the classical concentration inequalities, we derive upper bounds on the empirical out-of-sample prediction errors as a function of the in-sample errors, in-sample data size, heaviness in t… ▽ More In this paper, we study the performance of extremum estimators from the perspective of generalization ability (GA): the ability of a model to predict outcomes in new samples from the same population. By adapting the classical concentration inequalities, we derive upper bounds on the empirical out-of-sample prediction errors as a function of the in-sample errors, in-sample data size, heaviness in the tails of the error distribution, and model complexity. We show that the error bounds may be used for tuning key estimation hyper-parameters, such as the number of folds $K$ in cross-validation. We also show how $K$ affects the bias-variance trade-off for cross-validation. We demonstrate that the $\mathcal{L}_2$-norm difference between penalized and the corresponding un-penalized regression estimates is directly explained by the GA of the estimates and the GA of empirical moment conditions. Lastly, we prove that all penalized regression estimates are $L_2$-consistent for both the $n \geqslant p$ and the $n < p$ cases. Simulations are used to demonstrate key results. Keywords: generalization ability, upper bound of generalization error, penalized regression, cross-validation, bias-variance trade-off, $\mathcal{L}_2$ difference between penalized and unpenalized regression, lasso, high-dimensional data. △ Less

Submitted 13 September, 2016; v1 submitted 12 September, 2016; originally announced September 2016.

Comments: The theoretical generalization and extension of arXiv:1606.00142

Entropy of $C^1$ diffeomorphisms without a dominated splitting

Authors: Jerome Buzzi, Sylvain Crovisier, Todd Fisher

Abstract: A classical construction due to Newhouse creates horseshoes from hyperbolic periodic orbits with large period and weak domination through local $C^1$-perturbations. Our main theorem shows that, when one works in the $C^1$ topology, the entropy of such horseshoes can be made arbitrarily close to an upper bound deriving from Ruelle's inequality, i.e., the sum of the positive Lyapunov exponents (or t… ▽ More A classical construction due to Newhouse creates horseshoes from hyperbolic periodic orbits with large period and weak domination through local $C^1$-perturbations. Our main theorem shows that, when one works in the $C^1$ topology, the entropy of such horseshoes can be made arbitrarily close to an upper bound deriving from Ruelle's inequality, i.e., the sum of the positive Lyapunov exponents (or the same for the inverse diffeomorphism, whichever is smaller). Adapting classical techniques, we use perturbations that are local and can be chosen to preserve volume or symplectic form or a homoclinic connection. This optimal entropy creation yields a number of consequences for $C^1$-generic diffeomorphisms, especially in the absence of a dominated splitting. For instance, in the conservative settings, we find formulas for the topological entropy, deduce that the topological entropy is continuous but not locally constant at the generic diffeomorphism and we prove that these generic diffeomorphisms have no measure of maximum entropy. In the dissipative setting, we show the locally generic existence of infinitely many homoclinic classes with entropy bounded away from zero. △ Less

Submitted 6 November, 2017; v1 submitted 6 June, 2016; originally announced June 2016.

Comments: 56 pages, 2 figures. Proofs of the local perturbative tools to appear in a separate paper. Accepted by Trans. AMS. This is a revised version with corrected proof of Theorem 7.6

MSC Class: 37C15; 37B40; 37D05; 37D30

Financial Models with Defaultable Numéraires

Authors: Travis Fisher, Sergio Pulido, Johannes Ruf

Abstract: Financial models are studied where each asset may potentially lose value relative to any other. Conditioning on non-devaluation, each asset can serve as proper numéraire and classical valuation rules can be formulated. It is shown when and how these local valuation rules can be aggregated to obtain global arbitrage-free valuation formulas. Financial models are studied where each asset may potentially lose value relative to any other. Conditioning on non-devaluation, each asset can serve as proper numéraire and classical valuation rules can be formulated. It is shown when and how these local valuation rules can be aggregated to obtain global arbitrage-free valuation formulas. △ Less

Submitted 18 October, 2017; v1 submitted 13 November, 2015; originally announced November 2015.

Comments: 18 pages. Forthcoming in Mathematical Finance

MSC Class: 60G48; 60H99; 91B24; 91B25; 91B70; 91G20; 91G40

A Caldero-Chapoton map depending on a torsion class

Authors: Thomas A. Fisher

Abstract: Frieze patterns of integers were studied by Conway and Coxeter. Let $\mathscr{C}$ be the cluster category of Dynkin type $A_n$. Indecomposables in $\mathscr{C}$ correspond to diagonals in an $(n+3)$-gon. Work done by Caldero and Chapoton showed that the Caldero-Chapoton map (which is a map dependent on a fixed object $R$ of a category, and which goes from the set of objects of that category to… ▽ More Frieze patterns of integers were studied by Conway and Coxeter. Let $\mathscr{C}$ be the cluster category of Dynkin type $A_n$. Indecomposables in $\mathscr{C}$ correspond to diagonals in an $(n+3)$-gon. Work done by Caldero and Chapoton showed that the Caldero-Chapoton map (which is a map dependent on a fixed object $R$ of a category, and which goes from the set of objects of that category to $\mathbb{Z}$), when applied to the objects of $\mathscr{C}$ can recover these friezes. This happens precisely when $R$ corresponds to a triangulation of the $(n+3)$-gon. Later work by authors such as Bessenrodt, Holm, Jorgensen and Rubey generalised this connection with friezes further, now to $d$-angulations of the $(n+3)$-gon with $R$ basic and rigid. In this paper, we extend these generalisations further still, to the case where the object $R$ corresponds to a general Ptolemy diagram, i.e. $R$ is basic and $\textrm{add}(R)$ is the most general possible torsion class. △ Less

Submitted 25 February, 2016; v1 submitted 26 October, 2015; originally announced October 2015.

Comments: 21 pages, corrected grant reference in acknowledgements

MSC Class: 16E45; 16G20; 16G70

Nonlocally maximal and premaximal hyperbolic sets

Authors: T. Fisher, T. Petty, S. Tikhomirov

Abstract: We prove that for any closed manifold of dimension 3 or greater that there is an open set of smooth flows that have a hyperbolic set that is not contained in a locally maximal one. Additionally, we show that the stabilization of the shadowing closure of a hyperbolic set is an intrinsic property for premaximality. Lastly,we review some results due to Anosov that concern premaximality. We prove that for any closed manifold of dimension 3 or greater that there is an open set of smooth flows that have a hyperbolic set that is not contained in a locally maximal one. Additionally, we show that the stabilization of the shadowing closure of a hyperbolic set is an intrinsic property for premaximality. Lastly,we review some results due to Anosov that concern premaximality. △ Less

Submitted 20 October, 2015; originally announced October 2015.

Comments: 25 pages, 4 figures

MSC Class: 37D20; 37D05; 37C05

A formula for the Jacobian of a genus one curve of arbitrary degree

Authors: Tom Fisher

Abstract: We extend the formulae of classical invariant theory for the Jacobian of a genus one curve of degree $n \le 4$ to curves of arbitrary degree. To do this, we associate to each genus one normal curve of degree $n$, an $n \times n$ alternating matrix of quadratic forms in $n$ variables, that represents the invariant differential. We then exhibit the invariants we need as homogeneous polynomials of de… ▽ More We extend the formulae of classical invariant theory for the Jacobian of a genus one curve of degree $n \le 4$ to curves of arbitrary degree. To do this, we associate to each genus one normal curve of degree $n$, an $n \times n$ alternating matrix of quadratic forms in $n$ variables, that represents the invariant differential. We then exhibit the invariants we need as homogeneous polynomials of degrees $4$ and $6$ in the coefficients of the entries of this matrix. △ Less

Submitted 14 October, 2015; originally announced October 2015.

Comments: 26 pages

MSC Class: 11G05; 14H52; 13D02

Journal ref: Alg. Number Th. 12 (2018) 2123-2150

Higher descents on an elliptic curve with a rational 2-torsion point

Authors: Tom Fisher

Abstract: Let $E$ be an elliptic curve over a number field $K$. Descent calculations on $E$ can be used to find upper bounds for the rank of the Mordell-Weil group, and to compute covering curves that assist in the search for generators of this group. The general method of 4-descent, developed in the PhD theses of Siksek, Womack and Stamminger, has been implemented in Magma (when $K={\mathbb Q}$) and works… ▽ More Let $E$ be an elliptic curve over a number field $K$. Descent calculations on $E$ can be used to find upper bounds for the rank of the Mordell-Weil group, and to compute covering curves that assist in the search for generators of this group. The general method of 4-descent, developed in the PhD theses of Siksek, Womack and Stamminger, has been implemented in Magma (when $K={\mathbb Q}$) and works well for elliptic curves with sufficiently small discriminant. By extending work of Bremner and Cassels, we describe the improvements that can be made when $E$ has a rational 2-torsion point. In particular, when $E$ has full rational 2-torsion, we describe a method for 8-descent that is practical for elliptic curves $E/{\mathbb Q}$ with large discriminant. △ Less

Submitted 10 September, 2015; originally announced September 2015.

Comments: 30 pages

MSC Class: 11G05; 11Y50

Unique equilibrium states for Bonatti-Viana diffeomorphisms

Authors: V. Climenhaga, T. Fisher, D. J. Thompson

Abstract: We show that the robustly transitive diffeomorphisms constructed by Bonatti and Viana have unique equilibrium states for natural classes of potentials. In particular, we characterize the SRB measure as the unique equilibrium state for a suitable geometric potential. The techniques developed are applicable to a wide class of DA diffeomorphisms, and persist under $C^1$ perturbations of the map. Thes… ▽ More We show that the robustly transitive diffeomorphisms constructed by Bonatti and Viana have unique equilibrium states for natural classes of potentials. In particular, we characterize the SRB measure as the unique equilibrium state for a suitable geometric potential. The techniques developed are applicable to a wide class of DA diffeomorphisms, and persist under $C^1$ perturbations of the map. These results are an application of general machinery developed by the first and last named authors. △ Less

Submitted 21 February, 2018; v1 submitted 23 May, 2015; originally announced May 2015.

Comments: 46 pages, 2 figures. In response to referee reports, we added an appendix on the regularity of the geometric potential, and made other suggested minor changes. Accepted for publication in Nonlinearity

MSC Class: 37C40; 37A35; 37C15

On families of 9-congruent elliptic curves

Authors: Tom Fisher

Abstract: We compute equations for the families of elliptic curves 9-congruent to a given elliptic curve. We use these to find infinitely many non-trivial pairs of 9-congruent elliptic curves over Q, i.e. pairs of non-isogenous elliptic curves over Q whose 9-torsion subgroups are isomorphic as Galois modules. We compute equations for the families of elliptic curves 9-congruent to a given elliptic curve. We use these to find infinitely many non-trivial pairs of 9-congruent elliptic curves over Q, i.e. pairs of non-isogenous elliptic curves over Q whose 9-torsion subgroups are isomorphic as Galois modules. △ Less

Submitted 29 April, 2015; originally announced April 2015.

Comments: 18 pages. This article supersedes parts of arXiv:1105.1706

MSC Class: 11G05; 11F80

What is the probability that a random integral quadratic form in $n$ variables has an integral zero?

Authors: M. Bhargava, J. E. Cremona, T. A. Fisher, N. G. Jones, J. P. Keating

Abstract: We show that the density of quadratic forms in $n$ variables over $\mathbb Z_p$ that are isotropic is a rational function of $p$, where the rational function is independent of $p$, and we determine this rational function explicitly. When real quadratic forms in $n$ variables are distributed according to the Gaussian Orthogonal Ensemble (GOE) of random matrix theory, we determine explicitly the pro… ▽ More We show that the density of quadratic forms in $n$ variables over $\mathbb Z_p$ that are isotropic is a rational function of $p$, where the rational function is independent of $p$, and we determine this rational function explicitly. When real quadratic forms in $n$ variables are distributed according to the Gaussian Orthogonal Ensemble (GOE) of random matrix theory, we determine explicitly the probability that a random such real quadratic form is isotropic (i.e., indefinite). As a consequence, for each $n$, we determine an exact expression for the probability that a random integral quadratic form in $n$ variables is isotropic (i.e., has a nontrivial zero over $\mathbb Z$), when these integral quadratic forms are chosen according to the GOE distribution. In particular, we find an exact expression for the probability that a random integral quaternary quadratic form has an integral zero; numerically, this probability is approximately $98.3\%$. △ Less

Submitted 20 February, 2015; originally announced February 2015.

Comments: 17 pages. This article supercedes arXiv:1311.5543

MSC Class: 11D09; 11S05; 60B20

On the Enlargement by Prüfer Objects of the Cluster Category of type $A_\infty$

Authors: Thomas A. Fisher

Abstract: In a paper by Holm and Jorgensen, the cluster category $\mathscr{D}$ of type $A_\infty$, with Auslander-Reiten quiver $\mathbb{Z} A_\infty$, is introduced. Slices in the Auslander-Reiten quiver of $\mathscr{D}$ give rise to direct systems; the homotopy colimit of such direct systems can be computed and these "Prüfer objects" can be adjoined to form a larger category. It is this larger category,… ▽ More In a paper by Holm and Jorgensen, the cluster category $\mathscr{D}$ of type $A_\infty$, with Auslander-Reiten quiver $\mathbb{Z} A_\infty$, is introduced. Slices in the Auslander-Reiten quiver of $\mathscr{D}$ give rise to direct systems; the homotopy colimit of such direct systems can be computed and these "Prüfer objects" can be adjoined to form a larger category. It is this larger category, $\overline{\mathscr{D}},$ which is the main object of study in this paper. We show that $\overline{\mathscr{D}}$ inherits a nice geometrical structure from $\mathscr{D}$; "arcs" between non-neighbouring integers on the number line correspond to indecomposable objects, and in the case of $\overline{\mathscr{D}}$ we also have arcs to infinity which correspond to the Prüfer objects. During the course of this paper, we show that $\overline{\mathscr{D}}$ is triangulated, compute homs, investigate the geometric model, and we conclude by computing the cluster tilting subcategories of $\overline{\mathscr{D}}$. △ Less

Submitted 25 February, 2016; v1 submitted 18 November, 2014; originally announced November 2014.

Comments: 36 pages, added acknowledgements [in v2], corrected grant reference in acknowledgements [in v3]

MSC Class: 13F60; 16E45; 16G70; 18E30

On genus one curves of degree 5 with square-free discriminant

Authors: Tom Fisher, Mohammad Sadek

Abstract: We study genus one curves of degree 5 defined by Pfaffians. We give new formulae for the invariants, and prove the equivalence of two different definitions of minimality. As an application we show that transformations between models with square-free discriminant are necessarily integral. This result is used by Bhargava and Shankar in their work on the average ranks of elliptic curves. We study genus one curves of degree 5 defined by Pfaffians. We give new formulae for the invariants, and prove the equivalence of two different definitions of minimality. As an application we show that transformations between models with square-free discriminant are necessarily integral. This result is used by Bhargava and Shankar in their work on the average ranks of elliptic curves. △ Less

Submitted 26 June, 2014; originally announced June 2014.

Comments: 25 pages

MSC Class: 11G07; 11G05; 14H25

Journal ref: Journal of the Ramanujan Mathematical Society, Volume 31, Number 4 (2016), 359--383

Open sets of diffeomorphisms with trivial centralizer in the $C^1$ topology

Authors: Lennard Bakker, Todd Fisher

Abstract: On the torus of dimension $2$, $3$, or $4$, we show that the subset of diffeomorphisms with trivial centralizer in the $C^1$ topology has nonempty interior. We do this by developing two approaches, the fixed point and the odd prime periodic point, to obtain trivial centralizer for an open neighbourhood of Anosov diffeomorphisms arbitrarily near certain irreducible hyperbolic toral automorphism. On the torus of dimension $2$, $3$, or $4$, we show that the subset of diffeomorphisms with trivial centralizer in the $C^1$ topology has nonempty interior. We do this by developing two approaches, the fixed point and the odd prime periodic point, to obtain trivial centralizer for an open neighbourhood of Anosov diffeomorphisms arbitrarily near certain irreducible hyperbolic toral automorphism. △ Less

Submitted 6 May, 2014; originally announced May 2014.

Comments: 27 pages

MSC Class: 11R11; 11R16; 11R27; 37C05; 37C20; 37C25; 37D05; 37D20

The proportion of plane cubic curves over ${\mathbb Q}$ that everywhere locally have a point

Authors: Manjul Bhargava, John Cremona, Tom Fisher

Abstract: We show that the proportion of plane cubic curves over ${\mathbb Q}_p$ that have a ${\mathbb Q}_p$-rational point is a rational function in $p$, where the rational function is independent of $p$, and we determine this rational function explicitly. As a consequence, we obtain the density of plane cubic curves over ${\mathbb Q}$ that have points everywhere locally; numerically, this density is shown… ▽ More We show that the proportion of plane cubic curves over ${\mathbb Q}_p$ that have a ${\mathbb Q}_p$-rational point is a rational function in $p$, where the rational function is independent of $p$, and we determine this rational function explicitly. As a consequence, we obtain the density of plane cubic curves over ${\mathbb Q}$ that have points everywhere locally; numerically, this density is shown to be $\approx 97.3\%$. △ Less

Submitted 21 November, 2013; originally announced November 2013.

Comments: 13 pages

MSC Class: 11G07; 11G05

What is the probability that a random integral quadratic form in $n$ variables is isotropic?

Authors: Manjul Bhargava, John Cremona, Tom Fisher

Abstract: We show that the density of quadratic forms in $n$ variables over ${\mathbb Z}_p$ that are isotropic is a rational function in $p$, where the rational function is independent of $p$, and we determine this rational function explicitly. As a consequence, for each $n$, we determine the probability that a random integral quadratic form in $n$ variables is isotropic. In particular, we show that the pro… ▽ More We show that the density of quadratic forms in $n$ variables over ${\mathbb Z}_p$ that are isotropic is a rational function in $p$, where the rational function is independent of $p$, and we determine this rational function explicitly. As a consequence, for each $n$, we determine the probability that a random integral quadratic form in $n$ variables is isotropic. In particular, we show that the probability that a random integral quaternary quadratic form is isotropic is $\approx 97.0\%$, in the case where the coefficients of the quadratic form are independently and uniformly distributed in the range $[-X,X]$ with $X\to\infty$. When random integral quaternary quadratic forms are chosen with respect to the Gaussian Orthogonal Ensemble (GOE), the probability of isotropy increases to $\approx 98.3\%$. △ Less

Submitted 20 February, 2015; v1 submitted 21 November, 2013; originally announced November 2013.

Comments: This paper is superceded by a newer paper to appear shortly, entitled "What is the probability that a random integral quadratic form in $n$ variables has an integral zero?" (by M. Bhargava, J. E. Cremona, T. A. Fisher, N. G. Jones, and J. P. Keating)

MSC Class: 11D09; 11S05; 60B20

Computing the Cassels-Tate pairing on the 3-Selmer group of an elliptic curve

Authors: Tom Fisher, Rachel Newton

Abstract: We extend the method of Cassels for computing the Cassels-Tate pairing on the 2-Selmer group of an elliptic curve, to the case of 3-Selmer groups. This requires significant modifications to both the local and global parts of the calculation. Our method is practical in sufficiently small examples, and can be used to improve the upper bound for the rank of an elliptic curve obtained by 3-descent. We extend the method of Cassels for computing the Cassels-Tate pairing on the 2-Selmer group of an elliptic curve, to the case of 3-Selmer groups. This requires significant modifications to both the local and global parts of the calculation. Our method is practical in sufficiently small examples, and can be used to improve the upper bound for the rank of an elliptic curve obtained by 3-descent. △ Less

Submitted 6 June, 2013; originally announced June 2013.

Comments: 28 pages

MSC Class: 11G05; 11G07; 16H05

Dynamical coherence of partially hyperbolic diffeomorphisms of tori isotopic to Anosov

Authors: Todd Fisher, Rafael Potrie, Martín Sambarino

Abstract: We show that partially hyperbolic diffeomorphisms of $d$-dimensional tori isotopic to an Anosov diffeomorphism, where the isotopy is contained in the set of partially hyperbolic diffeomorphisms, are dynamically coherent. Moreover, we show a \textit{global stability result}, i.e. every partially hyperbolic diffeomorphism as above is \textit{leaf-conjugate} to the linear one. As a consequence, we ob… ▽ More We show that partially hyperbolic diffeomorphisms of $d$-dimensional tori isotopic to an Anosov diffeomorphism, where the isotopy is contained in the set of partially hyperbolic diffeomorphisms, are dynamically coherent. Moreover, we show a \textit{global stability result}, i.e. every partially hyperbolic diffeomorphism as above is \textit{leaf-conjugate} to the linear one. As a consequence, we obtain intrinsic ergodicity and measure equivalence for partially hyperbolic diffeomorphisms with one-dimensional center direction that are isotopic to Anosov diffeomorphisms through such a path. △ Less

Submitted 22 October, 2013; v1 submitted 8 May, 2013; originally announced May 2013.

Comments: 31 pages, 1 figure

MSC Class: 37C05; 37C20; 37C25; 37C29; 37D30

Invariant theory for the elliptic normal quintic, II. The covering map

Authors: Tom Fisher

Abstract: A genus one curve C of degree 5 is defined by the 4 x 4 Pfaffians of a 5 x 5 alternating matrix of linear forms on P^4. We prove a result characterising the covariants for these models in terms of their restrictions to the family of curves parametrised by the modular curve X(5). We then construct covariants describing the covering map of degree 25 from C to its Jacobian and give a practical algori… ▽ More A genus one curve C of degree 5 is defined by the 4 x 4 Pfaffians of a 5 x 5 alternating matrix of linear forms on P^4. We prove a result characterising the covariants for these models in terms of their restrictions to the family of curves parametrised by the modular curve X(5). We then construct covariants describing the covering map of degree 25 from C to its Jacobian and give a practical algorithm for evaluating them. △ Less

Submitted 11 March, 2013; originally announced March 2013.

Comments: 22 pages

MSC Class: 11G05; 11Y40; 13A50; 14H25

Diagnostic Tests for Non-causal Time Series with Infinite Variance

Authors: Yunwei Cui, Rongning Wu, Thomas J. Fisher

Abstract: We study goodness-of-fit testing for non-causal autoregressive time series with non-Gaussian stable noise. To model time series exhibiting sharp spikes or occasional bursts of outlying observations, the exponent of the non-Gaussian stable variables is assumed to be less than two. Under such conditions, the innovation variables have no finite second moment. We proved that the sample autocorrelation… ▽ More We study goodness-of-fit testing for non-causal autoregressive time series with non-Gaussian stable noise. To model time series exhibiting sharp spikes or occasional bursts of outlying observations, the exponent of the non-Gaussian stable variables is assumed to be less than two. Under such conditions, the innovation variables have no finite second moment. We proved that the sample autocorrelation functions of the trimmed residuals are asymptotically normal. Nonparametric tests are also investigated. The rank correlations of the residuals or the squared residuals are shown to be asymptotically normal. Thus, an assortment of portmanteau statistics are available for model assessment. △ Less

Submitted 18 September, 2012; originally announced September 2012.

MSC Class: 62M10; 62P20

On the Hedging of Options On Exploding Exchange Rates

Authors: Peter Carr, Travis Fisher, Johannes Ruf

Abstract: We study a novel pricing operator for complete, local martingale models. The new pricing operator guarantees put-call parity to hold for model prices and the value of a forward contract to match the buy-and-hold strategy, even if the underlying follows strict local martingale dynamics. More precisely, we discuss a change of numéraire (change of currency) technique when the underlying is only a loc… ▽ More We study a novel pricing operator for complete, local martingale models. The new pricing operator guarantees put-call parity to hold for model prices and the value of a forward contract to match the buy-and-hold strategy, even if the underlying follows strict local martingale dynamics. More precisely, we discuss a change of numéraire (change of currency) technique when the underlying is only a local martingale modelling for example an exchange rate. The new pricing operator assigns prices to contingent claims according to the minimal cost for superreplication strategies that succeed with probability one for both currencies as numéraire. Within this context, we interpret the lack of the martingale property of an exchange-rate as a reflection of the possibility that the numéraire currency may devalue completely against the asset currency (hyperinflation). △ Less

Submitted 24 November, 2013; v1 submitted 28 February, 2012; originally announced February 2012.

Comments: Major revision. Accepted by Finance and Stochastics. The original publication is available at http://link.springer.com

Why are quadratic normal volatility models analytically tractable?

Authors: Peter Carr, Travis Fisher, Johannes Ruf

Abstract: We discuss the class of "Quadratic Normal Volatility" models, which have drawn much attention in the financial industry due to their analytic tractability and flexibility. We characterize these models as the ones that can be obtained from stopped Brownian motion by a simple transformation and a change of measure that only depends on the terminal value of the stopped Brownian motion. This explains… ▽ More We discuss the class of "Quadratic Normal Volatility" models, which have drawn much attention in the financial industry due to their analytic tractability and flexibility. We characterize these models as the ones that can be obtained from stopped Brownian motion by a simple transformation and a change of measure that only depends on the terminal value of the stopped Brownian motion. This explains the existence of explicit analytic formulas for option prices within Quadratic Normal Volatility models in the academic literature. △ Less

Submitted 15 March, 2013; v1 submitted 28 February, 2012; originally announced February 2012.

Journal ref: SIAM Journal on Financial Mathematics, 2013 4:1, 185-202

Minimisation and reduction of 5-coverings of elliptic curves

Authors: Tom Fisher

Abstract: We consider models for genus one curves of degree 5, which arise in explicit 5-descent on elliptic curves. We prove a theorem on the existence of minimal models with the same invariants as the minimal model of the Jacobian elliptic curve and give an algorithm for computing such models. Finally we describe how to reduce genus one models of degree 5 defined over Q. We consider models for genus one curves of degree 5, which arise in explicit 5-descent on elliptic curves. We prove a theorem on the existence of minimal models with the same invariants as the minimal model of the Jacobian elliptic curve and give an algorithm for computing such models. Finally we describe how to reduce genus one models of degree 5 defined over Q. △ Less

Submitted 21 December, 2011; originally announced December 2011.

Comments: 27 pages

MSC Class: 11G05; 11G07; 14H52

Invariant theory for the elliptic normal quintic, I. Twists of X(5)

Authors: Tom Fisher

Abstract: A genus one curve of degree 5 is defined by the 4 x 4 Pfaffians of a 5 x 5 alternating matrix of linear forms on P^4. We describe a general method for investigating the invariant theory of such models. We use it to explain how we found our algorithm for computing the invariants [12] and to extend our method in [14] for computing equations for visible elements of order 5 in the Tate-Shafarevich gro… ▽ More A genus one curve of degree 5 is defined by the 4 x 4 Pfaffians of a 5 x 5 alternating matrix of linear forms on P^4. We describe a general method for investigating the invariant theory of such models. We use it to explain how we found our algorithm for computing the invariants [12] and to extend our method in [14] for computing equations for visible elements of order 5 in the Tate-Shafarevich group of an elliptic curve. As a special case of the latter we find a formula for the family of elliptic curves 5-congruent to a given elliptic curve in the case the 5-congruence does not respect the Weil pairing. We also give an algorithm for doubling elements in the 5-Selmer group of an elliptic curve, and make a conjecture about the matrices representing the invariant differential on a genus one normal curve of arbitrary degree. △ Less

Submitted 16 October, 2011; originally announced October 2011.

Comments: 28 pages

MSC Class: 11G05; 11Y40; 13A50; 14H25