Showing 1–21 of 21 results for author: Vaaler, J D

On the number of lattice points in a ball

Authors: Jeffrey D Vaaler

Abstract: We prove a fairly general inequality that estimates the number of lattice points in a ball of positive radius in general position in a Euclidean space. The bound is uniform over lattices induced by a matrix having a bounded operator norm. We prove a fairly general inequality that estimates the number of lattice points in a ball of positive radius in general position in a Euclidean space. The bound is uniform over lattices induced by a matrix having a bounded operator norm. △ Less

Submitted 24 May, 2023; v1 submitted 26 March, 2023; originally announced March 2023.

MSC Class: 11H06; 11J25; 11P21

Journal ref: Communications in Mathematics, Volume 31 (2023), Issue 2 (Special issue: Euclidean lattices: theory and applications) (June 5, 2023) cm:11119

Lower Bounds for Regulators of Number Fields in terms of their Discriminants

Authors: Shabnam Akhtari, Jeffrey D. Vaaler

Abstract: We prove inequalities that compare the regulator of a number field with its absolute discriminant. We refine some ideas in Silverman's work in 1984 where such general inequalities are first proven. In order to prove our main theorems, we combine these refinements with the authors' recent results on bounding the product of heights of relative units in a number field extension. We prove inequalities that compare the regulator of a number field with its absolute discriminant. We refine some ideas in Silverman's work in 1984 where such general inequalities are first proven. In order to prove our main theorems, we combine these refinements with the authors' recent results on bounding the product of heights of relative units in a number field extension. △ Less

Submitted 17 July, 2022; v1 submitted 30 December, 2021; originally announced December 2021.

Comments: A version of this article has been accepted for publication in Journal de Théorie des Nombres de Bordeaux. arXiv admin note: substantial text overlap with arXiv:2008.06124

A bound for the exterior product of $S$-units

Authors: Shabnam Akhtari, Jeffrey D. Vaaler

Abstract: We generalize an inequality for the determinant of a real matrix proved by A. Schinzel, to more general exterior products of vectors in Euclidean space. We apply this inequality to the logarithmic embedding of $S$-units contained in a number field $k$. This leads to a bound for the exterior product of $S$-units expressed as a product of heights. Using a volume formula of P. McMullen we show that o… ▽ More We generalize an inequality for the determinant of a real matrix proved by A. Schinzel, to more general exterior products of vectors in Euclidean space. We apply this inequality to the logarithmic embedding of $S$-units contained in a number field $k$. This leads to a bound for the exterior product of $S$-units expressed as a product of heights. Using a volume formula of P. McMullen we show that our inequality is sharp up to a constant that depends only on the rank of the $S$-unit group but not on the field $k$. Our inequality is related to a conjecture of F. Rodriguez Villegas. △ Less

Submitted 19 October, 2023; v1 submitted 22 September, 2020; originally announced September 2020.

Comments: Accepted for publication in Algebra & Number Theory. Previously cited as Heights, Regulators and Schinzel's determinant inequality, II

Independent relative units of low height

Authors: Shabnam Akhtari, Jeffery D. Vaaler

Abstract: We prove inequalities that compare the relative regulator of an extension of number fields with a product of heights of multiplicatively independent relative units. We prove inequalities that compare the relative regulator of an extension of number fields with a product of heights of multiplicatively independent relative units. △ Less

Submitted 22 December, 2021; v1 submitted 13 August, 2020; originally announced August 2020.

Comments: This is an extension of results in Section 7 of the version 1. This article is to appear in Acta Arith

MSC Class: 11G50; 11H06; 11R29; 11C20

Lower bounds for Mahler measure that depend on the number of monomials

Authors: Shabnam Akhtari, Jeffrey D. Vaaler

Abstract: We prove a new lower bound for the Mahler measure of a polynomial in one and in several variables that depends on the complex coefficients, and the number of monomials. In one variable our result generalizes a classical inequality of Mahler. In $M$ variables our result depends on $\mathbb{Z}^M$ as an ordered group, and in general our lower bound depends on the choice of ordering. We prove a new lower bound for the Mahler measure of a polynomial in one and in several variables that depends on the complex coefficients, and the number of monomials. In one variable our result generalizes a classical inequality of Mahler. In $M$ variables our result depends on $\mathbb{Z}^M$ as an ordered group, and in general our lower bound depends on the choice of ordering. △ Less

Submitted 29 October, 2018; originally announced October 2018.

MSC Class: 11R06

Multiplicative approximation by the Weil height

Authors: Robert Grizzard, Jeffrey D. Vaaler

Abstract: Let $K/\mathbb{Q}$ be an algebraic extension of fields, and let $α\not= 0$ be contained in an algebraic closure of $K$. If $α$ can be approximated by roots of numbers in $K^{\times}$ with respect to the Weil height, we prove that some nonzero integer power of $α$ must belong to $K^{\times}$. More generally, let $K_1, K_2, \dots , K_N$, be algebraic extensions of $\mathb{Q}$ such that each pair of… ▽ More Let $K/\mathbb{Q}$ be an algebraic extension of fields, and let $α\not= 0$ be contained in an algebraic closure of $K$. If $α$ can be approximated by roots of numbers in $K^{\times}$ with respect to the Weil height, we prove that some nonzero integer power of $α$ must belong to $K^{\times}$. More generally, let $K_1, K_2, \dots , K_N$, be algebraic extensions of $\mathb{Q}$ such that each pair of extensions includes one which is a (possibly infinite) Galois extension of a common subfield. If $α\not= 0$ can be approximated by a product of roots of numbers from each $K_n$ with respect to the Weil height, we prove that some nonzero integer power of $α$ must belong to the multiplicative group $K_1^{\times} K_2^{\times} \cdots K_N^{\times}$. Our proof of the more general result uses methods from functional analysis. △ Less

Submitted 23 October, 2017; originally announced October 2017.

Comments: 24 pages

MSC Class: 11G50; 11J25; 11R04; 46B04

On the height of solutions to norm form equations

Authors: Shabnam Akhtari, Jeffrey D. Vaaler

Abstract: Let $k$ be a number field. We consider norm form equations associated to a full $O_k$-module contained in a finite extension field $l$. It is known that the set of solutions is naturally a union of disjoint equivalence classes of solutions. We prove that each nonempty equivalence class of solutions contains a representative with Weil height bounded by an expression that depends on parameters defin… ▽ More Let $k$ be a number field. We consider norm form equations associated to a full $O_k$-module contained in a finite extension field $l$. It is known that the set of solutions is naturally a union of disjoint equivalence classes of solutions. We prove that each nonempty equivalence class of solutions contains a representative with Weil height bounded by an expression that depends on parameters defining the norm form equation. △ Less

Submitted 17 February, 2018; v1 submitted 7 September, 2017; originally announced September 2017.

A Dirichlet approximation theorem for group actions

Authors: Clayton Petsche, Jeffrey D. Vaaler

Abstract: If $G$ is a compact group acting continuously on a compact metric space $(X, m)$, we prove two results that generalize Dirichlet's classical theorem on Diophantine approximation. If $G$ is a noncommutative compact group of isometries, we obtain a noncommutative form of Dirichlet's theorem. We apply our general result to the special case of the unitary group $U(N)$ acting on the complex unit sphere… ▽ More If $G$ is a compact group acting continuously on a compact metric space $(X, m)$, we prove two results that generalize Dirichlet's classical theorem on Diophantine approximation. If $G$ is a noncommutative compact group of isometries, we obtain a noncommutative form of Dirichlet's theorem. We apply our general result to the special case of the unitary group $U(N)$ acting on the complex unit sphere, and obtain a noncommutative result in this setting. △ Less

Submitted 14 May, 2018; v1 submitted 1 May, 2017; originally announced May 2017.

MSC Class: 11J25; 37B05; 22F10

Minkowski's theorem on independent conjugate units

Authors: Shabnam Akhtari, Jeffrey D. Vaaler

Abstract: We call a unit $β$ in a Galois extension $l/\mathbb{Q}$ a Minkowski unit if the subgroup generated by $β$ and its conjugates over $\mathbb{Q}$ has maximum rank in the unit group of $l$. Minkowski showed the existence of such units in every Galois extension. We will give a new proof to Minkowski's theorem and show that there exists a Minkowski unit $β\in l$ such that the Weil height of $β$ is compa… ▽ More We call a unit $β$ in a Galois extension $l/\mathbb{Q}$ a Minkowski unit if the subgroup generated by $β$ and its conjugates over $\mathbb{Q}$ has maximum rank in the unit group of $l$. Minkowski showed the existence of such units in every Galois extension. We will give a new proof to Minkowski's theorem and show that there exists a Minkowski unit $β\in l$ such that the Weil height of $β$ is comparable with the sum of the heights of a fundamental system of units of $l$. Our proof implies a bound on the index of the subgroup generated by the algebraic conjugates of $β$ in the unit group of $l$. If $k$ is an intermediate field such that \begin{equation*} \mathbb{Q} \subseteq k \subseteq l, \end{equation*} and $l/\mathbb{Q}$ and $k/\mathbb{Q}$ are Galois extensions, we prove an analogous bound for the subgroup of relative units. △ Less

Submitted 23 January, 2017; v1 submitted 12 August, 2016; originally announced August 2016.

Comments: 37 pages

Heights, Regulators and Schinzel's determinant inequality

Authors: Shabnam Akhtari, Jeffrey D. Vaaler

Abstract: We prove inequalities that compare the size of an S-regulator with a product of heights of multiplicatively independent S-units. Our upper bound for the S-regulator follows from a general upper bound for the determinant of a real matrix proved by Schinzel. The lower bound for the S-regulator follows from Minkowski's theorem on successive minima and a volume formula proved by Meyer and Pajor. We es… ▽ More We prove inequalities that compare the size of an S-regulator with a product of heights of multiplicatively independent S-units. Our upper bound for the S-regulator follows from a general upper bound for the determinant of a real matrix proved by Schinzel. The lower bound for the S-regulator follows from Minkowski's theorem on successive minima and a volume formula proved by Meyer and Pajor. We establish similar upper bounds for the relative regulator of an extension of number fields. △ Less

Submitted 2 January, 2016; v1 submitted 8 August, 2015; originally announced August 2015.

Comments: accepted for Publication in Acta Arith

Number fields without small generators

Authors: Jeffrey D. Vaaler, Martin Widmer

Abstract: Let $D>1$ be an integer, and let $b=b(D)>1$ be its smallest divisor. We show that there are infinitely many number fields of degree $D$ whose primitive elements all have relatively large height in terms of $b$, $D$ and the discriminant of the number field. This provides a negative answer to a questions of W. Ruppert from 1998 in the case when $D$ is composite. Conditional on a very weak form of a… ▽ More Let $D>1$ be an integer, and let $b=b(D)>1$ be its smallest divisor. We show that there are infinitely many number fields of degree $D$ whose primitive elements all have relatively large height in terms of $b$, $D$ and the discriminant of the number field. This provides a negative answer to a questions of W. Ruppert from 1998 in the case when $D$ is composite. Conditional on a very weak form of a folk conjecture about the distribution of number fields, we negatively answer Ruppert's question for all $D>3$. △ Less

Submitted 20 October, 2014; originally announced October 2014.

MSC Class: Primary 11R04; 11G50; Secondary 11R29

Journal ref: Math. Proc. Camb. Phil. Soc. 159 (2015) 379-385

Strongly badly approximable matrices in fields of power series

Authors: Thai Hoang Le, Jeffrey D. Vaaler

Abstract: We study the notion of strongly badly approximable matrices in the field of power series over a field $K$. We prove a transference principle in this setting, and show that such matrices exist when $K$ is infinite. We study the notion of strongly badly approximable matrices in the field of power series over a field $K$. We prove a transference principle in this setting, and show that such matrices exist when $K$ is infinite. △ Less

Submitted 4 November, 2013; originally announced November 2013.

Comments: 10 pages

Sums of products of fractional parts

Authors: Thai Hoang Le, Jeffrey D. Vaaler

Abstract: We prove upper and lower bounds for certain sums of products of fractional parts by using majoring and minorizing functions from Fourier analysis. In special cases the upper bounds are sharp if there exist counterexamples to the Littlewood conjecture in Diophantine approximation. We introduce a generalization of such counterexamples which we call strongly badly approximable matrices. And we prove… ▽ More We prove upper and lower bounds for certain sums of products of fractional parts by using majoring and minorizing functions from Fourier analysis. In special cases the upper bounds are sharp if there exist counterexamples to the Littlewood conjecture in Diophantine approximation. We introduce a generalization of such counterexamples which we call strongly badly approximable matrices. And we prove a transference principle for strongly badly approximable matrices. △ Less

Submitted 5 September, 2013; originally announced September 2013.

Comments: 32 pages

Heights on Groups and Small Multiplicative Dependencies

Authors: Jeffrey D. Vaaler

Abstract: We generalize the absolute logarithmic Weil height from elements of the multiplicative group of algebraic numbers modulo torsion, to finitely generated subgoups. The height of a finitely generated subgroup is shown to equal the volume of a certain naturally occurring, convex, symmetric subset of Euclidean space. This connection leads to a bound on the norm of integer vectors that give multiplicati… ▽ More We generalize the absolute logarithmic Weil height from elements of the multiplicative group of algebraic numbers modulo torsion, to finitely generated subgoups. The height of a finitely generated subgroup is shown to equal the volume of a certain naturally occurring, convex, symmetric subset of Euclidean space. This connection leads to a bound on the norm of integer vectors that give multiplicative dependencies among finite sets of algebraic numbers. △ Less

Submitted 21 November, 2012; originally announced November 2012.

Comments: 28 pages

MSC Class: 11J25; 11R04; 46B04

A note on generators of number fields

Authors: Jeffrey D. Vaaler, Martin Widmer

Abstract: We establish upper bounds for the smallest height of a generator of a number field $k$ over the rational field $\Q$. Our first bound applies to all number fields $k$ having at least one real embedding. We also give a second conditional result for all number fields $k$ such that the Dedekind zeta-function associated to the Galois closure of $k/\Q$ satisfies GRH. This provides a partial answer to a… ▽ More We establish upper bounds for the smallest height of a generator of a number field $k$ over the rational field $\Q$. Our first bound applies to all number fields $k$ having at least one real embedding. We also give a second conditional result for all number fields $k$ such that the Dedekind zeta-function associated to the Galois closure of $k/\Q$ satisfies GRH. This provides a partial answer to a question of W. Ruppert. △ Less

Submitted 22 March, 2012; originally announced March 2012.

MSC Class: 11R04; 11G50

Gaussian Subordination for the Beurling-Selberg Extremal Problem

Authors: Emanuel Carneiro, Friedrich Littmann, Jeffrey D. Vaaler

Abstract: We determine extremal entire functions for the problem of majorizing, minorizing, and approximating the Gaussian function $e^{-πλx^2}$ by entire functions of exponential type. This leads to the solution of analogous extremal problems for a wide class of even functions that includes most of the previously known examples (for instance \cite{CV2}, \cite{CV3}, \cite{GV} and \cite{Lit}), plus a variety… ▽ More We determine extremal entire functions for the problem of majorizing, minorizing, and approximating the Gaussian function $e^{-πλx^2}$ by entire functions of exponential type. This leads to the solution of analogous extremal problems for a wide class of even functions that includes most of the previously known examples (for instance \cite{CV2}, \cite{CV3}, \cite{GV} and \cite{Lit}), plus a variety of new interesting functions such as $|x|^α$ for $-1 < α$; \,$\log \,\bigl((x^2 + α^2)/(x^2 + β^2)\bigr)$, for $0 \leq α< β$;\, $\log\bigl(x^2 + α^2\bigr)$; and $x^{2n} \log x^2$\,, for $n \in \N$. Further applications to number theory include optimal approximations of theta functions by trigonometric polynomials and optimal bounds for certain Hilbert-type inequalities related to the discrete Hardy-Littlewood-Sobolev inequality in dimension one. △ Less

Submitted 13 July, 2011; v1 submitted 29 August, 2010; originally announced August 2010.

Journal ref: Transactions of the American Mathematical Society, vol. 365 (2013), 3493-3534

Martingale differences and the metric theory of continued fractions

Authors: Alan K. Haynes, Jeffrey D. Vaaler

Abstract: We investigate a collection of orthonormal functions that encodes information about the continued fraction expansion of real numbers. When suitably ordered these functions form a complete system of martingale differences and are a special case of a class of martingale differences considered by R. F. Gundy. By applying known results for martingales we obtain corresponding metric theorems for the… ▽ More We investigate a collection of orthonormal functions that encodes information about the continued fraction expansion of real numbers. When suitably ordered these functions form a complete system of martingale differences and are a special case of a class of martingale differences considered by R. F. Gundy. By applying known results for martingales we obtain corresponding metric theorems for the continued fraction expansion of almost all real numbers. △ Less

Submitted 30 June, 2009; originally announced June 2009.

Comments: Illinois Journal of Mathematics, 2009

MSC Class: 11B57; 11K50; 60G46

Some extremal functions in Fourier analysis, III

Authors: Emanuel Carneiro, Jeffrey D. Vaaler

Abstract: We obtain the best approximation in $L^1(\R)$, by entire functions of exponential type, for a class of even functions that includes $e^{-λ|x|}$, where $λ>0$, $\log |x|$ and $|x|^α$, where $-1 < α< 1$. We also give periodic versions of these results where the approximating functions are trigonometric polynomials of bounded degree. We obtain the best approximation in $L^1(\R)$, by entire functions of exponential type, for a class of even functions that includes $e^{-λ|x|}$, where $λ>0$, $\log |x|$ and $|x|^α$, where $-1 < α< 1$. We also give periodic versions of these results where the approximating functions are trigonometric polynomials of bounded degree. △ Less

Submitted 23 September, 2008; originally announced September 2008.

Comments: 26 pages. Submitted

MSC Class: 41A30; 41A52; 42A05

Journal ref: Constructive Approximation, v. 31, p. 259-288, 2010

Some extremal functions in Fourier analysis, II

Authors: Emanuel Carneiro, Jeffrey D. Vaaler

Abstract: We obtain extremal majorants and minorants of exponential type for a class of even functions on $\R$ which includes $\log |x|$ and $|x|^α$, where $-1 < α< 1$. We also give periodic versions of these results in which the majorants and minorants are trigonometric polynomials of bounded degree. As applications we obtain optimal estimates for certain Hermitian forms, which include discrete analogues… ▽ More We obtain extremal majorants and minorants of exponential type for a class of even functions on $\R$ which includes $\log |x|$ and $|x|^α$, where $-1 < α< 1$. We also give periodic versions of these results in which the majorants and minorants are trigonometric polynomials of bounded degree. As applications we obtain optimal estimates for certain Hermitian forms, which include discrete analogues of the one dimensional Hardy-Littlewood-Sobolev inequalities. A further application provides an Erdös-Turán-type inequality that estimates the sup norm of algebraic polynomials on the unit disc in terms of power sums in the roots of the polynomials. △ Less

Submitted 23 September, 2008; originally announced September 2008.

Comments: 40 pages. Accepted for publication in Trans. Amer. Math. Soc

MSC Class: 41A30; 41A52; 42A05

Journal ref: Transactions of the American Mathematical Society, v. 362, p. 5803-5803, 2010

A Banach space determined by the Weil height

Authors: Daniel Allcock, Jeffrey D. Vaaler

Abstract: The absolute logarithmic Weil height is well defined on the group of units of the algebraic closure of the rational numbers, modulo roots of unity, and induces a metric topology on this group. We show that the completion of this metric space is a Banach space over the field of real numbers. We further show that this Banach space is isometrically isomorphic to a co-dimension one subspace of L1 of… ▽ More The absolute logarithmic Weil height is well defined on the group of units of the algebraic closure of the rational numbers, modulo roots of unity, and induces a metric topology on this group. We show that the completion of this metric space is a Banach space over the field of real numbers. We further show that this Banach space is isometrically isomorphic to a co-dimension one subspace of L1 of a certain totally disconnected, locally compact space, equipped with a certain measure satisfying an invariance property with respect to the absolute Galois group. △ Less

Submitted 7 August, 2008; originally announced August 2008.

MSC Class: 11J25; 11R04

Generalizations of Goncalves' inequality

Authors: Peter Borwein, Michael J. Mossinghoff, Jeffrey D. Vaaler

Abstract: If $F$ is a polynomial with complex coefficients, leading term $a_N$, and roots $α_1$, ..., $α_N$, then Gonçalves' inequality states that $\|F\|_2^2$ is bounded below by $\abs{a_N}^2 (\prod_{n=1}^N \max\{1, \abs{α_n}^2\} + \prod_{n=1}^N \min\{1, \abs{α_n}^2\})$. We establish generalizations of this inequality for other $L_p$ norms, and derive additional lower bounds on the $L_p$ norms of a polyn… ▽ More If $F$ is a polynomial with complex coefficients, leading term $a_N$, and roots $α_1$, ..., $α_N$, then Gonçalves' inequality states that $\|F\|_2^2$ is bounded below by $\abs{a_N}^2 (\prod_{n=1}^N \max\{1, \abs{α_n}^2\} + \prod_{n=1}^N \min\{1, \abs{α_n}^2\})$. We establish generalizations of this inequality for other $L_p$ norms, and derive additional lower bounds on the $L_p$ norms of a polynomial in terms of its coefficients. △ Less

Submitted 11 January, 2005; originally announced January 2005.

Comments: 9 pages

MSC Class: 30A10; 30C10 (Primary) 26D05; 42A05 (Secondary)