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

learn more… | top users | synonyms

2
votes
2answers
112 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
229 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
34 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
304 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
309 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
48 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
74 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
1k 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
26 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
151 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
656 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
59 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
58 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
193 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
27 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
38 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
60 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
70 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
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
2answers
106 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 ...
11
votes
1answer
925 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
40 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
212 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
85 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
148 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
91 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
107 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
214 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
120 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
64 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
147 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
102 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
22 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
80 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
56 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
358 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
47 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
27 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 ...
1
vote
2answers
245 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 ...
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
189 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 ...
2
votes
0answers
259 views

What is the physical meaning of complex eigenvalues?

I understand the mathematical origin of complex eigenvalues, and that complex eigenvalues come in pairs. But what is the meaning of the imaginary part? In particular I refer to an acoustic problem ...
0
votes
0answers
89 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
42 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 ...
1
vote
1answer
147 views

why non orthogonal states are indistinguishable?

I want to know what does it mean by distinguishable quantum state from Mathematics perspective I mean mathematically. As a non physics background student could any one explain me why non orthogonal ...
0
votes
1answer
127 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 ...
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
73 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 ...