Effective approximation to complex algebraic numbers by algebraic numbers of bounded degree

Prajeet Bajpai,Yann Bugeaud

DOI: https://doi.org/10.1090/tran/9190

IF: 1.3529

2024-06-25

Transactions of the American Mathematical Society

Abstract:Prajeet Bajpai and Yann Bugeaud Trans. Amer. Math. Soc. 377 (), 5247-5269. , references and article information

mathematics

What problem does this paper attempt to address?

Effective approximation to complex algebraic numbers by quadratic numbers

Prajeet Bajpai,Yann Bugeaud

2024-11-15

Abstract:We establish an effective improvement on the Liouville inequality for approximation to complex non-real algebraic numbers by quadratic complex algebraic numbers.

Number Theory
Approximation By Algebraic Numbers

DOI: https://doi.org/10.1007/978-3-540-38645-2_8

2024-03-10

Lecture notes in mathematics

Abstract:In the first chapters we studied approximation to real numbers by rationals. We now take up approximation to real numbers by algebraic numbers. This is quite different from the questions e.g. considered in Chapter V on approximation to algebraic numbers by rationals.

mathematics
Rational Approximations to Certain Algebraic Numbers

Jinxiang Li

DOI: https://doi.org/10.48550/arXiv.1904.09392

2023-11-28

Abstract:<a class="link-external link-http" href="http://W.M.Schmit" rel="external noopener nofollow">this http URL</a>[11] conjectured that for any$\;\theta$ with deg$\;\theta\geq 3,$ there is no constant$\;C=C(\theta)$ so that$\;|p-q\theta|>Cq^{-1}$ for every rationa$\;p/q.$ [12,p26] states that the computations of the first several thousand partial quotients for such numbers as$\;\sqrt[3]{2}$ and$\;\sqrt[3]{3}$ support the conjecture that the sequence of partial quotients is unbounded. In this paper, applying Dirichlet's approximation theorem to certain algebraic numbers$\;\theta,$ e.g.$\;\theta=\sqrt[n]{d},d\in N,n\geq 3,d>0;$ $\;\theta^{3}+b_{1}\theta-b_{0}=0,b_{0}>0;$ $\;\theta^{4}+b_{2}\theta^{2}-b_{0}=0,\;b_{0}>0.$ We proved that there exists a effective constant$\;C=C(\theta)$ such that$\;|p-q\theta|>Cq^{-1}$ for all$\;p/q.$ Our theorem shows their sequence of partial quotients can not be unbounded.

Number Theory
Some remarks on approximation in several complex variables

Javier Falcó,Paul M. Gauthier,Myrto Manolaki,Vassili Nestoridis

DOI: https://doi.org/10.4153/S0008439522000613

2023-05-05

Canadian Mathematical Bulletin

Abstract:In Gauthier, Manolaki, and Nestoridis (2021, Advances in Mathematics 381, 107649), in order to correct a false Mergelyan-type statement given in Gamelin and Garnett (1969, Transactions of the American Mathematical Society 143, 187–200) on uniform approximation on compact sets K in , the authors introduced a natural function algebra which is smaller than the classical one . In the present paper, we investigate when these two algebras coincide and compare them with the classes of all plausibly approximable functions by polynomials or rational functions or functions holomorphic on open sets containing the compact set K . Finally, we introduce a notion of O -hull of K and strengthen known results.

mathematics
Approximate algebraic structure

Ben Green

DOI: https://doi.org/10.48550/arXiv.1404.0093

2014-04-01

Abstract:We discuss a selection of recent developments in arithmetic combinatorics having to do with ``approximate algebraic structure'' together with some of their applications.

Number Theory
On effective approximation to quadratic numbers

Yann Bugeaud

DOI: https://doi.org/10.32817/ams.2.6

2022-12-01

Acta mathematica Spalatensia

Abstract:Let p be a prime number and | · |p the p-adic absolute value on Q and on the p-adic field Qp normalized such that |p|p = p −1 . Let ξ be a quadratic real number and α a quadratic p-adic number. We prove that there exist positive, effectively computable, real numbers c1 = c1(ξ), τ1 = τ1(ξ), c2 = c2(α), τ2 = τ2(α), such that |yξ − x| · |y|p ≥ c1|y| −2+τ1 , for x, y ∈ Z̸=0, and |bα − a|p ≥ c2|ab| −2+τ2 , for a, b ∈ Z̸=0. Both results improve the effective lower bounds which follow from an easy Liouville-type argument.
Fractional parts of powers of real algebraic numbers

Yann Bugeaud

DOI: https://doi.org/10.48550/arXiv.2101.08989

2021-01-22

Abstract:Let $\alpha$ be a real number greater than $1$. We establish an effective lower bound for the distance between an integral power of $\alpha$ and its nearest integer.

Number Theory
On Best Approximations from RS –sets in Complex Banach Spaces

Chong Li

DOI: https://doi.org/10.1007/s10114-004-0350-2

2004-01-01

Acta Mathematica Sinica English Series

Abstract:The concept of an RS-set in a complex Banach space is introduced and the problem of best approximation from an RS-set in a complex space is investigated. Results consisting of characterizations, uniqueness and strong uniqueness are established.
Abel-Ruffini's Theorem: Complex but Not Complicated!

Paul Ramond

DOI: https://doi.org/10.1080/00029890.2022.2010494

2020-11-06

Abstract:In this article, using only elementary knowledge of complex numbers, we sketch a proof of the celebrated Abel--Ruffini theorem, which states that the general solution to an algebraic equation of degree five or more cannot be written using radicals, that is, using its coefficients and arithmetic operations $+,-,\times,÷,$ and $\sqrt{\ }$. The present article is written purposely with concise and pedagogical terms and dedicated to students and researchers not familiar with Galois theory, or even group theory in general, which are the usual tools used to prove this remarkable theorem. In particular, the proof is self-contained and gives some insight as to why formulae exist for equations of degree four or less (and how they are constructed), and why they do not for degree five or more.

History and Overview,Algebraic Geometry
A method for command identification, using modified collision free hashing with addition & rotation iterative hash functions (part 1)

Dimitrios Skraparlis

DOI: https://doi.org/10.48550/arXiv.cs/0005028

2000-05-27

Abstract:This paper proposes a method for identification of a user`s fixed string set (which can be a command/instruction set for a terminal or microprocessor). This method is fast and has very small memory requirements, compared to a traditional full string storage and compare method. The user feeds characters into a microcontroller via a keyboard or another microprocessor sends commands and the microcontroller hashes the input in order to identify valid commands, ensuring no collisions between hashed valid strings, while applying further criteria to narrow collision between random and valid strings. The method proposed narrows the possibility of the latter kind of collision, achieving small code and memory-size utilization and very fast execution. Hashing is achieved using additive & rotating hash functions in an iterative form, which can be very easily implemented in simple microcontrollers and microprocessors. Such hash functions are presented and compared according to their efficiency for a given string/command set, using the program found in the appendix.

Human-Computer Interaction,Information Retrieval
Approximation of entire transcendental functions of several complex variables in some Banach spaces for slow growth

Devendra Kumar

DOI: https://doi.org/10.1515/jaa-2017-0002

2017-01-01

Journal of Applied Analysis

Abstract:Abstract In the present paper, the coefficients characterizations of generalized type
Approximation by complex Bernstein-Kantorovich and Stancu-Kantorovich polynomials and their iterates in compact disks

S. Gal

DOI: https://doi.org/10.33993/jnaat372-888

2008-08-01

Abstract:In this paper, Voronovskaja-type results with quantitative upper estimates and the exact orders in simultaneous approximation by some complex Kantorovich-type polynomials and their iterates in compact disks in $\mathbb{C}$ are obtained.

Mathematics
Pureté de l'approximation forte sur le corps des fonctions d'une courbe algébrique complexe

Elyes Boughattas

DOI: https://doi.org/10.1007/s00229-024-01560-4

2024-06-22

Abstract:Over the function field of a complex algebraic curve, strong approximation off a non-empty finite set of places holds for the complement of a codimension $2$ closed subset in a homogeneous space under a semisimple algebraic group, and for the complement of a codimension $2$ closed subset in an affine smooth complete intersection of low degree.

Algebraic Geometry,Number Theory
Approximation measures for shifted logarithms of algebraic numbers via effective Poincare-Perron

Noriko Hirata-Kohno,Ryuji Muroi,Yusuke Washio

2024-06-16

Abstract:In this article, we show new effective approximation measures for the shifted logarithm of algebraic numbers which belong to a number field of arbitrary degree. Our measures refine previous ones including those for usual logarithms. We adapt Pade approximants constructed by M. Kawashima and A. Poels in the rational case. Our key ingredient relies on the Poincare-Perron theorem which gives us asymptotic estimates at every archimedean place of the number field, that we apply to decide whether the shifted logarithm lies outside of the number field. We use Perron's second theorem and its modification due to M. Pituk to handle general cases.

Number Theory
Approximation and algebraicity in positive characteristic Hahn fields

Victor Lisinski

2023-12-28

Abstract:We study the relative algebraic closure $K$ of $\bar{\mathbb{F}}_p((t))$ inside $\bar{\mathbb{F}}((t^{\mathbb{Q}}))$. We show that the supports of elements in $K$ have order type strictly less than $\omega^\omega$. We also recover a theorem by Rayner giving a bound to the ramification away from $p$ in the support of elements in $K$, and an analogue of Rayner's result for the residue field. This work has applications to the decidability of the first order theory of $\mathbb{F}_p((t^{\mathbb{Q}}))$, and other tame fields, in the language of valued fields with a constant symbol for $t$.

Number Theory,Logic
On approximation to a real number by algebraic numbers of bounded degree

Anthony Poëls

2024-05-14

Abstract:In his seminal 1961 paper, Wirsing studied how well a given transcendental real number $\xi$ can be approximated by algebraic numbers $\alpha$ of degree at most $n$ for a given positive integer $n$, in terms of the so-called naive height $H(\alpha)$ of $\alpha$. He showed that the infimum $\omega^*_n(\xi)$ of all $\omega$ for which infinitely many such $\alpha$ have $|\xi-\alpha| \le H(\alpha)^{-\omega-1}$ is at least $(n+1)/2$. He also asked if we could even have $\omega^*_n(\xi) \ge n$ as it is generally expected. Since then, all improvements on Wirsing's lower bound were of the form $n/2+\mathcal{O}(1)$ until Badziahin and Schleischitz showed in 2021 that $\omega^*_n(\xi) \ge an$ for each $n\ge 4$, with $a=1/\sqrt{3}\simeq 0.577$. In this paper, we use a different approach partly inspired by parametric geometry of numbers and show that $\omega^*_n(\xi) \ge an$ for each $n\ge 2$, with $a=1/(2-\log 2)\simeq 0.765$.

Number Theory
An effective version of Fekete's theorem

Norm Levenberg,Mayuresh Londhe

2024-04-10

Abstract:A classical result of Fekete gives necessary conditions on a compact set in the complex plane so that it contains infinitely many sets of conjugate algebraic integers. We prove an effective version of Fekete's theorem in terms of a height function. As an application, we give a lower bound on the growth of the leading coefficient of certain polynomial sequences, generalizing a result by Schur. Lastly, we give an upper bound on minimal asymptotics of height over sequences of algebraic numbers.

Complex Variables,Number Theory
Covering Number of Real Algebraic Varieties and Beyond: Improved Bounds and Applications

Yifan Zhang,Joe Kileel

2024-05-12

Abstract:Covering numbers are a powerful tool used in the development of approximation algorithms, randomized dimension reduction methods, smoothed complexity analysis, and others. In this paper we prove upper bounds on the covering number of numerous sets in Euclidean space, namely real algebraic varieties, images of polynomial maps and semialgebraic sets in terms of the number of variables and degrees of the polynomials involved. The bounds remarkably improve the best known general bound by Yomdin-Comte, and our proof is much more straightforward. In particular, our result gives new bounds on the volume of the tubular neighborhood of the image of a polynomial map and a semialgebraic set, where results for varieties by Lotz and Basu-Lerario are not directly applicable. We illustrate the power of the result on three computational applications. Firstly, we derive a near-optimal bound on the covering number of low rank CP tensors, quantifying their approximation properties and filling in an important missing piece of theory for tensor dimension reduction and reconstruction. Secondly, we prove a bound on the required dimension for the randomized sketching of polynomial optimization problems, which controls how much computation can be saved through randomization without sacrificing solution quality. Finally, we deduce generalization error bounds for deep neural networks with rational or ReLU activation functions, improving or matching the best known results in the machine learning literature while helping to quantify the impact of architecture choice on generalization error.

Algebraic Geometry,Machine Learning,Numerical Analysis
Unitary rational best approximations to the exponential function

Tobias Jawecki,Pranav Singh

DOI: https://doi.org/10.48550/arXiv.2312.13809

2023-12-21

Abstract:Rational best approximations (in a Chebyshev sense) to real functions are characterized by an equioscillating approximation error. Similar results do not hold true for rational best approximations to complex functions in general. In the present work, we consider unitary rational approximations to the exponential function on the imaginary axis, which map the imaginary axis to the unit circle. In the class of unitary rational functions, best approximations are shown to exist, to be uniquely characterized by equioscillation of a phase error, and to possess a super-linear convergence rate. Furthermore, the best approximations have full degree (i.e., non-degenerate), achieve their maximum approximation error at points of equioscillation, and interpolate at intermediate points. Asymptotic properties of poles, interpolation nodes, and equioscillation points of these approximants are studied. Three algorithms, which are found very effective to compute unitary rational approximations including candidates for best approximations, are sketched briefly. Some consequences to numerical time-integration are discussed. In particular, time propagators based on unitary best approximants are unitary, symmetric and A-stable.

Numerical Analysis

Effective approximation to complex algebraic numbers by algebraic numbers of bounded degree

Effective approximation to complex algebraic numbers by quadratic numbers

Approximation By Algebraic Numbers

Rational Approximations to Certain Algebraic Numbers

Some remarks on approximation in several complex variables

Approximate algebraic structure

On effective approximation to quadratic numbers

Fractional parts of powers of real algebraic numbers

On Best Approximations from RS –sets in Complex Banach Spaces

Abel-Ruffini's Theorem: Complex but Not Complicated!

A method for command identification, using modified collision free hashing with addition & rotation iterative hash functions (part 1)

Approximation of entire transcendental functions of several complex variables in some Banach spaces for slow growth

Approximation by complex Bernstein-Kantorovich and Stancu-Kantorovich polynomials and their iterates in compact disks

Pureté de l'approximation forte sur le corps des fonctions d'une courbe algébrique complexe

Approximation measures for shifted logarithms of algebraic numbers via effective Poincare-Perron

Approximation and algebraicity in positive characteristic Hahn fields

On approximation to a real number by algebraic numbers of bounded degree

An effective version of Fekete's theorem

Covering Number of Real Algebraic Varieties and Beyond: Improved Bounds and Applications

Unitary rational best approximations to the exponential function