Related papers: Extremal fixed points and Diophantine equations
We present a universal construction of Diophantine equations with bounded complexity in Isabelle/HOL. This is a formalization of our own work in number theory. Hilbert's Tenth Problem was answered negatively by Yuri Matiyasevich, who showed…
We obtain a general lower bound for the number of fixed points of a circle action on a compact almost complex manifold $M$ of dimension $2n$ with nonempty fixed point set, provided the Chern number $c_1c_{n-1}[M]$ vanishes. The proof…
The celebrated upper bound theorem of McMullen determines the maximal number of extreme points of a polyhedron in terms of its dimension and the number of constraints which define it, showing that the maximum is attained by the polar of the…
We characterize regular fixed points of evolution families in terms of analytical properties of the associated Herglotz vector fields and geometrical properties of the associated Loewner chains. We present several examples showing the…
We study sharp conditions for the existence and nonexistence of infinitely many nonnegative solutions to the problem $-\Delta_p u = \lambda f(u)$ in a bounded domain with Dirichlet boundary conditions, where $f$ is a continuous function…
The one-loop beta functions for systems of $N_s$ scalars and $N_f$ fermions interacting via a general potential are analysed as tensorial equations in $4-\varepsilon$ dimensions. Two distinct bounds on combinations of invariants constructed…
We propose interconnections between some problems of PDE, geometry, algebra, calculus and physics. Uniqueness of a solution of the Dirichlet problem and of some other boundary value problems for the string equation inside an arbitrary…
In this paper we present a new proof of the sufficiency theorem for strong local minimizers concerning $C^1$-extremals at which the second variation is strictly positive. The results are presented in the quasiconvex setting, in accordance…
Formal orbifolds are defined in higher dimension. Their \'etale fundamental groups are also defined. It is shown that the fundamental groups of formal orbifolds have certain finiteness property and it is also shown that they can be used to…
We show explicitly how a strongly coupled fixed point can be constructed in scalar $g\varphi^4$ theory from the solutions to a non-linear eigenvalue problem. The fixed point exists only for $d< 4$, is unstable and characterized by $\nu=2/d$…
Consider a proper cocompact CAT(0) space X. We give a complete algebraic characterisation of amenable groups of isometries of X. For amenable discrete subgroups, an even narrower description is derived, implying Q-linearity in the…
We consider the Cartesian product X of n finite intervals of integers and a map F from X to itself. As main result, we establish an upper bound on the number of fixed points for F which only depends on X and on the topology of the positive…
Convergence is proved for solutions of Dirichlet problems in regions with many small excluded sets (holes), as the holes become smaller and more numerous. The problem is formulated in the context of Markov processes associated with general…
We consider linearly stable elliptic fixed points for a symplectic vector field and prove generic results of super-exponential stability for nearby solutions. Morbidelli and Giorgilli have proved a theorem of stability over…
We prove the existence of a bound on the number of steps of the minimal model program for singular surfaces in terms of discrepancies and top Chern numbers. As an application, we prove that given $R\in\mathbb{R}$ and $\epsilon\in (0,1)$,…
This paper is devoted to studying of some properties of multivalued mappings in Euclidean space. There were proved theorems on a fixed point for multivalued mappings whose restrictions to some subset in the closure of a domain satisfy "a…
The purpose of this note is to investigate the coupling of Dirichlet and Neumann numerical boundary conditions for the transport equation set on an interval. When one starts with a stable finite difference scheme on the lattice $\mathbb{Z}$…
We study combinatorial configurations with the associated point and line graphs being strongly regular. Examples not belonging to known classes such as partial geometries and their generalizations or elliptic semiplanes are constructed.…
We conjecture that if a system S \subseteq {x_i=1, x_i+x_j=x_k, x_i \cdot x_j=x_k: i,j,k \in {1,...,n}} has only finitely many solutions in integers x_1,...,x_n, then each such solution (x_1,...,x_n) satisfies |x_1|,...,|x_n| \leq…
We prove an effective version of the Pila-Wilkie Theorem for sets definable using Pfaffian functions, providing effective estimates for the number of algebraic points of bounded height and degree lying on such sets. We also prove effective…