Related papers: Infinitesimal Center Problem on zero cycles and th…
The present paper deals with autonomous integral equations with infinite delay via dynamical system approach. Existence, local exponential attractivity, and other properties of center manifold are established by means of the…
Let $M$ be a compact oriented simply-connected manifold of dimension at least 8. Assume $M$ is equipped with a torsion-free semi-free circle action with isolated fixed points. We prove $M$ has a perfect invariant Morse-Smale function. The…
We define an equivalence relation on integer compositions and show that two ribbon Schur functions are identical if and only if their defining compositions are equivalent in this sense. This equivalence is completely determined by means of…
In this paper we prove the infinitesimal uniqueness theorem for the Newton potential of non simply connected bodies using the singularity theory approach. We consider the Newtonian potentials of the domains in ${\bf R}^n$ boundaries of…
We prove a nonsmooth implicit function theorem applicable to the zero set of the difference of convex functions. This theorem is explicit and global: it gives a formula representing this zero set as a difference of convex functions which…
We show that the emptiness (unsatisfiability) problem is undecidable and $\mathrm{\Pi}^{0}_{1}$-complete for deterministic propositional while programs with (graph) loop. To this end, we introduce a hypothesis elimination using loops. Using…
We consider the entire characteristic functions of order 2 and we prove some decomposition theorems in a multidimensional case. We show that the lack of zeros of the density function is a necessary but not a sufficient (as in the…
In this paper, we study the symmetry properties of nondegenerate critical points of shape functionals using the implicit function theorem. We show that, if a shape functional is invariant with respect to some continuous group of rotations,…
The motion of a composite system made of N particles is examined in a space with a canonical noncommutative algebra of coordinates. It is found that the coordinates of the center-of-mass position satisfy noncommutative algebra with…
The main goal of this paper is to introduce a framework for infinitesimal deformation problems, using new methods coming from operadic calculus. We construct an adjunction between infinitesimal deformation problems over some type of…
This essay aims to propose construction theory, a new domain of theoretical research on machine construction, and use it to shed light on a fundamental relationship between living and computational systems. Specifically, we argue that…
Given a $\mathbb{G}_\mathrm{a}$-action on an affine variety $X$, we show that the complement of the union of all principal invariant cylinders in $X$ is equal to the zero locus of the plinth ideal of the corresponding locally nilpotent…
This thesis examins a generalisation of polar decompositions to indefinite inner product spaces. The necessary general theory is studied and some general results are given. The main part of the thesis focuses on polar decompositions with…
In a dislocation problem, a paradoxical discordance is known to occur between an original smooth curve and an infinitesimally discretized curve. To solve this paradox, we have investigated a non-hypersingular expression for the integral…
In this work, we establish a representation theorem for multivariable totally symmetric functions: a multisymmetric continuous function must be the composition of a continuous function and a set of generators of the multisymmetric…
We obtain sufficient conditions for an exponential type entire function not to have zeros in the open lower half-plane. An exact inequality containing the real and imaginary parts of such functions and their derivatives restricted to the…
The isomorphism problem means to decide if two given finite-dimensional simple algebras over the same centre are isomorphic and, if so, to construct an isomorphism between them. A solution to this problem has applications in computational…
We develop a new setting for the exponential principle in the context of multisort species, where indecomposable objects are generated intrinsically instead of being given in advance. Our approach uses the language of functors and natural…
We consider conformal perturbation theory for $n$-point functions on the sphere in general 2D CFTs to first order in coupling constant. We regulate perturbation integrals using canonical hard disk excisions of size $\epsilon$ around the…
Recent researchers have investigated how the zeros of certain families of complex harmonic functions change with a single parameter. Many leverage the well-behaved images of the critical curve and the harmonic analogue of the Argument…