Matrices Commuting with Matrix Exponential

Click For Summary

Discussion Overview

The discussion revolves around the relationship between matrices and their exponentials, specifically whether the commutation of a matrix \( A \) with the matrix exponential \( e^B \) implies the commutation of \( A \) with \( B \). Participants explore this question through examples, counterexamples, and theoretical considerations, focusing on skew-Hermitian matrices and the implications of matrix properties.

Discussion Character

  • Debate/contested
  • Exploratory
  • Mathematical reasoning

Main Points Raised

  • Some participants assert that \( [A, e^B] = 0 \) if \( [A, B] = 0 \) can be proven, but they question whether this is an "if and only if" statement.
  • Counterexamples involving nilpotent matrices and Pauli spin matrices are suggested to explore the conditions under which the commutation holds.
  • One participant proposes that if \( [A, B] = 0 \), then expanding \( e^B \) in a power series leads to \( [A, e^B] = A \), but this is challenged by the fact that all matrices commute with the identity matrix.
  • Another participant discusses the implications of skew-Hermitian matrices, noting that they are unitarily diagonalizable and have purely imaginary eigenvalues, which complicates the search for counterexamples.
  • There is a suggestion to restrict eigenvalues to ensure the injectivity of the exponential function, which could lead to simultaneous diagonalizability of \( A \) and \( B \).
  • Some participants express curiosity about the specific conditions under which \( [A, e^B] = 0 \) would imply \( [A, B] = 0 \), particularly in the context of skew-Hermitian matrices.
  • Discussions also touch on the notation and definitions of commutation, with clarifications about the algebraic context of the notation used.

Areas of Agreement / Disagreement

Participants do not reach a consensus on whether \( [A, e^B] = 0 \) implies \( [A, B] = 0 \). Multiple competing views and counterexamples are presented, indicating that the discussion remains unresolved.

Contextual Notes

Participants mention the need for specific conditions, such as eigenvalue restrictions, to explore the implications of commutation. There are also references to the complexities introduced by the properties of skew-Hermitian matrices and the nature of the exponential function.

  • #31
Thanks.

StoneTemplePython said:
Looking at this in terms of a power series really misses the mark as we have powerful diagonalization theorems that we may lean on.
And if you want to kill the last "by-foot" step, you could substitute 4) by the adjoint representations and that exp is a local diffeo around 0.
 

Similar threads

Undergrad Solving matrix commutator equations?
  • · Replies 7 ·
Replies
7
Views
4K
Undergrad In 4x4 matrix when does row swapping not affect eigenvaluess?
  • · Replies 6 ·
Replies
6
Views
4K
Undergrad Scalar powers of a matrix exponential
  • · Replies 6 ·
Replies
6
Views
2K
Undergrad Congruence for Symmetric and non-Symmetric Matrices for Quadratic Form
  • · Replies 7 ·
Replies
7
Views
2K
Graduate Elementwise Derivative of a Matrix Exponential
  • · Replies 2 ·
Replies
2
Views
3K
Undergrad Variant of Baker-Campbell-Hausdorff Formula
  • · Replies 3 ·
Replies
3
Views
2K
Graduate The product of a matrix exponential and a vector
  • · Replies 4 ·
Replies
4
Views
2K
High School Any square matrix can be expressed as the sum of anti/symmetric matrices
  • · Replies 7 ·
Replies
7
Views
3K
Undergrad Spectral theorem for Hermitian matrices-- special cases
  • · Replies 2 ·
Replies
2
Views
3K
Undergrad Symbol for matrix representative of a tensor
  • · Replies 5 ·
Replies
5
Views
4K