Related papers: Quantitative Fundamental Theorem of Algebra

The fundamental relationship between the partial quotients $b_{n+1}$ of an algebraic irrational $\alpha = \sqrt[m]{k}$ and its corresponding algebraic form $d_n = |p_n^m - k q_n^m|$ was elegantly proposed by Bombieri and van der Poorten. In…

The formal weight enumerators were first introduced by M. Ozeki. They form a ring of invariant polynomials which is similar to that of the weight enumerators of Type II codes. Later, the zeta functions for linear codes were discovered and…

Using the Hellmann-Feynman theorem, a general comparison theorem is established for an eigenvalue equation of the form $(T+V)|\psi> = E|\psi>$, where $T$ is a kinetic part which depends only on momentums and $V$ is a potential which depends…

We give a necessary condition for Morita equivalence of simple Generalized Weyl algebras of classical type. We propose a reformulation of Hodges' result, which describes Morita equivalences in case the polynomial defining the Generalized…

Let $\mathbb{F}_q[t]$ denote the ring of polynomials over $\mathbb{F}_q$, the finite field of $q$ elements. We prove an estimate for fractional parts of polynomials over $\mathbb{F}_q[t]$ satisfying a certain divisibility condition…

A symmetrized lattice of $2n$ points in terms of an irrational real number $\alpha$ is considered in the unit square, as in the theorem of Davenport. If $\alpha$ is a quadratic irrational, the square of the $L^2$ discrepancy is found to be…

The framework of algebraically natural proofs was independently introduced in the works of Forbes, Shpilka and Volk (2018), and Grochow, Kumar, Saks and Saraf (2017), to study the efficacy of commonly used techniques for proving lower…

In this paper, we study linear forms \[\lambda = \beta_1\mathrm{e}^{\alpha_1}+\cdots+\beta_m\mathrm{e}^{\alpha_m},\] where $\alpha_i$ and $\beta_i$ are algebraic numbers. An explicit lower bound for the absolute value of $\lambda$ is…

For any lattice polytope $P$, we consider an associated polynomial $\bar{\delta}_{P}(t)$ and describe its decomposition into a sum of two polynomials satisfying certain symmetry conditions. As a consequence, we improve upon known…

Supervaluational fixed-point theories of formal truth aim to amend an important shortcoming of fixed-point theories based on the Strong Kleene logic, namely, accounting for the truth of classical validities. In a celebrated paper, Andrea…

The continued fraction expansion of an irrational number $\alpha$ is eventually periodic if and only if $\alpha$ is a quadratic irrationality. However, very little is known regarding the size of the partial quotients of algebraic real…

The purpose of this paper is two-fold. First is to extend the notions of an n-dimensional semimartingale and its stochastic integral to a piecewise semimartingale of stochastic dimension. The properties of the former carry over largely…

The Fundamental Theorem of Integral Calculus links the integrand and its antiderivative via a simple first order differential equation. A numerical solution of this ode yields the antiderivative and hence the required integral. This…

Let $\Lambda^{\mathbb{R}}$ denote the linear space over $\mathbb{R}$ spanned by $z^{k}$, $k \in \mathbb{Z}$. Define the real inner product (with varying exponential weights) $<\boldsymbol{\cdot},\boldsymbol{\cdot} >_{\mathscr{L}} \colon…

We give a necessary and sufficient condition for the integrality of the Taylor coefficients of mirror maps at the origin. By mirror maps, we mean formal power series z.exp(G(z)/F(z)), where F(z) and G(z)+log(z)F(z) are particular solutions…

A new elementary proof of the prime number theorem presented recently in the framework of a scale invariant extension of the ordinary analysis is re-examined and clarified further. Both the formalism and proof are presented in a much more…

From a suitable integral representation of the Laplace transform of a positive semi-definite quadratic form of independent real random variables with not necessarily identical densities a univariate integral representation is derived for…

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.

The Taylor expansion is a widely used and powerful tool in all branches of Mathematics, both pure and applied. In Probability and Mathematical Statistics, however, a stronger version of Taylor's classical theorem is often needed, but only…

Let $\mathscr{F}_{n,d}$ be the class of all functions $f:\{-1,1\}^n\to[-1,1]$ on the $n$-dimensional discrete hypercube of degree at most $d$. In the first part of this paper, we prove that any (deterministic or randomized) algorithm which…