Related papers: Vaaler's theorem in number fields

We find a covariant completion of the flat-space multi-galileon theory, preserving second-order field equations. We then generalise this to arrive at an enlarged class of second order theories describing multiple scalars and a single…

We survey the classical results of the Dirichlet Approximation Theorem.

Wiles' proof of Fermat's last theorem initiated a powerful new approach towards the resolution of certain Diophantine equations over $\mathbb{Q}$. Numerous novel obstacles arise when extending this approach to the resolution of Diophantine…

In a paper from 2010, Budarina, Dickinson and Levesley studied the rational approximation properties of curves parametrized by polynomials with integral coefficients in Euclidean space of arbitrary dimension. Assuming the dimension is at…

We prove quantifier elimination for the theory of quasi-real closed fields with a compatible valuation. This unifies the same known results for algebraically closed valued fields and real closed valued fields.

We use Euler systems to prove the Gras conjecture for groups generated by Stark units in global function fields. The techniques applied here are classical and go back to Thaine, Kolyvagin and Rubin. We obtain our Euler systems from the…

As a generalization of the Fourier transform, the fractional Fourier transform was introduced and has been further investigated both in theory and in applications of signal processing. We obtain a sampling theorem on shift-invariant spaces…

Diophantine approximation is the problem of approximating a real number by rational numbers. We propose a version of this in which the numerators are approximately related to the denominators by a Laurent polynomial. Our definition is…

The Poincar\'e-Hopf theorem for line fields, as described in a paper of Crowley and Grant, is interpreted as a special case of a Poincar\'e-Hopf theorem for $n$-valued sections of a vector bundle over a closed manifold of the same…

We aim to fill a gap in the proof of an inequality relating two exponents of uniform Diophantine approximation stated in a paper by Bugeaud. We succeed to verify the inequality in several instances, in particular for small dimension.…

In this short note we have proved an enhanced version of a theorem of Lorentz [1] and its generalization to the multivariate case which gives a non- uniform estimate of degree of approximation by a polynomial with positive coefficients. The…

We develop a theory of diophantine approximation on generalized flag varieties, varieties that can be obtained as a quotient of a semisimple algebraic group by a parabolic subgroup. Using methods from the theory of arithmetic groups, due in…

We prove the existence of real Picard-Vessiot extensions for real partial differential fields with real closed field of constants. We establish a Galois correspondence theorem for these Picard-Vessiot extensions and characterize real…

This paper derives Touchard's theorem from Euler's form for odd perfect numbers. It also fine-tunes Euler's form.

Recently, Seungki Kim proved an extension of Rogers' mean value formula to the adeles of an arbitrary number field. In this paper we give a new proof Kim's formula, and give a criterion ensuring convergence in this formula. We also discuss…

We draw connections between the various conjectures which are included in G. R\'emond's generalized Lehmer problems. Specifically, we show that the degree one form of his conjecture for the multiplicative group is, in a sense, almost as…

We derive a quantum version of the classical-optics Wiener-Khintchine theorem within the framework of detection of phase-space displacements with a suitably designed quantum ruler. A phase-pace based quantum mutual coherence function is…

In 1998, Bou\'e and Dupuis proved a variational representation for exponentials of bounded Wiener functionals. Since their proof involves arguments related to the weak convergence of probability measures, the boundedness of functionals…

We study (inhomogeneous) approximation for systems of linear forms using integer points which satisfy additional primitivity constraints. The first family of primitivity constraints we consider were introduced in 2015 by Dani, Laurent, and…

We show that the virial theorem provides a useful simple tool for approximating nonlinear problems. In particular we consider conservative nonlinear oscillators and a bifurcation problem. In the former case we obtain the same main result…