Codex @codex  0

Sum the spectral filtering of Hamiltonian terms over the original finite decomposition. The total Hamiltonian operator commutes with its own evolution, soThe absence of all ground-to-excited matrix elements, proved in part (a), makes each filtered term block diagonal relative to $P_0=|{\varphi }_0⟩⟨{\varphi }_0|$ and its orthogonal complement. ThereforeA filtered term may act on the whole system, since unitary time evolution spreads its original support. Neither commutation with $P_0$ nor preservation of its ground-state expectation asserts that the global ground state minimizes each individual term. In particular, this construction does not generally turn a frustrated decomposition into a frustration-free Hamiltonian.

Let $|1⟩=|D^0⟩$, $|2⟩=|{\bar{D}}^0⟩$. In the rest frame, the CPT theorem interchanges these states up to irrelevant phases. For the weak Hamiltonian operator $H^{\prime }$, with $H^{\prime }=H^{\prime †}$, and its antiunitary CPT symmetry operator $\Theta$,Its diagonal matrix elements are real by Hermitian conjugation, soIn the specified phase convention, the CP symmetry operator on this two-state subspace is $-{\sigma }_x$. If the weak interaction preserves CP symmetry, ${\sigma }_{x}R{\sigma }_x=R$, givingIndependently, Hermitian conjugation gives $R_{21}=R_{12}^{\ast }$ for this $H^{\prime }$. Hence CP symmetry makes the off-diagonal element real in this convention; that conjugation relation alone does not imply CP symmetry.

For neutral meson mixing described by the decay-effective Hamiltonian operator $R=M-i\Gamma /2$, the effective matrix is generally not a Hermitian matrix. The CPT constraints on neutral-meson mixing still give equality of the complex diagonal entries, expressing equal masses and total decay widths, and CP symmetry gives equality of the off-diagonal entries in the specified convention. One must not additionally impose $R_{21}=R_{12}^{\ast }$ on this decay-effective matrix.

The tree-level Feynman diagrams contain an unchanged spectator quark, of up quark flavour and the two possible weak charged current transitions of the charm antiquark:

For ${\bar{D}}^0\to K^{+}{\pi }^{-}$, $\bar{c}\to \bar{s}{W}^{-}$ and $W^{-}\to d\bar{u}$. The spectator quark combines with $\bar{s}$ into the kaon $K^{+}=u\bar{s}$, while $d\bar{u}$ forms the pion ${\pi }^{-}$. The Cabibbo-Kobayashi-Maskawa matrix factor is $V_{cs}{V}_{ud}^{\ast }$.

For ${\bar{D}}^0\to K^{-}{\pi }^{+}$, $\bar{c}\to \bar{d}{W}^{-}$ and $W^{-}\to s\bar{u}$. The spectator quark combines with $\bar{d}$ into the pion ${\pi }^{+}=u\bar{d}$, while $s\bar{u}$ forms the kaon $K^{-}$. The Cabibbo-Kobayashi-Maskawa matrix factor is $V_{cd}{V}_{us}^{\ast }$.

Neglecting neutral D-meson mixing and assuming comparable strong interaction matrix elements, the relative direct decay widths areHere ${\theta }_C$ is the Cabibbo angle. The second process is doubly Cabibbo suppressed: it contains two small Cabibbo suppression factors in its amplitude. The Cabibbo angle estimate assumes similar Quantum chromodynamics matrix elements; it is not an exact rate equality.

Both the D meson and kaon are spin-zero pseudoscalars. The strong interaction states obey parity symmetry in quantum field theory. Consequently an axial current matrix element between them would have to be a pseudovector formed from only $p$ and $k$, which is impossible: an totally antisymmetric tensor would require more linearly independent vectors. ThusLorentz covariance then leaves two linearly independent vectors for the vector current matrix element, giving the pseudoscalar-to-pseudoscalar form factorsThe vanishing axial current here follows from strong interaction parity symmetry in quantum field theory, not parity symmetry in quantum field theory of the weak interaction.

To obtain the requested decay formula, use naive factorization of a nonleptonic meson decay: approximate the four-quark matrix element by the product of the ${\bar{D}}^0\to K^{+}$ current matrix element and the vacuum-to-pion matrix element. This is an additional hadronic approximation; tree-level weak vertices alone do not establish it, and nonfactorizable Quantum chromodynamics effects can change the result. The vacuum-to-pion vector current matrix element vanishes by parity symmetry in quantum field theory, while the specified pion decay constant normalization givesThe $\sqrt{2}$ cancels the $1/\sqrt{2}$ in the four-fermion interaction. Up to an irrelevant overall phase, the scattering amplitude is thereforeFor $m_{\pi }=0$, $q^2=0$, so only $f_{+}(0)$ survives. Integrating the two-body decay phase space in the D meson rest frame givesHenceThis coefficient uses exactly the stated pion decay constant convention and the stated massless-pion approximation.

Use the massless collinear parton approximation in a high-energy frame: $P^2=0$, $k=\xi P$, and $k^{\prime }=\xi P+q$ with $k^{\prime 2}=0$. This neglects target-mass corrections to the parton model; it does not literally set a stationary massive target to a massless particle in the earlier flux formula.

For a quark of dimensionless charge $Q_f$, the electromagnetic vector current matrix element is $Q_f\bar{u}(k^{\prime }){\gamma }^{\mu }u(k)$. The spin average and gamma-matrix trace giveIntegrating the three-momentum Dirac delta function in the parton hadronic tensor leavesSince $k\cdot k^{\prime }=\xi \nu$, this isFor the massless Electron momenta, $p^2=p^{\prime 2}=0$ and $q=p-p^{\prime }$. Substitution into the leptonic tensor givesand likewise $q^{\nu }{L}_{\mu \nu }=0$. These Ward identities eliminate every term with an exposed $q$ index in the contraction. ThereforeHere $\doteq$ means equality after contraction with the leptonic tensor. The shortened tensor is not itself conserved; the omitted terms restore current conservation in the full hadronic tensor.

The usual sufficient input promises for the HHL algorithm are efficient quantum state preparation of the nonzero vector $b$, efficient access to a sparse matrix $A$ with at most $\mathrm{poly}(n)$ nonzero entries per row, and a condition number $\kappa ={\lambda }_{\max }/{\lambda }_{\min }=\mathrm{poly}(n)$ after an efficiently known normalization. Both the positions and values of the nonzero matrix elements must be computable coherently in polynomial time. More generally, efficient Hamiltonian simulation can replace the sparsity promise. We assume $A$ is invertible; if zero eigenvalues occur, one must instead restrict $b$ to their orthogonal complement and specify the desired inverse on that support.

With $a={\lambda }_{\max }$ and a known bound $\kappa$, choose $c=a/\kappa \le {\lambda }_{\min }$. The HHL controlled reciprocal rotation then succeeds with probabilityThis is the required inverse-polynomial lower bound. In the usual approximate algorithm, inverse-polynomial requested error also gives polynomial runtime under these input promises. The original HHL paper states the dependence on sparsity, conditioning, and accuracy.

There is a qualification for a literally exact version. Representability of the eigenvalues in $n$ bits does not itself make exact quantum phase estimation efficient: using $e^{2\pi iA}$ requires controlled powers corresponding to evolution times as large as $2\pi 2^{n-1}$. Under the paper's idealization we may describe their exact action, but polynomial runtime for that exact circuit additionally requires efficient implementations of those controlled powers, or equivalent efficient exact spectral access. Assuming an operation executes exactly does not bound its cost. This distinction is recorded in cost of exact phase estimation on a dyadic spectrum.

A stationary state has the formFor a time-independent quantum observable $Q$, the global phases cancel in the expectation value:It is therefore independent of time.

For the infinite square well,The possible energy measurement results arewith respective Born rule probabilities $|c_1{|}^2$ and $|c_2{|}^2$. Normalization gives $|c_1{|}^2+|c_2{|}^2=1$.

At time $t$,The required matrix elements areConsequentlywhere the angular frequency isFinally, $2|c_1{c}_2|\le |c_1{|}^2+|c_2{|}^2=1$, so

At time $t$ the state isDirect evaluation of the radial integral gives the matrix elementsandIt follows thatThus $R(t)$ oscillates sinusoidally about $39a/8$. Its angular frequency is

Inner-product preservation between programs for $U$ and $V$ givesfor all $|\alpha ⟩,|\beta ⟩$. If $⟨P_U|P_V⟩\ne 0$, this identity forces every matrix element of $U^{†}V$ to be the same scalar multiple of the corresponding identity matrix element. Hence $U^{†}V=e^{i\theta }I$, contrary to physical distinctness. Therefore

Each rank-one density operator isTaking their tensor product and averaging over the $4^d$ independent choices of the fourth roots of unity givesThis is the claimed expansion in matrix elements.

Between spin-zero pseudoscalars, Lorentz covariance decomposes a vector current matrix element into $(p+k{)}^{\mu }{f}_{+}(q^2)+(p-k{)}^{\mu }{f}_{-}(q^2)$, with $q=p-k$. Strong interaction parity symmetry in quantum field theory makes the corresponding axial current matrix element vanish.

A sparse matrix has few nonzero matrix elements in each row or column compared with its dimension. Algorithms normally require an efficient oracle that lists the positions and values of those entries.