The Stack Overflow podcast is back! Listen to an interview with our new CEO.

Questions tagged [trace]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
2
votes
1answer
63 views

Lax Pairs In Integrability

I am working through Dr. Beiserts notes (https://people.phys.ethz.ch/~nbeisert/lectures/IntHS16-Notes.pdf) and have difficulty obtaining the second step in (2.9): $$\{{\rm tr}L^{k},{\rm tr}L^{\ell}\} ...
0
votes
1answer
45 views

Trace of the quantum map $ A^n_m (\rho) = \sum_{ij} | i…i \rangle^n \langle i…i|^m \rho | j…j \rangle^m \langle j…j|^n$

We define some quantum map $ A^n_m (\rho) $ and let it act on density matrix $\rho$: $$ A^n_m (\rho) = \sum_{ij} | i...i \rangle^n \langle i...i|^m \rho | j...j \rangle^m \langle j...j|^n.$$ ...
2
votes
1answer
90 views

Confusion about trace in the vertex term of Lagrangian

I was reading through Mariano Quirós's lecture notes titled "Finite Temperature Field Theory and Phase Transitions". In Sec. 1.2, the author is calculating the one-loop effective potential at $T=0$. ...
1
vote
0answers
20 views

What happens if I Wick contract a trace operator internally?

In theories such as $\cal{N}=4$ supersymmetric Yang-Mills, we often consider operators such as $\cal{O}(x_1)=$Tr$(\phi(x_1)\phi(x_1))$, with $\phi$ the scalar field(s) of the theory. Then we go on ...
0
votes
1answer
43 views

Positive Semi-Definiteness of a Density Matrix - can the eigenvalues be larger than 1?

I know that one of the requirements for a density matrix is that it is positive-semidefinite. This means that the eigenvalues are non-negative (and sum to 1, so we can assign them the meaning of ...
1
vote
0answers
45 views

Gamma traceless

I read this Under what conditions is a vector-spinor gamma trace free. And also read many papers about higher spin, but no one explains why irreducible spinor is gamma traceless spinor? Can anyone ...
1
vote
1answer
55 views

Is there any meaning of tensor contraction?

Is there any meaning behind tensor contraction. Or is it just randomly getting rid of some components by only selecting those with same index and sum them up? For example, I know tensor is ...
3
votes
1answer
119 views

Is a partial trace cyclic?

I want to know if a partial trace keeps the cyclic property of the trace. The partial trace is defined as $$ tr_B: \mathcal{B}_1(\mathcal{H}_A\otimes \mathcal{H}_B) \longrightarrow \mathcal{B}_1(\...
1
vote
0answers
92 views

Why is the stress-energy tensor for electromagnetic radiation traceless?

A photon gas obeys the equation of state $\rho=P/3$ and hence $T^{\mu}_{\quad\mu}=3P-\rho=0$. (Can also be seen by expressing the stress energy tensor in terms of of the electromagnetic tensor as ...
1
vote
1answer
40 views

Derivation of Raychaudhuri equation - Trace

In Wald (Wald: General Relativity on page 218, equation 9.2.10) is stated that $$v^c∇_cB_{ab}=−B^c_bB_{ac}+R^d_{cba}v^cv_d $$ and to continue in order for the equation to be derived one needs to take ...
3
votes
0answers
101 views

Open Quantum Systems: Born-Approximation and the preservation of Trace, Hermicity and Positivity

This is related to a previous question of mine. We consider a density matrix $\sigma(t)$ operating on a Hilbert space $\mathscr{H}_{s}\otimes \mathscr{H}_b$ with Hamiltonian $H = H_s \otimes \mathbb{...
0
votes
0answers
46 views

Traceless stress tensor

What does it mean, when the viscous (or viscoelastic) stress tensor is traceless $\tau_{rr}+\tau_{\theta \theta}+\tau_{\phi \phi}=0$? Why if the viscoelastic model is linear it is traceless and if ...
0
votes
1answer
69 views

Integrating of von Neumann equation for density matrix

Suppose we are given the Hamiltonian $$H=f \frac{\text{Tr}\sigma_x \rho}{\text{Tr}\rho}\sigma_x,$$ where $\rho$ is the density matrix, and $\sigma_x$ is the Pauli matrix $$ \sigma_x= \begin{...
3
votes
1answer
84 views

Is tracing out a subsystem always akin to discarding all information about it?

Suppose we have some quantum system with sub-systems A and B. It could be, for example, two qubits or groups of qubits. Is it fair to say that tracing out the sub-system A is always akin discarding ...
2
votes
1answer
85 views

Why can the partial trace be written as $\text{Tr}_B(\rho)= \sum_k (1 \otimes \langle k|) \rho (1 \otimes |k \rangle)$?

I don't really understand a notation that I stumbled upon regarding a partial trace. According to the definition I have, partial trace is $$\rho_A=\text{Tr}_B(\rho_{AB}):= \sum_k (1_A \otimes \...
1
vote
0answers
31 views

Diagrammatic expansion of an operator insertion in path integral for Trace Anomaly calculation

Starting with a scale invariant classical field theory, we can prove that the energy-momentum tensor will be traceless. \begin{equation} \Theta^\mu_{\ \mu }=0 \end{equation} In the context of the ...
3
votes
1answer
85 views

Relation between the trace anomaly and the energy-momentum tensor being off-shell

Let's say we have a massless QED theory with a Lagrangian \begin{equation} L=i\bar{\psi}\not{D}\psi-\frac{1}{4}F_{\mu\nu}F^{\mu\nu} \end{equation} The symmetric energy-momentum tensor is \begin{...
1
vote
1answer
77 views

What is the trace in the Chern-Simons action

I have been looking at the Chern-Simons Lagrangian in $(2+1)$-dimensional spacetime $M$ in terms of a gauge field $A$: $$ S[A] = \frac{k}{4 \pi}\int_M \text{Tr}(A \wedge \text{d}A+ \frac{2}{3}A \...
0
votes
1answer
185 views

How can I prove that the partial trace is well-defined?

When I define the partial trace as below, how can I prove it well-defined? I understand that I have to indicate $Tr_k(\rho)$ does not depend on how to take the ONB of $\mathbb{C}^2$ $$n\in \mathbb{Z}_{...
0
votes
0answers
55 views

QCD Trace Anomaly and Mass

In the paper in equations 4 and 5, some of the mass of the nucleons comes from the "trace anomaly" of the QCD energy-momentum tensor (as described in the paragraph following these equations). Is there ...
1
vote
1answer
103 views

Physics Meaning of Trace Technology in QED [closed]

As it pointed out on page 133 of Peskin and Schroeder, any QED amplitude involving external fermions, when squared and summed or averaged over spins, can be converted to traces of products of Dirac ...
1
vote
1answer
119 views

reduced density matrix of state [closed]

given a multi particle state I have to calculate the reduced density matrix where I trace out the third particle $$|\psi\rangle = \frac{1}{\sqrt{3}} \left ( |\uparrow \uparrow \downarrow\rangle + \...
4
votes
1answer
215 views

What is a definition of the trace norm?

I have found that (one?) definition of the trace norm is $$\mid\mid A\mid\mid = \sqrt{A^*A} \tag{1}$$ but now I am reading this paper where (on page 4) it says In particular, we will restrict ...
0
votes
1answer
60 views

Proving identity $\DeclareMathOperator{\Tr}{Tr} \Tr\left[\gamma^{\mu}\gamma^{\nu}\right] = 4 \eta^{\mu\nu}$

In the lecture notes accompanying a course I'm following, it is stated that $$\DeclareMathOperator{\Tr}{Tr} \Tr\left[\gamma^{\mu}\gamma^{\nu}\right] = 4 \eta^{\mu\nu} $$ Yet when I try to prove this,...
1
vote
1answer
138 views

Double-trace operators in CFT?

What is the conceptual difference between so called "single-trace" and "double-trace" (or "multi-trace") operators e.g., in a Conformal Field Theory?
1
vote
0answers
36 views

How to Explicitly Calculate z-Component of Berry Curvature?

While numerically playing with the 2-level Haldane model recently, I wondered how I could analytically calculate the z-component of the Berry curvature $F$. I framed my problem as needing an ...
0
votes
1answer
29 views

Evaluating a trace with two factors of $\gamma^5$

In the process of calculating a spin-averaged square amplitude in QFT, I came across the following expression: $$ \text{Tr}\left[\gamma^\mu\gamma^5\gamma^\alpha\gamma^\nu\gamma^5\gamma^\beta\right] $$ ...
1
vote
1answer
50 views

Confusion with trace of gamma matrices

Using $\{\gamma^\mu, \gamma^\nu\} = 2 \eta^{\mu\nu} \mathbf{1}$, it is easy to show that: \begin{align*} \operatorname{tr} \gamma^\mu \gamma^\nu = 4\eta^{\mu\nu} \end{align*} Now, it is also true that ...
2
votes
1answer
99 views

Trace over configuration basis

Let us take a many-body quantum system, whose phases in the configuration basis are labeled by $\mathbf {\hat q}=(q_1,\cdots, q_N)$ and momenta $\mathbf {\hat p}=\left(-i\frac{\partial}{\partial \hat ...
0
votes
2answers
52 views

Alternate definitions of Thermal states

The definition of thermal states I'm used to is: $$\tau_{\beta} = \frac{1}{Z}\,e^{-\beta H}$$ where $Z$ is the partition function defined as $Z= \mathrm{Tr}(e^{-\beta H})$, $\beta$ the inverse ...
0
votes
1answer
89 views

Why can we write lagrangian for gauge theory without the traces?

I understand that trace is needed in order to preserve gauge invariance of the lagrangian equation by using the cycling property. But I fail to see why the following equation holds true: $$-\frac{1}{2}...
0
votes
2answers
433 views

Electromagnetic stress tensor is only traceless in 4D?

The electromagnetic stress tensor $F_{\mu \nu}$ is as we all know traceless in 4 dimensions. With $F_{\mu \nu} = \partial_\mu A_\nu - \partial_\nu A_\mu$ and $A = (A_0,A_1,A_2,A_3)= (\phi, A_1, A_2, ...
3
votes
2answers
354 views

Trace of generators of Lie group

In most textbooks (Georgi, for example) a scalar product on the generators of a Lie Algebra is introduced (the Cartan-Killing form) as $$tr[T^{a}T^{b}]$$ which is promptly diagonalised (for compact ...
2
votes
2answers
140 views

Proof of strong convexity of trace distance

I'm trying to follow the Nielsen and Chuang proof (equation 9.49 of Chapter 9, page 408). I reproduce it here for completeness. With trace distance defined as $D(\rho, \sigma) = \frac{1}{2}tr(|\rho - ...
3
votes
1answer
250 views

Is partial trace the inverse operation of Kronecker product?

Computer science student here, who is interested in quantum information theory. Suppose I have these pure states: \begin{bmatrix}1&0\\0&0\end{bmatrix} and \begin{bmatrix}0&0\\0&1\end{...
2
votes
1answer
191 views

How do we know that, if only $\rho_A$ evolves, then the evolution of $\rho_{AB}$ is given by $(\mathcal{L}_A \otimes 1)(\rho_{AB})$?

I am currently learning about quantum maps, ie maps that transform a density matrix into another one. Assume we are in the Hilbert space: $H_A \otimes H_B$. I call the quantum map on the density ...
1
vote
1answer
145 views

Why we ignore off-diagonal elements in partition function?

In quantum statistical mechanics, the density operator is $$ \rho = \exp(-\beta H_0)/Z $$ where $$Z = \text{Tr} (\exp(-\beta H_0)) \, .$$ Why do we take the trace over only diagonal elements and ...
1
vote
2answers
235 views

Trace of the Riemann Curvature Tensor

Referring to Wald's General Relativity, I have two questions. Let ${R_{abc}}^d$ be the Riemann curvature tensor. The author has never defined what it means by "trace of a tensor" before page 40 of ...
2
votes
1answer
503 views

Trace of 4 Gell-Mann matrices

Does any one know what would be $tr(t^a t^b t^c t^d)$, where $t^a$ etc are Gell-Mann matrices? This came about when analyzing the color factor for the compton effect for QCD. So, must be pretty ...
0
votes
1answer
153 views

Question about the true significance of the partial trace

Consider a composite system whose Hilbert space is $\mathcal{H}_{AB}=\mathcal{H}_A\otimes \mathcal{H}_B$, where $\{|0_A\rangle, |1_A\rangle\}$ and $\{|0_B\rangle, |1_B\rangle\}$ are orthonormal bases ...
1
vote
1answer
166 views

Tracing over a Fock space?

Suppose you have a bosonic Fock space with a vacuum $|0\rangle$. A particular state is labeled by the parameter $N \in \mathbb{Z}$. You can construct states like $$ | n_{N} \rangle = \frac{ \left( \...
1
vote
0answers
46 views

How to understand the non-abelian DBI action?

I'm reading chapter 7 in "String Theory and M-theory, A Modern Introduction" by Becker, Becker and Schwarz. It says that the understanding of the square root of the determinant is to compute the ...
3
votes
1answer
69 views

Estimate of trace of powers of density matrix

Given a very generic, lower bounded Hamiltonian, is there a estimate on how $Tr(\rho^{1/k})$ grows as $k>0$ increases? Does this quantity diverge as a function of $N$, the degrees of freedom of the ...
-1
votes
1answer
280 views

Are density matrices symmetric? [closed]

The context is that I want to simplify an expression like $$ \mathrm{Trace}[\rho_1 \rho_2 \rho_3] + \mathrm{Trace}[\rho_2 \rho_1 \rho_3] $$ (Note that the second term is not a cyclic permutation of ...
0
votes
0answers
115 views

Stress-energy tensor of the EM field has zero trace

The stress energy-tensor in EM is defined by $$T^{\mu \nu} = -\frac{1}{4\pi}\left(E^\mu_\rho E^{\nu\rho} - \frac{1}{4} g^{\mu\nu}E_{\rho\sigma}E^{\rho\sigma}\right)$$ I aim to show one of the ...
1
vote
1answer
212 views

How can I prove this relation involving gamma matrices?

Let $$l^{\mu} = l^{\mu}_{\parallel} + l^{\mu}_{\bot}$$ be a D-dimensional vector living in a Minkowskian space; the only non-zero components of $l^{\mu}_{\parallel}$ are the first four, while the only ...
0
votes
2answers
147 views

The relation between $T^{\alpha\beta}$ and its trace

I have a simple question. Is it true? $$T^{\alpha\beta}T_{\alpha\beta}=T^2$$ Where $T$ is the trace of $T^{\alpha\beta}.$ I think they are different.
0
votes
0answers
42 views

What's the result of the following multiplication

The question is simple, what is the result of the following multiplication of traces by the metric? $Tr\left[\gamma^\alpha\gamma^\nu\gamma^\beta\gamma^\tau\gamma^5\right]Tr\left[\gamma^\delta\gamma^\...
0
votes
0answers
78 views

How do I compute QFT trace of matrices at the end of a Feynman diagram?

At the end of a Feynman diagram I have (p and p' are two incoming momenta): $$Tr[\not p' \gamma^\mu \not p \gamma^\nu(\frac{1+\gamma^5}{2})]=Tr[\gamma^\mu p_\mu' \gamma^\mu \gamma^\nu p_\nu \gamma^\nu(...
0
votes
0answers
147 views

Proving a General Result for a Trace of $n$ Gamma Matrices

I am attempting to prove a set of results for the products of gamma matrices and traces of products of gamma matrices, but got stuck on this particular one. $$Tr(\gamma^{\mu_1}...\gamma^{\mu_n})=g^{...