Showing 1–23 of 23 results for author: Hyde, T

Polynomials with many rational preperiodic points

Authors: John R. Doyle, Trevor Hyde

Abstract: In this paper we study two questions related to exceptional behavior of preperiodic points of polynomials in $\mathbb{Q}[x]$. We show that for all $d\geq 2$, there exists a polynomial $f_d(x) \in \mathbb{Q}[x]$ with $2\leq \mathrm{deg}(f_d) \leq d$ such that $f_d(x)$ has at least $d + \lfloor \log_2(d)\rfloor$ rational preperiodic points. Furthermore, we show that for infinitely many integers $d$,… ▽ More In this paper we study two questions related to exceptional behavior of preperiodic points of polynomials in $\mathbb{Q}[x]$. We show that for all $d\geq 2$, there exists a polynomial $f_d(x) \in \mathbb{Q}[x]$ with $2\leq \mathrm{deg}(f_d) \leq d$ such that $f_d(x)$ has at least $d + \lfloor \log_2(d)\rfloor$ rational preperiodic points. Furthermore, we show that for infinitely many integers $d$, the polynomials $f_d(x)$ and $f_d(x) + 1$ have at least $d^2 + d\lfloor \log_2(d)\rfloor - 2d + 1$ common complex preperiodic points. △ Less

Submitted 18 July, 2022; v1 submitted 27 January, 2022; originally announced January 2022.

Comments: Strengthened results, added new references

Dynamical moduli spaces and polynomial endomorphisms of configurations

Authors: Talia Blum, John R. Doyle, Trevor Hyde, Colby Kelln, Henry Talbott, Max Weinreich

Abstract: A portrait is a combinatorial model for a discrete dynamical system on a finite set. We study the geometry of portrait moduli spaces, whose points correspond to equivalence classes of point configurations on the affine line for which there exist polynomials realizing the dynamics of a given portrait. We present results and pose questions inspired by a large-scale computational survey of intersecti… ▽ More A portrait is a combinatorial model for a discrete dynamical system on a finite set. We study the geometry of portrait moduli spaces, whose points correspond to equivalence classes of point configurations on the affine line for which there exist polynomials realizing the dynamics of a given portrait. We present results and pose questions inspired by a large-scale computational survey of intersections of portrait moduli spaces for polynomials in low degree. △ Less

Submitted 24 August, 2021; originally announced August 2021.

Comments: 26 pages, comments welcome!

MSC Class: 37F10; 37C25; 37P45

Journal ref: Arnold Math. J. 8 (2022) 285-317

Dynatomic polynomials, necklace operators, and universal relations for dynamical units

Authors: John R. Doyle, Paul Fili, Trevor Hyde

Abstract: Given a generic polynomial $f(x)$, the generalized dynatomic polynomial $Φ_{f,c,d}(x)$ vanishes at precisely those $α$ such that $f^c(α)$ has period exactly $d$ under iteration of $f(x)$. We show that the shifted dynatomic polynomials $Φ_{f,c,d}(x) - 1$ often have generalized dynatomic factors, and that these factors are in correspondence with certain cyclotomic factors of necklace polynomials. Th… ▽ More Given a generic polynomial $f(x)$, the generalized dynatomic polynomial $Φ_{f,c,d}(x)$ vanishes at precisely those $α$ such that $f^c(α)$ has period exactly $d$ under iteration of $f(x)$. We show that the shifted dynatomic polynomials $Φ_{f,c,d}(x) - 1$ often have generalized dynatomic factors, and that these factors are in correspondence with certain cyclotomic factors of necklace polynomials. These dynatomic factors of $Φ_{f,c,d}(x) - 1$ have an interpretation in terms of new multiplicative relations between dynamical units which are uniform in the polynomial $f(x)$. △ Less

Submitted 20 August, 2021; originally announced August 2021.

Comments: 19 pages, comments welcome!

MSC Class: 37P05; 11R27; 37P35

Journal ref: New York J. Math. 28 (2022) 534-556

Density of Periodic Points for Lattès maps over Finite Fields

Authors: Zoë Bell, Jasmine Camero, Karina Cho, Trevor Hyde, Chieh-Mi Lu, Rebecca Miller, Bianca Thompson, Eric Zhu

Abstract: Let $L_d$ be the Lattès map associated to the multiplication-by-$d$ endomorphism of an elliptic curve $E$ defined over a finite field $\mathbb{F}_q$. We determine the density $δ(L_d,q)$ of periodic points for $L_d$ in $\mathbb{P}^1(\mathbb{F}_q)$. We show that the periodic point densities $δ(L_d,q^n)$ converge as $n \rightarrow \infty$ along certain arithmetic progressions, and compute simple expl… ▽ More Let $L_d$ be the Lattès map associated to the multiplication-by-$d$ endomorphism of an elliptic curve $E$ defined over a finite field $\mathbb{F}_q$. We determine the density $δ(L_d,q)$ of periodic points for $L_d$ in $\mathbb{P}^1(\mathbb{F}_q)$. We show that the periodic point densities $δ(L_d,q^n)$ converge as $n \rightarrow \infty$ along certain arithmetic progressions, and compute simple explicit formulas for $δ(L_\ell,q)$ when $\ell$ is a prime and $E$ belongs to a special family of supersingular elliptic curves. △ Less

Submitted 26 February, 2021; originally announced March 2021.

Comments: 13 pages

Euler characteristic of the space of real multivariate irreducible polynomials

Authors: Trevor Hyde

Abstract: We compute the compactly supported Euler characteristic of the space of degree $d$ irreducible polynomials in $n$ variables with real coefficients and show that the values are given by the digits in the so-called balanced binary expansion of the number of variables $n$. We compute the compactly supported Euler characteristic of the space of degree $d$ irreducible polynomials in $n$ variables with real coefficients and show that the values are given by the digits in the so-called balanced binary expansion of the number of variables $n$. △ Less

Submitted 9 November, 2020; originally announced November 2020.

Comments: 11 pages, split and expanded from 1811.08601, comments welcome. arXiv admin note: text overlap with arXiv:1811.08601

Anomalous Diffusion in One-Dimensional Disordered Systems: A Discrete Fractional Laplacian Method

Authors: J. L. Padgett, E. G. Kostadinova, C. D. Liaw, K. Busse, L. S. Matthews, T. W. Hyde

Abstract: This work extends the applications of Anderson-type Hamiltonians to include transport characterized by anomalous diffusion. Herein, we investigate the transport properties of a one-dimensional disordered system that employs the discrete fractional Laplacian, $(-Δ)^s,\ s\in(0,2),$ in combination with results from spectral and measure theory. It is a classical mathematical result that the standard A… ▽ More This work extends the applications of Anderson-type Hamiltonians to include transport characterized by anomalous diffusion. Herein, we investigate the transport properties of a one-dimensional disordered system that employs the discrete fractional Laplacian, $(-Δ)^s,\ s\in(0,2),$ in combination with results from spectral and measure theory. It is a classical mathematical result that the standard Anderson model exhibits localization of energy states for all nonzero disorder in one-dimensional systems. Numerical simulations utilizing our proposed model demonstrate that this localization effect is enhanced for sub-diffusive realizations of the operator, $s\in (1,2),$ and that the super-diffusive realizations of the operator, $s\in (0,1),$ can exhibit energy states with less localized features. These results suggest that the proposed method can be used to examine anomalous diffusion in physical systems where strong interactions, structural defects, and correlated effects are present. △ Less

Submitted 4 March, 2020; v1 submitted 24 July, 2019; originally announced July 2019.

Comments: 28 pages, 3 figures, 1 table

Journal ref: Journal of Physics A: Mathematical and Theoretical, 2020

Cyclotomic factors of necklace polynomials

Authors: Trevor Hyde

Abstract: We observe that the necklace polynomials $M_d(x) = \frac{1}{d}\sum_{e\mid d}μ(e)x^{d/e}$ are highly reducible over $\mathbb{Q}$ with many cyclotomic factors. Furthermore, the sequence $Φ_d(x) - 1$ of shifted cyclotomic polynomials exhibits a qualitatively similar phenomenon, and it is often the case that $M_d(x)$ and $Φ_d(x) - 1$ have many common cyclotomic factors. We explain these cyclotomic fac… ▽ More We observe that the necklace polynomials $M_d(x) = \frac{1}{d}\sum_{e\mid d}μ(e)x^{d/e}$ are highly reducible over $\mathbb{Q}$ with many cyclotomic factors. Furthermore, the sequence $Φ_d(x) - 1$ of shifted cyclotomic polynomials exhibits a qualitatively similar phenomenon, and it is often the case that $M_d(x)$ and $Φ_d(x) - 1$ have many common cyclotomic factors. We explain these cyclotomic factors of $M_d(x)$ and $Φ_d(x) - 1$ in terms of what we call the \emph{$d$th necklace operator}. Finally, we show how these cyclotomic factors correspond to certain hyperplane arrangements in finite abelian groups. △ Less

Submitted 17 January, 2021; v1 submitted 21 November, 2018; originally announced November 2018.

Comments: 23 pages. Completely rewritten with new, stronger results based on the originally observed phenomenon. The second half of the original manuscript was split off into arXiv:2011.05572

Normal elements in finite fields

Authors: Trevor Hyde

Abstract: We give a simple derivation of the formula for the number of normal elements in an extension of finite fields. Our proof is based on the fact that units in the Galois group ring of a field extension act simply transitively on normal elements. We give a simple derivation of the formula for the number of normal elements in an extension of finite fields. Our proof is based on the fact that units in the Galois group ring of a field extension act simply transitively on normal elements. △ Less

Submitted 6 September, 2018; originally announced September 2018.

Comments: 3 pages

Liminal reciprocity and factorization statistics

Authors: Trevor Hyde

Abstract: Let $M_{d,n}(q)$ denote the number of monic irreducible polynomials in $\mathbb{F}_q[x_1, x_2, \ldots , x_n]$ of degree $d$. We show that for a fixed degree $d$, the sequence $M_{d,n}(q)$ converges $q$-adically to an explicitly determined rational function $M_{d,\infty}(q)$. Furthermore we show that the limit $M_{d,\infty}(q)$ is related to the classic necklace polynomial $M_{d,1}(q)$ by an involu… ▽ More Let $M_{d,n}(q)$ denote the number of monic irreducible polynomials in $\mathbb{F}_q[x_1, x_2, \ldots , x_n]$ of degree $d$. We show that for a fixed degree $d$, the sequence $M_{d,n}(q)$ converges $q$-adically to an explicitly determined rational function $M_{d,\infty}(q)$. Furthermore we show that the limit $M_{d,\infty}(q)$ is related to the classic necklace polynomial $M_{d,1}(q)$ by an involutive functional equation, leading to a phenomenon we call liminal reciprocity. The limiting first moments of factorization statistics for squarefree polynomials are expressed in terms of a family of symmetric group representations as a consequence of liminal reciprocity. △ Less

Submitted 6 September, 2018; v1 submitted 22 March, 2018; originally announced March 2018.

Comments: 22 pages. To appear in Algebraic Combinatorics

Polynomial factorization statistics and point configurations in $\mathbb{R}^3$

Authors: Trevor Hyde

Abstract: We use generating functions to relate the expected values of polynomial factorization statistics over $\mathbb{F}_q$ to the cohomology of ordered configurations in $\mathbb{R}^3$ as a representation of the symmetric group. Our methods lead to a new proof of the twisted Grothendieck-Lefschetz formula for squarefree polynomial factorization statistics of Church, Ellenberg, and Farb. We use generating functions to relate the expected values of polynomial factorization statistics over $\mathbb{F}_q$ to the cohomology of ordered configurations in $\mathbb{R}^3$ as a representation of the symmetric group. Our methods lead to a new proof of the twisted Grothendieck-Lefschetz formula for squarefree polynomial factorization statistics of Church, Ellenberg, and Farb. △ Less

Submitted 30 January, 2018; originally announced February 2018.

Comments: arXiv admin note: text overlap with arXiv:1712.00071

Factorization statistics and the twisted Grothendieck-Lefschetz formula

Authors: Trevor Hyde

Abstract: We announce recent results on a connection between factorization statistics of polynomials over a finite field and the structure of the cohomology of configurations in $\mathbb{R}^3$ as a representation of the symmetric group. This connection parallels a result of Church, Ellenberg, and Farb relating factorization statistics of squarefree polynomials and the cohomology of configurations in… ▽ More We announce recent results on a connection between factorization statistics of polynomials over a finite field and the structure of the cohomology of configurations in $\mathbb{R}^3$ as a representation of the symmetric group. This connection parallels a result of Church, Ellenberg, and Farb relating factorization statistics of squarefree polynomials and the cohomology of configurations in $\mathbb{R}^2$. △ Less

Submitted 29 March, 2018; v1 submitted 30 November, 2017; originally announced December 2017.

Comments: Extended abstract for arXiv:1802.00305. To appear in Proceedings of 30th Conference on Formal Power Series and Algebraic Combinatorics (2018)

Collusions in Teichmüller expansions

Authors: Trevor Hyde

Abstract: If $\mathfrak{p} \subseteq \mathbb{Z}[ζ]$ is a prime ideal over $p$ in the $(p^d - 1)$th cyclotomic extension of $\mathbb{Z}$, then every element $α$ of the completion $\mathbb{Z}[ζ]_\mathfrak{p}$ has a unique expansion as a power series in $p$ with coefficients in $μ_{p^d -1} \cup \{0\}$ called the Teichmüller expansion of $α$ at $\mathfrak{p}$. We observe three peculiar and seemingly unrelated p… ▽ More If $\mathfrak{p} \subseteq \mathbb{Z}[ζ]$ is a prime ideal over $p$ in the $(p^d - 1)$th cyclotomic extension of $\mathbb{Z}$, then every element $α$ of the completion $\mathbb{Z}[ζ]_\mathfrak{p}$ has a unique expansion as a power series in $p$ with coefficients in $μ_{p^d -1} \cup \{0\}$ called the Teichmüller expansion of $α$ at $\mathfrak{p}$. We observe three peculiar and seemingly unrelated patterns that frequently appear in the computation of Teichmüller expansions, then develop a unifying theory to explain these patterns in terms of the dynamics of an affine group action on $\mathbb{Z}[ζ]$. △ Less

Submitted 25 April, 2017; originally announced April 2017.

Comments: 12 pages, comments welcome

Circulant q-Butson Hadamard matrices

Authors: Trevor Hyde, Joseph Kraisler

Abstract: If $q = p^n$ is a prime power, then a $d$-dimensional \emph{$q$-Butson Hadamard matrix} $H$ is a $d\times d$ matrix with all entries $q$th roots of unity such that $HH^* = dI_d$. We use algebraic number theory to prove a strong constraint on the dimension of a circulant $q$-Butson Hadamard matrix when $d = p^m$ and then explicitly construct a family of examples in all possible dimensions. These re… ▽ More If $q = p^n$ is a prime power, then a $d$-dimensional \emph{$q$-Butson Hadamard matrix} $H$ is a $d\times d$ matrix with all entries $q$th roots of unity such that $HH^* = dI_d$. We use algebraic number theory to prove a strong constraint on the dimension of a circulant $q$-Butson Hadamard matrix when $d = p^m$ and then explicitly construct a family of examples in all possible dimensions. These results relate to the long-standing circulant Hadamard matrix conjecture in combinatorics. △ Less

Submitted 14 March, 2017; v1 submitted 30 January, 2017; originally announced January 2017.

Comments: 9 pages, revised. Comments welcome

MSC Class: 05A05 (Primary) 11R18 (Secondary)

Polynomial splitting measures and cohomology of the pure braid group

Authors: Trevor Hyde, Jeffrey C. Lagarias

Abstract: We study for each $n$ a one-parameter family of complex-valued measures on the symmetric group $S_n$, which interpolate the probability of a monic, degree $n$, square-free polynomial in $\mathbb{F}_q[x]$ having a given factorization type. For a fixed factorization type, indexed by a partition $λ$ of $n$, the measure is known to be a Laurent polynomial. We express the coefficients of this polynomia… ▽ More We study for each $n$ a one-parameter family of complex-valued measures on the symmetric group $S_n$, which interpolate the probability of a monic, degree $n$, square-free polynomial in $\mathbb{F}_q[x]$ having a given factorization type. For a fixed factorization type, indexed by a partition $λ$ of $n$, the measure is known to be a Laurent polynomial. We express the coefficients of this polynomial in terms of characters associated to $S_n$-subrepresentations of the cohomology of the pure braid group $H^{\bullet}(P_n, \mathbb{Q})$. We deduce that the splitting measures for all parameter values $z= -\frac{1}{m}$ (resp. $z= \frac{1}{m}$), after rescaling, are characters of $S_n$-representations (resp. virtual $S_n$-representations.) △ Less

Submitted 24 February, 2017; v1 submitted 18 April, 2016; originally announced April 2016.

Comments: To appear in the Arnold Mathematical Journal

MSC Class: Primary 11R09; Secondary 11R32; 12E20; 12E25

Journal ref: Arnold Mathematical Journal 3, no. 2, 219--249 (2017)

Gauss' hidden menagerie: from cyclotomy to supercharacters

Authors: Stephan Ramon Garcia, Trevor Hyde, Bob Lutz

Abstract: Gaussian periods, when viewed appropriately, exhibit a dazzling and eclectic host of visual qualities. This brief survey reviews the historical context and summarizes our current knowledge of graphical properties of Gaussian periods. Gaussian periods, when viewed appropriately, exhibit a dazzling and eclectic host of visual qualities. This brief survey reviews the historical context and summarizes our current knowledge of graphical properties of Gaussian periods. △ Less

Submitted 17 May, 2015; v1 submitted 29 January, 2015; originally announced January 2015.

Comments: 16 pages

Journal ref: Notices Amer. Math. Soc. 62 (2015), no.8, 878-888

Small dynamical heights for quadratic polynomials and rational functions

Authors: Robert L. Benedetto, Ruqian Chen, Trevor Hyde, Yordanka Kovacheva, Colin White

Abstract: Let $f \in Q(z)$ be a polynomial or rational function of degree 2. A special case of Morton and Silverman's Dynamical Uniform Boundedness Conjecture states that the number of rational preperiodic points of $f$ is bounded above by an absolute constant. A related conjecture of Silverman states that the canonical height $\hat{h}_f(x)$ of a non-preperiodic rational point $x$ is bounded below by a unif… ▽ More Let $f \in Q(z)$ be a polynomial or rational function of degree 2. A special case of Morton and Silverman's Dynamical Uniform Boundedness Conjecture states that the number of rational preperiodic points of $f$ is bounded above by an absolute constant. A related conjecture of Silverman states that the canonical height $\hat{h}_f(x)$ of a non-preperiodic rational point $x$ is bounded below by a uniform multiple of the height of $f$ itself. We provide support for these conjectures by computing the set of preperiodic and small height rational points for a set of degree 2 maps far beyond the range of previous searches. △ Less

Submitted 1 January, 2015; v1 submitted 2 December, 2013; originally announced December 2013.

Comments: 19 pages

MSC Class: 37P35

Journal ref: Exp. Math. 23 (2014), no. 4, 433-447

A Wallis Product on Clovers

Authors: Trevor Hyde

Abstract: We prove a generalization of the Wallis product for a sequence of real numbers related to arc lengths of clover curves. Our proof generalizes a common argument given for the original Wallis product using a sequence of definite integrals. We prove a generalization of the Wallis product for a sequence of real numbers related to arc lengths of clover curves. Our proof generalizes a common argument given for the original Wallis product using a sequence of definite integrals. △ Less

Submitted 17 December, 2012; originally announced December 2012.

Comments: 7 pages, 2 figures

Sierpiński rank of the Symmetric inverse semigroup

Authors: James T. Hyde, Yann Péresse

Abstract: We show that every countable set of partial bijections from an infinite set to itself can be obtained as a composition of just two such partial bijections. This strengthens a result by Higgins, Howie, Mitchell and Ruškuc stating that every such countable set of partial bijections may be obtained as the composition of two partial bijections and their inverses. We show that every countable set of partial bijections from an infinite set to itself can be obtained as a composition of just two such partial bijections. This strengthens a result by Higgins, Howie, Mitchell and Ruškuc stating that every such countable set of partial bijections may be obtained as the composition of two partial bijections and their inverses. △ Less

Submitted 27 November, 2012; originally announced November 2012.

Dimension and measure for generic continuous images

Authors: Richárd Balka, Ábel Farkas, Jonathan M. Fraser, James T. Hyde

Abstract: We consider the Banach space consisting of continuous functions from an arbitrary uncountable compact metric space, $X$, into $\mathbb{R}^n$. The key question is `what is the generic dimension of $f(X)$?' and we consider two different approaches to answering it: Baire category and prevalence. In the Baire category setting we prove that typically the packing and upper box dimensions are as large as… ▽ More We consider the Banach space consisting of continuous functions from an arbitrary uncountable compact metric space, $X$, into $\mathbb{R}^n$. The key question is `what is the generic dimension of $f(X)$?' and we consider two different approaches to answering it: Baire category and prevalence. In the Baire category setting we prove that typically the packing and upper box dimensions are as large as possible, $n$, but find that the behaviour of the Hausdorff, lower box and topological dimensions is considerably more subtle. In fact, they are typically equal to the minimum of $n$ and the topological dimension of $X$. We also study the typical Hausdorff and packing measures of $f(X)$ and, in particular, give necessary and sufficient conditions for them to be zero, positive and finite, or infinite. It is interesting to compare the Baire category results with results in the prevalence setting. As such we also discuss a result of Dougherty on the prevalent topological dimension of $f(X)$ and give some simple applications concerning the prevalent dimensions of graphs of real-valued continuous functions on compact metric spaces, allowing us to extend a recent result of Bayart and Heurteaux. △ Less

Submitted 7 June, 2019; v1 submitted 14 September, 2012; originally announced September 2012.

Comments: 14 pages

MSC Class: 28A80; 28A78; 54E52; 54C05

Journal ref: Ann. Acad. Sci. Fenn. Math., 38, (2013), 389-404

The Galois theory of the lemniscate

Authors: David A. Cox, Trevor Hyde

Abstract: This article studies the Galois groups that arise from division points of the lemniscate. We compute these Galois groups two ways: first, by class field theory, and second, by proving the irreducibility of lemnatomic polynomials, which are analogs of cyclotomic polynomials. We also discuss Abel's theorem on the lemniscate and explain how lemnatomic polynomials relate to Chebyshev polynomials. This article studies the Galois groups that arise from division points of the lemniscate. We compute these Galois groups two ways: first, by class field theory, and second, by proving the irreducibility of lemnatomic polynomials, which are analogs of cyclotomic polynomials. We also discuss Abel's theorem on the lemniscate and explain how lemnatomic polynomials relate to Chebyshev polynomials. △ Less

Submitted 21 August, 2012; v1 submitted 13 August, 2012; originally announced August 2012.

Comments: The revised version adds four references and some historical remarks. We also note that a special case of Theorem 4.1 appears in Lemmermeyer's Reciprocity Laws

MSC Class: 11G15 (Primary) 11R37; 14K22; 33E05 (Secondary)

A note on the 1-prevalence of continuous images with full Hausdorff dimension

Authors: Jonathan M. Fraser, James T. Hyde

Abstract: We consider the Banach space consisting of real-valued continuous functions on an arbitrary compact metric space. It is known that for a prevalent (in the sense of Hunt, Sauer and Yorke) set of functions the Hausdorff dimension of the image is as large as possible, namely 1. We extend this result by showing that `prevalent' can be replaced by `1-prevalent', i.e. it is possible to \emph{witness} th… ▽ More We consider the Banach space consisting of real-valued continuous functions on an arbitrary compact metric space. It is known that for a prevalent (in the sense of Hunt, Sauer and Yorke) set of functions the Hausdorff dimension of the image is as large as possible, namely 1. We extend this result by showing that `prevalent' can be replaced by `1-prevalent', i.e. it is possible to \emph{witness} this prevalence using a measure supported on a one dimensional subspace. Such one dimensional measures are called \emph{probes} and their existence indicates that the structure and nature of the prevalence is simpler than if a more complicated `infinite dimensional' witnessing measure has to be used. △ Less

Submitted 27 January, 2014; v1 submitted 2 March, 2012; originally announced March 2012.

Comments: 8 pages

MSC Class: 28A80; 28A78

Journal ref: J. Math. Anal. App., 421, (2015), 1713-1720

The Hausdorff dimension of graphs of prevalent continuous functions

Authors: Jonathan M. Fraser, James T. Hyde

Abstract: We prove that the Hausdorff dimension of the graph of a prevalent continuous function is 2. We also indicate how our results can be extended to the space of continuous functions on $[0,1]^d$ for $d \in \mathbb{N}$ and use this to obtain results on the `horizon problem' for fractal surfaces. We begin with a survey of previous results on the dimension of a generic continuous function. We prove that the Hausdorff dimension of the graph of a prevalent continuous function is 2. We also indicate how our results can be extended to the space of continuous functions on $[0,1]^d$ for $d \in \mathbb{N}$ and use this to obtain results on the `horizon problem' for fractal surfaces. We begin with a survey of previous results on the dimension of a generic continuous function. △ Less

Submitted 12 April, 2011; originally announced April 2011.

MSC Class: 28A80; 28A78

Journal ref: Real Analysis Exchange, 37, (2011/2012), 333-352

Pre-images of quadratic dynamical systems

Authors: Benjamin Hutz, Trevor Hyde, Benjamin Krause

Abstract: For a quadratic endomorphism of the affine line defined over the rationals we consider the problem of bounding the number of rational points that eventually land at a given constant after iteration, called pre-images of the constant. In the article "Uniform Bounds on Pre-Images Under Quadratic Dynamical Systems," it was shown that the number of rational pre-images is bounded as one varies the morp… ▽ More For a quadratic endomorphism of the affine line defined over the rationals we consider the problem of bounding the number of rational points that eventually land at a given constant after iteration, called pre-images of the constant. In the article "Uniform Bounds on Pre-Images Under Quadratic Dynamical Systems," it was shown that the number of rational pre-images is bounded as one varies the morphism in a certain one-dimensional family. Explicit values of the constant for pre-images of zero and -1 defined over the rational numbers were addressed in subsequent articles. This article addresses an explicit bound for any algebraic image constant and provides insight into the geometry of the "pre-image surfaces." △ Less

Submitted 16 May, 2011; v1 submitted 5 July, 2010; originally announced July 2010.

Comments: to appear in Involve; 16pages

MSC Class: 14G05