English
Related papers

Related papers: Lifting with Inner Functions of Polynomial Discrep…

200 papers

We establish the exact overlaps conjecture for iterated functions systems on the real line with algebraic contractions and arbitrary translations.

Dynamical Systems · Mathematics 2020-01-15 Ariel Rapaport

We extend the results of Deligne and Illusie on liftings modulo $p^2$ and decompositions of the de Rham complex in several ways. We show that for a smooth scheme $X$ over a perfect field $k$ of characteristic $p>0$, the truncations of the…

Algebraic Geometry · Mathematics 2023-03-29 Piotr Achinger , Junecue Suh

Proofs of the fundamental theorem of algebra can be divided up into three groups according to the techniques involved: proofs that rely on real or complex analysis, algebraic proofs, and topological proofs. Algebraic proofs make use of the…

History and Overview · Mathematics 2015-04-23 Piotr Błaszczyk

The more then hundred years old Bernstein inequality states that the supremum norm of the derivative of a trigonometric polynomial of fixed degree can be bounded from above by supremum norm of the polynomial itself. The reversed Bernstein…

Classical Analysis and ODEs · Mathematics 2023-03-09 Parvaneh Joharinad , Jürgen Jost , Sunhyuk Lim , Rostislav Matveev

We derive the algebraic relations of alternating and non-alternating finite harmonic sums up to the sums of depth~6. All relations for the sums up to weight~6 are given in explicit form. These relations depend on the structure of the index…

High Energy Physics - Phenomenology · Physics 2008-11-26 J. Blümlein

We present two new classes of orthogonal functions, log orthogonal functions (LOFs) and generalized log orthogonal functions (GLOFs), which are constructed by applying a $\log$ mapping to Laguerre polynomials. We develop basic approximation…

Numerical Analysis · Mathematics 2020-03-04 Sheng Chen , Jie Shen

Let $p$ be a fixed prime number, and $N$ be a large integer. The 'Inverse Conjecture for the Gowers norm' states that if the "$d$-th Gowers norm" of a function $f:\F_p^N \to \F_p$ is non-negligible, that is larger than a constant…

Combinatorics · Mathematics 2008-10-20 Shachar Lovett , Roy Meshulam , Alex Samorodnitsky

Numerous problems of analysis (real and complex) and geometry (analytic, algebraic, Diophantine e.a.) can be reduced to calculation of the ``number of solutions'' of systems of equations, defined by algebraic equalities and differential…

Classical Analysis and ODEs · Mathematics 2023-02-08 Dmitry Novikov , Sergei Yakovenko

The increasing demand for Fourier transforms on geometric algebras has resulted in a large variety. Here we introduce one single straight forward definition of a general geometric Fourier transform covering most versions in the literature.…

Algebraic Geometry · Mathematics 2013-06-11 Roxana Bujack , Gerik Scheuermann , Eckhard Hitzer

Translating expressions between different logics and theorem provers is notoriously and often prohibitively difficult, due to the large differences between the logical foundations, the implementations of the systems, and the structure of…

Logic in Computer Science · Computer Science 2017-12-06 Dennis Müller , Colin Rothgang , Yufei Liu , Florian Rabe

The aim of this sequence of work is to investigate polynomial equations satisfied by additive functions. As a result of this, new characterization theorems for homomorphisms and derivations can be given. More exactly, in this paper the…

Classical Analysis and ODEs · Mathematics 2023-08-31 Eszter Gselmann , Gergely Kiss

For a division ring $\mathbb F$, the polynomials $f\in\mathbb F$ can be evaluated "on the left" and "on the right" giving rise to left and right Lagrange interpolation problems. The problems containig interpolation conditions of the same…

Classical Analysis and ODEs · Mathematics 2019-09-17 Vladimir Bolotnikov

Inspired by recent strides in empirical efficacy of implicit learning in many robotics tasks, we seek to understand the theoretical benefits of implicit formulations in the face of nearly discontinuous functions, common characteristics for…

Robotics · Computer Science 2022-04-08 Bibit Bianchini , Mathew Halm , Nikolai Matni , Michael Posa

In this note, a generalization of the Thompson transfer lemma and its various extensions, most recently due to Lyons, is proven in the context of saturated fusion systems. A strengthening of Alperin's fusion theorem is also given in this…

Group Theory · Mathematics 2017-01-30 Justin Lynd

The large variety of Fourier transforms in geometric algebras inspired the straight forward definition of ``A General Geometric Fourier Transform`` in Bujack et al., Proc. of ICCA9, covering most versions in the literature. We showed which…

Algebraic Geometry · Mathematics 2013-06-11 Roxana Bujack , Gerik Scheuermann , Eckhard Hitzer

In 1967, Schmidt wrote a seminal paper [10] on heights of subspaces of R n or C n defined over a number field K, and diophantine approximation problems. The going-down Theorem -- one of the main theorems he proved in his paper -- remains…

Number Theory · Mathematics 2017-09-18 Anthony Poels

A loss function measures the discrepancy between the true values (observations) and their estimated fits, for a given instance of data. A loss function is said to be proper (unbiased, Fisher consistent) if the fits are defined over a unit…

Information Theory · Computer Science 2018-05-11 Amichai Painsky , Gregory W. Wornell

A new method is presented for obtaining indefinite integrals of common special functions. The approach is based on a Lagrangian formulation of the general homogeneous linear ordinary differential equation of second order. A general integral…

Classical Analysis and ODEs · Mathematics 2015-04-24 John T. Conway

We present dichotomy theorems regarding the computational complexity of counting fixed points in boolean (discrete) dynamical systems, i.e., finite discrete dynamical systems over the domain {0,1}. For a class F of boolean functions and a…

Computational Complexity · Computer Science 2008-12-02 Christopher M. Homan , Sven Kosub

Let ${\cal L}$ be a variation of Hodge structures on the complement $X^{*}$ of a normal crossing divisor (NCD) $ Y$ in a smooth analytic variety $X$ and let $ j: X^{*} = X - Y \to X $ denotes the open embedding. The purpose of this paper is…

Algebraic Geometry · Mathematics 2007-05-23 Fouad Elzein