Showing 1–38 of 38 results for author: Tóth, A

Small-scale mass estimates for Laplace eigenfunctions on compact $C^{2}$ manifolds with boundary

Authors: Hans Christianson, John A. Toth

Abstract: Let $Ω$ be an $n$-dimensional compact Riemannian manifold with $C^2$ boundary, and consider $L^2$-normalized eigenfunctions $ - Δφ_λ = λ^2 φ_λ$ with Dirichlet or Neumann boundary conditions . In this note, we extend well-known interior nonconcentration bounds up to the boundary. Specifically, in Theorem \ref{thm1} using purely stationary, local methods, we prove that for such $Ω$, it follows tha… ▽ More Let $Ω$ be an $n$-dimensional compact Riemannian manifold with $C^2$ boundary, and consider $L^2$-normalized eigenfunctions $ - Δφ_λ = λ^2 φ_λ$ with Dirichlet or Neumann boundary conditions . In this note, we extend well-known interior nonconcentration bounds up to the boundary. Specifically, in Theorem \ref{thm1} using purely stationary, local methods, we prove that for such $Ω$, it follows that for {\em any} $x_0 \in \overlineΩ$ (including boundary points) and for all $μ\geq h,$ \begin{equation} \label{nonconbdy} \| φ_λ\|_{B(x_0,μ)\cap Ω}^2 = O(μ). \end{equation} In Theorem \ref{thm2} we extend a result of Sogge \cite{So} to manifolds with smooth boundary and show that \begin{equation} \label{SUPBD} \| φ_λ\|_{L^\infty(Ω)} \leq C λ^{\frac{n}{2}} \cdot \sup_{x \in Ω} \| φ_λ \|_{L^2( B(x,λ^{-1}) \cap Ω)}. \end{equation} The sharp sup bounds $\| φ_λ \|_{L^\infty(Ω)} = O(λ^{\frac{n-1}{2}})$ first proved by Grieser in \cite{Gr} are then an immediate consequence of Theorems \ref{thm1} and \ref{thm2}. △ Less

Submitted 23 December, 2024; originally announced December 2024.

MSC Class: 35P05; 35G15; 58J32

Small-scale mass estimates for Neumann eigenfunctions: piecewise smooth planar domains

Authors: Hans Christianson, John A. Toth

Abstract: Let $Ω$ be a piecewise-smooth, bounded convex domain in $\R^2$ and consider $L^2$-normalized Neumann eigenfunctions $φ_λ$ with eigenvalue $λ^2$. Our main result is a small-scale {\em non-concentration} estimate: We prove that for {\em any} $x_0 \in \overlineΩ,$ (including boundary and corner points) and any $δ\in [0,1),$ $$ \| φ_λ\|_{B(x_0,λ^{-δ})\cap Ω} = O(λ^{-δ/2}).$$ The proof is a stationary… ▽ More Let $Ω$ be a piecewise-smooth, bounded convex domain in $\R^2$ and consider $L^2$-normalized Neumann eigenfunctions $φ_λ$ with eigenvalue $λ^2$. Our main result is a small-scale {\em non-concentration} estimate: We prove that for {\em any} $x_0 \in \overlineΩ,$ (including boundary and corner points) and any $δ\in [0,1),$ $$ \| φ_λ\|_{B(x_0,λ^{-δ})\cap Ω} = O(λ^{-δ/2}).$$ The proof is a stationary vector field argument combined with a small scale induction argument. △ Less

Submitted 19 September, 2023; originally announced September 2023.

Comments: This is an expanded version of the first half of the preprint arXiv:2012.15237 [math.AP] by the same authors

MSC Class: 35B40; 35B30; 35P99; 35G15

The purity locus of matrix Kloosterman sums

Authors: Márton Erdélyi, Will Sawin, Árpád Tóth

Abstract: We establish the exact structure of the cohomology associated to a certain matrix exponential sum investigated in prior work (arXiv:2109.00762) of the first and last author. We establish the exact structure of the cohomology associated to a certain matrix exponential sum investigated in prior work (arXiv:2109.00762) of the first and last author. △ Less

Submitted 20 November, 2022; v1 submitted 13 October, 2022; originally announced October 2022.

Comments: 19 pages

Matrix Kloosterman sums modulo prime powers

Authors: Márton Erdélyi, Árpád Tóth, Gergely Zábrádi

Abstract: We give optimal bounds for matrix Kloosterman sums modulo prime powers extending earlier work of the first two authors on the case of prime moduli. These exponential sums arise in the theory of the horocyclic flow on $\mathrm{GL}_n$. We give optimal bounds for matrix Kloosterman sums modulo prime powers extending earlier work of the first two authors on the case of prime moduli. These exponential sums arise in the theory of the horocyclic flow on $\mathrm{GL}_n$. △ Less

Submitted 25 January, 2024; v1 submitted 16 September, 2022; originally announced September 2022.

Comments: 20 pages, v2: revised according to referee's comments, fixed an error in Prop. 3.4, v3: minor changes

Lower bounds for eigenfunction restrictions in lacunary regions

Authors: Yaiza Canzani, John A. Toth

Abstract: Let $(M,g)$ be a compact, smooth Riemannian manifold and $\{u_h\}$ be a sequence of $L^2$-normalized Laplace eigenfunctions that has a localized defect measure $μ$ in the sense that $ M \setminus \text{supp}(π_* μ) \neq \emptyset$ where $π:T^*M \to M$ is the canonical projection. Using Carleman estimates we prove that for any real-smooth closed hypersurface… ▽ More Let $(M,g)$ be a compact, smooth Riemannian manifold and $\{u_h\}$ be a sequence of $L^2$-normalized Laplace eigenfunctions that has a localized defect measure $μ$ in the sense that $ M \setminus \text{supp}(π_* μ) \neq \emptyset$ where $π:T^*M \to M$ is the canonical projection. Using Carleman estimates we prove that for any real-smooth closed hypersurface $H \subset (M\setminus \text{supp} (π_* μ))$ sufficiently close to $ \text{supp}(π_* μ),$ and for all $δ>0,$ $$ \int_{H} |u_h|^2 dσ\geq C_δ\, e^{- [\, d(H, \text{supp}(π_* μ)) + \,δ] /h} $$ as $h \to 0^+$. We also show that the result holds for eigenfunctions of Schrödinger operators and give applications to eigenfunctions on warped products and joint eigenfunctions of quantum completely integrable (QCI) systems. △ Less

Submitted 12 July, 2022; originally announced July 2022.

Lower bounds for Steklov eigenfunctions

Authors: Jeffrey Galkowski, John A. Toth

Abstract: Let $(Ω,g)$ be a compact, analytic Riemannian manifold with analytic boundary $\partial Ω= M.$ We give $L^2$-lower bounds for Steklov eigenfunctions and their restrictions to interior hypersurfaces $H \subset Ω^{\circ}$ in a geometrically defined neighborhood of $M$. Our results are optimal in the entire geometric neighborhood and complement the results on eigenfunction upper bounds in the author'… ▽ More Let $(Ω,g)$ be a compact, analytic Riemannian manifold with analytic boundary $\partial Ω= M.$ We give $L^2$-lower bounds for Steklov eigenfunctions and their restrictions to interior hypersurfaces $H \subset Ω^{\circ}$ in a geometrically defined neighborhood of $M$. Our results are optimal in the entire geometric neighborhood and complement the results on eigenfunction upper bounds in the author's previous work. △ Less

Submitted 21 December, 2021; originally announced December 2021.

Comments: 16 pages, 2 figures

Matrix Kloosterman sums

Authors: Márton Erdélyi, Árpád Tóth

Abstract: We study a family of exponential sums that arises in the study of the horocyclic flow on $\mathrm{GL}_n$. We prove an explicit version of general purity and find optimal bounds for these sums. We study a family of exponential sums that arises in the study of the horocyclic flow on $\mathrm{GL}_n$. We prove an explicit version of general purity and find optimal bounds for these sums. △ Less

Submitted 9 January, 2024; v1 submitted 2 September, 2021; originally announced September 2021.

Comments: 57 pages, some minor changes done and new references added

Journal ref: Alg. Number Th. 18 (2024) 2247-2308

Non-concentration and restriction bounds for Neumann eigenfunctions of piecewise $C^{\infty}$ bounded planar domains

Authors: Hans Christianson, John A. Toth

Abstract: Let $(Ω,g)$ be a piecewise-smooth, bounded convex domain in $\R^2$ and consider $L^2$-normalized Neumann eigenfunctions $φ_λ$ with eigenvalue $λ^2$ and $u_λ:= φ_λ |_{\partial Ω}$ the associated Dirichlet data (ie. boundary restriction of $φ_λ$). Our first main result (Theorem \ref{T:non-con}) is a small-scale {\em non-concentration} estimate: We prove that for {\em any} $x_0 \in \overlineΩ,$ (incl… ▽ More Let $(Ω,g)$ be a piecewise-smooth, bounded convex domain in $\R^2$ and consider $L^2$-normalized Neumann eigenfunctions $φ_λ$ with eigenvalue $λ^2$ and $u_λ:= φ_λ |_{\partial Ω}$ the associated Dirichlet data (ie. boundary restriction of $φ_λ$). Our first main result (Theorem \ref{T:non-con}) is a small-scale {\em non-concentration} estimate: We prove that for {\em any} $x_0 \in \overlineΩ,$ (including boundary corner points) and any $δ\in [0,1),$ $$ \| φ_h \|_{B(x_0,λ^{-δ})\cap Ω} = O(λ^{-δ/2}).$$ Our subsequent results involve applications of the nonconcentration estimate to upper bounds for $L^2$ restrictions of boundary eigenfunctions that are valid up to boundary corners. In particular, in Theorem \ref{dirichlet} we prove that for any {\em flat} boundary edge $Γ$ (possibly including corner points), the boundary restrictions $u_h:= φ_h |_{\partial Ω}$ satisfy the bounds $$ \|u_λ \|_{L^2(Γ)} = O_ε(λ^{1/4 + ε}),$$ for any $ε>0.$ The exponent $1/4$ is sharp and the result improves on the $O(λ^{1/3})$ universal $L^2$-restriction bound for Neumann eigenfunctions due to Tataru \cite{Ta}. The $O(λ^{1/4})$ -bound is also an extension to the boundary (including corner points) of well-known interior $L^2$ restriction bounds of Burq-Gerard-Tzvetkov \cite{BGT} along totally-geodesic hypersurfaces. △ Less

Submitted 30 December, 2020; originally announced December 2020.

Comments: 64 pages

MSC Class: 35P20; 35G15

Pointwise bounds for joint eigenfunctions of quantum completely integrable systems

Authors: Jeffrey Galkowski, John A. Toth

Abstract: Let $(M,g)$ be a compact Riemannian manifold and $P_1:=-h^2Δ_g+V(x)-E_1$ so that $dp_1\neq 0$ on $p_1=0$. We assume that $P_1$ is quantum completely integrable in the sense that there exist functionally independent pseuodifferential operators $P_2,\dots P_n$ with $[P_i,P_j]=0$, $i,j=1,\dots ,n$. We study the pointwise bounds for the joint eigenfunctions, $u_h$ of the system $\{P_i\}_{i=1}^n$ with… ▽ More Let $(M,g)$ be a compact Riemannian manifold and $P_1:=-h^2Δ_g+V(x)-E_1$ so that $dp_1\neq 0$ on $p_1=0$. We assume that $P_1$ is quantum completely integrable in the sense that there exist functionally independent pseuodifferential operators $P_2,\dots P_n$ with $[P_i,P_j]=0$, $i,j=1,\dots ,n$. We study the pointwise bounds for the joint eigenfunctions, $u_h$ of the system $\{P_i\}_{i=1}^n$ with $P_1u_h=E_1u_h+o(1)$. We first give polynomial improvements over the standard Hörmander bounds for typical points in $M$. In two and three dimensions, these estimates agree with the Hardy exponent $h^{-\frac{1-n}{4}}$ and in higher dimensions we obtain a gain of $h^{\frac{1}{2}}$ over the Hörmander bound. In our second main result, under a real-analyticity assumption on the QCI system, we give exponential decay estimates for joint eigenfunctions at points outside the projection of invariant Lagrangian tori; that is at points $x\in M$ in the "microlocally forbidden" region $p_1^{-1}(E_1)\cap \dots \cap p_n^{-1}(E_n)\cap T^*_xM=\emptyset.$ These bounds are sharp locally near the projection of the invariant tori. △ Less

Submitted 9 October, 2018; originally announced October 2018.

Comments: 30 pages, 1 figure

A Jensen-Rohrlich type formula for the hyperbolic 3-space

Authors: Sebastián Herrero, Özlem Imamoglu, Anna-Maria von Pippich, Árpád Tóth

Abstract: In this article we give a Jensen-Rohrlich type formula for a certain class of automorphic functions on the hyperbolic 3-space for the group $\mathrm{PSL}_2(\mathcal{O}_K)$. In this article we give a Jensen-Rohrlich type formula for a certain class of automorphic functions on the hyperbolic 3-space for the group $\mathrm{PSL}_2(\mathcal{O}_K)$. △ Less

Submitted 10 May, 2018; v1 submitted 21 April, 2018; originally announced April 2018.

Comments: To appear in Transactions of the American Mathematical Society

Reverse Agmon estimates and nodal intersection bounds in forbidden regions

Authors: John A. Toth, Xianchao Wu

Abstract: Let $(M,g)$ be a compact, Riemannian manifold and $V \in C^{\infty}(M; \mathbb{R})$. Given a regular energy level $E > \min V$, we consider $L^2$-normalized eigenfunctions, $u_h,$ of the Schrodinger operator $P(h) = - h^2 Δ_g + V - E(h)$ with $P(h) u_h = 0$ and $E(h) = E + o(1)$ as $h \to 0^+.$ The well-known Agmon-Lithner estimates \cite{Hel} are exponential decay estimates (ie. upper bounds) for… ▽ More Let $(M,g)$ be a compact, Riemannian manifold and $V \in C^{\infty}(M; \mathbb{R})$. Given a regular energy level $E > \min V$, we consider $L^2$-normalized eigenfunctions, $u_h,$ of the Schrodinger operator $P(h) = - h^2 Δ_g + V - E(h)$ with $P(h) u_h = 0$ and $E(h) = E + o(1)$ as $h \to 0^+.$ The well-known Agmon-Lithner estimates \cite{Hel} are exponential decay estimates (ie. upper bounds) for eigenfunctions in the forbidden region $\{ V>E \}.$ The decay rate is given in terms of the Agmon distance function $d_E$ associated with the degenerate Agmon metric $(V-E)_+ \, g$ with support in the forbidden region. The point of this note is to prove a partial converse to the Agmon estimates (ie. exponential {\em lower} bounds for the eigenfunctions) in terms of Agmon distance in the forbidden region under a control assumption on eigenfunction mass in the allowable region $\{ V< E \}$ arbitrarily close to the caustic $ \{ V = E \}.$ We then give some applications to hypersurface restriction bounds for eigenfunctions in the forbidden region along with corresponding nodal intersection estimates. △ Less

Submitted 28 October, 2019; v1 submitted 17 April, 2018; originally announced April 2018.

Nodal intersections and Geometric Control

Authors: John A. Toth, Steve Zelditch

Abstract: This article contains a generalization of the authors' results on numbers of nodal points of eigenfunctions on "good curves" in analytic plane domains (arXiv:0710.0101). The term `good' means that the $L^2$ norms of restrictions of eigenfunctions of eigenvalue $λ^2$ to the curve are bounded below by $e^{- C λ}$. In this article, the result is generalized to all real analytic Riemannian manifolds… ▽ More This article contains a generalization of the authors' results on numbers of nodal points of eigenfunctions on "good curves" in analytic plane domains (arXiv:0710.0101). The term `good' means that the $L^2$ norms of restrictions of eigenfunctions of eigenvalue $λ^2$ to the curve are bounded below by $e^{- C λ}$. In this article, the result is generalized to all real analytic Riemannian manifolds $(M, g)$ of any dimension $m$ without boundary. Moreover, a similar lower bound is given for the Hausdorff $m-2$ measure of the intersection of the nodal set with a good real analytic hypersurface. Most of the article is devoted to giving a dynamical or geometric control condition for `goodness' of a hypersurface. The conditions are that the hypersurface $H$ be asymmetric with respect to geodesics and that the flowout of the unit vectors with footpoint on $H$ have full measure in $S^*M. $ This gives a partial answer to a question of Bourgain-Rudnick of characterizing hypersurfaces $H$ on which a sequence of eigenfunctions vanishes. We show that under our conditions, a positive density sequence cannot vanish on $H$ or even have smaller $L^2$ norms than $e^{- C λ}$ △ Less

Submitted 18 August, 2017; originally announced August 2017.

Journal ref: Jour. Diff. Geom. 117 (2021), 345-393

Averages of eigenfunctions over hypersurfaces

Authors: Yaiza Canzani, Jeffrey Galkowski, John A. Toth

Abstract: Let $(M,g)$ be a compact, smooth, Riemannian manifold and $\{ φ_h \}$ an $L^2$-normalized sequence of Laplace eigenfunctions with defect measure $μ$. Let $H$ be a smooth hypersurface. Our main result says that when $μ$ is $\textit{not}$ concentrated conormally to $H$, the eigenfunction restrictions to $H$ and the restrictions of their normal derivatives to $H$ have integrals converging to 0 as… ▽ More Let $(M,g)$ be a compact, smooth, Riemannian manifold and $\{ φ_h \}$ an $L^2$-normalized sequence of Laplace eigenfunctions with defect measure $μ$. Let $H$ be a smooth hypersurface. Our main result says that when $μ$ is $\textit{not}$ concentrated conormally to $H$, the eigenfunction restrictions to $H$ and the restrictions of their normal derivatives to $H$ have integrals converging to 0 as $h \to 0^+$. △ Less

Submitted 22 January, 2018; v1 submitted 26 May, 2017; originally announced May 2017.

Comments: 18 pages, 1 figure

Eigenfunction scarring and improvements in $L^{\infty}$ bounds

Authors: Jeffrey Galkowski, John A. Toth

Abstract: We study the relationship between $L^\infty$ growth of eigenfunctions and their $L^2$ concentration as measured by defect measures. In particular, we show that scarring in the sense of concentration of defect measure on certain submanifolds is incompatible with maximal $L^\infty$ growth. In addition, we show that a defect measure which is too diffuse, such as the Liouville measure, is also incompa… ▽ More We study the relationship between $L^\infty$ growth of eigenfunctions and their $L^2$ concentration as measured by defect measures. In particular, we show that scarring in the sense of concentration of defect measure on certain submanifolds is incompatible with maximal $L^\infty$ growth. In addition, we show that a defect measure which is too diffuse, such as the Liouville measure, is also incompatible with maximal eigenfunction growth. △ Less

Submitted 22 January, 2018; v1 submitted 29 March, 2017; originally announced March 2017.

Comments: 10 pages

Journal ref: Analysis & PDE 11 (2018) 801-812

Pointwise Bounds for Steklov Eigenfunctions

Authors: Jeffrey Galkowski, John A. Toth

Abstract: Let $(Ω,g)$ be a compact, real-analytic Riemannian manifold with real-analytic boundary $\partial Ω.$ The harmonic extensions of the boundary Dirchlet-to-Neumann eigenfunctions are called Steklov eigenfunctions. We show that the Steklov eigenfuntions decay exponentially into the interior in terms of the Dirichlet-to-Neumann eigenvalues and give a sharp rate of decay to first order at the boundary.… ▽ More Let $(Ω,g)$ be a compact, real-analytic Riemannian manifold with real-analytic boundary $\partial Ω.$ The harmonic extensions of the boundary Dirchlet-to-Neumann eigenfunctions are called Steklov eigenfunctions. We show that the Steklov eigenfuntions decay exponentially into the interior in terms of the Dirichlet-to-Neumann eigenvalues and give a sharp rate of decay to first order at the boundary. The proof uses the Poisson representation for the Steklov eigenfunctions combined with sharp $h$-microlocal concentration estimates for the boundary Dirichlet-to-Neumann eigenfunctions near the cosphere bundle $S^*\partial Ω.$ These estimates follow from sharp estimates on the concentration of the FBI transforms of solutions to analytic pseudodifferential equations $Pu=0$ near the characteristic set $\{σ(P)=0\}$. △ Less

Submitted 22 January, 2018; v1 submitted 16 November, 2016; originally announced November 2016.

Comments: 1 figure, 42 pages

Nodal length of Steklov eigenfunctions on real-analytic Riemannian surfaces

Authors: Iosif Polterovich, David A. Sher, John A. Toth

Abstract: We prove sharp upper and lower bounds for the nodal length of Steklov eigenfunctions on real-analytic Riemannian surfaces with boundary. The argument involves frequency function methods for harmonic functions in the interior of the surface as well as the construction of exponentially accurate approximations for the Steklov eigenfunctions near the boundary. We prove sharp upper and lower bounds for the nodal length of Steklov eigenfunctions on real-analytic Riemannian surfaces with boundary. The argument involves frequency function methods for harmonic functions in the interior of the surface as well as the construction of exponentially accurate approximations for the Steklov eigenfunctions near the boundary. △ Less

Submitted 8 February, 2017; v1 submitted 24 June, 2015; originally announced June 2015.

Comments: 29 pages, 1 figure. Version 3: some minor changes, final pre-publication version

MSC Class: 35P20; 58J50

A generalization of Witsenhausen's zero-error rate for directed graphs

Authors: Gábor Simonyi, Ágnes Tóth

Abstract: We investigate a communication setup where a source output is sent through a free noisy channel first and an additional codeword is sent through a noiseless but expensive channel later. With the help of the second message the decoder should be able to decide with zero-error whether its decoding of the first message was error-free. This scenario leads to the definition of a digraph parameter that g… ▽ More We investigate a communication setup where a source output is sent through a free noisy channel first and an additional codeword is sent through a noiseless but expensive channel later. With the help of the second message the decoder should be able to decide with zero-error whether its decoding of the first message was error-free. This scenario leads to the definition of a digraph parameter that generalizes Witsenhausen's zero-error rate for directed graphs. We investigate this new parameter for some specific directed graphs and explore its relations to other digraph parameters like Sperner capacity and dichromatic number. When the original problem is modified to require zero-error decoding of the whole message then we arrive back to the Witsenhausen rate of an appropriately defined undirected graph. △ Less

Submitted 3 June, 2014; originally announced June 2014.

Comments: 27 pages, 4 figures

MSC Class: 94A15; 05C15

Estimates on the zeros of $E_2$

Authors: Özlem Imamoglu, Jonas Jermann, Árpád Tóth

Abstract: We improve the results from [EBS10] about the Eisenstein series $E_2(z)=1-24\sum_{n=1}^\infty \frac{nq^n}{1-q^n}$. In particular we show that there exists exactly one (simple) zero in each Ford circle and give an approximation to its location. We improve the results from [EBS10] about the Eisenstein series $E_2(z)=1-24\sum_{n=1}^\infty \frac{nq^n}{1-q^n}$. In particular we show that there exists exactly one (simple) zero in each Ford circle and give an approximation to its location. △ Less

Submitted 17 December, 2013; v1 submitted 11 December, 2013; originally announced December 2013.

Comments: Corrected error in numerical estimates, revised references, minor improvements, results essentially unchanged

Left invariant Randers metrics on the 3-dimensional Heisenberg group

Authors: A. Lengyelné Tóth, Z. Kovács

Abstract: In the previous paper [MR2430243] we computed some geometric quantities such as curvature and flag curvature for a general left invariant Finsler metric on a two-step nilpotent group. In the present paper we give a more complete description of the Chern--Rund connection defined by a left invariant Randers metric on the 3 dimensional Heisenberg group. In the previous paper [MR2430243] we computed some geometric quantities such as curvature and flag curvature for a general left invariant Finsler metric on a two-step nilpotent group. In the present paper we give a more complete description of the Chern--Rund connection defined by a left invariant Randers metric on the 3 dimensional Heisenberg group. △ Less

Submitted 16 November, 2015; v1 submitted 27 October, 2013; originally announced October 2013.

Comments: A section 'The flag curvature of left invariant Randers metrics on 3-dimensional Heisenberg group' was added. Two new references were added. Some misprints in (13), (14) and in the proof of Corollary 3.8. were corrected

MSC Class: 53B40

Journal ref: Publ. Math. Debrecen, 85/1-2 (2014), 161-179

Smooth billiards with a large Weyl remainder

Authors: Suresh Eswarathasan, Iosif Polterovich, John A. Toth

Abstract: The celebrated Hardy-Landau lower bound for the error term in the Gauss's circle problem can be viewed as an estimate from below for the remainder in Weyl's law on a square, with either Dirichlet or Neumann boundary conditions. We prove an analogous estimate for smooth star-shaped planar domains admitting an appropriate one-parameter family of periodic billiard trajectories. Examples include ellip… ▽ More The celebrated Hardy-Landau lower bound for the error term in the Gauss's circle problem can be viewed as an estimate from below for the remainder in Weyl's law on a square, with either Dirichlet or Neumann boundary conditions. We prove an analogous estimate for smooth star-shaped planar domains admitting an appropriate one-parameter family of periodic billiard trajectories. Examples include ellipses and smooth domains of constant width. Our results confirm a prediction of P. Sarnak who proved a similar statement for surfaces without boundary. We also obtain lower bounds on the error term in higher dimensions. In this case, the main contribution to the Weyl remainder typically comes from the "big" singularity at zero of the wave trace. However, for certain domains, such as the Euclidean ball, the dimension of the family of periodic trajectories is large enough to dominate the contribution of the singularity at zero. △ Less

Submitted 6 July, 2014; v1 submitted 23 April, 2013; originally announced April 2013.

Comments: Major revision

Exterior mass estimates and $L^2$ restriction bounds for Neumann data along hypersurfaces

Authors: Hans Christianson, Andrew Hassell, John A. Toth

Abstract: We study the problem of estimating the $L^2$ norm of Laplace eigenfunctions on a compact Riemannian manifold $M$ when restricted to a hypersurface $H$. We prove mass estimates for the restrictions of eigenfunctions $φ_h$, $(h^2 Δ- 1)φ_h = 0$, to $H$ in the region exterior to the coball bundle of $H$, on $h^δ$-scales ($0\leq δ< 2/3$). We use this estimate to obtain an $O(1)$ $L^2$-restriction bound… ▽ More We study the problem of estimating the $L^2$ norm of Laplace eigenfunctions on a compact Riemannian manifold $M$ when restricted to a hypersurface $H$. We prove mass estimates for the restrictions of eigenfunctions $φ_h$, $(h^2 Δ- 1)φ_h = 0$, to $H$ in the region exterior to the coball bundle of $H$, on $h^δ$-scales ($0\leq δ< 2/3$). We use this estimate to obtain an $O(1)$ $L^2$-restriction bound for the Neumann data along $H.$ The estimate also applies to eigenfunctions of semiclassical Schrödinger operators. △ Less

Submitted 8 November, 2013; v1 submitted 18 March, 2013; originally announced March 2013.

Comments: 22 pages. Second version has (sharp) improved restriction estimate following contributions from A. Hassell (added as an author). Version 3 fixes some mistakes and typos, and adds a more general result on semiclassical Schrodinger operator eigenfunctions

MSC Class: 35P20

Around a biclique cover conjecture

Authors: G. Chen, S. Fujita, A. Gyarfas, J. Lehel, A. Toth

Abstract: We address an old (1977) conjecture of a subset of the authors (a variant of Ryser's conjecture): in every r-coloring of the edges of a biclique [A,B] (complete bipartite graph), the vertex set can be covered by the vertices of at most 2r-2 monochromatic connected components. We reduce this conjecture to design-like conjectures, where the monochromatic components of the color classes are bicliques… ▽ More We address an old (1977) conjecture of a subset of the authors (a variant of Ryser's conjecture): in every r-coloring of the edges of a biclique [A,B] (complete bipartite graph), the vertex set can be covered by the vertices of at most 2r-2 monochromatic connected components. We reduce this conjecture to design-like conjectures, where the monochromatic components of the color classes are bicliques [X,Y] with nonempty blocks X and Y. We prove this conjecture for r<6. We show that the width (the number of bicliques) in every color class of any spanning r-coloring is at most 2^{r-1} (and this is best possible). △ Less

Submitted 31 December, 2012; originally announced December 2012.

Intersection bounds for nodal sets of planar Neumann eigenfunctions with interior analytic curves

Authors: Layan El-Hajj, John A. Toth

Abstract: Let $ Ω\subset R^2$ be a bounded piecewise smooth domain and $φ_λ$ be a Neumann (or Dirichlet) eigenfunction with eigenvalue $λ^2$ and nodal set ${ N}_{φ_λ} = {x \in Ω; φ_λ(x) = 0}.$ Let $H \subset Ω$ be an interior $C^ω$ curve. Consider the intersection number $$ n(λ,H):= \# (H \cap N_{φ_λ} ).$$ We first prove that for general piecewise-analytic domains, and under an appropriate "goodness" condit… ▽ More Let $ Ω\subset R^2$ be a bounded piecewise smooth domain and $φ_λ$ be a Neumann (or Dirichlet) eigenfunction with eigenvalue $λ^2$ and nodal set ${ N}_{φ_λ} = {x \in Ω; φ_λ(x) = 0}.$ Let $H \subset Ω$ be an interior $C^ω$ curve. Consider the intersection number $$ n(λ,H):= \# (H \cap N_{φ_λ} ).$$ We first prove that for general piecewise-analytic domains, and under an appropriate "goodness" condition on $H$, $$ n(λ,H) = {\mathcal O}_H(λ) (*)$$ as $λ\rightarrow \infty.$ We then prove that the bound in $(*)$ is satisfied in the case of quantum ergodic (QE) sequences of interior eigenfunctions, provided $Ω$ is convex and $H$ has strictly positive geodesic curvature. △ Less

Submitted 1 July, 2014; v1 submitted 14 November, 2012; originally announced November 2012.

Comments: 40 pages, 1 figure

Averaged Pointwise Bounds for Deformations of Schrodinger Eigenfunctions

Authors: Suresh Eswarathasan, John A. Toth

Abstract: Let (M,g) be a n-dimensional compact Riemannian manifold. We consider the magnetic deformations of semiclassical Schrodinger operators on M for a family of magnetic potentials that depends smoothly on $k$ parameters $u$, for $k \geq n$, and satisfies a generic admissibility condition. Define the deformed Schrodinger eigenfunctions to be the $u$-parametrized semiclassical family of functions on M t… ▽ More Let (M,g) be a n-dimensional compact Riemannian manifold. We consider the magnetic deformations of semiclassical Schrodinger operators on M for a family of magnetic potentials that depends smoothly on $k$ parameters $u$, for $k \geq n$, and satisfies a generic admissibility condition. Define the deformed Schrodinger eigenfunctions to be the $u$-parametrized semiclassical family of functions on M that is equal to the unitary magnetic Schrodinger propagator applied to the Schrodinger eigenfunctions. The main result of this article states that the $L^2$ norms in $u$ of the deformed Schrodinger eigenfunctions are bounded above and below by constants, uniformly on $M$ and in $\hbar$. In particular, the result shows that this non-random perturbation "kills" the blow-up of eigenfunctions. We give, as applications, an eigenfunction restriction bound and a quantum ergodicity result. △ Less

Submitted 29 July, 2012; v1 submitted 28 December, 2011; originally announced December 2011.

Comments: To appear in Annales Henri Poincaré. 23 pages. Background information on semiclassical wavefronts and eigenfunction concentration has been added. Some notational changes made as well. Further changes made were suggested by the referee

MSC Class: 35

Answer to a question of Alon and Lubetzky about the ultimate categorical independence ratio

Authors: Ágnes Tóth

Abstract: Brown, Nowakowski and Rall defined the ultimate categorical independence ratio of a graph G as A(G)=\lim_{k\to \infty} i(G^{\times k}), where i(G)=\frac{α(G)}{|V(G)|} denotes the independence ratio of a graph G, and G^{\times k} is the k-th categorical power of G. Let a(G)=\max{\frac{|U|}{|U|+|N_G(U)|}: U is an independent set of G}}, where N_G(U) is the neighborhood of U in G. In this paper we an… ▽ More Brown, Nowakowski and Rall defined the ultimate categorical independence ratio of a graph G as A(G)=\lim_{k\to \infty} i(G^{\times k}), where i(G)=\frac{α(G)}{|V(G)|} denotes the independence ratio of a graph G, and G^{\times k} is the k-th categorical power of G. Let a(G)=\max{\frac{|U|}{|U|+|N_G(U)|}: U is an independent set of G}}, where N_G(U) is the neighborhood of U in G. In this paper we answer a question of Alon and Lubetzky, namely we prove that if a(G)\le 1/2 then A(G)=a(G), and if a(G)>1/2 then A(G)=1. We also discuss some other open problems related to A(G) which are immediately settled by this result. △ Less

Submitted 28 December, 2011; originally announced December 2011.

Conformal vector fields on Finsler manifolds

Authors: József Szilasi, Anna Tóth

Abstract: Applying concepts and tools from classical tangent bundle geometry and using the apparatus of the calculus along the tangent bundle projection ('pull-back formalism'), first we enrich the known lists of the characterizations of affine vector fields on a spray manifold and conformal vector fields on a Finsler manifold. Second, we deduce consequences on vector fields on the underlying manifold of a… ▽ More Applying concepts and tools from classical tangent bundle geometry and using the apparatus of the calculus along the tangent bundle projection ('pull-back formalism'), first we enrich the known lists of the characterizations of affine vector fields on a spray manifold and conformal vector fields on a Finsler manifold. Second, we deduce consequences on vector fields on the underlying manifold of a Finsler structure having one or two of the mentioned geometric properties. △ Less

Submitted 7 November, 2011; originally announced November 2011.

MSC Class: 53C60; 53A30

Covering locally compact groups by less than $2^\om$ many translates of a compact nullset

Authors: Márton Elekes, Árpád Tóth

Abstract: Gruenhage asked if it was possible to cover the real line by less than continuum many translates of a compact nullset. Under the Continuum Hypothesis the answer is obviously negative. Elekes and Steprāns gave an affirmative answer by showing that if $C_{EK}$ is the well known compact nullset considered first by Erd\H os and Kakutani then $\RR$ can be covered by $\cof(\iN)$ many translates of… ▽ More Gruenhage asked if it was possible to cover the real line by less than continuum many translates of a compact nullset. Under the Continuum Hypothesis the answer is obviously negative. Elekes and Steprāns gave an affirmative answer by showing that if $C_{EK}$ is the well known compact nullset considered first by Erd\H os and Kakutani then $\RR$ can be covered by $\cof(\iN)$ many translates of $C_{EK}$. As this set has no analogue in more general groups, it was posed as an open question whether such a result holds for uncountable locally compact Polish groups. In this paper we give an affirmative answer in the abelian case. More precisely, we show that if $G$ is a nondiscrete locally compact abelian group in which every open subgroup is of index at most $\cof(\iN)$ then there exists a compact set $C$ of Haar measure zero such that $G$ can be covered by $\cof(\iN)$ many translates of $C$. This result, which is optimal in a sense, covers the cases of uncountable compact abelian groups and of nondiscrete separable locally compact abelian groups. We use Pontryagin's duality theory to reduce the problem to three special cases; the circle group, countable products of finite discrete abelian groups, and the groups of $p$-adic integers, and then we solve the problem on these three groups separately. In addition, using representation theory, we reduce the nonabelian case to the classes of Lie groups and profinite groups, and we also settle the problem for Lie groups. We remark that M.~Abért recently gave an affirmative answer for profinite groups. △ Less

Submitted 24 September, 2011; originally announced September 2011.

MSC Class: Primary 22B05; 28C10; 03E17; Secondary 28E15; 03E35

Journal ref: Fund. Math. 193 (2007), 243-257

Quantum ergodic restriction theorems, II: manifolds without boundary

Authors: J. A. Toth, S. Zelditch

Abstract: We prove that if $(M, g)$ is a compact Riemannian manifold with ergodic geodesic flow, and if $H \subset M$ is a smooth hypersurface satisfying a generic asymmetry condition with respect to the geodesic flow, then restrictions $φ_j |_H$ of an orthonormal basis $\{φ_j\}$ of $Δ$-eigenfunctions of $(M, g)$ to $H$ are quantum ergodic on $H$. The condition on $H$ is satisfied by geodesic circles, close… ▽ More We prove that if $(M, g)$ is a compact Riemannian manifold with ergodic geodesic flow, and if $H \subset M$ is a smooth hypersurface satisfying a generic asymmetry condition with respect to the geodesic flow, then restrictions $φ_j |_H$ of an orthonormal basis $\{φ_j\}$ of $Δ$-eigenfunctions of $(M, g)$ to $H$ are quantum ergodic on $H$. The condition on $H$ is satisfied by geodesic circles, closed horocycles and generic closed geodesics on a hyperbolic surface. △ Less

Submitted 30 April, 2012; v1 submitted 23 April, 2011; originally announced April 2011.

Comments: 53 pages. Second in a series. The paper is self-contained; the methods and results are independent of the first article (arXiv:1005.1636), which dealt with Euclidean domains with ergodic billiards. Some clarifications and an appendix added extending the result to the semi-classical case

Journal ref: GAFA 23 (2013), Page 715-775

Gallai colorings and domination in multipartite digraphs

Authors: András Gyárfás, Gábor Simonyi, Ágnes Tóth

Abstract: Assume that D is a digraph without cyclic triangles and its vertices are partitioned into classes A_1,...,A_t of independent vertices. A set $U=\cup_{i\in S} A_i$ is called a dominating set of size |S| if for any vertex $v\in \cup_{i\notin S} A_i$ there is a w in U such that (w,v) is in E(D). Let beta(D) be the cardinality of the largest independent set of D whose vertices are from different parti… ▽ More Assume that D is a digraph without cyclic triangles and its vertices are partitioned into classes A_1,...,A_t of independent vertices. A set $U=\cup_{i\in S} A_i$ is called a dominating set of size |S| if for any vertex $v\in \cup_{i\notin S} A_i$ there is a w in U such that (w,v) is in E(D). Let beta(D) be the cardinality of the largest independent set of D whose vertices are from different partite classes of D. Our main result says that there exists a h=h(beta(D)) such that D has a dominating set of size at most h. This result is applied to settle a problem related to generalized Gallai colorings, edge colorings of graphs without 3-colored triangles. △ Less

Submitted 10 June, 2010; originally announced June 2010.

Comments: 15 pages, 8 figures

MSC Class: 05C15; 05C20; 05C69

About the blowup of quasimodes on Riemannian manifolds

Authors: Christopher D. Sogge, John A. Toth, Steve Zelditch

Abstract: On any compact Riemannian manifold $(M, g)$ of dimension $n$, the $L^2$-normalized eigenfunctions ${φ_λ}$ satisfy $||φ_λ||_{\infty} \leq C λ^{\frac{n-1}{2}}$ where $-Δφ_λ = λ^2 φ_λ.$ The bound is sharp in the class of all $(M, g)$ since it is obtained by zonal spherical harmonics on the standard $n$-sphere $S^n$. But of course, it is not sharp for many Riemannian manifolds, e.g. flat tori… ▽ More On any compact Riemannian manifold $(M, g)$ of dimension $n$, the $L^2$-normalized eigenfunctions ${φ_λ}$ satisfy $||φ_λ||_{\infty} \leq C λ^{\frac{n-1}{2}}$ where $-Δφ_λ = λ^2 φ_λ.$ The bound is sharp in the class of all $(M, g)$ since it is obtained by zonal spherical harmonics on the standard $n$-sphere $S^n$. But of course, it is not sharp for many Riemannian manifolds, e.g. flat tori $\R^n/Γ$. We say that $S^n$, but not $\R^n/Γ$, is a Riemannian manifold with maximal eigenfunction growth. The problem which motivates this paper is to determine the $(M, g)$ with maximal eigenfunction growth. In an earlier work, two of us showed that such an $(M, g)$ must have a point $x$ where the set ${\mathcal L}_x$ of geodesic loops at $x$ has positive measure in $S^*_x M$. We strengthen this result here by showing that such a manifold must have a point where the set ${\mathcal R}_x$ of recurrent directions for the geodesic flow through x satisfies $|{\mathcal R}_x|>0$. We also show that if there are no such points, $L^2$-normalized quasimodes have sup-norms that are $o(λ^{n-1)/2})$, and, in the other extreme, we show that if there is a point blow-down $x$ at which the first return map for the flow is the identity, then there is a sequence of quasi-modes with $L^\infty$-norms that are $Ω(λ^{(n-1)/2})$. △ Less

Submitted 5 August, 2009; originally announced August 2009.

Comments: 20 pages

MSC Class: 58J50; 35P20

Journal ref: J. Geometric Analysis, 21 (2011), 150-173

Counting open nodal lines of random waves on planar domains

Authors: John A. Toth, Igor Wigman

Abstract: We compute the asymptotic expectation of the number of {\em open} nodal lines for random waves on smooth planar domains. We find that for both the long energy window $[0,λ]$ and the short one $[λ,λ+1]$ the expected number of open nodal lines is proportional to $λ$, asymptotically as $λ\to\infty$. Our results are consistent with the predictions in the physics literature made by Blum, Gnutzmann an… ▽ More We compute the asymptotic expectation of the number of {\em open} nodal lines for random waves on smooth planar domains. We find that for both the long energy window $[0,λ]$ and the short one $[λ,λ+1]$ the expected number of open nodal lines is proportional to $λ$, asymptotically as $λ\to\infty$. Our results are consistent with the predictions in the physics literature made by Blum, Gnutzmann and Smilansky \cite{BGS}. △ Less

Submitted 17 March, 2009; v1 submitted 7 October, 2008; originally announced October 2008.

Comments: 1) We simplified the proof of the converse direction in Lemma 2.1. 2) We moved the proof of Prop. 3.2 (and Lemma 3.1) to the appendix and just stated the main results in section 3.2. We also added two references [BSZ1],[BSZ2] to papers by Bleher, Shiffman and Zeldtich in section 3.2. 3) Added references to papers about nodal volume and Yau's conjecture

MSC Class: 35B05; 35Q99; 60G15

L^{2}-restriction bounds for eigenfunctions along curves in the quantum completely integrable case

Authors: John A. Toth

Abstract: We show that for a quantum completely integrable system in two dimensions,the $L^{2}$-normalized joint eigenfunctions of the commuting semiclassical pseudodifferential operators satisfy restriction bounds ofthe form $ \int_γ |φ_{j}^{\hbar}|^2 ds = {\mathcal O}(|\log \hbar|)$ for generic curves $γ$ on the surface. We also prove that the maximal restriction bounds of Burq-Gerard-Tzvetkov are alway… ▽ More We show that for a quantum completely integrable system in two dimensions,the $L^{2}$-normalized joint eigenfunctions of the commuting semiclassical pseudodifferential operators satisfy restriction bounds ofthe form $ \int_γ |φ_{j}^{\hbar}|^2 ds = {\mathcal O}(|\log \hbar|)$ for generic curves $γ$ on the surface. We also prove that the maximal restriction bounds of Burq-Gerard-Tzvetkov are always attained for certain exceptional subsequences of eigenfunctions. △ Less

Submitted 18 March, 2008; v1 submitted 6 March, 2008; originally announced March 2008.

Comments: Correct some typos and added some more detail in section 2

Counting Nodal Lines Which Touch the Boundary of an Analytic Domain

Authors: John A. Toth, Steve Zelditch

Abstract: We consider the zeros on the boundary $\partial Ω$ of a Neumann eigenfunction $φ_λ$ of a real analytic plane domain $Ω$. We prove that the number of its boundary zeros is $O (λ)$ where $-Δφ_λ = λ^2 φ_λ$. We also prove that the number of boundary critical points of either a Neumann or Dirichlet eigenfunction is $O(λ)$. It follows that the number of nodal lines of $φ_λ$ (components of the nodal se… ▽ More We consider the zeros on the boundary $\partial Ω$ of a Neumann eigenfunction $φ_λ$ of a real analytic plane domain $Ω$. We prove that the number of its boundary zeros is $O (λ)$ where $-Δφ_λ = λ^2 φ_λ$. We also prove that the number of boundary critical points of either a Neumann or Dirichlet eigenfunction is $O(λ)$. It follows that the number of nodal lines of $φ_λ$ (components of the nodal set) which touch the boundary is of order $λ$. This upper bound is of the same order of magnitude as the length of the total nodal line, but is the square root of the Courant bound on the number of nodal components in the interior. More generally, the results are proved for piecewise analytic domains. △ Less

Submitted 5 November, 2007; v1 submitted 29 September, 2007; originally announced October 2007.

Comments: Added a connection to the Pompeiu problem

MSC Class: 34L20

Journal ref: J. Diff. Geom. 81 (2009), 649-686

A lower bound for the remainder in Weyl's law on negatively curved surfaces

Authors: Dmitry Jakobson, Iosif Polterovich, John A. Toth

Abstract: We obtain an estimate from below for the remainder in Weyl's law on negatively curved surfaces. In the constant curvature case, such a bound was proved independently by Hejhal and Randol in 1976 using the Selberg zeta function techniques. Our approach works in arbitrary negative curvature, and is based on wave trace asymptotics for long times, equidistribution of closed geodesics and small-scale… ▽ More We obtain an estimate from below for the remainder in Weyl's law on negatively curved surfaces. In the constant curvature case, such a bound was proved independently by Hejhal and Randol in 1976 using the Selberg zeta function techniques. Our approach works in arbitrary negative curvature, and is based on wave trace asymptotics for long times, equidistribution of closed geodesics and small-scale microlocalization. △ Less

Submitted 9 November, 2007; v1 submitted 9 December, 2006; originally announced December 2006.

Comments: 27 pages; section 3 significantly revised. To appear in IMRN

MSC Class: 58J50

Holomorphic DIffeomorphisms of Semisimple Homogeneous Spaces

Authors: Arpad Toth, Dror Varolin

Abstract: The density property for a Stein manifold X implies that the group of holomorphic diffeomorphisms of X is infinite-dimensional and, in a certain well-defined sense, as large as possible. We prove that if G is a complex semisimple Lie group of adjoint type and K is a reductive subgroup, then G/K has the density property. This theorem is a non-trivial extension of an earlier result of ours, whic… ▽ More The density property for a Stein manifold X implies that the group of holomorphic diffeomorphisms of X is infinite-dimensional and, in a certain well-defined sense, as large as possible. We prove that if G is a complex semisimple Lie group of adjoint type and K is a reductive subgroup, then G/K has the density property. This theorem is a non-trivial extension of an earlier result of ours, which handles the case of complex semi-simple Lie groups. We also establish the density property for some other complex homogeneous spaces by ad hoc methods. Finally, we introduce a lifting method that extends many results on complex manifolds with the density property to covering spaces of such manifolds. △ Less

Submitted 19 November, 2004; originally announced November 2004.

MSC Class: 32M10

L^p norms of eigenfunctions in the completely integrable case

Authors: John A. Toth, Steve Zelditch

Abstract: The eigenfunctions e^{i λx} of the Laplacian on a flat torus have uniformly bounded L^p norms. In this article, we prove that for every other quantum integrable Laplacian, the L^p norms of the joint eigenfunctions must blow up at a rate \gg λ^{p-2/4p - ε} for every ε>0 as λ\to \infty. The eigenfunctions e^{i λx} of the Laplacian on a flat torus have uniformly bounded L^p norms. In this article, we prove that for every other quantum integrable Laplacian, the L^p norms of the joint eigenfunctions must blow up at a rate \gg λ^{p-2/4p - ε} for every ε>0 as λ\to \infty. △ Less

Submitted 6 August, 2002; originally announced August 2002.

Comments: 19 pages

MSC Class: 58F07; 58G25

Journal ref: Ann. Henri Poincare 4 (2003), 343-368

Norms of Modes and Quasi-modes revisited

Authors: John A. Toth, Steve Zelditch

Abstract: This is a partly expository, partly new paper on sup norm estimates of eigenfunctions. The focus is on the quantum completely integrable case. We give a new proof of the main result of our paper ``Riemannian manifolds with uniformly bounded eigenfunctions' (Duke Math J. 111 (2002), 97-132), based on the analysis of quasi-modes and Birkhoff normal forms. We also discuss related issues of resonant… ▽ More This is a partly expository, partly new paper on sup norm estimates of eigenfunctions. The focus is on the quantum completely integrable case. We give a new proof of the main result of our paper ``Riemannian manifolds with uniformly bounded eigenfunctions' (Duke Math J. 111 (2002), 97-132), based on the analysis of quasi-modes and Birkhoff normal forms. We also discuss related issues of resonant normal forms and tunnelling between tori. △ Less

Submitted 8 February, 2002; originally announced February 2002.

Comments: A conference talk at the June 2001 Mt. Holyoke conference in harmonic analysis

MSC Class: 58J50

The splitting of primes in division fields of elliptic curves

Authors: William Duke, Arpad Toth

Abstract: In this paper we will give a global description of the Frobenius for the division fields of an elliptic curve E which is strictly analogous to the cyclotomic case. This is then applied to determine the splitting of a prime p in subfields of such a division field. Such fields include a large class of non-solvable quintic extensions and our application provides an arithmetic counterpart to Klein's… ▽ More In this paper we will give a global description of the Frobenius for the division fields of an elliptic curve E which is strictly analogous to the cyclotomic case. This is then applied to determine the splitting of a prime p in subfields of such a division field. Such fields include a large class of non-solvable quintic extensions and our application provides an arithmetic counterpart to Klein's "solution" of quintic equations using elliptic functions. A central role is played by the discriminant of the ring of endomorphisms of the elliptic curve reduced modulo p. △ Less

Submitted 24 March, 2001; originally announced March 2001.

Comments: 14 pages

Report number: AIM 2001-10