Intereting Posts

Is the sequence $a_{n}=\prod\limits_{i=1}^{n}\left(1+\frac{i}{n^2}\right)$ decreasing?
Cover $\{1,2,…,100\}$ with minimum number of geometric progressions?
Free boolean algebra
Proving a Ring is commutative if every element is idempotent
Are there any positive integers $a, b, c, d$ such that both $(a, b, c)$ and $(b, c, d)$ are Pythagorean triples?
When do we have $Rad(I)=I$ for an ideal $I$ of a ring $R$?
Definition of set.
Possibility to simplify $\sum\limits_{k = – \infty }^\infty {\frac{{{{\left( { – 1} \right)}^k}}}{{a + k}} = \frac{\pi }{{\sin \pi a}}} $
$\sum_{n=1}^{\infty}\left(\frac{z}{1-z}\right)^n$. Determine if the following series converges or diverges
Linear Homogeneous Recurrence Relations and Inhomogenous Recurrence Relations
If every prime ideal is maximal, what can we say about the ring?
Find the sum of the series (rearranged harmonic series)
Explain why $E(X) = \int_0^\infty (1-F_X (t)) \, dt$ for every nonnegative random variable $X$
M compact $p\in M$ , there exist $f:M-p\to M-p$ continuous bijection but not homeomorphism?
What does $GL_n(R)$ look like?

Consider $GL_n^+$, the group of (real) invertible matrices with positive determinant.

Is it possible to find an **explicit formula** for a metric on $GL_n^+$ which is left-invariant, i.e

$$d(A,B)=d(gA,gB) \, \,\forall A,B,g \in GL_n^+$$

- Advanced beginners textbook on Lie theory from a geometric viewpoint
- Compute $ad_X$, $ad_Y$, and $ad_Z$ relative to a basis
- Is the infinitesimal generator for Lie groups the same as the infinitesimal generator of a Markov semigroup?
- Free and proper action
- Can somebody explain the plate trick to me?
- Jacobian of exponential mapping in SO3/SE3

and which generates the standard topology on $GL_n^+$.

(Without the last requirement the discrete metric will do).

Even finding a concrete example of a metric which is only “scale invariant” (satisfying $d(A,B)=d(rA,rB) \, \,\forall r \in \mathbb{R}$) will be an achievement. In fact even finding a metric which is invariant under multiplication by $r=2$ seems non-trivial.

*A Riemannian approach:*

One can take the metric $ds^2 = \text{tr}\bigl((g^{-1}dg)^Tg^{-1}dg\bigr)$ on $GL_n^+$ (this is the left translation of the standard Frobenius metric on $T_IGL_n^+ =M_n$), and to use its induced distance.

The question is if we can compute this distance explicitly.

For any symmetric positive-definite matrix $P$ $$d(I,P)=\|\log P\|_F \tag{*},$$

where $\|\cdot \|_F$ is the Frobenius norm, and $\log P$ is the unique symmetric logarithm of the matrix $P$.

This is proved here in section 3.3. The point is that it’s easier to compute $d(A,\text{SO(n)})$ than $d(A,B)$; A minimizing geodesic from a point to a submanifold must intersect that submanifold orthogonally, hence we obtain more information which simplifies the analysis.

It can be shown that

$$ d(A,\text{SO(n)})=d(A,Q(A))=\|\log \sqrt{A^TA}\|_F,$$ where $Q(A)$ is the orthogonal polar factor of $A$. In particular for positive matrices $P$, $Q(P)=I$, so we obtain $(*)$.

Calculating the distance $d(I,X)$ for an arbitrary is open for now.

**Additional partial results:**

Any such metric is determined by $f(X)=d(X,I)$, since

$$ d(A,B)=d(I,A^{-1}B)=f(A^{-1}B) \tag{1}$$

Transating the requirements from a metric we get that if $d$ is given in terms of $f$ as in $(1)$, then $d$ is metric if and only if

**Positivity:** $f(X)=0 \iff X=I \tag{2}$

**Symmetry:** $f(X)=f(X^{-1}) \tag{3}$

**Triangle inequality:** $f(XY) \le f(X) + f(Y) \tag{4}$

An equivalent formulation is thus following:

Find a non-negative function $f:GL_n^+ \to \mathbb{R}$ satisfying requirements $(2)-(4)$.

*Reduction of the problem to $SL_n$:*

Consider $f(X)=|\ln (\det X)|$. $\, \,f$ satisfies $(3),(4)$, and $f(X)=0 \iff X \in SL_n$.

Now, suppose we constructed a function $\tilde f:SL_n \to \mathbb{R}^+$ satisfying $(2)-(4)$ above.

Then, by defining

$$ \hat f(X)=f(X)+\tilde f(\frac{X}{\det(X)^{\frac{1}{n}}})$$

it is easy to see that $\hat f:GL_n^+ \to \mathbb{R}$ also satisfies $(2)-(4)$ as required.

Of course, an immediate way to “construct” a left-invariant metric is via left-invariant Riemannian metrics (which are very easy to build), but this usually** does not induce an explicit “formula-like” metric.

Also, is it true that in some sense the space of left-invariant metrics is “finite-dimensional”? (again I am talking on arbitrary metrics not just those which are induced by Riemannian metrics)

To make this notion more precise, some care should be taken. For instance, there are ways to generate new invariant metrics from old one (e.g. by $d \to \sqrt{d}$), but for this discussion we can identify two metrics if one is a function of the other.

I now think perhaps there is no way this space will be finite-dimensional. Since any left translation of a smooth norm, will induce a Finsler norm, and the space of smooth norms is not finite-dim in any reasonable way, we conclude that the space of metrics is also infinite-dim. (Since different Finsler norms give rise to different induced distances).

** For $n=1$, $GL_n^+=\mathbb{R}^{>0}$, and the fomula:

$d(x,y)=|\ln(\frac{y}{x})|$ does the job. (It is in fact induced by the Riemannian metric obtained from left translation of the standrad metric on $T_1\mathbb{R}$). The obvious problem with generalizing this to higher dimensions is that there is no global matrix logarithm on $GL_n^+$, one has to choose a branch.

- Jacobian of exponential mapping in SO3/SE3
- Are closed orbits of Lie group action embedded?
- Proofs that: $\text{Sp}(2n,\mathbb{C})$ is Lie Group and $\text{sp}(2n,\mathbb{C})$ is Lie Algebra
- What is the equation of the orthogonal group (as a variety/manifold)?
- orthogonal group of a quadratic vector space
- free subgroups of $SL(2,\mathbb{R})$
- Differential of the inversion of Lie group
- The Quaternions and $SO(4)$
- equation involving the integral of the modular function of a topological group
- Two Definitions of the Special Orthogonal Lie Algebra

Let $P$ be a convex polytope in $R^n$ whose interior contains $0$ and which has no nontrivial linear symmetries (i.e. if $A$ is an invertible linear map, $AP=P$ implies that $A$ is the identity). In particular, $P\ne -P$. You can easily construct such $P$ by taking a suitable simplex or a cube. Then $P$ defines a nonsymmetric norm $||\cdot||$ on

$R^n$ for which $P$ is the unit ball, by the usual procedure: $||v||=t$, where $t\in R_+$ is such that $t^{-1}v$ is on the boundary of $P$, and setting $||0||=0$. Using this norm we define the standard operator norm on linear endomorphisms of $R^n$:

$$

||A||= \max \{||Av||: v\in P\}.

$$

This norm satisfies $||AB||\le ||A||\cdot ||B||$ and for every invertible matrix $A$,

$$

g(A)=\max(||A||, ||A^{-1}||)\ge 1$$

with equality if and only if $A=I$, the identity matrix.

The function $g$ is “explicit” in the sense that $||A||$ is easily computable:

It equals maximum of the norms $||Av_i||$, where $v_i$’s are the vertices of $P$.

Now, set $f(A):= \log(g(A))$. This is your function. (All the required properties are clear.) If it is of any use, I do not know.

- Show that $(\mathbb{Q}^*,\cdot)$ and $(\mathbb{R}^*,\cdot)$ aren't cyclic
- Let $X_1$ and $X_2$ are independent $N(0, \sigma^2)$ random variables. What is the distribution of $X_1^2 + X_2^2$?
- Integration of $\sin(\frac{1}{x})$
- Can there be a function that's even and odd at the same time?
- When can the order of limit and integral be exchanged?
- (ZF) Prove 'the set of all subsequential limits of a sequence in a metric space is closed.
- differential equation : non-homogeneous solution, finding YP
- Solving the diophantine equation $y^{2}=x^{3}-2$
- Prove $R \times R$ is NOT an integral domain
- When does variété mean manifold?
- Smallest integer N such that among every ten consecutive larger integers is at least one having at least three distinct prime factors?
- Finding solutions to the diophantine equation $7^a=3^b+100$
- How to count the number of solutions for this expression modulo a prime number $p$?
- Limit of a sequence involving root of a factorial: $\lim_{n \to \infty} \frac{n}{ \sqrt {n!}}$
- What is the most efficient numerical base system?