arXiv research

Study of Poincaré-Reeb graphs for algebraic domains.

The study refines algebraic domains with specific boundary conditions.

The goal of this paper is to measure the non-convexity of compact and smooth connected components of real algebraic plane curves. We study these curves first in a general setting and then in an asymptotic one. In particular, we consider sufficiently small levels of a real bivariate polynomial in a small enough neighbou…

Optimal Reeb graphs identified for polygon decomposition.

New method realizes planar graphs as Reeb graphs of algebraic functions.

We consider the setting of Reeb graphs of piecewise linear functions and study distances between them that are stable, meaning that functions which are similar in the supremum norm ought to have similar Reeb graphs. We define an edit distance for Reeb graphs and prove that it is stable and universal, meaning that it pr…

New method constructs smooth functions with specific Reeb graphs and preimages on 3D manifolds.

We introduce the notion of contact Ricci flow associated with the Reeb vector field. Using it, we give a simple proof of the Poincare conjecture.

The paper solves graph realization problems for Reeb graphs of Morse functions.

We investigate the problem of the realization of a given graph as the Reeb graph $\mathcal{R}(f)$ of a smooth function $f\colon M\rightarrow \mathbb{R}$ with finitely many critical points, where $M$ is a closed manifold. We show that for any $n\geq2$ and any graph $Γ$ admitting the so called good orientation there exis…

Study Morse functions on projective plane using Reeb graphs.

Let $X$ be a simplicial complex with a piecewise linear function $f:X\to\mathbb{R}$. The Reeb graph $Reeb(f,X)$ is the quotient of $X$, where we collapse each connected component of $f^{-1}(t)$ to a single point. Let the nodes of $Reeb(f,X)$ be all homologically critical points where any homology of the corresponding c…

Characterizes smooth functions on manifolds with simple Reeb spaces.

We prove that, up to homeomorphism, any graph subject to natural necessary conditions on orientation and the cycle rank can be realized as the Reeb graph of a Morse function on a given closed manifold $M$. Along the way, we show that the Reeb number $\mathcal{R}(M)$, i.e. the maximum cycle rank among all Reeb graphs of…

Researchers reconstruct algebraic maps onto curves based on prescribed Reeb graphs.

The paper explores the structure of Reeb spaces for smooth functions on manifolds.

The paper extends previous work on Reeb graphs of smooth functions on 3D manifolds to non-orientable cases.

The Reeb graph of a function on a smooth manifold is the graph obtained as the space of all connected components of level sets such that the set of all vertices coincides with the set of all connected components of level sets including singular points. Reeb graphs are fundamental and important in the algebraic and diff…

The Reeb space of a function or a map on a manifold is defined as the space of all connected components of preimages and represents the manifold compactly. In fact, Reeb spaces are fundamental and useful tools in geometric theory of so-called Morse functions and more general maps which are sufficiently tame. Can we con…

The paper tightens bounds on distances between Reeb graphs.

The study of Morse functions on 3-manifolds and their Reeb graphs.

The study finds a special type of smooth function on connected sums of manifolds.

We prove a Reeb sphere theorem for finite simple graphs. The result bridges two different definitions of spheres in graph theory. We also reformulate Morse conditions in terms of the center manifolds, the level surface graphs {f=f(x)} in the unit sphere S(x). In the Morse case these graphs are either spheres, the empty…

For a smooth function on a smooth manifold of a suitable class, the space of all connected components of preimages is the graph and called the {\it Reeb graph}. Reeb graphs are fundamental tools in the algebraic and differential topological theory of Morse functions and more general functions which are not so wild. In …

The paper explores how vector fields relate to volume in geometric contexts.

The Reeb graph $\mathcal{R}(f)$ is one of the fundamental invariants of a smooth function $f\colon M\to \mathbb{R}$ with isolated critical points. It is defined as the quotient space $M/_{\!\sim}$ of the closed manifold $M$ by a relation that depends on $f$. Here we construct a $1$-dimensional complex $Γ(f)$ embedded…

This paper is devoted to the study of special subgroups of the automorphism groups of Kronrod-Reeb graphs of a Morse functions on $2$-torus $T^2$ which arise from the action of diffeomorphisms preserving a given Morse function on $T^2$. In this paper we give a full description of such classes of groups.

For a connected locally path-connected topological space $X$ and a continuous function $f$ on it such that its Reeb graph $R_f$ is a finite topological graph, we show that the cycle rank of $R_f$, i.e., the first Betti number $b_1(R_f)$, in computational geometry called \emph{number of loops}, is bounded from above by …

Constructs real algebraic functions with both compact and non-compact preimages.

The non-convexity of a smooth and compact connected component of a real algebraic plane curve can be measured by a combinatorial object called the Poincare-Reeb tree associated to the curve and to a direction of projection. In this paper we show that if the chosen projection avoids the bitangents and the inflectional t…

Study shapes of 3D bounded domains using Morse height functions and Reeb graphs.

Study on planar graphs in Poincare model of hyperbolic geometry.

Graphs with nonnegative Bakry-Émery curvature have volume doubling and Poincaré inequalities.

Let $P, Q$ be Heegaard surfaces of a closed orientable 3-manifold. In this paper, we introduce a method for giving an upper bound of Hempel distance of $P$ by using the Reeb graph derived from a certain horizontal arc in the ambient space $[0,1]\times[0,1]$ of the Rubinstein-Scharlemann graphic derived from $P$ and $Q$…

Study classifies Morse functions with 4 critical points on immersed 2-spheres.

We construct a correspondence between epimorphisms $\varphi \colon π_1(M) \to F_r$ from the fundamental group of a compact manifold $M$ onto the free group of rank $r$, and systems of $r$ framed non-separating hypersurfaces in $M$, which induces a bijection onto framed cobordism classes of such systems. In consequence,…

Hyperbolic embeddings have recently gained attention in machine learning due to their ability to represent hierarchical data more accurately and succinctly than their Euclidean analogues. However, multi-relational knowledge graphs often exhibit multiple simultaneous hierarchies, which current hyperbolic models do not c…

Let X be a finite 2-complex with unfree fundamental group. We prove lower bounds for the area of a metric on X, in terms of the square of the least length of a noncontractible loop in X. We thus establish a uniform systolic inequality for all unfree 2-complexes. Our inequality improves the constant in M. Gromov's inequ…

The paper introduces a sampling theory for graphons with a Poincaré inequality and proves consistency.

Geometrically, the first Betti number of orbits is linked to the Kronrod-Reeb graph.

By proving graph theoretical versions of Green-Stokes, Gauss-Bonnet and Poincare-Hopf, core ideas of undergraduate mathematics can be illustrated in a simple graph theoretical setting. In this pedagogical exposition we present the main proofs on a single page and add illustrations. While discrete Stokes is is old, the …

We introduce and study the conical curvature-dimension condition, $CCD(K,N)$, for graphs. We show that $CCD(K,N)$ provides necessary and sufficient conditions for the underlying graph to satisfy a sharp global Poincaré inequality which in turn translates to a sharp lower bound for the first eigenvalues of these graphs.…

We study some equivalent properties of the curvature-dimension conditions $CD(n,K)$ inequality on infinite, but locally finite graph. These equivalences are gradient estimate, Poincaré type inequalities and reverse Poincaré inequalities. And we also obtain one equivalent property of gradient estimate for a new notion o…

Using an inverse system of metric graphs as in: J. Cheeger and B. Kleiner, "Inverse limit spaces satisfying a Poincaré inequality", we provide a simple example of a metric space $X$ that admits Poincaré inequalities for a continuum of mutually singular measures.

This paper addresses questions of quasi-isometric rigidity and classification for fundamental groups of finite graphs of groups, under the assumption that the Bass-Serre tree of the graph of groups has finite depth. The main example of a finite depth graph of groups is one whose vertex and edge groups are coarse Poinca…

Study of circle arrangements related to Morse-Bott functions.

Study of harmonic functions on infinite penny graphs.

Given a metric space $X$ and a function $f: X \to \mathbb{R}$, the Reeb construction gives metric a space $X_f$ together with a quotient map $X \to X_f$. Under suitable conditions $X_f$ becomes a metric graph and can therefore be used as a graph approximation to $X$. The Gromov-Hausdorff distance from $X_f$ to $X$ is b…