Reaching all of R^N by rotations from a linear subspace

Click For Summary
SUMMARY

The discussion centers on proving that all points in R^N can be reached by rotations from a linear subspace L, specifically when L has dimension N-3. The rotations are generated by three matrices T_i, which are derived from the 3x3 generators of SO(3). The equation x = exp(c_x T_x + c_y T_y + c_z T_z) y is proposed to determine if a solution exists for any vector x in R^N and y in L. Numerical experiments suggest that this rotation is always possible, prompting the need for a formal proof.

PREREQUISITES
  • Understanding of linear algebra, specifically linear subspaces and dimensions.
  • Familiarity with the mathematical concept of rotations in R^N.
  • Knowledge of matrix exponentiation and its applications in transformations.
  • Basic understanding of the special orthogonal group SO(3) and its generators.
NEXT STEPS
  • Research the properties of the special orthogonal group SO(3) and its role in 3D rotations.
  • Study matrix exponentiation techniques and their applications in solving transformation equations.
  • Explore formal proofs related to the reachability of points in R^N through linear transformations.
  • Investigate numerical methods for verifying the existence of solutions in high-dimensional spaces.
USEFUL FOR

Mathematicians, physicists, and researchers in quantum mechanics focusing on vibrational motion in molecules, as well as anyone interested in the geometric properties of linear transformations in high-dimensional spaces.

uekstrom
Messages
7
Reaction score
0
Hi all,

I have a problem related to quantum mechanical description of vibrational motion in molecules. I would like, for efficiency, to integrate over symmetries (global rotations) of the molecule.

I would like to prove (or disprove) that all points in [tex]R^N[/tex] can be reached by rotations from a linear subspace (let's call it L). In my particular case L has dimension N-3, and my rotations are generated by three matrices [tex]T_i[/tex], of the form

[tex]T_i = \mathrm{diag}(L_i,L_i,..)[/tex],

where [tex]L_x,L_y,L_z[/tex] are the 3x3 generators of SO(3). [tex]T_x[/tex] is then a block-diagonal matrix with copies of [tex]L_x[/tex] on the diagonal.

So what I want to prove (or disprove) is if, for a given x,

[tex]x = exp\left( c_x T_x + c_y T_y + c_z T_z \right) y[/tex]

has a solution for x from [tex]R^N[/tex] and y from the linear subspace L. L can be chosen arbitrarily, but should not depend on x. From numerical experiments is seems like this rotation is always possible, but I would like to have a formal proof. I will add more details if necessary.
 
Last edited:
Physics news on Phys.org
Let ##v\in \mathbb{R}^N## be any given vector. Since ##L## is a linear subspace, there is an element in ##w\in L## with ##|v|=|w|##. Then there is always a rotation which transforms ##w## into ##v##. It can be solved in the two dimensional subspace spanned by ##v,w## and then extended in any way to ##\mathbb{R}^N##.
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
Replies
0
Views
664
  • · Replies 17 ·
Replies
17
Views
7K
Replies
5
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 6 ·
Replies
6
Views
11K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 1 ·
Replies
1
Views
6K