Showing 1–11 of 11 results for author: Best, J

Homeostasis Patterns

Authors: William Duncan, Fernando Antoneli, Janet Best, Martin Golubitsky, Jiaxin Jin, H. Frederik Nijhout, Mike Reed, Ian Stewart

Abstract: Homeostasis is a regulatory mechanism that keeps a specific variable close to a set value as other variables fluctuate. The notion of homeostasis can be rigorously formulated when the model of interest is represented as an input-output network, with distinguished input and output nodes, and the dynamics of the network determines the corresponding input-output function of the system. In this contex… ▽ More Homeostasis is a regulatory mechanism that keeps a specific variable close to a set value as other variables fluctuate. The notion of homeostasis can be rigorously formulated when the model of interest is represented as an input-output network, with distinguished input and output nodes, and the dynamics of the network determines the corresponding input-output function of the system. In this context, homeostasis can be defined as an 'infinitesimal' notion, namely, the derivative of the input-output function is zero at an isolated point. Combining this approach with graph-theoretic ideas from combinatorial matrix theory provides a systematic framework for calculating homeostasis points in models and classifying the different homeostasis types in input-output networks. In this paper we extend this theory by introducing the notion of a homeostasis pattern, defined as a set of nodes, in addition to the output node, that are simultaneously infinitesimally homeostatic. We prove that each homeostasis type leads to a distinct homeostasis pattern. Moreover, we describe all homeostasis patterns supported by a given input-output network in terms of a combinatorial structure associated to the input-output network. We call this structure the homeostasis pattern network. △ Less

Submitted 24 September, 2024; v1 submitted 26 June, 2023; originally announced June 2023.

Comments: 36 pages, 10 figures, 2 tables

MSC Class: 92B05; 37C20; 15A15

Fermat's Last Theorem for regular primes

Authors: Alex J. Best, Christopher Birkbeck, Riccardo Brasca, Eric Rodriguez Boidi

Abstract: We formalise the proof of the first case of Fermat's Last Theorem for regular primes using the \emph{Lean} theorem prover and its mathematical library \emph{mathlib}. This is an important 19th century result that motivated the development of modern algebraic number theory. Besides explaining the mathematics behind this result, we analyze in this paper the difficulties we faced in the formalisation… ▽ More We formalise the proof of the first case of Fermat's Last Theorem for regular primes using the \emph{Lean} theorem prover and its mathematical library \emph{mathlib}. This is an important 19th century result that motivated the development of modern algebraic number theory. Besides explaining the mathematics behind this result, we analyze in this paper the difficulties we faced in the formalisation process and how we solved them. For example, we had to deal with a diamond about characteristic zero fields and problems arising from multiple nested coercions related to number fields. We also explain how we integrated our work to \emph{mathlib}. △ Less

Submitted 21 May, 2023; v1 submitted 15 May, 2023; originally announced May 2023.

Comments: Accepted for the 14th International Conference on Interactive Theorem Proving (ITP 2023)

MSC Class: 68V20; 03B70 ACM Class: F.4.1

Formalized Class Group Computations and Integral Points on Mordell Elliptic Curves

Authors: Anne Baanen, Alex J. Best, Nirvana Coppola, Sander R. Dahmen

Abstract: Diophantine equations are a popular and active area of research in number theory. In this paper we consider Mordell equations, which are of the form $y^2=x^3+d$, where $d$ is a (given) nonzero integer number and all solutions in integers $x$ and $y$ have to be determined. One non-elementary approach for this problem is the resolution via descent and class groups. Along these lines we formalized in… ▽ More Diophantine equations are a popular and active area of research in number theory. In this paper we consider Mordell equations, which are of the form $y^2=x^3+d$, where $d$ is a (given) nonzero integer number and all solutions in integers $x$ and $y$ have to be determined. One non-elementary approach for this problem is the resolution via descent and class groups. Along these lines we formalized in Lean 3 the resolution of Mordell equations for several instances of $d<0$. In order to achieve this, we needed to formalize several other theories from number theory that are interesting on their own as well, such as ideal norms, quadratic fields and rings, and explicit computations of the class number. Moreover we introduced new computational tactics in order to carry out efficiently computations in quadratic rings and beyond. △ Less

Submitted 23 December, 2022; v1 submitted 30 September, 2022; originally announced September 2022.

Comments: 14 pages. Accepted for CPP '23. Source code available at https://github.com/lean-forward/class-group-and-mordell-equation

MSC Class: 68V20; 11D25; 11R11; 11R29 ACM Class: F.4.1

Refined Selmer equations for the thrice-punctured line in depth two

Authors: Alex J. Best, L. Alexander Betts, Theresa Kumpitsch, Martin Lüdtke, Angus W. McAndrew, Lie Qian, Elie Studnia, Yujie Xu

Abstract: In [Kim05], Kim gave a new proof of Siegel's Theorem that there are only finitely many $S$-integral points on $\mathbb P^1_{\mathbb Z}\setminus\{0,1,\infty\}$. One advantage of Kim's method is that it in principle allows one to actually find these points, but the calculations grow vastly more complicated as the size of $S$ increases. In this paper, we implement a refinement of Kim's method to expl… ▽ More In [Kim05], Kim gave a new proof of Siegel's Theorem that there are only finitely many $S$-integral points on $\mathbb P^1_{\mathbb Z}\setminus\{0,1,\infty\}$. One advantage of Kim's method is that it in principle allows one to actually find these points, but the calculations grow vastly more complicated as the size of $S$ increases. In this paper, we implement a refinement of Kim's method to explicitly compute various examples where $S$ has size $2$ which has been introduced in [BD19]. In so doing, we exhibit new examples of a natural generalisation of a conjecture of Kim. △ Less

Submitted 28 April, 2023; v1 submitted 18 June, 2021; originally announced June 2021.

Comments: 35 pages, comments welcome

MSC Class: Primary 14G05; Secondary 11G55; 11Y50

Journal ref: Math. Comp. 93 (2024), 1497-1527

Elliptic curves with good reduction outside of the first six primes

Authors: Alex J. Best, Benjamin Matschke

Abstract: We present a database of rational elliptic curves, up to Q-isomorphism, with good reduction outside {2,3,5,7,11,13}. We provide a heuristic involving the abc and BSD conjectures that the database is likely to be the complete set of such curves. Moreover, proving completeness likely needs only more computation time to conclude. We present data on the distribution of various quantities associated to… ▽ More We present a database of rational elliptic curves, up to Q-isomorphism, with good reduction outside {2,3,5,7,11,13}. We provide a heuristic involving the abc and BSD conjectures that the database is likely to be the complete set of such curves. Moreover, proving completeness likely needs only more computation time to conclude. We present data on the distribution of various quantities associated to curves in the set. We also discuss the connection to S-unit equations and the existence of rational elliptic curves with maximal conductor. △ Less

Submitted 20 July, 2020; originally announced July 2020.

Comments: 19 pages, 4 figures; the data is available at https://github.com/elliptic-curve-data/ec-data-S6

MSC Class: 11G05 (Primary) 11Y50 (Secondary)

A user's guide to the local arithmetic of hyperelliptic curves

Authors: Alex J. Best, L. Alexander Betts, Matthew Bisatt, Raymond van Bommel, Vladimir Dokchitser, Omri Faraggi, Sabrina Kunzweiler, Céline Maistret, Adam Morgan, Simone Muselli, Sarah Nowell

Abstract: A new approach has been recently developed to study the arithmetic of hyperelliptic curves $y^2=f(x)$ over local fields of odd residue characteristic via combinatorial data associated to the roots of $f$. Since its introduction, numerous papers have used this machinery of "cluster pictures" to compute a plethora of arithmetic invariants associated to these curves. The purpose of this user's guide… ▽ More A new approach has been recently developed to study the arithmetic of hyperelliptic curves $y^2=f(x)$ over local fields of odd residue characteristic via combinatorial data associated to the roots of $f$. Since its introduction, numerous papers have used this machinery of "cluster pictures" to compute a plethora of arithmetic invariants associated to these curves. The purpose of this user's guide is to summarise and centralise all of these results in a self-contained fashion, complemented by an abundance of examples. △ Less

Submitted 1 June, 2021; v1 submitted 3 July, 2020; originally announced July 2020.

Comments: Minor changes. To appear in the Bulletin of the London Mathematical Society

MSC Class: 11G20 (11G10; 14D10; 14G20; 14H45; 14Q05)

Computing classical modular forms

Authors: Alex J. Best, Jonathan Bober, Andrew R. Booker, Edgar Costa, John Cremona, Maarten Derickx, Min Lee, David Lowry-Duda, David Roe, Andrew V. Sutherland, John Voight

Abstract: We discuss practical and some theoretical aspects of computing a database of classical modular forms in the L-functions and Modular Forms Database (LMFDB). We discuss practical and some theoretical aspects of computing a database of classical modular forms in the L-functions and Modular Forms Database (LMFDB). △ Less

Submitted 28 May, 2022; v1 submitted 11 February, 2020; originally announced February 2020.

Comments: 63 pages; minor edits, including a correction to Conjecture 8.5.1

Journal ref: Arithmetic Geometry, Number Theory, and Computation, Simons Symp. (2021), 131-213

Two recent p-adic approaches towards the (effective) Mordell conjecture

Authors: Jennifer S. Balakrishnan, Alex J. Best, Francesca Bianchi, Brian Lawrence, J. Steffen Müller, Nicholas Triantafillou, Jan Vonk

Abstract: We give an introductory account of two recent approaches towards an effective proof of the Mordell conjecture, due to Lawrence--Venkatesh and Kim. The latter method, which is usually called the method of Chabauty--Kim or non-abelian Chabauty in the literature, has the advantage that in some cases it has been turned into an effective method to determine the set of rational points on a curve, and we… ▽ More We give an introductory account of two recent approaches towards an effective proof of the Mordell conjecture, due to Lawrence--Venkatesh and Kim. The latter method, which is usually called the method of Chabauty--Kim or non-abelian Chabauty in the literature, has the advantage that in some cases it has been turned into an effective method to determine the set of rational points on a curve, and we illustrate this by presenting three new examples of modular curves where this set can be determined. △ Less

Submitted 19 January, 2020; v1 submitted 28 October, 2019; originally announced October 2019.

Comments: Corrected Theorem 6.3 and its proof. Added short discussion of non-proper hyperbolic curves

Explicit Coleman Integration in Larger Characteristic

Authors: Alex J. Best

Abstract: We describe a more efficient algorithm to compute p-adic Coleman integrals on odd degree hyperelliptic curves for large primes p. The improvements come from using fast linear recurrence techniques when reducing differentials in Monsky-Washnitzer cohomology, a technique introduced by Harvey arXiv:math/0610973 when computing zeta functions. The complexity of our algorithm is quasilinear in… ▽ More We describe a more efficient algorithm to compute p-adic Coleman integrals on odd degree hyperelliptic curves for large primes p. The improvements come from using fast linear recurrence techniques when reducing differentials in Monsky-Washnitzer cohomology, a technique introduced by Harvey arXiv:math/0610973 when computing zeta functions. The complexity of our algorithm is quasilinear in $\sqrt p$ and is polynomial in the genus and precision. We provide timings comparing our implementation with existing approaches. △ Less

Submitted 8 June, 2018; originally announced June 2018.

Comments: 16 pages, submitted to ANTS XIII, comments welcome!

MSC Class: 11G20 (Primary) 11Y16; 14F30 (Secondary)

Journal ref: Open Book Series 2 (2019) 85-102

Computing Zeta Functions of Cyclic Covers in Large Characteristic

Authors: Vishal Arul, Alex J. Best, Edgar Costa, Richard Magner, Nicholas Triantafillou

Abstract: We describe an algorithm to compute the zeta function of a cyclic cover of the projective line over a finite field of characteristic $p$ that runs in time $p^{1/2 + o(1)}$. We confirm its practicality and effectiveness by reporting on the performance of our SageMath implementation on a range of examples. The algorithm relies on Gonçalves's generalization of Kedlaya's algorithm for cyclic cover… ▽ More We describe an algorithm to compute the zeta function of a cyclic cover of the projective line over a finite field of characteristic $p$ that runs in time $p^{1/2 + o(1)}$. We confirm its practicality and effectiveness by reporting on the performance of our SageMath implementation on a range of examples. The algorithm relies on Gonçalves's generalization of Kedlaya's algorithm for cyclic covers, and Harvey's work on Kedlaya's algorithm for large characteristic. △ Less

Submitted 12 November, 2018; v1 submitted 6 June, 2018; originally announced June 2018.

Comments: 16 pages; v2 with minor changes

MSC Class: 11G20; 11Y16; 11M38; 14G10

Journal ref: Open Book Series 2 (2019) 37-53

Contraction Obstructions for Connected Graph Searching

Authors: Micah J. Best, Arvind Gupta, Dimitrios M. Thilikos, Dimitris Zoros

Abstract: We consider the connected variant of the classic mixed search game where, in each search step, cleaned edges form a connected subgraph. We consider graph classes with bounded connected (and monotone) mixed search number and we deal with the question whether the obstruction set, with respect of the contraction partial ordering, for those classes is finite. In general, there is no guarantee that tho… ▽ More We consider the connected variant of the classic mixed search game where, in each search step, cleaned edges form a connected subgraph. We consider graph classes with bounded connected (and monotone) mixed search number and we deal with the question whether the obstruction set, with respect of the contraction partial ordering, for those classes is finite. In general, there is no guarantee that those sets are finite, as graphs are not well quasi ordered under the contraction partial ordering relation. In this paper we provide the obstruction set for $k=2$, where $k$ is the number of searchers we are allowed to use. This set is finite, it consists of 177 graphs and completely characterises the graphs with connected (and monotone) mixed search number at most 2. Our proof reveals that the "sense of direction" of an optimal search searching is important for connected search which is in contrast to the unconnected original case. We also give a double exponential lower bound on the size of the obstruction set for the classes where this set is finite. △ Less

Submitted 11 August, 2015; v1 submitted 31 October, 2014; originally announced October 2014.

MSC Class: 05C75; 05C57; 05C83 ACM Class: G.2.2