Pascal's Triangle for non-commutative?


by Pythagorean
Tags: noncommutative, pascal, triangle
Pythagorean
Pythagorean is online now
#1
Feb14-08, 01:52 AM
PF Gold
Pythagorean's Avatar
P: 4,182
I was curious if there was a non-commutative version of Pascal's triangle for operators (such as those used in brah-ket notation)

The important note is that (a + b)^2 = a^2 + b^2 + ab +ba
where ba != ab
Phys.Org News Partner Science news on Phys.org
Better thermal-imaging lens from waste sulfur
Hackathon team's GoogolPlex gives Siri extra powers
Bright points in Sun's atmosphere mark patterns deep in its interior
Pythagorean
Pythagorean is online now
#2
Feb14-08, 02:13 AM
PF Gold
Pythagorean's Avatar
P: 4,182
I'm guess if it's an even power such as (x + y)^4

you can always assume the cross-terms are split between their orderings, so from pascal's triangle, which gives the coefficients 1 4 6 4 1, the middle coefficient corresponds to 3x^2y^2 + 3y^2x^2.

Not quite sure how to handle odd degrees without doing pages of algebra.

I'm posting in this forum because tensors have the non-commutative property and I happen to be applying brah-ket notation so I thought it fit. Apologies if not.
ObsessiveMathsFreak
ObsessiveMathsFreak is offline
#3
Feb14-08, 07:07 AM
P: 406
This is interesting.

Going by (a+b)^3 = a^3 + a^2*b+aba + ab^2 + ba^2 + bab + b^2*a + b^3

It would seem that the only possible row in the "triangle" for general noncommuntative numbers would be "1 1 1 1 1 1 1 1". The exact form may depend on just how uncommutative the number are.

Pythagorean
Pythagorean is online now
#4
Feb15-08, 02:49 AM
PF Gold
Pythagorean's Avatar
P: 4,182

Pascal's Triangle for non-commutative?


Quote Quote by ObsessiveMathsFreak View Post
This is interesting.

Going by (a+b)^3 = a^3 + a^2*b+aba + ab^2 + ba^2 + bab + b^2*a + b^3

It would seem that the only possible row in the "triangle" for general noncommuntative numbers would be "1 1 1 1 1 1 1 1". The exact form may depend on just how uncommutative the number are.
wow, that looks like it may be difficult to generalize with something like Pascal's triangle. Maybe not the coefficients themselves, but the degree of each term. You'd have to have two degree functions for each variable (i.e. one for <x| and one for |x>)
HallsofIvy
HallsofIvy is offline
#5
Feb15-08, 06:55 AM
Math
Emeritus
Sci Advisor
Thanks
PF Gold
P: 38,879
The point of Pascal's triangle is that the i,j entry simply counts the number of ways you can order i "x"s and j-i "y"s. If your multiplication is not commutative, those do not add. All terms are distinct. That's why ObsessiveMathFreak says you just get "1 1 1 ...".
Hurkyl
Hurkyl is offline
#6
Feb15-08, 07:18 AM
Emeritus
Sci Advisor
PF Gold
Hurkyl's Avatar
P: 16,101
Quote Quote by Pythagorean View Post
I'm guess if it's an even power such as (x + y)^4

you can always assume the cross-terms are split between their orderings, so from pascal's triangle, which gives the coefficients 1 4 6 4 1, the middle coefficient corresponds to 3x^2y^2 + 3y^2x^2.
Just to make sure it's said... those terms do not appear in the expansion of (x+y)^4. (except possibly for special cases)


Register to reply

Related Discussions
Pascal's Principle General Physics 3
Pascal's Triangle and Binomial Theorem Precalculus Mathematics Homework 4
Question on a formula for Pascal's Triangle Precalculus Mathematics Homework 7
Binomial coefficients and pascal's triangle Introductory Physics Homework 2
Pascal's Triangle and Geometry General Math 1