BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
We prove that, for any positive integer m, a segment may be partitioned into m possibly degenerate or empty segments with equal values of a continuous function f of a segment, assuming that f may take positive and negative values, but its value on degenerate or empty segments is zero.
Inspired by the classical Riemannian systolic inequality of Gromov we present a combinatorial analogue providing a lower bound on the number of vertices of a simplicial complex in terms of its edge-path systole. Similarly to the Riemannian case, where the inequality holds under a topological assumption of "essentiality", our proofs rely on a combinatorial analogue of that assumption. Under a stronger assumption, expressed in terms of cohomology cup-length, we improve our results quantitatively. We also illustrate our methods in the continuous setting, generalizing and improving quantitatively the Minkowski principle of Balacheff and Karam; a corollary of this result is the extension of the Guth--Nakamura cup-length systolic bound from manifolds to complexes.
We work entirely in the smooth category. An embedding f:(S2×S1)⊔S3→R6 is {\it Brunnian}, if the restriction of f to each component is isotopic to the standard embedding. For each triple of integers k,m,n such that m≡n(mod2), we explicitly construct a Brunnian embedding fk,m,n:(S2×S1)⊔S3→R6 such that the following theorem holds. Theorem: Any Brunnian embedding f:(S2×S1)⊔S3→R6 is isotopic to fk,m,n for some integers k,m,n such that m≡n(mod2). Two embeddings fk,m,n and fk′,m′,n′ are isotopic if and only if k=k′, m≡m′(mod2k) and n≡n′(mod2k). We use Haefliger's classification of embeddings S3⊔S3→R6 in our proof. The following corollary shows that the relation between the embeddings (S2×S1)⊔S3→R6 and S3⊔S3→R6 is not trivial. Corollary: There exist embeddings f:(S2×S1)⊔S3→R6 and g,g′:S3⊔S3→R6 such that the componentwise embedded connected sum f#g is isotopic to f#g′ but g is not isotopic to g′.
In this paper, we apply classical energy principles to Euler elasticae, i.e., closed C^2 curves in the plane supplied with the Euler functional U (the integral of the square of the curvature along the curve). We study the critical points of U, find the shapes of the curves corresponding to these critical points and show which of the critical points are stable equilibrium points of the energy given by U, and which are unstable. It turns out that the set of stable equilibrium points coincides with the set of minima of U, so that the corresponding shapes of the curves obtained may be regarded as normal forms of Euler elasticae. In this way, we find the solution of the Euler problem (set in 1744) for plane closed elasticae. As a by-product, we obtain a "mechanical" proof of the Whitney--Graustein theorem on the classification of regular curves in the plane up to regular homotopy (in the particular case of C^2 curves). Besides mathematical theorems, our work includes a computer graphics software which shows, as an animation, how any plane curve evolves to its normal form under a discretized version of gradient descent along the (discretized) Euler functional.
The following problem was proposed in 2010 by S. Lando. Let M and N be two unions of the same number of disjoint circles in a sphere. Do there always exist two spheres in 3-space such that their intersection is transversal and is a union of disjoint circles that is situated as M in one sphere and as N in the other? Union M′ of disjoint circles is {\it situated} in one sphere as union M of disjoint circles in the other sphere if there is a homeomorphism between these two spheres which maps M′ to M. We prove (by giving an explicit example) that the answer to this problem is "no". We also prove a necessary and sufficient condition on M and N for existing of such intersecting spheres. This result can be restated in terms of graphs. Such restatement allows for a trivial brute-force algorithm checking the condition for any given M and N. It is an open question if a faster algorithm exist.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.