arXiv subjects
Publications and source records attributed to Qiantan Hong.
Equality saturation has become a dominant paradigm for equational program optimization. However, it has never been rigorously compared to another approach to the same problem, even though several exist, the most notable being stochastic search. In this paper, we compare equality saturation to stochastic search over five benchmarks to answer the question: are e-graphs actually good?
Linear temperature dependence of transport coefficients in metals is often ascribed to non-Fermi-liquid physics. Here we demonstrate the $T$-linear behavior of nonlocal conductivity in a clean 2D electron fluid, where carrier collisions assist conduction and lead to hydrodynamic transport with conductance rather than resistance growing with temperature. The key aspect is the occurrence of multiple hydrodynamic modes representing odd-parity modulations of the Fermi surface evolving in space and time. A cascade of such modes results in a linear $T$ dependence that extends to lowest temperatures, as well as a Kolmogorov-like fractional power $-5/3$ scaling of conductivity vs. wavenumber. These dependences provide a smoking gun for nonclassical hydrodynamics driven by such modes, expected to be generic for 2D electron fluids with simple near-circular Fermi surfaces.
Electron hydrodynamics gives rise to surprising correlated behaviors in which electrons "cooperate" to quench dissipation and reduce the electric fields needed to sustain the flow. Such collective "free" flows are usually expected at the hydrodynamic lengthscales exceeding the electron-electron scattering mean free path $\ell_{\rm ee}$. Here we predict that in two-dimensional electron gases the collective free flows actually occur at the distances much smaller than $\ell_{\rm ee}$, in a nominally ballistic regime. The sub-$\ell_{\rm ee}$ free flows arise due to retroreflected holes originating from head-on electron electron collisions, which retrace the paths of impinging electrons and cancel out their potential. An exact solution, obtained in Corbino geometry, predicts potential strongly screened by the hole backflow. Screened potential is described by a fractional power law $r^{-5/3}$ over a wide range of $r$ values, from macroscales down to deep sub-$\ell_{\rm ee}$ scales, and a distinct non-Fermi-liquid temperature dependence.
We investigate the diagonal entropy(DE) of the ground state for quantum many-body systems, including the XY model and the Ising model with next nearest neighbour interactions. We focus on the DE of a subsystem of L continuous spins. We show that the DE in many-body systems, regardless of integrability, can be represented as a volume term plus a logarithmic correction and a constant offset. Quantum phase transition points can be explicitly identified by the three coefficients thereof. Besides, by combining entanglement entropy and the relative entropy of quantum coherence, as two celebrated representatives of quantumness, we simply obtain the DE, which naturally has the potential to reveal the information of quantumness. More importantly, the DE is concerning only the diagonal form of the ground state reduced density matrix, making it feasible to measure in real experiments, and therefore it has immediate applications in demonstrating quantum supremacy on state-of-the-art quantum simulators.
Based on a kinematic approach in defining a geometric phase for a density matrix, we define the generalized Loschmidt overlap amplitude (GLOA) for an open system for arbitrary quantum evolution. The GLOA reduces to the Loschmidt overlap amplitude (LOA) with a modified dynamic phase for unitary evolution of a pure state, with the argument of the GLOA well-defined by the geometric phase, thus possessing similar physical interpretation to that of the LOA. The rate function for the GLOA exhibits non-analyticity at a critical time, which corresponds to the dynamical quantum phase transition. We observe that the dynamical quantum phase transition related to GLOA is not destroyed under a finite temperature and weak enough dissipation. In particular, we find that a new type of dynamical quantum phase transition emerges in a dissipation system. The proposed GLOA provides a powerful tool in the investigation of a dynamical quantum phase transition in an arbitrary quantum system, which not only can characterize the robustness of the dynamical quantum phase transition but also can be used to search for new transitions.