Related papers: On the removable singularities of complex analytic…
We prove the necessary and sufficient condition for the removability of the fundamental singularity, and equivalently for the unique solvability of the singular Dirichlet problem for the heat equation. In the measure-theoretical context the…
We systematically investigate the complexity of model checking the existential positive fragment of first-order logic. In particular, for a set of existential positive sentences, we consider model checking where the sentence is restricted…
We focus on rational solutions or nearly-feasible rational solutions that serve as certificates of feasibility for polynomial optimization problems. We show that, under some separability conditions, certain cubic polynomially constrained…
A famous theorem of Bers and Finn states that isolated singularities of solutions to the non-parametric minimal surface equation are removable. We show that this result remains valid, if the area functional is replaced by a general…
We extend Painlev\'e's determinateness theorem to the case of first order ordinary differential equations in the complex domain with known terms allowed be multivalued in the dependent variable as well; multivaluedness is supposed to be…
We find necessary and sufficient conditions for a complete local ring containing the rationals to be the completion of a countable excellent local (Noetherian) domain. Furthermore, we find necessary and sufficient conditions for a complete…
We proved the so called complex bounds for multimodal, infinitely renormalizable analytic maps with bounded combinatorics: deep renormalizations have polynomial-like extensions with definite modulus. The complex bounds is the first step to…
We discuss residual finiteness and several related separability conditions for the class of monoid acts, namely weak subact separability, strong subact separability and complete separability. For each of these four separability conditions,…
We provide algebraic conditions ensuring the decidability of the theory of modules over effectively given Pr\"ufer (in particular B\'ezout) domains with infinite residue fields in terms of a suitable generalization of the prime radical…
In this note, we prove a criteria for supersingularity when the variety has a large automorphism group and a perfect bilinear pairing. This criteria unifies and extends many known results on the supersingularity of curves and varieties and…
We are concerned with rigid analytic geometry in the general setting of Henselian fields $K$ with separated analytic structure, whose theory was developed by Cluckers--Lipshitz--Robinson. It unifies earlier work and approaches of numerous…
We introduce a new point of view towards Glaeser's theorem on composite $C^\infty$ functions [Ann. of Math. 1963], with respect to which we can formulate a ``$C^k$ composite function property" that is satisfied by all semiproper real…
Many natural decision problems can be formulated as constraint satisfaction problems for reducts $\mathbb{A}$ of finitely bounded homogeneous structures. This class of problems is a large generalisation of the class of CSPs over finite…
We prove conditions for the existence of a continuous linear right inverse for a surjective convolution operator in spaces of germs of analytic functions on convex subsets of the complex plane. Considered convex sets have a countable…
We study the problem of resolving singularities via the blow-up of the module of derivations. Our main results are a positive answer for the case of curves and log-canonical surface singularities, i.e., a finite sequence of blow-ups along…
This paper proves a Kolmogorov-complexity-flavored sufficient condition for a set to be attractive and discusses some consequences of this condition.
In this paper we shall give sufficient conditions for local CR diffeomorphisms between two real analytic submanifolds of $\Bbb C^N$ to be determined by finitely many derivatives at finitely many points. These conditions will also be shown…
We show that the decidability of the first-order theory of the language that combines Boolean algebras of sets of uninterpreted elements with Presburger arithmetic operations. We thereby disprove a recent conjecture that this theory is…
We give some necessary conditions for the existence of a symplectic resolution for quotient singularities. The McKay correspondence is also worked out for these resolutions.
We consider nonnegative r-potent matrices with finite dimensions and study their decomposability. We derive the precise conditions under which an r-potent matrix is decomposable. We further determine a general structure for the r-potent…