arXiv research

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

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 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…

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…

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…

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…

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…

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.

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…

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…

We develop a new approach on the (1+3) threading of spacetime $(M, g)$ with respect to a congruence of curves defined by an arbitrary timelike vector field. The study is based on spatial tensor fields and on the Riemannian spatial connection $\nabla^{\star}$, which behave as $3D$ geometric objects. We obtain new formul…

The paper uses complex-valued functions to simplify plane differential geometry and kinematics.

Paper proposes a smart neck-band for detecting neck postures using integrated kinematic and kinetic data.

Affine deformations serve as basic examples in the continuum mechanics of deformable 3-dimensional bodies (referred as homogeneous deformations). They preserve parallelism and are often used as an approximation to general deformations. However, when the deformable body is a membrane, a shell or an interface modeled by …

The thesis explores kinematical symmetries beyond Lorentzian spacetime.

This is a revised version of the notes from the week-long course I gave at the Centre de Recerca Matematica, Barcelona, in September of 2010. The aim is to give a working overview of recent methods and results in "Blaschkean integral geometry" (i.e. the subject revolving around the kinematic formulas of Blaschke) in th…

Explains non-lorentzian theories and their dynamics.

Diffeomorphism freedom induces a gauge dependence in the theory of spacetime perturbations. We derive a compact formula for gauge transformations of perturbations of arbitrary order. To this end, we develop the theory of Taylor expansions for one-parameter families (not necessarily groups) of diffeomorphisms. First, we…

Study explores kinematics of surfaces under metric restrictions.

Study the geometry and dynamics of skew evolutes and involutes, related to bicycle kinematics.

Self-driving vehicles (SDVs) hold great potential for improving traffic safety and are poised to positively affect the quality of life of millions of people. To unlock this potential one of the critical aspects of the autonomous technology is understanding and predicting future movement of vehicles surrounding the SDV.…

In this contribution we review results on the kinematics of a quantum system localized on a connected configuration manifold and compatible dynamics for the quantum system including external fields and leading to non-linear Schrödinger equations for pure states.

Classical integral geometry takes place in Euclidean space, but one can attempt to imitate it in any other metric space. In particular, one can attempt this in R^n equipped with the metric derived from the p-norm. This has, in effect, been investigated intensively for 1<p<\infty, but not for p=1. We show that integral …

A kinematics of the motion of a car is reformulated in terms of the theory of gauge potentials (connection on principal bundle). E(2)-connection originates in the no-slipping contact of the car with a road.

New kinematic model for a spin-rolling sphere using Darboux frame.

We consider the kinematics of specific fluid spacetimes admitting timelike congruences of Ricci Solitons. These fluids includes string cloud, string fluid, perfect fluid, radially symmetric fluid, anisotropic fluid and relativistic magneto-fluid. Results are obtained and important physical aspects are discussed.

In this paper, we carry a detailed study of mechanical systems with configuration space $Q\longrightarrow Q/G$ for which the base $Q/G$ variables are being controlled. The overall system's motion is considered to be induced from the base one due to the presence of general non-holonomic constraints. It is shown that the…

Generalizes kinematical Lie algebras for isotropic spacetimes.

We consider the problem of inverse kinematics (IK), where one wants to find the parameters of a given kinematic skeleton that best explain a set of observed 3D joint locations. The kinematic skeleton has a tree structure, where each node is a joint that has an associated geometric transformation that is propagated to a…

We extend Kac-Rice formula to compute expected intersections of random submanifolds.

A kinematic method selects the deformation Laplacian for fluid dynamics on Riemannian manifolds.