arXiv research

Maps in Carnot groups are equivalent to solutions of a PDE system.

In this article we prove that the codimension of the abnormal set of the endpoint map for certain classes of Carnot groups of step 2 is at least three. Our result applies to all step 2 Carnot groups of dimension up to 7 and is a generalisation of a previous analogous result for step 2 free nilpotent groups.

Study Sard problem in step 2 and filiform Carnot groups.

A Carnot group $\mathbb{G}$ admits Lusin approximation for horizontal curves if for any absolutely continuous horizontal curve $γ$ in $\mathbb{G}$ and $\varepsilon>0$, there is a $C^1$ horizontal curve $Γ$ such that $Γ=γ$ and $Γ'=γ'$ outside a set of measure at most $\varepsilon$. We verify this property for free Carno…

We focus our attention on the notion of intrinsic Lipschitz graphs, inside a special class of metric spaces i.e. the Carnot groups. More precisely, we provide a characterization of locally intrinsic Lipschitz functions in Carnot groups of step 2 in terms of their intrinsic distributional gradients.

We introduce a special class of nilpotent Lie groups of step 2, that generalizes the so called $H$(eisenberg)-type groups, defined by A. Kaplan in 1980. We change the presence of inner product to an arbitrary scalar product and relate the construction to the composition of quadratic forms. We present the geodesic equat…

We consider control-linear left-invariant time-optimal problems on step 2 Carnot groups with strictly convex set of control parameters (in particular, sub-Finsler problems). We describe all linear-in-momenta Casimirs on the dual of the Lie algebra. In the case of rank 3 Lie groups we describe the symplectic foliation o…

Continuous functions on graphs in Carnot groups satisfy a Burgers' type equation.

Eisenhart's theorem extended to sub-Riemannian metrics on specific Lie algebras.

We consider $H$(eisenberg)-type groups whose law of left translation gives rise to a bracket generating distribution of step 2. In the contrast with sub-Riemannian studies we furnish the horizontal distribution with a nondegenerate indefinite metric of arbitrary index and investigate the problem concerning causal geode…

We show that strictly abnormal geodesics arise in graded nilpotent Lie groups. We construct such a group, for which some Carnot geodesics are strictly abnormal; in fact, they are not normal in any subgroup. In the step-2 case we also prove that these geodesics are always smooth. Our main technique is based on the equat…

Study of control problems on Carnot groups with SO(3) symmetry using geometric algebra.

Almost perimeter-minimizing boundaries in plentiful groups can be approximated by Lipschitz graphs.

We consider sets of locally finite perimeter in Carnot groups. We show that if E is a set of locally finite perimeter in a Carnot group G, then for almost every x in G with respect to the perimeter measure of E, some tangent of E at x is a vertical halfspace. This is a partial extension of a theorem of Franchi-Serapion…

Study examines harmonic functions in sub-Riemannian and RCD settings.

L. Capogna and M. Cowling showed that if $φ$ is 1-quasiconformal on an open subset of a Carnot group G, then composition with $φ$ preserves Q-harmonic functions, where Q denotes the homogeneous dimension of G. Then they combine this with a regularity theorem for Q-harmonic functions to show that $φ$ is in fact $C^\inft…

We prove that H-type Carnot groups of rank $k$ and dimension $n$ satisfy the $\mathrm{MCP}(K,N)$ if and only if $K\leq 0$ and $N \geq k+3(n-k)$. The latter integer coincides with the geodesic dimension of the Carnot group. The same result holds true for the larger class of generalized H-type Carnot groups introduced in…

We consider (smooth) solutions of the mean curvature flow of graphs over bounded domains in a Lie group free up to step two (and not necessarily nilpotent), endowed with a one parameter family of Riemannian metrics $σ_\e$ collapsing to a subRiemannian metric $σ_0$ as $\e\to 0$. We establish $C^{k,α}$ estimates for this…

In Carnot-Caratheodory or sub-Riemannian geometry, one of the major open problems is whether the conclusions of Sard's theorem holds for the endpoint map, a canonical map from an infinite-dimensional path space to the underlying finite-dimensional manifold. The set of critical values for the endpoint map is also known …

Sharp estimates on 2-step nilpotent Lie groups' metrics and cones.

Study uniformly differentiable graphs in Carnot groups, proving area formulas.

We give a notion of BV function on an oriented manifold where a volume form and a family of lower semicontinuous quadratic forms $G_p: T_pM \to [0,\infty]$ are given. When we consider sub-Riemannian manifolds, our definition coincide with the one given in the more general context of metric measure spaces which are doub…

Investigates intrinsic Lipschitz sections in nonlinear quotient maps.

In this article we study the validity of the Whitney $C^1$ extension property for horizontal curves in sub-Riemannian manifolds endowed with 1-jets that satisfy a first-order Taylor expansion compatibility condition. We first consider the equiregular case, where we show that the extension property holds true whenever a…

We establish lower bounds for the first non-zero eigenvalue for the natural geometric sub-elliptic Laplacian operator defined on sub-Riemannian manifolds of step 2 that satisfy a positive curvature condition. The methods are very general and can be applied even when the sub-Riemannian geometry has considerable torsion.

We show that an analogue of the Ball-Box Theorem for step 2, completely non-integrable bundles from smooth sub-Riemannian geometry hold true for a class of non-differentiable tangent subbundles that satisfy a geometric condition. In the final section of the paper we give examples of such bundles and an application to d…

In this paper, we consider generic corank 2 sub-Riemannian structures, and we show that the Spherical Hausdorf measure is always a C^1-smooth volume, which is in fact generically C^2- smooth out of a stratified subset of codimension 7. In particular, for rank 4, it is generically C^2 . This is the continuation of a pre…

The first aim of the present paper is to compare various sub-Riemannian structures over the three dimensional sphere $S^3$ originating from different constructions. Namely, we describe the sub-Riemannian geometry of $S^3$ arising through its right Lie group action over itself, the one inherited from the natural complex…

Here we show existence of numerous subsets of Euclidean and metric spaces that, despite having empty interior, still support Poincaré inequalities. Most importantly, our methods do not depend on any rectilinear or self-similar structure of the underlying space. We instead employ the notion of uniform domain of Martio a…

In this paper, we consider critical maps of a horizontal energy functional for maps from a sub-Riemannian manifold to a Riemannian manifold. These critical maps are referred to as subelliptic harmonic maps. In terms of the subelliptic harmonic map heat flow, we investigate the existence problem for subelliptic harmonic…

Study shows solutions of differential inclusions are homotopy equivalent in $W^{1,p}$-topology.

The paper characterizes and examines nilpotent complex structures on stratified Lie algebras.

Efficiently searches ancestral graphs using multivariate information.

In this paper, we focus on developing a novel mechanism to preserve differential privacy in deep neural networks, such that: (1) The privacy budget consumption is totally independent of the number of training steps; (2) It has the ability to adaptively inject noise into features based on the contribution of each to the…

Video sequences contain rich dynamic patterns, such as dynamic texture patterns that exhibit stationarity in the temporal domain, and action patterns that are non-stationary in either spatial or temporal domain. We show that a spatial-temporal generative ConvNet can be used to model and synthesize dynamic patterns. The…

Algorithm learns mixtures of Markov chains and MDPs from short trajectories.

Study proves existence of multiple geodesics in a specific metric space.

The paper investigates subelliptic harmonic maps with potential using heat flow.

WeSinger improves singing voice synthesis with data augmentation and specialized modules.

Recurrent-DBN models dynamic relational data with interpretable latent structures.

The Expectation-Maximization (EM) algorithm for mixture models often results in slow or invalid convergence. The popular convergence proof affirms that the likelihood increases with Q; Q is increasing in the M -step and non-decreasing in the E-step. The author found that (1) Q may and should decrease in some E-steps; (…

A neural network predicts drug interactions using attention mechanisms.

Graph convolutional networks (GCNs) have recently become one of the most powerful tools for graph analytics tasks in numerous applications, ranging from social networks and natural language processing to bioinformatics and chemoinformatics, thanks to their ability to capture the complex relationships between concepts. …

This paper solves a complex differential relation using a novel 'avoidance trick'.

In this paper, we propose a novel deep learning framework for anatomy segmentation and automatic landmark- ing. Specifically, we focus on the challenging problem of mandible segmentation from cone-beam computed tomography (CBCT) scans and identification of 9 anatomical landmarks of the mandible on the geodesic space. T…

Study shows flipping a small subset of labels can severely damage machine learning models.

Proposes TPIS for early and low-cost TB vs. pneumonia diagnosis.

New link groups are derived from torus necklaces, connecting braid groups to reflection groups.