<rss xmlns:atom="http://www.w3.org/2005/Atom" version="2.0"><channel><title>Haifei's Home</title><link>https://haifei.pro/en/</link><description>Haifei Wang's notes on quantum physics, mathematics, and engineering.</description><generator>Hugo -- gohugo.io</generator><language>en</language><copyright>This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.</copyright><lastBuildDate>Mon, 27 Jul 2026 00:00:00 +0800</lastBuildDate><atom:link href="https://haifei.pro/en/index.xml" rel="self" type="application/rss+xml"/><item><title>High-Precision Time Measurement—Analysis of TDC / Time Tagger Principles and Architecture</title><link>https://haifei.pro/en/post_20251102_%E9%AB%98%E7%B2%BE%E5%BA%A6%E6%97%B6%E9%97%B4%E6%B5%8B%E9%87%8F-tdc-time-tagger-%E5%8E%9F%E7%90%86%E5%92%8C%E7%BB%93%E6%9E%84%E5%88%86%E6%9E%90/</link><pubDate>Sun, 02 Nov 2025 12:53:03 +0800</pubDate><author>Haifei</author><guid>https://haifei.pro/en/post_20251102_%E9%AB%98%E7%B2%BE%E5%BA%A6%E6%97%B6%E9%97%B4%E6%B5%8B%E9%87%8F-tdc-time-tagger-%E5%8E%9F%E7%90%86%E5%92%8C%E7%BB%93%E6%9E%84%E5%88%86%E6%9E%90/</guid><description><![CDATA[<h2 id="1-what-is-a-tdc--time-tagger">1. What Is a TDC / Time Tagger?</h2>
<p>A Time-to-Digital Converter (TDC) is essentially an extremely precise timer (at the picosecond level) that assigns a high-precision timestamp (Timestamp) to every input pulse signal.</p>
<p>Therefore, a TDC is also called a Time Tagger, where “Tag” means assigning a timestamp.</p>
<p>TDCs / Time Taggers are central to experiments such as Hong-Ou-Mandel interference and fluorescence lifetime measurements; it can be said that quantum optics experiments can hardly do without them.</p>]]></description></item><item><title>Impedance Matching / Signal Integrity Crash Course (Lab Edition)</title><link>https://haifei.pro/en/post_20251025_%E9%98%BB%E6%8A%97%E5%8C%B9%E9%85%8D-%E4%BF%A1%E5%8F%B7%E5%AE%8C%E6%95%B4%E6%80%A7%E9%80%9F%E6%88%90-%E5%AE%9E%E9%AA%8C%E5%AE%A4%E7%89%88/</link><pubDate>Sat, 25 Oct 2025 16:46:08 +0800</pubDate><author>Haifei</author><guid>https://haifei.pro/en/post_20251025_%E9%98%BB%E6%8A%97%E5%8C%B9%E9%85%8D-%E4%BF%A1%E5%8F%B7%E5%AE%8C%E6%95%B4%E6%80%A7%E9%80%9F%E6%88%90-%E5%AE%9E%E9%AA%8C%E5%AE%A4%E7%89%88/</guid><description><![CDATA[<h2 id="i-introduction">I. Introduction</h2>
<p>Recently, I found that many colleagues are not very familiar with impedance matching. They only know that “the impedance of (commonly used SMA/BNC) transmission lines is 50 ohms,” but do not know what this really means. The following situations often occur:</p>
<ul>
<li>A 50-ohm signal source connected to a scope with a 1M-ohm input:</li>
</ul>
<ul>
<li>Huh, why did the signal become twice as large?</li>
</ul>
<ul>
<li>A high-frequency square wave connected to a scope with a 1M-ohm input:</li>
</ul>
<ul>
<li>Huh, why is the overshoot so severe? Is there something wrong with this signal source?</li>
</ul>
<ul>
<li>The output signal of an MCU / DAC / FPGA connected directly, without a driver, to a 50-ohm load / 50-ohm oscilloscope input:</li>
</ul>
<ul>
<li>Huh, why did a signal that was supposed to be 3V become only 30 mV?</li>
</ul>
<p>All of the above result from unfamiliarity with impedance matching and transmission-line theory.</p>]]></description></item><item><title>What Are We Actually Doing When We Perform Second Quantization?</title><link>https://haifei.pro/en/post_20250809_%E5%BD%93%E6%88%91%E4%BB%AC%E5%81%9A%E4%BA%8C%E6%AC%A1%E9%87%8F%E5%AD%90%E5%8C%96%E7%9A%84%E6%97%B6%E5%80%99-%E6%88%91%E4%BB%AC%E7%A9%B6%E7%AB%9F%E5%9C%A8%E5%81%9A%E4%BB%80%E4%B9%88/</link><pubDate>Sat, 09 Aug 2025 14:16:03 +0800</pubDate><author>Haifei</author><guid>https://haifei.pro/en/post_20250809_%E5%BD%93%E6%88%91%E4%BB%AC%E5%81%9A%E4%BA%8C%E6%AC%A1%E9%87%8F%E5%AD%90%E5%8C%96%E7%9A%84%E6%97%B6%E5%80%99-%E6%88%91%E4%BB%AC%E7%A9%B6%E7%AB%9F%E5%9C%A8%E5%81%9A%E4%BB%80%E4%B9%88/</guid><description><![CDATA[<p><strong>First quantization cannot describe superpositions of particle number, let alone dynamics in which particle number changes.</strong></p>
<p>The terms first quantization and second quantization can easily lead one to believe that they are equivalent, and that one can use whichever is more convenient, much like the Schrödinger and Heisenberg pictures. This is not the case. The descriptive power of second quantization is strictly greater than that of first quantization. First quantization is merely a simplified description of second quantization for situations with a fixed particle number, and is intrinsically deficient.</p>]]></description></item><item><title>Gauge-Field Connections vs. Connections in General Relativity [Higher and More Elegant Electrodynamics · Extra 1]</title><link>https://haifei.pro/en/post_20250729_%E4%BB%80%E4%B9%88%E6%98%AF%E8%81%94%E7%BB%9C-%E6%9B%B4%E9%AB%98%E6%9B%B4%E5%A6%99%E7%9A%84%E7%94%B5%E5%8A%A8%E5%8A%9B%E5%AD%A6-%E7%95%AA%E5%A4%96%E7%AF%87-1/</link><pubDate>Tue, 29 Jul 2025 15:08:10 +0800</pubDate><author>Haifei</author><guid>https://haifei.pro/en/post_20250729_%E4%BB%80%E4%B9%88%E6%98%AF%E8%81%94%E7%BB%9C-%E6%9B%B4%E9%AB%98%E6%9B%B4%E5%A6%99%E7%9A%84%E7%94%B5%E5%8A%A8%E5%8A%9B%E5%AD%A6-%E7%95%AA%E5%A4%96%E7%AF%87-1/</guid><description><![CDATA[<p>In a <a href="https://zhuanlan.zhihu.com/p/23958176393" target="_blank" rel="noopener noreffer ">previous article</a>, we said that the electromagnetic field is a connection. This led many readers to think of the connection in general relativity. What are the differences and commonalities between these two kinds of connections?</p>
<p>The electromagnetic connection \(A\) is a connection on a principal bundle, whereas the general-relativistic connection \(\Gamma\) is a connection on a vector bundle. Their definitions appear to be quite different. Is there a way to relate them?</p>]]></description></item><item><title>Is an Electromagnetic Wave a Photon Probability Wave?</title><link>https://haifei.pro/en/post_20250729_%E7%94%B5%E7%A3%81%E6%B3%A2%E6%98%AF%E5%85%89%E5%AD%90%E7%9A%84%E6%A6%82%E7%8E%87%E6%B3%A2%E5%90%97/</link><pubDate>Tue, 29 Jul 2025 14:22:00 +0800</pubDate><author>Haifei</author><guid>https://haifei.pro/en/post_20250729_%E7%94%B5%E7%A3%81%E6%B3%A2%E6%98%AF%E5%85%89%E5%AD%90%E7%9A%84%E6%A6%82%E7%8E%87%E6%B3%A2%E5%90%97/</guid><description><![CDATA[<h2 id="probability-waves-vs-quantum-fields">Probability Waves vs. Quantum Fields</h2>
<p>The electromagnetic field is not the probability wave of photons, just as the Dirac field is not the probability wave of electrons.</p>
<p>A probability wave refers to the single-particle wavefunction (in the position representation) in nonrelativistic quantum mechanics.</p>
<p><strong>Clearly, probability waves</strong> apply only to single-particle states in the nonrelativistic regime. The <strong>electromagnetic field</strong> and the <strong>Dirac field</strong>, on the other hand, are <strong>quantum fields</strong> and must be discussed within the framework of quantum field theory.</p>]]></description></item><item><title>Why Spin Is Not a Relativistic Effect</title><link>https://haifei.pro/en/post_20250709_%E8%87%AA%E6%97%8B%E4%B8%BA%E4%BB%80%E4%B9%88%E4%B8%8D%E6%98%AF%E7%9B%B8%E5%AF%B9%E8%AE%BA%E6%95%88%E5%BA%94/</link><pubDate>Wed, 09 Jul 2025 19:23:54 +0800</pubDate><author>Haifei</author><guid>https://haifei.pro/en/post_20250709_%E8%87%AA%E6%97%8B%E4%B8%BA%E4%BB%80%E4%B9%88%E4%B8%8D%E6%98%AF%E7%9B%B8%E5%AF%B9%E8%AE%BA%E6%95%88%E5%BA%94/</guid><description><![CDATA[<p>Conclusion: integer spin is a classical effect, whereas half-integer spin is a quantum effect and has little to do with relativity.</p>
<p>The reason is simple: spin-1 is the smallest faithful representation of SO(3), while spin-1/2 is the smallest faithful representation of SU(2).</p>
<p>So why can quantum mechanics lift SO(3) to SU(2)? Because quantum states are rays and are equivalent up to a global phase. In other words, quantum mechanics requires projective representations of SO(3). And projective representations of SO(3) are in one-to-one correspondence with representations of SU(2) (Bargmann&rsquo;s theorem). This is why quantum mechanics considers SU(2) rather than SO(3).</p>]]></description></item><item><title>Classical Shadows of Quantum States</title><link>https://haifei.pro/en/post_20250530_%E9%87%8F%E5%AD%90%E6%80%81%E7%9A%84%E7%BB%8F%E5%85%B8%E9%98%B4%E5%BD%B1-classical-shadows/</link><pubDate>Fri, 30 May 2025 02:53:53 +0800</pubDate><author>Haifei</author><guid>https://haifei.pro/en/post_20250530_%E9%87%8F%E5%AD%90%E6%80%81%E7%9A%84%E7%BB%8F%E5%85%B8%E9%98%B4%E5%BD%B1-classical-shadows/</guid><description><![CDATA[<h2 id="i-quantum-state-tomography">I. Quantum State Tomography</h2>
<p>At present, quantum states composed of hundreds or thousands of qubits can already be prepared (twenty references omitted here).</p>
<p>But how do we know that the prepared quantum state \(\rho\) is indeed the one we want \(\rho\)? Or, more broadly: how can we learn (some or all) information about a quantum state \(\rho\)?</p>
<p>To learn a quantum state \(\rho\), we first need to prepare \(\rho\), then measure it in different measurement bases to obtain probability distribution functions, and finally use these probability distribution functions to learn \(\rho\). This process is called <strong>quantum state tomography</strong>.</p>]]></description></item><item><title>Are Christoffel Symbols Tensors After All?</title><link>https://haifei.pro/en/post_20250427_%E5%85%8B%E6%B0%8F%E7%AC%A6%E5%88%B0%E5%BA%95%E6%98%AF%E4%B8%8D%E6%98%AF%E5%BC%A0%E9%87%8F/</link><pubDate>Sun, 27 Apr 2025 23:12:31 +0800</pubDate><author>Haifei</author><guid>https://haifei.pro/en/post_20250427_%E5%85%8B%E6%B0%8F%E7%AC%A6%E5%88%B0%E5%BA%95%E6%98%AF%E4%B8%8D%E6%98%AF%E5%BC%A0%E9%87%8F/</guid><description><![CDATA[<p>My favorite way to understand this is to regard $\Gamma$ as a connection on the frame bundle. Then, the transformation law of the Christoffel symbols</p>
<p>$\boxed{ \begin{aligned} \bar{\Gamma}^i_{\mu j} = \frac{\partial \bar{x}^i}{\partial x^k}\frac{\partial x^l}{\partial \bar{x}^j} \frac{\partial x^\nu}{\partial \bar{x}^\mu} \Gamma^k_{\nu l}  \color{red}{ + \frac{\partial \bar{x}^i}{\partial x^k} \frac{\partial^2 x^k}{\partial x^\mu \partial \bar{x}^j}} \end{aligned} }$</p>
<p>is nothing more than a gauge transformation:</p>
<p>$\boxed{ \bar{A} = g^{-1}A g \color{red}{+ g^{-1} \mathrm{d}g} }$</p>
<p>The extra inhomogeneous term $ g^{-1} \mathrm{d}g$ is inherently part of a gauge transformation.</p>]]></description></item><item><title>From Quantum Field Theory to Cavity Quantum Electrodynamics [Higher and More Subtle Electrodynamics · 6]</title><link>https://haifei.pro/en/post_20250413_%E4%BB%8E%E9%87%8F%E5%AD%90%E5%9C%BA%E8%AE%BA%E5%88%B0%E8%85%94%E9%87%8F%E5%AD%90%E7%94%B5%E5%8A%A8%E5%8A%9B%E5%AD%A6-%E6%9B%B4%E9%AB%98%E6%9B%B4%E5%A6%99%E7%9A%84%E7%94%B5%E5%8A%A8%E5%8A%9B%E5%AD%A6-5/</link><pubDate>Sun, 13 Apr 2025 01:52:37 +0800</pubDate><author>Haifei</author><guid>https://haifei.pro/en/post_20250413_%E4%BB%8E%E9%87%8F%E5%AD%90%E5%9C%BA%E8%AE%BA%E5%88%B0%E8%85%94%E9%87%8F%E5%AD%90%E7%94%B5%E5%8A%A8%E5%8A%9B%E5%AD%A6-%E6%9B%B4%E9%AB%98%E6%9B%B4%E5%A6%99%E7%9A%84%E7%94%B5%E5%8A%A8%E5%8A%9B%E5%AD%A6-5/</guid><description><![CDATA[<p>In this article, we start from the QED Lagrangian:</p>
\[\begin{aligned} \mathcal{L}=  \bar{\psi}(\mathrm{i}\gamma^\mu \partial_\mu -m)\psi - eA_\mu \bar{\psi} \gamma^\mu \psi -\frac{1}{4} F_{\mu\nu} F^{\mu\nu} \end{aligned} \]<p>This Lagrangian is highly complex: it not only takes into account the electron&rsquo;s antiparticle—the positron—but the coupling term \(- eA_\mu \bar{\psi} \gamma^\mu \psi\) is also a cubic term, capable of describing various processes such as electron-positron pair creation/annihilation. Due to the presence of the cubic term, this Lagrangian has no analytic solution and can only be solved using perturbation theory in quantum field theory.</p>]]></description></item><item><title>Dirac Magnetic Monopoles—Chern Classes and Chern Numbers [Higher and More Wonderful Electrodynamics · 4]</title><link>https://haifei.pro/en/post_20250330_%E7%8B%84%E6%8B%89%E5%85%8B%E7%A3%81%E5%8D%95%E6%9E%81%E5%AD%90-%E9%99%88%E7%B1%BB%E4%B8%8E%E9%99%88%E6%95%B0-%E6%9B%B4%E9%AB%98%E6%9B%B4%E5%A6%99%E7%9A%84%E7%94%B5%E5%8A%A8%E5%8A%9B%E5%AD%A6-4/</link><pubDate>Sun, 30 Mar 2025 01:13:18 +0800</pubDate><author>Haifei</author><guid>https://haifei.pro/en/post_20250330_%E7%8B%84%E6%8B%89%E5%85%8B%E7%A3%81%E5%8D%95%E6%9E%81%E5%AD%90-%E9%99%88%E7%B1%BB%E4%B8%8E%E9%99%88%E6%95%B0-%E6%9B%B4%E9%AB%98%E6%9B%B4%E5%A6%99%E7%9A%84%E7%94%B5%E5%8A%A8%E5%8A%9B%E5%AD%A6-4/</guid><description><![CDATA[<p>Previous article in this series:</p>
<p><a href="https://zhuanlan.zhihu.com/p/32173040413" target="_blank" rel="noopener noreffer ">Godfly: The electromagnetic field is more than just electric and magnetic fields—The AB effect and Berry connection [Higher and More Wonderful Electrodynamics · 3]</a></p>
<hr>
<p>In the <a href="https://zhuanlan.zhihu.com/p/32173040413" target="_blank" rel="noopener noreffer ">previous article</a>, we mentioned that if a manifold is topologically trivial, then integrating the Berry curvature over a closed surface \(\Sigma\) should yield zero. This is because, according to Stokes&rsquo; theorem:</p>
\[\int_\Sigma F = \int_{\partial \Sigma } A = 0\]<p>However, on a topologically nontrivial manifold, the integral \(\int_\Sigma F\) need not be zero. This is because a globally single-valued connection \(A\) cannot be defined in this case, so Stokes&rsquo; theorem no longer applies. What does this mean?</p>]]></description></item></channel></rss>