Skip to main content

All Questions

Filter by
Sorted by
Tagged with
8 votes
2 answers
759 views

Computing Haar measure of matrices sampled from SO(n)

I am looking to sample uniform matrices from SO(n). I know that uniform matrices can be sampled from O(n) by taking the QR decomposition of Gaussian random square matrices and adjusting the sign of ...
1 vote
0 answers
61 views

Cardinal of finite orthogonal groups

Let $p \neq 2$ and let $F$ be a $p$-adic field with ring of integers $\mathcal{O}$ and maximal ideal $\mathfrak{p}$. By a quadratic space $V_{\mathcal{O}}$ of dimension $d$ over $\mathcal{O}$, I mean ...
1 vote
1 answer
112 views

Orthonormal matrices with columns that switch signs

Consider an orthonormal matrix $W\in\mathbb{R}^{2n\times 2n}$ that satisfies the "abs property" $$|w_i|^T |w_{i+n}|=1$$ for all $i \in \{1,2,\ldots,n\}$, where $w_i \in \mathbb{R}^{2n}$ is ...
1 vote
0 answers
188 views

Is the group law for SO(2n, R) encoded in so(2n,R)?

Note that this is a partial duplicate of my math.stackexchange question here. In this post I am asking something slightly broader. Note that I am a mathematical physicist and not a representation ...
6 votes
3 answers
3k views

functions with orthogonal Jacobian

I'm working on a model that would require to use vectorial functions of $\mathbb{R}^n \rightarrow \mathbb{R}^n$, such that $\forall x, y \in \mathbb{R}^n$, $\lVert \frac{df(x)}{dx}(y) \lVert_2 = \...
4 votes
1 answer
332 views

Parametrizing quotient of matrices by the orthogonal group

I am trying to parametrize the collection of $d\times m$ real matrices quotient $d\times d$ orthogonal matrices. Formally, define $\sim$ on $\mathbb{R}^{d\times m}$ by $X\sim Y$ if there exists an ...
3 votes
1 answer
687 views

Upper bound on the sectional curvature of the orthogonal group

Consider the orthogonal group $O(n)$ as a Riemannian manifold endowed with the usual (bi-invariant) metric $\langle P, Q \rangle_A = \textrm{Tr}\ P^\top Q$ for tangent vectors $P, Q$, with $$T_A O(n) =...
6 votes
2 answers
236 views

Bounding the non-multiplicativity of isometric projection

Every $A \in \text{GL}_n(\mathbb{R})$ has a unique Polar decomposition: $A=O_AP_A$, $O \in \operatorname{O}_n, P \in \operatorname{Psym}_n$. In particular the orthogonal factor is given by $$O_A=A(\...
5 votes
1 answer
214 views

When does isometric projection respect multiplication?

Every $A \in \text{GL}_n(\mathbb{R})$ has a unique orthogonal polar factor $O_A=A(\sqrt{A^TA})^{-1}$, ( $A=O_AP_A$, $O \in \operatorname{O}_n, P \in \operatorname{Psym}_n$see Polar decomposition). ...
0 votes
2 answers
234 views

Functions with scalar times orthogonal Jacobian [duplicate]

I am interested in understanding functions $f:\mathbb{R}^d \rightarrow \mathbb{R}^d $ whose Jacobian at every point $x \in \mathbb{R}^d$ is a scalar times an orthogonal matrix. I've seen a similar ...