Related papers: Variations on inversion theorems for Newton-Puiseu…
We adapt ideas of Phong, Stein and Sturm and ideas of Ikromov and M\"uller from the continuous setting to various discrete settings, obtaining sharp bounds for exponential sums and the number of solutions to polynomial congruences for…
In the context of complex WKB analysis, we discuss a one-dimensional Schr\"odinger equation $ -h^2\partial_x^2 f(x,h) + [Q(x)+hQ_1(x,h)]f(x,h) =0, \ \ \ h\to 0, $ where $Q(x)$, $Q_1(x,h)$ are analytic near the origin $x=0$, $Q(0)=0$, and…
Let $f(x,y), g(x,y)$ denote either a pair of holomorphic function germs, or a pair of monic polynomials in $x$ whose coefficients are Laurent series in $y$. A relative polar arc is a Newton-Puiseux root, $x=\gamma(y)$, of the Jacobian…
This paper gives the first quantitative bounds for the inverse theorem for the Gowers $U^4$-norm over $\mathbb{F}_p^n$ when $p=2,3$. We build upon earlier work of Gowers and Mili\'cevi\'c who solved the corresponding problem for $p\geq 5$.…
For $x\ge y>1$ and $u:= \log x/\log y$, let $\Phi(x,y)$ denote the number of positive integers up to $x$ free of prime divisors less than or equal to $y$. In 1950 de Bruijn [1] studied the approximation of $\Phi(x,y)$ by the quantity…
We give conditions for a locally finite poset $P$ to have the property that for any functions $f:P\to {\bf C}$ and $g:P\to {\bf C}$ not identically zero and linked by the M\"obius inversion formula, the support of at least one of $f$ and…
We introduce and prove the consistency of a new set theoretic axiom we call the \emph{Invariant Ideal Axiom}. The axiom enables us to provide (consistently) a full topological classification of countable sequential groups, as well as fully…
The famous Jacobian conjecture asks if a morphism $f:K[x,y]\to K[x,y]$ having an invertible Jacobian is invertible ($K$ is a characteristic zero field). We show that if one of the following three equivalent conditions is satisfied, then $f$…
Probabilistic algorithms are applied to prove theorems about the finite general linear and unitary groups which are typically proved by techniques such as character theory and Moebius inversion. Among the theorems studied are Steinberg's…
An inverse polynomial has a Chebyshev series expansion 1/\sum(j=0..k)b_j*T_j(x)=\sum'(n=0..oo) a_n*T_n(x) if the polynomial has no roots in [-1,1]. If the inverse polynomial is decomposed into partial fractions, the a_n are linear…
There are two notions of exponent of finite-dimensional Hopf algebras introduced and studied in the literature. In this note, we discuss and compare their properties including invariance and finiteness in this note. Specifically, one notion…
We introduce quantum Markov categories as a structure that refines and extends a synthetic approach to probability theory and information theory so that it includes quantum probability and quantum information theory. In this broader…
Let F(x,y) be a function of two variables, and suppose y = f(x) satisfies F(x,y)=0 in some range. Then dy/dx = -Fx/Fy, where Fx and Fy denote the partial derivatives of F with respect to x and y. It is natural to seek a general expression…
Let $E_k$ be the normalized Eisenstein series of weight $k$ on $\mathrm{SL}_{2}(\mathbb{Z})$. Let $\varphi_k$ be the polynomial that encodes the $j$-invariants of non-elliptic zeros of $E_k$. In 2001, Gekeler observed that the polynomials…
We discuss a one-parameter family of transformations which changes sets and functions continuously into their (k,n)-Steiner symmetrizations. Our construction consists of two stages. First, we employ a continuous symmetrization introduced by…
We transformed the generalized exponential power series to another functional form suitable for further analysis. By applying the Cauchy-Euler differential operator in the form of an exponential operator, the series became a sum of…
A system of multivariate formal power series $\varphi$ with a homogeneous decomposition $\varphi=\sum_{k=0}^\infty\varphi_k$ is invertible under composition if $\varphi_0=0$ and $\mathrm{det}(\varphi_1)\ne 0.$ All invertible series over a…
A translation of Emmy Noether's paper "Der Endlichkeitsatz der Invarianten endlicher Gruppen" (Mathematische Annalen, vol. 77, 1920, pages 89--92). In Noether's words, the paper gives "an entirely elementary finiteness proof---using only…
We give an algorithm to compute term by term multivariate Puiseux series expansions of series arising as local parametrizations of zeroes of systems of algebraic equations at singular points. The algorithm is an extension of Newton's method…
P. Novikov in 1938 has proved that if $u_1(x)=u_2(x)$ for $|x|>R$, where $R>0$ is a large number, $$u_j(x):=\int_{D_j}g_0(x,y)dy, \quad g_0(x,y):=\frac 1 {4\pi |x-y|},$$ and $D_j\subset \mathbb{R}^3$, $j=1,2,$ $D_j\subset B_R$, are bounded,…