arXiv research

The authors find geodesics, shortest arcs, diameter, cut locus, and conjugate sets for left-invariant sub-Riemannian metric on the Lie group SO(3), under condition that the metric is right-invariant relative to the Lie subgroup $SO(2)\subset SO(3)$.

Let H be a closed, noncompact subgroup of a simple Lie group G, such that G/H admits an invariant Lorentz metric. We show that if G = SO(2,n), with n > 2, then the identity component of H is conjugate to the identity component of SO(1,n). Also, if G = SO(1,n), with n > 2, then the identity component of H is conjugate t…

The author finds geodesics, shortest arcs, cut locus, and conjugate sets for left-invariant sub-Riemannian metric on the Lie group $SO_0(2,1)$ under the condition that the metric is right-invariant relative to the Lie subgroup $SO(2)\subset SO_0(2,1)$.

The authors found geodesics, shortest arcs, cut loci, and conjugate sets for left-invariant sub-Riemannian matric on the Lie group $SL(2)$, which is right-invariant relative to the Lie subgroup $SO(2)\subset SL(2)$ (in other words, for invariant sub-Riemannian metric on weakly symmetric space $(SL(2)\times SO(2))/SO(2)…

The paper studies conjugate points on Lie groups with specific metrics.

Study geodesics and shortest arcs on Lie groups with specific metrics.

A left-invariant sub-Riemannian metric $d$ on the shortened Lorentz group $SO_0(2,1)$ under the condition that $d$ is right-invariant relative to the orthogonal Lie subgroup $1\otimes SO(2)$ is studied. The distance between arbitrary two elements, the cut locus (as the union of the subgroup $1\otimes SO(2)$ with the an…

Study on geodesic distances on SE(3)/SO(2) in machine learning.

We construct a functor which maps conjugate pseudo-Anosov automorphisms of a surface to the so-called stably isomorphic stationary AF-algebras; the functor gives new topological invariants of three dimensional manifolds coming from the known invariants of the AF-algebras. The main invariant is a triple (L, [I], K), whe…

Study geodesics and shortest arcs on Lie groups with specific metrics.

The paper generalizes a mean value theorem for solutions of the ultrahyperbolic equation.

In this note we prove the following three algebraic facts which have applications in the theory of holonomy groups and homogeneous spaces: Any irreducibly acting connected subgroup $G \subset Gl(n,\rr)$ is closed. Moreover, if $G$ admits an invariant bilinear form of Lorentzian signature, $G$ is maximal, i.e. it is con…

The paper studies Jacobi fields and conjugate points in projective sprays.

In this paper we study the invariant Carnot-Caratheodory metrics on $SU(2)\simeq S^3$, $SO(3)$ and $SL(2)$ induced by their Cartan decomposition and by the Killing form. Beside computing explicitly geodesics and conjugate loci, we compute the cut loci (globally) and we give the expression of the Carnot-Caratheodory dis…

We introduce a multiple conjugation biquandle, and show that it is the universal algebra to define a semi-arc coloring invariant for handlebody-links. A multiple conjugation biquandle is a generalization of a multiple conjugation quandle. We extend the notion of $n$-parallel biquandle operations for any integer $n$, an…

Power quandles improve group invariants and allow group presentations.

Bavard proved a duality theorem between commutator length and quasimorphisms. Burago, Ivanov and Polterovich introduced the notion of a conjugation-invariant norm which is a generalization of commutator length. Entov and Polterovich proved that Oh-Schwarz spectral invariants are subset-controlled quasimorphisms which a…

New connections found on zero-mean multivariate normal distributions.

Quandle coloring detects causality in spacetime links.

I review the milestones of the mathematical work of Krzysztof P. Wojciechowski. This will at the same time be a tour of Analysis and Geometry of Boundary Value Problems. Starting in the 80s I will discuss the spectral flow and the general linear conjugation problem, the Calderon projector and the topology of space of e…

Survey on conjugate surfaces in product spaces.

We prove that, for a hyperbolic two bridge knot, infinitely many Dehn fillings are rigid in $SO_0(4,1)$. Here rigidity means that any discrete and faithful representation in $SO_0(4,1)$ is conjugate to the holonomy representation in $SO_0(3,1)$. We also show local rigidity for almost all Dehn fillings.

The generalized Legendre transform method of Lindstrom and Rocek yields hyperkaehler metrics from holomorphic functions. Its main ingredients are sections of ${\cal O}(2j)$ bundles over the twistor space satisfying a reality condition with respect to antipodal conjugation on the hyperkaehler sphere of complex structure…

The goals of this article are twofold : 1) to compute the conjugate locus of a geodesic that lies in the center of a simply connected, 2-step nilpotent Lie group with a left invariant metric 2) compare the isometry types of two such nilpotent Lie groups whose conjugate loci for central geodesics are "the same" in a sui…

Thompson sampling has impressive empirical performance for many multi-armed bandit problems. But current algorithms for Thompson sampling only work for the case of conjugate priors since these algorithms require to infer the posterior, which is often computationally intractable when the prior is not conjugate. In this …

The conjugate locus of a point $p$ in a surface $\mathcal{S}$ will have a certain number of cusps. As the point $p$ is moved in the surface the conjugate locus may spontaneously gain or lose cusps. In this paper we explain this `bifurcation' in terms of the vanishing of higher derivatives of the exponential map; we der…

Study natural and conjugate mates of Frenet curves in Lie groups.

Let $G$ be a compact, simply connected Lie group. If $\mathcal{C}_1,\mathcal{C}_2$ are two $G$-conjugacy classes, then the set of elements in $G$ that can be written as products $g=g_1g_2$ of elements $g_i\in \mathcal{C}_i$ is invariant under conjugation, and its image under the quotient map $G\to G/\operatorname{Ad}(G…

We show that if $Γ$ is an irreducible subgroup of ${\rm SU}(2,1)$, then $Γ$ contains a loxodromic element $A$. If $A$ has eigenvalues $λ_1 = λe^{i\varphi},$ $λ_2 = e^{-2i\varphi}$, $λ_3 = λ^{-1}e^{i\varphi}$, we prove that $Γ$ is conjugate in ${\rm SU}(2,1)$ to a subgroup of ${\rm SU}(2,1,\mathbb{Q}(Γ,λ)),$ where $\mat…

We consider orientation-preserving actions of a finite group G on the 3-sphere S^3 (and also on Euclidean space R^3). By the geometrization of finite group actions on 3-manifolds, if such an action is smooth then it is conjugate to an orthogonal action, and in particular G is isomorphic to a subgroup of the orthogonal …

We prove sectional and Ricci-type comparison theorems for the existence of conjugate points along sub-Riemannian geodesics. In order to do that, we regard sub-Riemannian structures as a special kind of variational problems. In this setting, we identify a class of models, namely linear quadratic optimal control systems,…

The computational and storage complexity of kernel machines presents the primary barrier to their scaling to large, modern, datasets. A common way to tackle the scalability issue is to use the conjugate gradient algorithm, which relieves the constraints on both storage (the kernel matrix need not be stored) and computa…

A group is said to be bounded if it has a finite diameter with respect to any bi-invariant metric. In the present paper we discuss boundedness of various groups of diffeomorphisms.

The study examines continuous mean curvature functions on manifolds without conjugate points.

Given a knot and an SL(n,C) representation of its group that is conjugate to its dual, the representation that replaces each matrix with its inverse-transpose, the associated twisted Reidemeister torsion is reciprocal. An example is given of a knot group and SL(3,Z) representation that is not conjugate to its dual for …

We construct a gerbe over a complex reductive Lie group G attached to an invariant bilinear form on a maximal diagonalizable subalgebra which is Weyl group invariant and satisfies a parity condition. By restriction to a maximal compact subgroup K, one then gets a gerbe over K. For a simply-connected group, the parity c…

We make use of the action of $H_1(Y)$ in Heegaard Floer homology to generalize the Ozsváth-Szabó correction terms for $3$-manifolds with standard $\operatorname{HF}^\infty$. We establish the basic properties of these invariants: conjugation invariance, behavior under orientation reversal, additivity, and spin$^c$ ratio…

Geodesic flows on specific manifolds are structurally stable.

The exponential map fails to be injective near critical points in sub-Riemannian geometry.

Study on geodesics in Cartan group sub-Riemannian problem, proving conjugate time relation to Maxwell time.

Andersen, Masbaum and Ueno conjectured that certain quantum representations of surface mapping class groups should send pseudo-Anosov mapping classes to elements of infinite order (for large enough level $r$). In this paper, we relate the AMU conjecture to a question about the growth of the Turaev-Viro invariants $TV_r…

We study the singularities of the exponential map in semi Riemannian locally symmetric manifolds. Conjugate points along geodesics depend only on real negative eigenvalues of the curvature tensor, and their contribution to the Maslov index of the geodesic is computed explicitly. We prove that degeneracy of conjugate po…

In this paper, we introduce the (co)homology group of a multiple conjugation biquandle. It is the (co)homology group of the prismatic chain complex, which is related to the homology of foams introduced by J. S. Carter, modulo a certain subchain complex. We construct invariants for $S^1$-oriented handlebody-links using …

Let $Γ$ denote the mapping class group of the plane minus a Cantor set. We show that every action of $Γ$ on the circle is either trivial or semi-conjugate to a unique minimal action on the so-called simple circle.

Given a finite collection of $C^1$ complex vector fields on a $C^2$ manifold $M$ such that they and their complex conjugates span the complexified tangent space at every point, the classical Newlander-Nirenberg theorem gives conditions on the vector fields so that there is a complex structure on $M$ with respect to whi…

The paper contains an essentially self-contained treatment of Khovanov homology, Khovanov-Lee homology as well as the Rasmussen invariant for virtual knots and virtual knot cobordisms which directly applies to classical knot and classical knot cobordisms. To do so, we give an alternate formulation for the Manturov defi…

Following an idea of Dadok, Harvey and Lawson, we apply the triality property of SO(8) to study the comass of certain self-dual 4-forms on R^8. In particular, we prove that the Cayley 4-form has comass 1 and that any self-dual 4-form realizing the maximal Wirtinger ratio is SO(8)-conjugate to the Cayley 4-form. We also…

We propose a conjugate gradient type optimization technique for the computation of the Karcher mean on the set of complex linear subspaces of fixed dimension, modeled by the so-called Grassmannian. The identification of the Grassmannian with Hermitian projection matrices allows an accessible introduction of the geometr…