Source author record

Yichen Huang

Yichen Huang appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

22works
16topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

22 published item(s)

preprint2026arXiv

The Mixed Birth-death/death-Birth Moran Process

We study evolutionary dynamics on graphs in which each step consists of one birth and one death, also known as the Moran processes. There are two types of individuals: residents with fitness $1$ and mutants with fitness $r$. Two standard update rules are used in the literature. In Birth-death (Bd), a vertex is chosen to reproduce proportional to fitness, and one of its neighbors is selected uniformly at random to be replaced by the offspring. In death-Birth (dB), a vertex is chosen uniformly to die, and then one of its neighbors is chosen, proportional to fitness, to place an offspring into the vacancy. We formalize and study a unified model, the $λ$-mixed Moran process, in which each step is independently a Bd step with probability $λ\in [0,1]$ and a dB step otherwise. We analyze this mixed process for undirected, connected graphs. As an interesting special case, we show at $λ=1/2$, for any graph that the fixation probability when $r=1$ with a single mutant initially on the graph is exactly $1/n$, and also at $λ=1/2$ that the absorption time for any $r$ is $O_r(n^4)$. We also show results for graphs that are "almost regular," in a manner defined in the paper. We use this to show that for suitable random graphs from $G \sim G(n,p)$ and fixed $r>1$, with high probability over the choice of graph, the absorption time is $O_r(n^4)$, the fixation probability is $Ω_r(n^{-2})$, and we can approximate the fixation probability in polynomial time. Another special case is when the graph has only two distinct degree values $\{d_1, d_2\}$ with $d_1 \leq d_2$. For those graphs, we give exact formulas for fixation probabilities when $r = 1$ and any $λ$, and establish an absorption time of $O_r(n^4 α^4)$ for all $λ$, where $α= d_2 / d_1$. We also provide explicit formulas for the star and cycle under any $r$ or $λ$.

preprint2022arXiv

Entanglement Dynamics From Random Product States: Deviation From Maximal Entanglement

We study the entanglement dynamics of quantum many-body systems and prove the following: (I) For any geometrically local Hamiltonian on a lattice, starting from a random product state the entanglement entropy is bounded away from the maximum entropy at all times with high probability. (II) In a spin-glass model with random all-to-all interactions, starting from any product state the average entanglement entropy is bounded away from the maximum entropy at all times. We also extend these results to any unitary evolution with charge conservation and to the Sachdev-Ye-Kitaev model. Our results highlight the difference between the entanglement generated by (chaotic) Hamiltonian dynamics and that of random states, for the latter is nearly maximal.

preprint2020arXiv

Computing local properties in the trivial phase

A translation-invariant gapped local Hamiltonian is in the trivial phase if it can be connected to a completely decoupled Hamiltonian with a smooth path of translation-invariant gapped local Hamiltonians. For the ground state of such a Hamiltonian, we show that the expectation value of a local observable can be computed in time $\text{poly}(1/δ)$ in one spatial dimension and $e^{\text{poly}\log(1/δ)}$ in two and higher dimensions, where $δ$ is the desired (additive) accuracy. The algorithm applies to systems of finite size and in the thermodynamic limit. It only assumes the existence but not any knowledge of the path.

preprint2020arXiv

INSET: Sentence Infilling with INter-SEntential Transformer

Missing sentence generation (or sentence infilling) fosters a wide range of applications in natural language generation, such as document auto-completion and meeting note expansion. This task asks the model to generate intermediate missing sentences that can syntactically and semantically bridge the surrounding context. Solving the sentence infilling task requires techniques in natural language processing ranging from understanding to discourse-level planning to generation. In this paper, we propose a framework to decouple the challenge and address these three aspects respectively, leveraging the power of existing large-scale pre-trained models such as BERT and GPT-2. We empirically demonstrate the effectiveness of our model in learning a sentence representation for generation and further generating a missing sentence that fits the context.

preprint2020arXiv

Instability of localization in translation-invariant systems

The phenomenon of localization is usually accompanied with the presence of quenched disorder. To what extent disorder is necessary for localization is a well-known open problem. In this paper, we prove the instability of localization in translation-invariant systems. For any translation-invariant local Hamiltonian exhibiting either Anderson or many-body localization, an arbitrarily small translation-invariant random local perturbation almost surely leads to the following manifestations of delocalization: (i) Transport: For any (inhomogeneous) initial state, the spatial distribution of energy or any other local conserved quantity becomes uniform at late times. (ii) Scrambling: The out-of-time-ordered correlator of any traceless local operators decays to zero at late times. (iii) Thermalization: Random product states locally thermalize to the infinite temperature state with overwhelming probability.

preprint2020arXiv

Neuro-Symbolic Visual Reasoning: Disentangling "Visual" from "Reasoning"

Visual reasoning tasks such as visual question answering (VQA) require an interplay of visual perception with reasoning about the question semantics grounded in perception. However, recent advances in this area are still primarily driven by perception improvements (e.g. scene graph generation) rather than reasoning. Neuro-symbolic models such as Neural Module Networks bring the benefits of compositional reasoning to VQA, but they are still entangled with visual representation learning, and thus neural reasoning is hard to improve and assess on its own. To address this, we propose (1) a framework to isolate and evaluate the reasoning aspect of VQA separately from its perception, and (2) a novel top-down calibration technique that allows the model to answer reasoning questions even with imperfect perception. To this end, we introduce a differentiable first-order logic formalism for VQA that explicitly decouples question answering from visual perception. On the challenging GQA dataset, this framework is used to perform in-depth, disentangled comparisons between well-known VQA models leading to informative insights regarding the participating models as well as the task.

preprint2019arXiv

Eigenstate entanglement in the Sachdev-Ye-Kitaev model

We study the entanglement entropy of eigenstates (including the ground state) of the Sachdev-Ye-Kitaev model. We argue for a volume law, whose coefficient can be calculated analytically from the density of states. The coefficient depends on not only the energy density of the eigenstate but also the subsystem size. Very recent numerical results of Liu, Chen, and Balents confirm our analytical results.

preprint2016arXiv

Correlation Length versus Gap in Frustration-Free Systems

Hastings established exponential decay of correlations for ground states of gapped quantum many-body systems. A ground state of a (geometrically) local Hamiltonian with spectral gap $ε$ has correlation length $ξ$ upper bounded as $ξ=O(1/ε)$. In general this bound cannot be improved. Here we study the scaling of the correlation length as a function of the spectral gap in frustration-free local Hamiltonians, and we prove a tight bound $ξ=O(1/\sqrtε)$ in this setting. This highlights a fundamental difference between frustration-free and frustrated systems near criticality. The result is obtained using an improved version of the combinatorial proof of correlation decay due to Aharonov, Arad, Vazirani, and Landau.

preprint2016arXiv

Quantum Hamiltonian Complexity

Constraint satisfaction problems are a central pillar of modern computational complexity theory. This survey provides an introduction to the rapidly growing field of Quantum Hamiltonian Complexity, which includes the study of quantum constraint satisfaction problems. Over the past decade and a half, this field has witnessed fundamental breakthroughs, ranging from the establishment of a "Quantum Cook-Levin Theorem" to deep insights into the structure of 1D low-temperature quantum systems via so-called area laws. Our aim here is to provide a computer science-oriented introduction to the subject in order to help bridge the language barrier between computer scientists and physicists in the field. As such, we include the following in this survey: (1) The motivations and history of the field, (2) a glossary of condensed matter physics terms explained in computer-science friendly language, (3) overviews of central ideas from condensed matter physics, such as indistinguishable particles, mean field theory, tensor networks, and area laws, and (4) brief expositions of selected computer science-based results in the area. For example, as part of the latter, we provide a novel information theoretic presentation of Bravyi's polynomial time algorithm for Quantum 2-SAT.

preprint2015arXiv

A polynomial-time algorithm for the ground state of one-dimensional gapped Hamiltonians

A (deterministic) polynomial-time algorithm is proposed for approximating the ground state of (general) one-dimensional gapped Hamiltonians. Let $ε,n,η$ be the energy gap, the system size, and the desired precision, respectively. Neglecting $ε$-dependent subpolynomial (in $n$) and constant factors, the running time of the algorithm is $n^{O(1)}$ for $η=n^{-O(1)}$.

preprint2015arXiv

Area law in one dimension: Degenerate ground states and Renyi entanglement entropy

An area law is proved for the Renyi entanglement entropy of possibly degenerate ground states in one-dimensional gapped quantum systems. Suppose in a chain of $n$ spins the ground states of a local Hamiltonian with energy gap $ε$ are constant-fold degenerate. Then, the Renyi entanglement entropy $R_α(0<α<1)$ of any ground state across any cut is upper bounded by $\tilde O(α^{-3}/ε)$, and any ground state can be well approximated by a matrix product state of subpolynomial bond dimension $2^{\tilde O(ε^{-1/4}\log^{3/4}n)}$.

preprint2015arXiv

Computing energy density in one dimension

We study the problem of computing energy density in one-dimensional quantum systems. We show that the ground-state energy per site or per bond can be computed in time (i) independent of the system size and subexponential in the desired precision if the ground state satisfies area laws for the Renyi entanglement entropy (this is the first rigorous formulation of the folklore that area laws imply efficient matrix-product-state algorithms); (ii) independent of the system size and polynomial in the desired precision if the system is gapped. As a by-product, we prove that in the presence of area laws (or even an energy gap) the ground state can be approximated by a positive semidefinite matrix product operator of bond dimension independent of the system size and subpolynomial in the desired precision of local properties.

preprint2015arXiv

Efficient simulation of many-body localized systems

An efficient numerical method is developed using the matrix product formalism for computing the properties at finite energy densities in one-dimensional (1D) many-body localized (MBL) systems. Arguing that any efficient (possibly quantum) algorithm can only have a polynomially small energy resolution, we propose a (rigorous) polynomial-time (classical) algorithm that outputs a diagonal density operator supported on a microcanonical ensemble of an inverse polynomial bandwidth. The proof uses no other conditions for MBL but assumes that the effect of any local perturbation (e.g., injecting conserved charges) is restricted to a region whose radius grows logarithmically with time. A non-optimal version of this algorithm efficiently simulates the quantum phase estimation algorithm in 1D MBL systems; a heuristic version of the algorithm can be easily coded and used to, e.g., detect energy-tuned dynamical quantum phase transitions between MBL phases. We extend the algorithm to two and higher spatial dimensions using the projected entangled pair formalism.

preprint2015arXiv

Many-body localization with mobility edges

We construct a solvable spin chain model of many-body localization (MBL) with a tunable mobility edge. This simple model not only demonstrates analytically the existence of mobility edges in interacting one-dimensional (1D) disordered systems, but also allows us to study their physics. By establishing a connection between MBL and a quantum central limit theorem (QCLT), we show that many-body localization-delocalization transitions can be visualized as tuning a mobility edge in the energy spectrum. Since the effective disorder strength for individual eigenstates depends on energy density, we identify "energy-resolved disorder strength" as a physical mechanism for the appearance of mobility edges, and support the universality of this mechanism by arguing its presence in a large class of models including the random-field Heisenberg chain. We also construct models with multiple mobility edges. All our constructions can be made translationally invariant.

preprint2015arXiv

Quantum circuit complexity of one-dimensional topological phases

Topological quantum states cannot be created from product states with local quantum circuits of constant depth and are in this sense more entangled than topologically trivial states, but how entangled are they? Here we quantify the entanglement in one-dimensional topological states by showing that local quantum circuits of linear depth are necessary to generate them from product states. We establish this linear lower bound for both bosonic and fermionic one-dimensional topological phases and use symmetric circuits for phases with symmetry. We also show that the linear lower bound can be saturated by explicitly constructing circuits generating these topological states. The same results hold for local quantum circuits connecting topological states in different phases.

preprint2014arXiv

Computing quantum discord is NP-complete

We study the computational complexity of quantum discord (a measure of quantum correlation beyond entanglement), and prove that computing quantum discord is NP-complete. Therefore, quantum discord is computationally intractable: the running time of any algorithm for computing quantum discord is believed to grow exponentially with the dimension of the Hilbert space so that computing quantum discord in a quantum system of moderate size is not possible in practice. As by-products, some entanglement measures (namely entanglement cost, entanglement of formation, relative entropy of entanglement, squashed entanglement, classical squashed entanglement, conditional entanglement of mutual information, and broadcast regularization of mutual information) and constrained Holevo capacity are NP-hard/NP-complete to compute. These complexity-theoretic results are directly applicable in common randomness distillation, quantum state merging, entanglement distillation, superdense coding, and quantum teleportation; they may offer significant insights into quantum information processing. Moreover, we prove the NP-completeness of two typical problems: linear optimization over classical states and detecting classical states in a convex set, providing evidence that working with classical states is generically computationally intractable.

preprint2014arXiv

Excited-state entanglement and thermal mutual information in random spin chains

Entanglement properties of excited eigenstates (or of thermal mixed states) are difficult to study with conventional analytical methods. We approach this problem for random spin chains using a recently developed real-space renormalization group technique for excited states ("RSRG-X"). For the random $XX$ and quantum Ising chains, which have logarithmic divergences in the entanglement entropy of their (infinite-randomness) critical ground states, we show that the entanglement entropy of excited eigenstates retains a logarithmic divergence while the mutual information of thermal mixed states does not. However, in the $XX$ case the coefficient of the logarithmic divergence extends from the universal ground-state value to a universal interval due to the degeneracy of excited eigenstates. These models are noninteracting in the sense of having free-fermion representations, allowing strong numerical checks of our analytical predictions.

preprint2014arXiv

Scaling of quantum discord in spin models

We study the scaling of quantum discord (a measure of quantum correlation beyond entanglement) in spin models analytically and systematically. We find that at finite temperature the block scaling of quantum discord satisfies an area law for any two-local Hamiltonian. We show that generically and heuristically the two-site scaling of quantum discord is similar to that of correlation functions. In particular, at zero temperature it decays exponentially and polynomially in gapped and gapless (critical) systems, respectively; at finite temperature it decays exponentially in both gapped and gapless systems. We compute the two-site scaling of quantum discord in the XXZ chain, the XY chain (in a magnetic field), and the transverse field Ising chain at zero temperature.

preprint2013arXiv

Quantum discord for two-qubit X states: Analytical formula with very small worst-case error

Quantum discord is a measure of quantum correlation beyond entanglement. Computing quantum discord for simple quantum states is a basic problem. An analytical formula of quantum discord for two-qubit X states is first claimed in [Ali, Rau, and Alber, Phys. Rev. A 81, 042105 (2010)], but later found to be not always correct. I observe numerically that the formula is valid with worst-case absolute error 0.0021. For symmetric two-qubit X states, I give a counterexample to the analytical formula derived in [F. F. Fanchini et al., Phys. Rev. A 81, 052107 (2010)], but observe that the formula is valid with worst-case absolute error 0.0006. The formula has been used in many research papers. The results in all these works are approximately correct, even if they may not be exactly correct.