Related papers: Eliminating higher-multiplicity intersections in t…

By a numerical continuation method called a diagonal homotopy we can compute the intersection of two positive dimensional solution sets of polynomial systems. This paper proposes to use this diagonal homotopy as the key step in a procedure…

A fake wedge is a diagram of spaces K <- A -> C whose double mapping cylinder is contractible. The terminology stems from the special case A = K v C with maps given by the projections. In this paper, we study the homotopy type of the moduli…

A family of $k$ point sets in $d$ dimensions is well-separated if the convex hulls of any two disjoint subfamilies can be separated by a hyperplane. Well-separation is a strong assumption that allows us to conclude that certain kinds of…

Let (B_0,B_1) be a Banach pair. Stafney showed that one can replace the space F(B_0,B_1) with its subspace G(B_0,B_1) in the definition of the norm in the Calderon complex interpolation method on the strip if the element belongs to the…

The classical 1961 solution to the problem of determining the number of perfect matchings (or dimer coverings) of a rectangular grid graph -- due independently to Kasteleyn and to Temperley and Fisher -- consists of changing the sign of…

A clear understanding of topology of higher-dimensional objects is important in many branches of both pure and applied mathematics. In this survey we attempt to present some results of higher-dimensional topology in a way which makes clear…

Finding nonoverlapping balls with given centers in any metric space, maximizing the sum of radii of the balls, can be expressed as a linear program. Its dual linear program expresses the problem of finding a minimum-weight set of cycles…

We provide a measure based topology for certain unions of C2 rectifiable submanifolds of mixed dimensions in Rn. In this topology lower dimensional sets remain in the limit as measures when higher dimensional sets collapse down to them. For…

It was proved by H. Whitney in 1933 that it is possible to mark a point in all curves in a continuous way. The main result of this paper extends the Whitney theorem to dimensions 2 and 3. Namely, we prove that it is possible to choose a…

Consider a problem where we are given a bipartite graph H with vertices arranged on two horizontal lines in the plane, such that the two sets of vertices placed on the two lines form a bipartition of H. We additionally require that H admits…

We consider the situation where one is given a set S of points in the plane and a collection D of unit disks embedded in the plane. We show that finding a minimum cardinality subset of D such that any path between any two points in S is…

As an application of the Bochner formula, we prove that if a $2$-dimensional Riemannian manifold admits a non-trivial smooth tangent vector field $X$ then its Gauss curvature is the divergence of a tangent vector field, constructed from…

This article concerns two conjectures of M. P. Murthy. For Murthy's conjecture on complete intersections, the major breakthrough has still been the result proved by Mohan Kumar in 1978. In this article we improve "Mohan Kumar's bound" when…

This article presents a novel mathematical formalism for advanced manifold--metric pairs, enhancing the frameworks of geometry and topology. We construct various D-dimensional manifolds and their associated metric spaces using functional…

We present a comprehensive analysis of Bredon's trick, a powerful local-to-global extension principle with broad applications across differential geometry and computational topology. Our main contributions include: (1) novel applications to…

Multivariate normal mixtures provide a flexible method of fitting high-dimensional data. It is shown that their topography, in the sense of their key features as a density, can be analyzed rigorously in lower dimensions by use of a…

Alternating projections and their variants are classical tools for computing points in intersections of sets. Existing analyses for smooth manifolds mainly focus on local convergence rates under transversality or related regularity…

A balanced partition is a clustering of a graph into a given number of equal-sized parts. For instance, the Bisection problem asks to remove at most k edges in order to partition the vertices into two equal-sized parts. We prove that…

In the paper we provide a new method of proving the existence of a hypersurface of degree $d$ in $\mathbb{P}^n$, with a general point of multiplicity $m$ and vanishing at a given set of points $Z$, by looking at weak combinatorics of a set…

We consider sufficient conditions of local removability of coincidences of maps f,g:N->M, where M,N are manifolds with dimensions dimN>dimM. The coincidence index is the only obstruction to the removability for maps with fibers either…