arXiv research

Proves a special case of the Gaussian kinematic formula using large sphere limits.

We prove new kinematic formulas for tensor valuations and simplify previously known Crofton formulas by using the recently developed algebraic theory of translation invariant valuations. The heart of the paper is the computation of the Alesker-Fourier transform on the large class of spherical valuations, which is achie…

New formulas for measuring geometric properties of definable sets.

Researchers prove formulas for flag area measures, extending previous work.

We introduce different bases for the vector space of $\mathrm{Sp}(2)\mathrm{Sp}(1)$-invariant, translation invariant continuous valuations on the quaternionic plane and determine a complete set of kinematic formulas.

We prove that higher moment maps on area measures of a euclidean vector space are injective, while the kernel of the centroid map equals the image of the first variation map. Based on this, we introduce the space of smooth dual area measures on a finite-dimensional euclidean vector space and prove that it admits a natu…

The existence of kinematic formulas for area measures with respect to any connected, closed subgroup of the orthogonal group acting transitively on the unit sphere is established. In particular, the kinematic operator for area measures is shown to have the structure of a co-product. In the case of the unitary group the…

We survey recent results in hermitian integral geometry, i.e. integral geometry on complex vector spaces and complex space forms. We study valuations and curvature measures on complex space forms and describe how the global and local kinematic formulas on such spaces were recently obtained. While the local and global k…

We revisit the contact measures introduced by Firey, and further developed by Schneider and Teufel, from the perspective of the theory of valuations on manifolds. This reveals a link between the kinematic formulas for area measures studied by Wannerer and the integral geometry of curved isotropic spaces. As an applicat…

New proof confirms operations on constructible functions match theory.

We give in explicit form the principal kinematic formula for the action of the affine unitary group on $\C^n$, together with a straightforward algebraic method for computing the full array of unitary kinematic formulas, expressed in terms of certain convex valuations introduced, essentially, by H. Tasaki. We introduce …

The local kinematic formulas on complex space forms induce the structure of a commutative algebra on the space $\mathrm{Curv}^{\mathrm{U}(n)*}$ of dual unitarily invariant curvature measures. Building on the recent results from integral geometry in complex space forms, we describe this algebra structure explicitly as a…

We show that the natural "convolution" on the space of smooth, even, translation-invariant convex valuations on a euclidean space $V$, obtained by intertwining the product and the duality transform of S. Alesker, may be expressed in terms of Minkowski sum. Furthermore the resulting product extends naturally to odd valu…

We consider vector valued, unit variance Gaussian processes defined over stratified manifolds and the geometry of their excursion sets. In particular, we develop an explicit formula for the expectation of all the Lipschitz--Killing curvatures of these sets. Whereas our motivation is primarily probabilistic, with statis…

New formula for spherical polygon area via prequantization.

We show how Alesker's theory of valuations on manifolds gives rise to an algebraic picture of the integral geometry of any Riemannian isotropic space. We then apply this method to give a thorough account of the integral geometry of the complex space forms, i.e. complex projective space, complex hyperbolic space and com…

Study extends geodesic curvature formula to higher dimensions.

Euler explored spherical geometry using trigonometric formulae and solid geometry methods.

Study of line bundles on spherical varieties leads to Calabi-Yau metrics.

The paper derives Pizzetti formulae and inverts the Radon transform on spheres.

We establish Bochner-type formulas for operators related to $CR$ automorphisms and spherical $CR$ structures. From such formulas, we draw conclusions about rigidity by making assumptions on the Tanaka-Webster curvature and torsion.

Two of the authors have defined the class $WDC(M)$ as the class of all subsets of a smooth manifold $M$ that may be expressed in local coordinates as certain sublevel sets of DC (differences of convex) functions. If $M$ is Riemanian and $G$ is a group of isometries acting transitively on the sphere bundle $SM$, we def…

We obtain new general results on the structure of the space of translation invariant continuous valuations on convex sets (a version of the hard Lefschetz theorem). Using these and our previous results we obtain explicit characterization of unitarily invariant translation invariant continuous valuations. It implies new…

The product of smooth valuations on manifolds is described in terms of differential forms, Gelfand transforms and blow-up spaces. It is shown that the product extends partially to generalized valuations and corresponds geometrically to transversal intersections. This result is used to prove a general kinematic formula …

A Hadwiger-type theorem for the exceptional Lie groups $G_2$ and $Spin(7)$ is proved. The algebras of $G_2$ or $Spin(7)$ invariant, translation invariant continuous valuations are both of dimension 10. Geometrically meaningful bases are constructed and the algebra structures are computed. Finally, the kinematic formula…

Derives a formula for fermion dimensions in spherically symmetric monopole backgrounds.

Let $(X,0) \subset (\mathbb{R}^n,0)$ be the germ of a closed subanalytic set and let $f$ and $g : (X,0) \rightarrow (\mathbb{R},0)$ be two subanalytic functions. Under some conditions, we relate the critical points of $g$ on the real Milnor fibre $X \cap f^{-1}(δ) \cap B_ε$, $0 <| δ| \ll ε\ll 1$, to the topology of thi…

By studying the group of rigid motions, $PSH(1)$, in the 3D-Heisenberg group $H_1$, we define the density and the measure for the sets of horizontal lines. We show that the volume of a convex domain $D\subset H_1$ is equal to the integral of length of chord over all horizontal lines intersecting $D$. As the classical r…

We present two identities (contiguity relation and variation formula) concerning the volume of a spherically faced simplex in the Euclidean space. These identities are described in terms of Cayley-Menger determinants and their differentials involved with hypersphere arrangements. They are derived as a limit of fundamen…

The present paper considers volume formulae, as well as trigonometric identities, that hold for a tetrahedron in 3-dimensional spherical space of constant sectional curvature +1. The tetrahedron possesses a certain symmetry: namely rotation through angle $π$ in the middle points of a certain pair of its skew edges.

Considering the kinematics of the moving frame associated with a constant mean curvature surface immersed in S^3 we derive a linear problem with the spectral parameter corresponding to elliptic sinh-Gordon equation. The spectral parameter is related to the radius R of the sphere S^3. The application of the Sym formula …

In this research, Artificial Neural Networks (ANNs) have been used as a powerful tool to solve the inverse kinematic equations of a parallel robot. For this purpose, we have developed the kinematic equations of a Tricept parallel kinematic mechanism with two rotational and one translational degrees of freedom (DoF). Us…

Proposes KStar Diffuser for kinematics-aware bimanual robotic manipulation.

In the current paper, first we give the correct version of the formula for mean Berwald curvature of a spherically symmetric Finsler metric given in paper \cite{YCheWSon2015}. Further, we establish differential equations characterizing projectively as well as dually flat spherically symmetric Finsler metrics. Finally, …

The dimension of the space of SU(n) and translation invariant continuous valuations on $\mathbb{C}^n, n \geq 2$ is computed. For even $n$, this dimension equals $(n^2+3n+10)/2$; for odd $n$ it equals $(n^2+3n+6)/2$. An explicit geometric basis of this space is constructed. The kinematic formulas for SU(n) are obtained …

The Alesker-Poincare pairing for smooth valuations on manifolds is expressed in terms of the Rumin differential operator acting on the cosphere-bundle. It is shown that the derivation operator, the signature operator and the Laplace operator acting on smooth valuations are formally self-adjoint with respect to this pai…

This paper deals with some simple results about spherical functions of type $δ$, namely new integral formulas, new results about behavior at infinity and some facts about the related $C_σ$ functions.

The paper shows how to use hyperplanes and hyperballs interchangeably using inversive geometry.

Formula derived for spherical growth series of specific groups.

We study the a.s. convergence of a sequence of random embeddings of a fixed manifold into Euclidean spaces of increasing dimensions. We show that the limit is deterministic. As a consequence, we show that many intrinsic functionals of the embedded manifolds also converge to deterministic limits. Particularly interestin…

Researchers found new functions for spherical clothoids using special functions.

Study vanishing theorems for CR manifolds using contact forms and Laplacian formulas.

In this paper we develop a method to compute the Burns-Epstein invariant of a spherical CR homology sphere, up to an integer, from its holonomy representation. As application, we give a formula for the Burns-Epstein invariant, modulo an integer, of a spherical CR structure on a Seifert fibered homology sphere in terms …

Formula for transgressions on polyhedral manifolds, linking face volumes and outer angles.

Study warped product metrics on hyperbolic and complex hyperbolic manifolds.

Motivated by the Turaev-Viro invariant of 3-manifolds, we construct a formal topological invariant of closed, oriented 3-manifolds involving spherical tetrahedra as an application of the asymptotic formula of 6j symbols for the Quantum Enveloping Algebra of sl(2). This invariant can be considered as a spherical version…

We obtain a blow-up theorem for regular submanifolds in the Heisenberg group, where intrinsic dilations are used. Main consequence of this result is an explicit formula for the density of (p+1)-dimensional spherical Hausdorff measure restricted to a p-dimensional submanifold with respect to the Riemannian surface measu…

Study finds surfaces in spherical caps that maximize modified energy.