Tensor product over 3 (or more) vector spaces

Click For Summary

Homework Help Overview

The discussion revolves around operators defined on vector spaces, specifically tensor products involving copies of ##\mathbb{C}^2##. The original poster is attempting to formulate a product of operators, including ##D_{\beta}## and ##R_{\beta\alpha n}##, within the context of their application to the tensor product space ##V_{\beta} \otimes V_{\alpha 1} \otimes V_{\alpha 2}##.

Discussion Character

  • Exploratory, Conceptual clarification, Mathematical reasoning

Approaches and Questions Raised

  • Participants are exploring how to express the operator ##R_{\beta\alpha 2}## in the context of the tensor product. There are questions about the implications of the phrase "makes sense" in relation to the mathematical and physical context of the problem. Some participants suggest refining the question to clarify the mathematical constructs involved, such as embeddings and projections.

Discussion Status

The discussion is ongoing, with participants providing insights and suggestions for framing the problem more clearly. There is an acknowledgment of the need for further clarification regarding the dimensionality of the vector spaces and the nature of the operators involved.

Contextual Notes

Some participants note the lack of a formal problem statement and mention that the context is related to a Bachelor's thesis. There is uncertainty about whether the discussion pertains to finite-dimensional vector spaces or purely linear operators.

Maybe_Memorie
Messages
346
Reaction score
0

Homework Statement



I have the operators

##D_{\beta}:V_{\beta}\rightarrow V_{\beta}##
##R_{\beta\alpha 1}: V_{\beta} \otimes V_{\alpha 1} \rightarrow V_{\beta}\otimes V_{\alpha 1}##
##R_{\beta\alpha 2}: V_{\beta} \otimes V_{\alpha 2} \rightarrow V_{\beta}\otimes V_{\alpha 2}##

where each of the vector spaces are copies of ##\mathbb{C}^2##

Homework Equations

The Attempt at a Solution



I want to write the product ##D_{\beta}R_{\beta\alpha 1}R_{\beta\alpha 2}##, which makes sense on the space ##V_{\beta} \otimes V_{\alpha 1} \otimes V_{\alpha 2}##.

So I order to act on the full space I write ##D## as ##D_{\beta}\otimes I_{\alpha 1} \otimes I_{\alpha 2}##
and write ##R_{\beta\alpha 1}## as ##R_{\beta\alpha 1} \otimes I_{\alpha 2}##, where ##I_{\alpha 1}## and ##I_{\alpha 2}## are the identity operators in ##V_{\alpha 1}## and ##V_{\alpha 2}##.

My problem is that I don't know how to write ##R_{\beta\alpha 2}## since I'd basically have to stick and identity "in the middle".
 
Physics news on Phys.org
bump
 
Maybe_Memorie said:

Homework Statement



I have the operators

##D_{\beta}:V_{\beta}\rightarrow V_{\beta}##
##R_{\beta\alpha 1}: V_{\beta} \otimes V_{\alpha 1} \rightarrow V_{\beta}\otimes V_{\alpha 1}##
##R_{\beta\alpha 2}: V_{\beta} \otimes V_{\alpha 2} \rightarrow V_{\beta}\otimes V_{\alpha 2}##

where each of the vector spaces are copies of ##\mathbb{C}^2##

What is the statement of the problem?
 
There isn't any statement of the problem - it's something that I need for my Bachelor's thesis. However, I can provide some more detail. The operator ##T## is defined as ##D_{\beta}R_{\beta\alpha n}\dots R_{\beta\alpha 2}R_{\beta\alpha 1}##, where the D and R operators are defined as above.

It's equation (44) on page 8 of this paper http://arxiv.org/pdf/1204.2089v3.pdf
 
Maybe_Memorie said:
I want to write the product ##D_{\beta}R_{\beta\alpha 1}R_{\beta\alpha 2}##, which makes sense on the space ##V_{\beta} \otimes V_{\alpha 1} \otimes V_{\alpha 2}##.

Do you mean "I want to define a product..."?

I don't know what "makes sense" implies with respect to physics (because I don't understand the physics). Thinking only of mathematics, an attempt to refine the question could begin:

Let [itex]V_{\beta},V_{\alpha_1},V_{\alpha_2}[/itex] be vector spaces.
Let [itex]R_{\beta \alpha_2}[/itex] be an operator [itex]R_{\beta \alpha_2}: V_\beta \otimes V_{\alpha_2} \rightarrow V_\beta \otimes V_{\alpha_2}[/itex].

Construct an operator [itex]R: V_{\beta} \otimes V_{\alpha_1} \otimes V_{\alpha_2} \rightarrow V_\beta \otimes V_{\alpha_1} \otimes V_{\alpha_2}[/itex] such that ...

Roughly speaking, we want what [itex]R[/itex] does on [itex]V_\beta \otimes V_{\alpha_1} \otimes V_{\alpha_2}[/itex] to project to what [itex]R_{\beta \alpha_2}[/itex] does on [itex]V_\beta \otimes V_{\alpha_2}[/itex].

I don't know whether we are dealing with finite dimensional vectors spaces. Perhaps we are only dealing with linear operators. Perhaps you need to express the operator [itex]R[/itex] explicitly as a product of matrices or tensor product of operators.

In finite dimensions, you can find an embedding operation [itex]E: V_\beta \otimes V_{\alpha_2} \rightarrow V_\beta \otimes V_{\alpha_1} \otimes V_{\alpha 2}[/itex] and a projection operation [itex]P: V_\beta \otimes V_{\alpha_1} \otimes V_{\alpha 2} \rightarrow V_\beta \otimes V_{\alpha_2}[/itex] and define [itex]R = E R_{\beta \alpha_2} P[/itex]If the mathematical requirements aren't specific then I'd say this isn't a "homework type problem". You'd could ask about it in the physics sections of the forum.
 

Similar threads

Replies
1
Views
1K
Replies
3
Views
2K
Replies
8
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 8 ·
Replies
8
Views
1K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 6 ·
Replies
6
Views
3K
Replies
12
Views
3K
  • · Replies 16 ·
Replies
16
Views
2K
Replies
2
Views
2K