Related papers: Solving Homotopy Domain Equations
The homotopy group $\pi_{n-k} ({\bf C}^{n+1}-V)$ where $V$ is a hypersurface with a singular locus of dimension $k$ and good behavior at infinity is described using generic pencils. This is analogous to the van Kampen procedure for finding…
Numerical homotopy continuation methods for three classes of polynomial systems are presented. For a generic instance of the class, every path leads to a solution and the homotopy is optimal. The counting of the roots mirrors the resolution…
We develop domain theory in constructive and predicative univalent foundations (also known as homotopy type theory). That we work predicatively means that we do not assume Voevodsky's propositional resizing axioms. Our work is constructive…
Three aspects of applying homotopy continuation, which is commonly used to solve parameterized systems of polynomial equations, are investigated. First, for parameterized systems which are homogeneous, we investigate options for performing…
A polynomial homotopy is a family of polynomial systems in one parameter, which defines solution paths starting from known solutions and ending at solutions of a system that has to be solved. We consider paths leading to isolated singular…
Homotopy Type Theory may be seen as an internal language for the $\infty$-category of weak $\infty$-groupoids which in particular models the univalence axiom. Voevodsky proposes this language for weak $\infty$-groupoids as a new foundation…
The use of the probabilistic approach to solve inverse problems is becoming more popular in the geophysical community, thanks to its ability to address nonlinear forward problems and to provide uncertainty quantification. However, such…
We analyze a recent application of homotopy perturbation method to some heat-like and wave-like models and show that its main results are merely the Taylor expansions of exponential and hyperbolic functions. Besides, the authors require…
The paper is devoted to the study of homotopy properties of stabilizers of smooth functions on oriented surfaces, i.e., groups of diffeomorphisms of surfaces preserving a given function. For some class of smooth functions which is a…
Standandard Hamiltonian mechanics in its homogeneous formulation is applied to the study of discontinuities representing rapid changes of Hamiltonians. Different formulations of Hamiltonian mechanics are reviewed. An original representation…
The paper is devoted to prove the existence of a local solution of the Hamilton-Jacobi equation in field theory, whence the general solution of the field equations can be obtained. The solution is adapted to the choice of the submanifold…
For Gamma a finite, connected metric graph, we consider the space of configurations of n points in Gamma with a restraint parameter r dictating the minimum distance allowed between each pair of points. These restricted configuration spaces…
We formulate the necessary conditions for the integrability of a certain family of Hamiltonian systems defined in the constant curvature two-dimensional spaces. Proposed form of potential can be considered as a counterpart of a homogeneous…
The cosmographic approach, which only relies upon the homogeneity and isotropy of the Universe on large scales, has become an essential tool in dealing with an increasing number of theoretical possibilities for explaining the late-time…
We begin by giving an example of a smoothly bounded convex domain that has complex geodesics that do not extend continuously up to $\partial\mathbb{D}$. This example suggests that continuity at the boundary of the complex geodesics of a…
We develop a general theory of cosimplicial resolutions, homotopy spectral sequences, and completions for objects in model categories, extending work of Bousfield-Kan and Bendersky-Thompson for ordinary spaces. This is based on a…
We use homotopy operators for the $L_\infty$-algebra associated with an equivariant deformation problem in order to describe a smooth parametrization of the space of structures around a given one. Along the way we give new algebraic and…
Polynomial functors are a categorical generalization of the usual notion of polynomial, which has found many applications in higher categories and type theory: those are generated by polynomials consisting a set of monomials built from sets…
In the paper the complex geodesics of a convex domain in $\mathbb C^n$ are studied. One of the main results of the paper provides certain necessary condition for a holomorphic map to be a complex geodesic for a convex domain in $\mathbb…
Homotopy links have proven to be one of the most powerful tools of stratified homotopy theory. In previous work, we described combinatorial models for the generalized homotopy links of a stratified simplicial set. For many purposes, in…