Related papers: Perfect Morse Function on SO(n)
It is shown that given a metric space $X$ and a $\sigma$-finite positive regular Borel measure $\mu$ on $X$, there exists a bounded continuous real-valued function on $X$ that is one-to-one on the complement of a set of $\mu$ measure zero.
We give an elementary derivation of the de Rham cohomology of SO(n) in terms of supersymmetric quantum mechanics. Our analysis is based on Witten's Morse theory. We show reflection symmetries of the theory are useful to select true vacuums.…
In this short note, we show that the distance function to any finite set $X\subset \mathbb{R}^n$ is a topological Morse function, regardless of whether $X$ is in general position. We also precisely characterize its topological critical…
We give the definition of uniform symmetric continuity for functions defined on a nonempty subset of the real line. Then we investigate the properties of uniformly symmetrically continuous functions and compare them with those of…
We make a detailed study of various (quadratic and linear) Morse-Bott trace functions on the orthogonal groups $O(n)$. We describe the critical loci of the quadratic trace function Tr$(AXBX^T)$ and determine their indices via perfect…
We construct a function on the real line supported on a set of finite measure whose spectrum has density zero.
In this work we answer an open question asked by Johnson--Scoville. We show that each merge tree is represented by a discrete Morse function on a path. Furthermore, we present explicit constructions for two different but related kinds of…
In this short article we present some properties regarding the order and the type of an entire function.
Fix a d-minimal expansion of an ordered field. We consider the space $\mathcal D^p(M)$ of definable $\mathcal C^p$ functions defined on a definable $\mathcal C^p$ submanifold $M$ equipped with definable $\mathcal C^p$ topology. The set of…
We provide a closed formula for the degree of $\text{SO}(n)$ over an algebraically closed field of characteristic zero. In addition, we describe symbolic and numerical techniques which can also be used to compute the degree of…
We prove a representation formula for superharmonic functions on the half-space $\mathbb{R}^N_+ := \mathbb{R}^{N-1}\times]0,+\infty[$. As a consequence, we derive some comparison principles and various positivity results.
Examples of Morse functions with integrable gradient flows on some classical Riemannian manifolds are considered. In particular, we show that a generic height function on the symmetric embeddings of classical Lie groups and certain…
Given a positive definite symmetric matrix in one of the groups SL(n, R) or Sp(n, R), we analyse its actions on Flag Manifolds, proving these are diffeomorphisms which admit as strict Lyapunov functions a special class of quadratic…
Let $M$ be a smooth closed orientable surface. Let $F$ be the space of Morse functions on $M$, and $\mathbb{F}^1$ the space of framed Morse functions, both endowed with $C^\infty$-topology. The space $\mathbb{F}^0$ of special framed Morse…
Motivated by existing results, we present some completely monotonic functions involving the polygamma functions.
In this paper, we give a necessary and sufficient condition that discrete Morse functions on a digraph can be extended to be Morse functions on its transitive closure, from this we can extend the Morse theory to digraphs by using…
We give a direct and elementary proof of the theorem on formal functions by studying the behaviour of the Godement resolution of a sheaf of modules under completion.
In the present paper, we define Morse-Bott functions on manifolds with boundary which are generalizations of Morse functions and show Morse-Bott inequalities for these manifolds.
We determine all perfect powers that can be written as the sum of at most 10 consecutive squares.
To investigate the topological structure of Morse functions on the projective plane we use the Reeb graphs. We describe it properties and prove that it is a complete topological invariant of simple Morse function on $\mathbb{R} P^2$. We…