Showing 1–17 of 17 results for author: Merrill, K

Diophantine approximation on abelian varieties; a conjecture of M. Waldschmidt

Authors: Lior Fishman, David Lambert, Keith Merrill, David Simmons

Abstract: Following the work of Waldschmidt, we investigate problems in Diophantine approximation on abelian varieties. First we show that a conjecture of Waldschmidt for a given simple abelian variety is equivalent to a well-known Diophantine condition holding for a certain matrix related to that variety. We then posit a related but weaker conjecture, and establish the upper bound direction of that conject… ▽ More Following the work of Waldschmidt, we investigate problems in Diophantine approximation on abelian varieties. First we show that a conjecture of Waldschmidt for a given simple abelian variety is equivalent to a well-known Diophantine condition holding for a certain matrix related to that variety. We then posit a related but weaker conjecture, and establish the upper bound direction of that conjecture in full generality. For rank 1 elliptic curves defined over a number field $K \subset \mathbb{R}$, we then obtain a weak-type Dirichlet theorem in this setting, establish the optimality of this statement, and prove our conjecture in this case. △ Less

Submitted 23 June, 2025; originally announced June 2025.

Comments: 11 pages

MSC Class: 11J20

Wavelet sets for crystallographic groups

Authors: Kathy D. Merrill

Abstract: Single wavelet sets, and thus single wavelets, are shown to exist for the actions of all crystallographic groups on $\mathbb R^2$ under all integer dilations. Examples of such sets satisfying the additional requirement that they are finite unions of convex sets are presented for each of the groups under dilation by two. Single wavelet sets, and thus single wavelets, are shown to exist for the actions of all crystallographic groups on $\mathbb R^2$ under all integer dilations. Examples of such sets satisfying the additional requirement that they are finite unions of convex sets are presented for each of the groups under dilation by two. △ Less

Submitted 4 May, 2020; originally announced May 2020.

Comments: 15 pages; 9 figures

MSC Class: 42C15; 42C40

Decomposing the wavelet representation for shifts by wallpaper groups

Authors: Lawrence W. Baggett, Kathy D. Merrill, Judith A. Packer, Keith F. Taylor

Abstract: The wavelet group and wavelet representation associated with shifts coming from a two dimensional crystal symmetry group $Γ$ and dilations by powers of 3, are defined and studied. The main result is an explicit decomposition of the $3Γ-$wavelet representation into irreducible representations of the wavelet group. The wavelet group and wavelet representation associated with shifts coming from a two dimensional crystal symmetry group $Γ$ and dilations by powers of 3, are defined and studied. The main result is an explicit decomposition of the $3Γ-$wavelet representation into irreducible representations of the wavelet group. △ Less

Submitted 7 February, 2020; originally announced February 2020.

Comments: 19 pages

MSC Class: 42C40; 43A65; 42C05

Uniformly de Bruijn sequences and symbolic Diophantine approximation on fractals

Authors: Lior Fishman, Keith Merrill, David Simmons

Abstract: Intrinsic Diophantine approximation on fractals, such as the Cantor ternary set, was undoubtedly motivated by questions asked by K. Mahler (1984). One of the main goals of this paper is to develop and utilize the theory of infinite de Bruijn sequences in order to answer closely related questions. In particular, we prove that the set of infinite de Bruijn sequences in $k\geq 2$ letters, thought of… ▽ More Intrinsic Diophantine approximation on fractals, such as the Cantor ternary set, was undoubtedly motivated by questions asked by K. Mahler (1984). One of the main goals of this paper is to develop and utilize the theory of infinite de Bruijn sequences in order to answer closely related questions. In particular, we prove that the set of infinite de Bruijn sequences in $k\geq 2$ letters, thought of as a set of real numbers via a decimal expansion, has positive Hausdorff dimension. For a given $k$, these sequences bear a strong connection to Diophantine approximation on certain fractals. In particular, the optimality of an intrinsic Dirichlet function on these fractals with respect to the height function defined by symbolic representations of rationals follows from these results. △ Less

Submitted 17 October, 2016; v1 submitted 25 May, 2016; originally announced May 2016.

Intrinsic Diophantine approximation on manifolds: General theory

Authors: Lior Fishman, Dmitry Kleinbock, Keith Merrill, David Simmons

Abstract: We investigate the question of how well points on a nondegenerate $k$-dimensional submanifold $M \subseteq \mathbb R^d$ can be approximated by rationals also lying on $M$, establishing an upper bound on the "intrinsic Dirichlet exponent" for $M$. We show that relative to this exponent, the set of badly intrinsically approximable points is of full dimension and the set of very well intrinsically ap… ▽ More We investigate the question of how well points on a nondegenerate $k$-dimensional submanifold $M \subseteq \mathbb R^d$ can be approximated by rationals also lying on $M$, establishing an upper bound on the "intrinsic Dirichlet exponent" for $M$. We show that relative to this exponent, the set of badly intrinsically approximable points is of full dimension and the set of very well intrinsically approximable points is of zero measure. Our bound on the intrinsic Dirichlet exponent is phrased in terms of an explicit function of $k$ and $d$ which does not seem to have appeared in the literature previously. It is shown to be optimal for several particular cases. The requirement that the rationals lie on $M$ distinguishes this question from the more common context of (ambient) Diophantine approximation on manifolds, and necessitates the development of new techniques. Our main tool is an analogue of the Simplex Lemma for rationals lying on $M$ which provides new insights on the local distribution of rational points on nondegenerate manifolds. △ Less

Submitted 18 March, 2016; v1 submitted 17 September, 2015; originally announced September 2015.

Comments: This paper is split off from arXiv:1405.7650v2

Journal ref: Trans. Amer. Math. Soc. 370 (2018), no. 1, 577-599

Hausdorff dimensions of very well intrinsically approximable subsets of quadratic hypersurfaces

Authors: Lior Fishman, Keith Merrill, David Simmons

Abstract: We prove an analogue of a theorem of A. Pollington and S. Velani ('05), furnishing an upper bound on the Hausdorff dimension of certain subsets of the set of very well intrinsically approximable points on a quadratic hypersurface. The proof incorporates the framework of intrinsic approximation on such hypersurfaces first developed in the authors' joint work with D. Kleinbock (preprint '14) with id… ▽ More We prove an analogue of a theorem of A. Pollington and S. Velani ('05), furnishing an upper bound on the Hausdorff dimension of certain subsets of the set of very well intrinsically approximable points on a quadratic hypersurface. The proof incorporates the framework of intrinsic approximation on such hypersurfaces first developed in the authors' joint work with D. Kleinbock (preprint '14) with ideas from work of D. Kleinbock, E. Lindenstrauss, and B. Weiss ('04). △ Less

Submitted 15 September, 2017; v1 submitted 26 February, 2015; originally announced February 2015.

Intrinsic Diophantine approximation on quadric hypersurfaces

Authors: Lior Fishman, Dmitry Kleinbock, Keith Merrill, David Simmons

Abstract: We consider the question of how well points in a quadric hypersurface $M\subset\mathbb R^d$ can be approximated by rational points of $\mathbb Q^d\cap M$. This contrasts with the more common setup of approximating points in a manifold by all rational points in $\mathbb Q^d$. We provide complete answers to major questions of Diophantine approximation in this context. Of particular interest are the… ▽ More We consider the question of how well points in a quadric hypersurface $M\subset\mathbb R^d$ can be approximated by rational points of $\mathbb Q^d\cap M$. This contrasts with the more common setup of approximating points in a manifold by all rational points in $\mathbb Q^d$. We provide complete answers to major questions of Diophantine approximation in this context. Of particular interest are the impact of the real and rational ranks of the defining quadratic form, quantities whose roles in Diophantine approximation have never been previously elucidated. Our methods include a correspondence between the intrinsic Diophantine approximation theory on a rational quadric hypersurface and the dynamics of the group of projective transformations which preserve that hypersurface, similar to earlier results in the non-intrinsic setting due to Dani ('86) and Kleinbock--Margulis ('99). △ Less

Submitted 12 January, 2021; v1 submitted 29 May, 2014; originally announced May 2014.

Comments: "Part I: General theory" from version 2 has been moved to arXiv:1509.05439

MSC Class: 11K60 (Primary); 37A17 (Secondary)

Simple wavelet sets in R^n

Authors: Kathy D. Merrill

Abstract: Wavelet sets that are finite unions of convex sets are constructed in $\mathbb R^n$, $n\geq 2$, for dilation by any expansive matrix that has a power equal to a scalar times the identity and also has all singular values greater than $\sqrt n$. In particular, we produce simple wavelet sets in any dimension for dilation by any real scalar greater than 1. Wavelet sets that are finite unions of convex sets are constructed in $\mathbb R^n$, $n\geq 2$, for dilation by any expansive matrix that has a power equal to a scalar times the identity and also has all singular values greater than $\sqrt n$. In particular, we produce simple wavelet sets in any dimension for dilation by any real scalar greater than 1. △ Less

Submitted 10 November, 2013; v1 submitted 19 April, 2013; originally announced April 2013.

Comments: To appear in Journal of Geometric Analysis; 13 pages, 10 figures

MSC Class: 42C40; 52C22

Journal ref: Journal of Geometric Analysis, Volume 25, Issue 2 (2015) pp 1295-1305

Rational Approximation on Spheres

Authors: Dmitry Kleinbock, Keith Merrill

Abstract: We quantify the density of rational points in the unit sphere $S^n$, proving analogues of the classical theorems on the embedding of $\q^n$ into $\r^n$. Specifically, we prove a Dirichlet theorem stating that every point $α\in S^n$ is sufficiently approximable, the optimality of this approximation via the existence of badly approximable points, and a Khintchine theorem showing that the Lebesgue me… ▽ More We quantify the density of rational points in the unit sphere $S^n$, proving analogues of the classical theorems on the embedding of $\q^n$ into $\r^n$. Specifically, we prove a Dirichlet theorem stating that every point $α\in S^n$ is sufficiently approximable, the optimality of this approximation via the existence of badly approximable points, and a Khintchine theorem showing that the Lebesgue measure of approximable points is either zero or full depending on the convergence or divergence of a certain sum. These results complement and improve on previous results, particularly recent theorems of Ghosh, Gorodnik and Nevo. △ Less

Submitted 25 May, 2013; v1 submitted 6 January, 2013; originally announced January 2013.

Comments: Incorporated readers' suggestions and clarified exposition

MSC Class: 11; 37

Limit Points Badly Approximable by Horoballs

Authors: Dustin Mayeda, Keith Merrill

Abstract: For a proper, geodesic, Gromov hyperbolic metric space X, a discrete subgroup of isometries Γwhose limit set is uniformly perfect, and a disjoint collection of horoballs {H_j}, we show that the set of limit points badly approximable by {H_j} is absolutely winning in the limit set. As an application, we deduce that for a geometrically finite Kleinian group acting on H^{n+1}, the limit points badly… ▽ More For a proper, geodesic, Gromov hyperbolic metric space X, a discrete subgroup of isometries Γwhose limit set is uniformly perfect, and a disjoint collection of horoballs {H_j}, we show that the set of limit points badly approximable by {H_j} is absolutely winning in the limit set. As an application, we deduce that for a geometrically finite Kleinian group acting on H^{n+1}, the limit points badly approximable by parabolics is absolutely winning, generalizing previous results of Dani and McMullen. As a consequence of winning, we show that the set of badly approximable limit points has dimension equal to the critical exponent of the group. Since this set can alternatively be described as the limit points representing bounded geodesics in the quotient H^{n+1}/Γ, we recapture a result originally due to Bishop and Jones. △ Less

Submitted 11 April, 2012; v1 submitted 21 January, 2012; originally announced January 2012.

Comments: 13 pages

Journal ref: GEOMETRIAE DEDICATA 163, ISSUE 1 (2013), 127--140

Probability measures on solenoids corresponding to fractal wavelets

Authors: Lawrence W. Baggett, Kathy D. Merrill, Judith A. Packer, Arlan B. Ramsay

Abstract: The measure on generalized solenoids constructed using filters by Dutkay and Jorgensen is analyzed further by writing the solenoid as the product of a torus and a Cantor set. Using this decomposition, key differences are revealed between solenoid measures associated with classical filters in $\mathbb R^d$ and those associated with filters on inflated fractal sets. In particular, it is shown that t… ▽ More The measure on generalized solenoids constructed using filters by Dutkay and Jorgensen is analyzed further by writing the solenoid as the product of a torus and a Cantor set. Using this decomposition, key differences are revealed between solenoid measures associated with classical filters in $\mathbb R^d$ and those associated with filters on inflated fractal sets. In particular, it is shown that the classical case produces atomic fiber measures, and as a result supports both suitably defined solenoid MSF wavelets and systems of imprimitivity for the corresponding wavelet representation of the generalized Baumslag-Solitar group. In contrast, the fiber measures for filters on inflated fractal spaces cannot be atomic, and thus can support neither MSF wavelets nor systems of imprimitivity. △ Less

Submitted 2 November, 2010; originally announced November 2010.

Comments: 27 pages

MSC Class: 42C40; 22D25

Classification of Generalized Multiresolution Analyses

Authors: Lawrence W. Baggett, Veronika Furst, Kathy D. Merrill, Judith A. Packer

Abstract: We discuss how generalized multiresolution analyses (GMRAs), both classical and those defined on abstract Hilbert spaces, can be classified by their multiplicity functions $m$ and matrix-valued filter functions $H$. Given a natural number valued function $m$ and a system of functions encoded in a matrix $H$ satisfying certain conditions, a construction procedure is described that produces an abs… ▽ More We discuss how generalized multiresolution analyses (GMRAs), both classical and those defined on abstract Hilbert spaces, can be classified by their multiplicity functions $m$ and matrix-valued filter functions $H$. Given a natural number valued function $m$ and a system of functions encoded in a matrix $H$ satisfying certain conditions, a construction procedure is described that produces an abstract GMRA with multiplicity function $m $ and filter system $H$. An equivalence relation on GMRAs is defined and described in terms of their associated pairs $(m,H)$. This classification system is applied to classical examples in $L^2 (\mathbb R^d)$ as well as to previously studied abstract examples. △ Less

Submitted 28 October, 2009; originally announced October 2009.

Comments: 18 pages including bibliograph

MSC Class: 42C40; 47D03

Generalized low-pass filters and multiresolution analyses

Authors: Lawrence W. Baggett, Veronika Furst, Kathy D. Merrill, Judith A. Packer

Abstract: We study generalized filters that are associated to multiplicity functions and homomorphisms of the dual of an abelian group. These notions are based on the structure of generalized multiresolution analyses. We investigate when the Ruelle operator corresponding to such a filter is a pure isometry, and then use that characterization to study the problem of when a collection of closed subspaces, w… ▽ More We study generalized filters that are associated to multiplicity functions and homomorphisms of the dual of an abelian group. These notions are based on the structure of generalized multiresolution analyses. We investigate when the Ruelle operator corresponding to such a filter is a pure isometry, and then use that characterization to study the problem of when a collection of closed subspaces, which satisfies all the conditions of a GMRA except the trivial intersection condition, must in fact have a trivial intersection. In this context, we obtain a generalization of a theorem of Bownik and Rzeszotnik. △ Less

Submitted 10 December, 2008; originally announced December 2008.

Comments: 20 pages including bibliography

MSC Class: 42C40; 47D03

Generalized multiresolution analyses with given multiplicity functions

Authors: Lawrence W. Baggett, Nadia S. Larsen, Kathy D. Merrill, Judith A. Packer, Iain Raeburn

Abstract: Generalized multiresolution analyses are increasing sequences of subspaces of a Hilbert space $\H$ that fail to be multiresolution analyses in the sense of wavelet theory because the core subspace does not have an orthonormal basis generated by a fixed scaling function. Previous authors have studied a multiplicity function $m$ which, loosely speaking, measures the failure of the GMRA to be an MR… ▽ More Generalized multiresolution analyses are increasing sequences of subspaces of a Hilbert space $\H$ that fail to be multiresolution analyses in the sense of wavelet theory because the core subspace does not have an orthonormal basis generated by a fixed scaling function. Previous authors have studied a multiplicity function $m$ which, loosely speaking, measures the failure of the GMRA to be an MRA. When the Hilbert space $\H$ is $L^2(\mathbb R^n)$, the possible multiplicity functions have been characterized by Baggett and Merrill. Here we start with a function $m$ satisfying a consistency condition which is known to be necessary, and build a GMRA in an abstract Hilbert space with multiplicity function $m$. △ Less

Submitted 10 October, 2007; originally announced October 2007.

Comments: 16 pages including bibliography

MSC Class: 42C40; 47D03

A non-MRA $C^r$ frame wavelet with rapid decay

Authors: Lawrence Baggett, Palle Jorgensen, Kathy Merrill, Judith Packer

Abstract: A generalized filter construction is used to build an example of a non-MRA normalized tight frame wavelet for dilation by 2 in $L^2(\mathbb R)$. This example has the same multiplicity function as the Journé wavelet, yet has a $C^{\infty}$ Fourier transform and can be made to be $C^r$ for any fixed positive integer $r$. A generalized filter construction is used to build an example of a non-MRA normalized tight frame wavelet for dilation by 2 in $L^2(\mathbb R)$. This example has the same multiplicity function as the Journé wavelet, yet has a $C^{\infty}$ Fourier transform and can be made to be $C^r$ for any fixed positive integer $r$. △ Less

Submitted 2 December, 2005; v1 submitted 19 April, 2005; originally announced April 2005.

Comments: 20 pages; v2 has graphics for Figures 1, 2, 3, 4; v3 has Figures 5, 6; accepted in 'Acta Applicandae Mathematicae'

MSC Class: 54C40; 14E20 (Primary); 46E25; 20C20 (Secondary)

Journal ref: Acta Appl. Math. 89 (2006), 251--270

Construction of Parseval wavelets from redundant filter systems

Authors: L. W. Baggett, P. E. T. Jorgensen, K. D. Merrill, J. A. Packer

Abstract: We consider wavelets in L^2(R^d) which have generalized multiresolutions. This means that the initial resolution subspace V_0 in L^2(R^d) is not singly generated. As a result, the representation of the integer lattice Z^d restricted to V_0 has a nontrivial multiplicity function. We show how the corresponding analysis and synthesis for these wavelets can be understood in terms of unitary-matrix-v… ▽ More We consider wavelets in L^2(R^d) which have generalized multiresolutions. This means that the initial resolution subspace V_0 in L^2(R^d) is not singly generated. As a result, the representation of the integer lattice Z^d restricted to V_0 has a nontrivial multiplicity function. We show how the corresponding analysis and synthesis for these wavelets can be understood in terms of unitary-matrix-valued functions on a torus acting on a certain vector bundle. Specifically, we show how the wavelet functions on R^d can be constructed directly from the generalized wavelet filters. △ Less

Submitted 5 May, 2005; v1 submitted 14 May, 2004; originally announced May 2004.

Comments: 34 pages, AMS-LaTeX ("amsproc" document class) v2 changes minor typos in Sections 1 and 4, v3 adds a number of references on GMRA theory and wavelet multiplicity analysis; v4 adds material on pages 2, 3, 5 and 10, and two more references

MSC Class: Primary 54C40; 14E20; 42A65; Secondary 46E25; 20C20

An analogue of Bratteli-Jorgensen loop group actions for GMRA's

Authors: L. W. Baggett, P. E. T. Jorgensen, K. D. Merrill, J. A. Packer

Abstract: Several years ago, O. Bratelli and P. Jorgensen developed the concept of m-systems of filters for dilation by a positive integer N>1 on L^2(R). They constructed a loop group action on m-systems. By work of Mallat and Meyer, these m-systems are important in constructing multi-resolution analyses and wavelets associated to dilation by N and translation by Z on L^2(R). In this paper, we discuss an… ▽ More Several years ago, O. Bratelli and P. Jorgensen developed the concept of m-systems of filters for dilation by a positive integer N>1 on L^2(R). They constructed a loop group action on m-systems. By work of Mallat and Meyer, these m-systems are important in constructing multi-resolution analyses and wavelets associated to dilation by N and translation by Z on L^2(R). In this paper, we discuss an extension of this loop-group construction to generalized filter systems, which we will call ``M-systems,'' associated with generalized multiresolution analyses. In particular, we show that every multiplicity function has an associated generalized loop group which acts freely and transitively on the set of M-systems corresponding to the multiplicity function. The results of Bratteli and Jorgensen correspond to the case where the multiplicity function is identically equal to 1. △ Less

Submitted 13 August, 2003; originally announced August 2003.

Comments: 15 pages; AMS-LaTeX; submitted to proceedings of AMS Special Session on Wavelets, Frames, and Operator Theory held at Baltimore

MSC Class: 54C40; 14E20 (Primary) 46E25; 20C20 (Secondary

Journal ref: Wavelets, Frames, and Operator Theory (College Park, Maryland, January 15-21, 2003) (C. Heil, P.E.T. Jorgensen, and D. Larson, eds.), Contemp. Math., vol. 345, American Mathematical Society, Providence, RI, 2004, pp. 11-25