Related papers: No bound for the first fixed point

Let $\mathbb{F}_q$ be a finite field of order $q$, where $q$ is a power of a prime. For a set $A \subset \mathbb{F}_q$, under certain structural restrictions, we prove a new explicit lower bound on the size of the product set $A(A + 1)$.…

I'll discuss how Goedel's paradox "This statement is false/unprovable" yields his famous result on the limits of axiomatic reasoning. I'll contrast that with my work, which is based on the paradox of "The first uninteresting positive whole…

Let $K$ be a number field and $\phi\in K(z)$ a rational function. Let $S$ be the set of all archimedean places of $K$ and all non-archimedean places associated to the prime ideals of bad reduction for $\phi$. We prove an upper bound for…

In recent years some near-optimal estimates have been established for certain sum-product type estimates. This paper gives some first extremal results which provide information about when these bounds may or may not be tight. The main tool…

In this paper, we compute an upper bound for the Dehn function of a finitely presented metabelian group. In addition, we prove that the same upper bound works for the relative Dehn function of a finitely generated metabelian group. We also…

Fourier series with power series coefficients for the normal and distance to a point from an ellipse are derived. These expressions are the first of their kind and opens up a range of analysis and computational possibilities.

The purpose of this note is to prove a lower bound on the Folner function for Thompson's groups F.

We show a pointwise estimate for the Fourier transform on the line involving the number of times the function changes monotonicity. The contrapositive of the theorem may be used to find a lower bound to the number of local maxima of a…

Let $X$ be a smooth projective variety over $ \overline{\mathbb Q}$, and $f:X -rightarrow X$ be a dominant rational map. Let $\delta_{f}$ be the first dynamical degree of $f$ and $h_{X}:X( \overline{\mathbb Q})\to [1,\infty)$ be a Weil…

We prove an explicit error term for the $\psi(x,\chi)$ function assuming the Generalized Riemann Hypothesis. Using this estimate, we prove a conditional explicit bound for the number of primes in arithmetic progressions.

The goal of this work is to prove a new sure upper bound in a setting that can be thought of as a simplified function field analogue. This result is comparable to a recent result of the author concerning almost sure upper bound of random…

Tverberg-type theory aims to establish sufficient conditions for a simplicial complex $\Sigma$ such that every continuous map $f\colon \Sigma \to \mathbb{R}^d$ maps $q$ points from pairwise disjoint faces to the same point in…

Fixpoints are ubiquitous in computer science and when dealing with quantitative semantics and verification one often considers least fixpoints of (higher-dimensional) functions over the non-negative reals. We show how to approximate the…

We analyze the non-stationary ideal and the club filter at aleph_1 under MM.

In this article we provide new explicit Chebyshev's bounds for the prime counting function $\psi(x)$. The proof relies on two new arguments: smoothing the prime counting function which allows to generalize the previous approaches, and a new…

We present a simple transformation of any linear program or semidefinite program into an equivalent convex optimization problem whose only constraints are linear equations. The objective function is defined on the whole space, making…

In [LS], it is shown shown that the first eigenvalue of the Laplacian restricted to the space of invariant functions on a toric K\"ahler manifold (i.e. $\lambda_1^\mathbb{T}$, the invariant first eigenvalue) is an unbounded function of the…

We study Neumann functions for divergence form, second order elliptic systems with bounded measurable coefficients in a bounded Lipschitz domain or a Lipschitz graph domain. We establish existence, uniqueness, and various estimates for the…

We describe a new method of proving a priori bounds for positive supersolutions and solutions of superlinear elliptic PDE, based on global weak Harnack inequalities and a quantitative Hopf lemma. Novel results based on the method include:…

We study the approximate fixed point property (AFPP) for continuous single-valued functions and for continuous multivalued functions in digital topology. We extend what is known about these notions and discuss errors that have appeared in…