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

learn more… | top users | synonyms

1
vote
1answer
149 views

Definition of the “support” of the reduced density matrix

Some of the papers in condensed matter physics use the word "support" (space). For example, the following papers use the support especially for the reduced density matrix. http://journals.aps.org/prb/...
-1
votes
2answers
239 views

What's the proof that sum of all projection operators for orthonormal basis gives us identity operator? [closed]

\begin{align} \ I = \begin{bmatrix}1 & 0\\0 & 1\end{bmatrix} \end{align} \begin{align} \ {\sum_{i} |i{\rangle}}{{\langle}i|}=I \end{align} $I$ is identity operator, while the $|i{\rangle}$ ...
0
votes
1answer
51 views

Expressing operator in bra-ket notation, knowing just matrix elements

This is in context of unitary transformations between two othonormal bases $\{ | e_i \rangle\}$ and $\{ | \bar{e}_i \rangle\}$. I define $U$ by $$U| e_i \rangle = | \bar{e}_i \rangle $$ Now I can ...
3
votes
1answer
355 views

Many Body Physics: Hamiltonian block structure and Symmetries

Consider a many body problem of a small cluster, e.g. the 'Hubbard-Cluster' (albeit the question may be of relevance for other Hamiltonians as well): $$\mathcal{H}=\sum_{<ij>\sigma} t_{ij} (c^\...
0
votes
0answers
31 views

Entanglement entropy for stabilizer states

A stabilizer state for a stabilizer set S for a system of qubits can be written as $\rho=\frac{1}{2^{n}}\sum_{g\epsilon S}g$ . If we take a bipartition A-B of our system and partial trace over A, ...
4
votes
2answers
144 views

Superposition in Quantum Mechanics

First of all, let $V$ be a vector space over the field $\mathbb{F}$. It is possible then to show, by Zorn's Lemma that there is a basis for $V$. The main point is that although basis are quite ...
4
votes
0answers
98 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 ...
1
vote
2answers
126 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 & -v\...
2
votes
1answer
34 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 $E_n^...
0
votes
2answers
99 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
41 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
59 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
157 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 \\ ...
21
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 ...
-1
votes
2answers
221 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
148 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
143 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
67 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
228 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
48 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} e^{-i\gamma\hat{O}_{...
3
votes
2answers
2k 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
45 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 e^{...
6
votes
3answers
755 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
222 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
35 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
89 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}$, $b_{y}$,...
2
votes
1answer
70 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
0answers
82 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 \lambda_{i}|...
2
votes
1answer
131 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
242 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
56 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, ...
13
votes
2answers
897 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
561 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
782 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
305 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
141 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
525 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 invalidate ...
2
votes
2answers
152 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 ...
11
votes
0answers
276 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
81 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
124 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
25 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 $$M_{ij}=f(x_i-x_j)+...
1
vote
2answers
88 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
92 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 ...
8
votes
2answers
533 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
51 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
87 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 $|{\phi}\...
3
votes
2answers
384 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
173 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
60 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 Shift-...