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
2answers
85 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
955 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
64 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
103 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
71 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
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 ...
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
41 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
370 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
333 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
69 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
104 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
162 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
676 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
70 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
62 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
226 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
45 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
76 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
53 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
131 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
43 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
294 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
125 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
228 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
122 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
112 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
226 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
158 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
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 ...
1
vote
1answer
152 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
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
60 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
379 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
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 ...
12
votes
3answers
3k views

Perturbation theory with degeneracy even after 1st order

Most textbooks on basic quantum mechanics tell you that when your initial Hamiltonian $H_0$ has degenerate states, then before you can do (time independent) perturbation theory with a perturbation ...