To be used for linear algebra, and closely related disciplines such as tensor algebras and maybe clifford algebras.

learn more… | top users | synonyms

0
votes
0answers
38 views

Is there a physical interpretation of the alternating property?

A map from a vector-space to its base field is called "alternating" if each vector with repeated elements is mapped to zero. I've read that symplectic geometry is an important representation of ...
0
votes
1answer
20 views

Quantum beam-splitter matrix

I have seen the matrix for the action on a quantum beam splitter described in one of two ways: $$\begin{pmatrix} t_1 & r_2 \\ r_1 & t_2 \end{pmatrix}$$ (this appears in Quantum Optics by ...
1
vote
2answers
60 views

Find the covariant metric tensor from a given contravariant metric tensor

If given $$g^{\mu\nu}=\pmatrix{\begin{matrix} 1 & 0 & 0 & 0 \\ 0 & -1 & 0 & 0 \\ 0 & 0 & -1 & 0 \\ 0 & 0 & 0 & -1 \\ ...
20
votes
5answers
4k views

What exactly is a dimension?

How do you exactly define what is and isn't a dimension? I heard somewhere that it is "anything you can move through" but if that is right, why wasn't time and space considered a dimension before ...
-2
votes
2answers
98 views

Linearity in Quantum Mechanics that make superposition possible

As a beginner in QM, all the video lectures that i have seen talk about superposing wave functions in order to get $\psi$. But from what i know from linear algebra, the system must be linear in order ...
1
vote
3answers
110 views

“Complete” confusion

The word "complete" seems to be used in several distinct ways. Perhaps my confusion is as much linguistic as mathematical? A basis, by definition, spans the space; some books call this "complete" -- ...
2
votes
1answer
64 views

Proofs on operator algebra [closed]

I'd like to ask the community to please verify the first two proofs below and help me get through the last one since I seem to be stuck. Thank you in advance. Proof 1: Given two noncommutting ...
1
vote
0answers
39 views

how to rotate scaled-vector (orientation) by scaled-vector (rotation)

Recently I seem to have gotten the physics-engine portion of my 3D simulation/game engine [apparently] working correctly. The most convenient way to store and compute position and orientation are in ...
1
vote
0answers
60 views

Solving a one-dimensional spring system using linear algebra [closed]

I'm trying to gain some intuition into how the following problem would be solved using linear algebra. The setup of the problem is a horizontal line of 4 springs and 3 masses: alternating spring, ...
1
vote
0answers
45 views

When trying to see what symmetries an operator generates, how do you “decide” what coordinate to apply it to?

Suppose I have $\hat{O}_{1}=-i\hbar\partial_{x}$ then \begin{eqnarray} e^{-i\gamma\hat{O}_{1}/\hbar}x\,e^{i\gamma\hat{O}_{1}/\hbar}=x+\gamma \end{eqnarray} and \begin{eqnarray} ...
2
votes
2answers
92 views

How to take partial trace?

$L$ is a linear operator acting on hilbert space $V$ of dimension $n$, $L: V \to V$. The trace of a linear operator is defined as sum of diagonal entries of any matrix representation in same input ...
0
votes
0answers
28 views

Physical significance of Cayley Transform

In the book on Quantum Mechanics by Capri (in Chapter 6), its said that an operator $A$ is self adjoint if the operator, $U$ given by $$ U = (A - i I)(A + i I)^{-1} = -(I+iA)(I-iA)^{-1} = -\text ...
6
votes
3answers
673 views

Does it mean anything if the commutator of an operator with the Hamiltonian is equal to the Hamiltonian?

Question says it all, really. I have $[\hat{H},\hat{O}]=-2i\hbar\hat{H}$. Does this mean that the operator $\hat{O}$ (an observable) is special in some way?
2
votes
2answers
157 views

When is matrix representation of a Hermitian operator invertible?

If I have a Hermitian operator $H:V \to V$ on a finite-dimensional vector space $V$, and I write down its matrix representation in some basis $B$ with matrix representation being $[H]_B$, then in what ...
0
votes
0answers
28 views

Unitary base transformation applied to continous bases

For discrete vector spaces one can define a unitary base transformation between two complete orthogonal bases $\{ | b_k \rangle \}$ and $ \{ | a_k \rangle \}$ as $$U = \sum \limits_k | b_k \rangle ...
2
votes
0answers
43 views

commutation relations for operators in projected subspaces

I am looking for a consistent re-definition of commutators for certain operators when I work in a projected subspace. Basically, I have a spin defined in terms of 4 Majorana operators $b_{x}$, ...
2
votes
1answer
63 views

Can All 4-D column matrices be given as tensor product of 2-D column matrices?

I am familiar with entanglement concept. But it feels bit weird to me that all possibilities of a system in a $4$-dimensional vector space cannot be given as tensor product of two $2$-dimensional ...
0
votes
1answer
64 views

Hadamard Gate application help

I need to prove that if you apply Hadamard gates on the input/output before and after a CNOT gate that you get the same answer as flipping the target and control qbits of a CNOT. So for example I'm ...
0
votes
0answers
51 views

Why is the matrix representation in the same basis not same for a density operator?

I have a $\rho : V \to V$ density operator of a $n$ dimensional space $V$ and $\{i\}=\{i_1,i_2..i_n\}$ is an orthonormal basis of this space. The density operator is defined as $$\rho=\sum ...
1
vote
1answer
75 views

Energy levels in close-proximity of each other in time-independent degenerate perturbation theory

I've applied second order time-independent degenerate perturbation theory corrections to the energy with the method presented in Modern Quantum Mechanics by J.J. Sakurai. I shortly summaries this ...
1
vote
2answers
124 views

Relation between Vector space $V$ and its dual $V^{*}$ [closed]

I asked the same question in Math.SE, but I was suggested to ask it here as well. I am studying relativity, and as you know the theory extensively uses the notion of covariant and contravariant ...
0
votes
1answer
42 views

The Simon's Algorithm, confusing equation

I'm approaching the Simon's Algorithm and have troubles with understanding a logic in an introduction. Above the eq. 6.5.4 they introduce that set S which has 2 elements. As far as I understand, ...
12
votes
2answers
257 views

Is there a simple proof that Kirchhoff's circuit laws always provide an exactly complete set of equations?

Suppose I have a complicated electric circuit which is composed exclusively of resistors and voltage and current sources, wired up together in a complicated way. The standard way to solve the circuit ...
1
vote
1answer
110 views

Dealing with tensor products in an exponent

I am looking at the following problem and I am struggling to follow the steps involved. Consider the non-interacting Hamiltonian $$H_{AB}=H_A\otimes I_B+I_A\otimes H_B$$ So I'm trying to prove that ...
3
votes
2answers
189 views

Finding the matrix representation of a superoperator

I am trying to express superoperator (e.g. the Liouvillian) as matrices and am having a hard time finding a way to do this. For instance, given the Pauli matrix $\sigma_y$, how do I find the matrix ...
2
votes
1answer
104 views

Extension of Lami's theorem

I was experimenting with the triple scalar product and forces in equilibrium when I came to this result: Consider 4 forces $ \pmb{F_i}$ for $i=1,2,3,4$. $\pmb{F_i}=F_i\hat{e_i}$ where $\hat{e_i}$ is ...
2
votes
2answers
115 views

What's the degree of freedom of this kind of matrix?

We first have a unitary matrix $$\{a_{ij}\}\quad(n\times n)$$ I know how to calculate its degree of freedom, which is $n^2$ if we consider a real variable as one degree of freedom. Now we have a ...
-1
votes
3answers
148 views

Can a component of vector be greater than the vector itself?

...we have at our disposal an infinite variety of ways of resolving a given force into components. . . . The fact that any component may happen to be larger than the vector itself doesn't ...
2
votes
2answers
109 views

Tensors as multilinear maps

Sean Carrol's in his book on GR introduces tensors as a multilinear map of a set of dual vectors and vectors onto R. I usually think of tensors as a multidimensional array of numbers with fixed ...
9
votes
0answers
222 views

Linear response theory for Gross Pitaevskii equation

I am trying to linearize the following GP eq: \begin{equation} i\partial_{t}\psi(r,t)=\left[-\frac{\nabla^{2}}{2m}+g\left|\psi(r,t)\right|^{2}+V_{d}(r)\right]\psi(r,t) \end{equation} The ansatz for ...
1
vote
1answer
65 views

Finding all decompositions of mixed states

Some quantities, such as the entanglement of formation, are defined using a quantity that is minimized over all possible decompositions of a mixed state. A closed form can be found for this in some ...
3
votes
2answers
106 views

Proving the unitary relation of ensemble decompositions

In my class it was told that ensemble decompositions of a density operator $\rho$ are not unique, but that the ones that exist are related by a unitary operator. I'm trying to prove this, but I get ...
0
votes
0answers
23 views

distance random matrix

In some physics problems it is sometimes useful to define a distance matrix for a system of particles with positions denoted by $x_1$, ..., $x_N$. Then the matrix would be given by ...
1
vote
2answers
82 views

The abstract space of metrics in GR

I know this is a general (har har) question, but has any work been done understanding the mathematical space the allowed metrics in GR form? (I guess it'd be called a tensor space???)
1
vote
0answers
59 views

What is the relationship between the formal definition of a tensor and the frequently discussed notion of a “higher order matrix”?

I've been doing some self study on the principles of tensors & manifolds in preparation for a first course in general relativity. I tend to learn better when presented with the full mathematical ...
6
votes
2answers
367 views

Infinite dimensional vector spaces vs. the dual space

I just happened across this over on Math Overflow. It references the following theorem from linear algebra: A vector space has the same dimension as its dual if and only if it is finite ...
0
votes
1answer
50 views

Decompose a massive four vector in to two massless ones

I'm trying to decompose a massive four-vector, $p_1$ with $p_1^2=m^2\neq0$, in to two massless ones, $k_i$ with $k_i^2=0$. But I'm having trouble find basis vectors $k_i$ such that I can always ...
0
votes
1answer
61 views

Hamiltonian acting on sum operator

I am following a derivation in a book. It is implementing a state $|{\psi}\rangle$ into the eigenvalue equation $\hat{H}|{\psi}\rangle=E|{\psi}\rangle$. The $|{\psi}\rangle$ term contains a ...
0
votes
0answers
41 views

Probabilities with a qubit

A two-state quantum system has orthonormal energy eigenstates ψ1 and ψ2, with energy eigenvalues E1 and E2 = E1 + ∆E (∆E > 0). These energy eigenstates form a complete set of wavefunctions for the ...
3
votes
2answers
202 views

Importance of Kronecker product in quantum computation

To get product state of two states $|\phi \rangle$ and $|\psi \rangle$, we use Kronecker product $|\phi \rangle \otimes |\psi \rangle$. Instead of Kronecker product $\otimes$, can we use Cartesian ...
0
votes
0answers
97 views

Principal axes: Are they unique?

Mathematically, principal axes are the eigenvectors of the Inertia Tensor. Physically, They are the axes that satisfy , Angular momentum || Angular Velocity || Principal Axis. Inertia tensor depends ...
1
vote
1answer
43 views

What makes a system linear?

Lately I have been interested in Image Processing, and I started by following this course: https://class.coursera.org/digital-001, which is quite awesome in my opinion. But in weeks 2, Linear ...
0
votes
0answers
31 views

Free groups and their appearance, emergence and applications in physics

While trying to develop my knowledge of group theory in physics from a more formal point of view, I noticed an entity called a free group. I'm aware that it is extremely important in pure mathematical ...
0
votes
1answer
133 views

How do I derive the eigenvalues of the 1D Heisenberg model? (Bethe Ansatz)

I've been trying to work through Introduction to the Bethe Ansatz I (by Michael Karbach and Gerhard Muller) in spare time and I am having trouble deriving the eigenvalues given in equation (5) for ...
3
votes
2answers
353 views

The definition of transpose of Lorentz transformation (as a mixed tensor)

In the appendix of the textbook of Group Theory in Physics by Wu-Ki Tung, the transpose of a matrix is defined as the following, Eq.(I.3-1) $${{A^T}_i}^j~=~{A^j}_i.$$ This is extremely confusing for ...
2
votes
0answers
16 views

Dropping vertices of an overdetermined statics system graph

In statics, the problem of determining the tensions of K cables that connect a structure made of N points and keep all points in static equilibrium implies $ND$ systems of equations, where $D$ is the ...
1
vote
0answers
80 views

Learning how to use Levi-Civita symbol

I've recently started my second course in Quantum Theory and am now often required to prove more complex commutation relations. I'm aware that the Levi-Civita symbol often makes this sort of thing a ...
4
votes
2answers
925 views

These two operators commute…but their eigenvectors aren't all the same. Why?

The Hamiltonian $$H = \left[ \begin{array}{cccc} a & 0 & 0 & -b \\ 0 & 0 & -b & 0\\ 0 & -b & 0 & 0\\ -b & 0 & 0 & -a \end{array} \right] $$ commutes ...
1
vote
2answers
273 views

Forces exerted on legs of a table

This is actually for a computer science homework problem, but I haven't studied any physics in five years so I'm having a bit of trouble. I'm given a table of three legs with their coordinates and I ...
1
vote
0answers
260 views

Change of Basis For Pauli Matrix From Z Diagonal to X Diagonal Basis

I want to find a matrix such that it takes a spin z ket in the z basis, $$ \lvert S_z + \rangle_z $$ and operates on it, giving me a spin z ket in the x basis, $$ U \lvert S_z + \rangle_z = ...