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

learn more… | top users | synonyms

4
votes
0answers
70 views

Is there a proof that the number of eigenstates is countable for a bound system?

When you solve Schrödinger equation for a free particle with no boundary conditions your eigen states are indexed by quantum number $k \in \mathbb R $ and $\mathbb R$ isn't countable but if you add a ...
0
votes
2answers
73 views

Transformation of four-velocity in special relativity

I am revising special relativity introducing more matrix form in the equation. Currently I am reading book in which transformation matrix is defined as $${\Lambda= \begin{bmatrix} \gamma & ...
2
votes
1answer
26 views

Proton spin independent fine structure “Hamiltonian” $W_f$

To find the perturbation correction (fine structure) in the case of a degenerate energy $E_n^0$, we can diagonalize the operator $W_f^n$, the restriction of $W_f$ to the eigen-space associated to ...
0
votes
0answers
27 views

Number of independent components of a unitary matrix [migrated]

By definition, a $n$ dimensional unitary matrix $U$ satisfies the condition $U^{\dagger}U=I$, and $UU^{\dagger}=I$. I'd like to ask if these two equations are independent. If so, there will be $n^2$ ...
0
votes
2answers
89 views

$[A_1, H] =[A_2, H] = 0$ but $[A_1, A_2] \neq 0$?

I am having a difficult time understanding this problem. Suppose $[A_1, A_2] \ne 0,$ $[A_1, H] = 0,$ $[A_2, H] = 0.$ Show that the energy eigenstates of $H$ are in general ...
0
votes
0answers
39 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 ...
5
votes
1answer
979 views

Representation of operators in quantum mechanics

For which systems we represent the Hamiltonian as a differential operator and for which system we represent it by a matrix? Can the momentum be represented by a matrix operator?
0
votes
1answer
24 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
68 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
122 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
111 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
74 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 ...
2
votes
2answers
117 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 ...
2
votes
3answers
235 views

Dimension of vector resulting from tensorial product

I'm quoting what I found in a book about quantum computation: Individual state spaces of $n$ particles combine quantum mechanically through the tensor product. If $X$ and $Y$ are vectors, then ...
1
vote
0answers
42 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 ...
3
votes
2answers
391 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 ...
1
vote
3answers
341 views

Non-symmetric Lorentz Matrix

I was working out a relatively simple problem, where one has three inertial systems $S_1$, $S_2$ and $S_3$. $S_2$ moves with a velocity $v$ relative to $S_1$ along it's $x$-axis, while $S_3$ moves ...
1
vote
0answers
79 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
46 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
112 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 ...
6
votes
1answer
2k views

Trace of an operator matrix (Quantum computation and quantum information)

I'm reading the book Quantum computation and quantum information by Mike & Ike and I'm stuck at 2.60/2.61. There, the author says that, given the operator $A|ψ⟩⟨ψ|$, its trace is: $${\rm ...
0
votes
0answers
30 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 ...
2
votes
2answers
165 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 ...
6
votes
3answers
685 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?
0
votes
1answer
71 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
1answer
64 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 ...
5
votes
1answer
237 views

Kraus operator rank

All quantum operations $\mathcal{E}$ on a system of Hilbert space dimension $\mathcal{d}$ can be generated by an operator-sum representation containing at most $\mathcal{d^2}$ elements. Extending ...
0
votes
0answers
29 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
48 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 ...
1
vote
1answer
80 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 ...
0
votes
0answers
56 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
2answers
142 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 ...
12
votes
1answer
1k views

What're the relations and differences between slave-fermion and slave-boson formalism?

As we know, in condensed matter theory, especially in dealing with strongly correlated systems, physicists have constructed various "peculiar" slave-fermion and slave-boson theories. For example, For ...
0
votes
1answer
45 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
327 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
145 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
261 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
143 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
113 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
230 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
votes
3answers
176 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 ...
1
vote
1answer
66 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 ...
1
vote
1answer
159 views

Second Rank Tensors [duplicate]

I'm a little confused, for the twentieth time, on what tensors are. I thought they were a generalization of matrices-but then they have special transformation rules. I'm looking for a concise ...
3
votes
2answers
108 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
24 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
83 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
65 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 ...