BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Isaac H. Kim

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

ResearcherUnclaimed source record
quant-phcond-mat.str-elhep-thmath-phmath.MPcond-mat.stat-mechcond-mat.dis-nncond-mat.mes-hallcond-mat.other

Catalog footprint

What is connected

28works
9topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

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

28 published item(s)

preprint2025arXiv

Any Clifford+T circuit can be controlled with constant T-depth overhead

Since an n-qubit circuit consisting of CNOT gates can have up to $Ω(n^2/\log{n})$ CNOT gates, it is natural to expect that $Ω(n^2/\log{n})$ Toffoli gates are needed to apply a controlled version of such a circuit. We show that the Toffoli count can be reduced to at most n. The Toffoli depth can also be reduced to O(1), at the cost of 2n Toffoli gates, even without using any ancilla or measurement. In fact, using a measurement-based uncomputation, the Toffoli depth can be further reduced to 1. From this, we give two corollaries: any controlled Clifford circuit can be implemented with O(1) T-depth, and any Clifford+T circuit with T-depth D can be controlled with T-depth O(D), even without ancillas. As an application, we show how to catalyze a rotation by any angle up to precision $ε$ in T-depth exactly 1 using a universal $\lceil\log_2(8/ε)\rceil$-qubit catalyst state.

0 citations0 reviewsNo code linkedOpen access
preprint2025arXiv

Classical Estimation of the Free Energy and Quantum Gibbs Sampling from the Markov Entropy Decomposition

We revisit the Markov Entropy Decomposition, a classical convex relaxation algorithm introduced by Poulin and Hastings to approximate the free energy in quantum spin lattices. We identify a sufficient condition for its convergence, namely the decay of the effective interaction. The effective interaction, also known as Hamiltonians of mean force, is a widely established correlation measure, and we show our decay condition in 1D at any temperature as well as in the high-temperature regime under a certain commutativity condition on the Hamiltonian building on existing results. This yields polynomial and quasi-polynomial time approximation algorithms in these settings, respectively. Furthermore, the decay of the effective interaction implies the decay of the conditional mutual information for the Gibbs state of the system. We then use this fact to devise a rounding scheme that maps the solution of the convex relaxation to a global state and show that the scheme can be efficiently implemented on a quantum computer, thus proving efficiency of quantum Gibbs sampling under our assumption of decay of the effective interaction.

0 citations0 reviewsNo code linkedOpen access
preprint2025arXiv

Efficient simulation of logical magic state preparation protocols

Developing space- and time-efficient logical magic state preparation protocols will likely be an essential step towards building a large-scale fault-tolerant quantum computer. Motivated by this need, we introduce a scalable method for simulating logical magic state preparation protocols under the standard circuit-level noise model. When applied to protocols based on code switching, magic state cultivation, and magic state distillation, our method yields a complexity polynomial in (i) the number of qubits and (ii) the non-stabilizerness, e.g., stabilizer rank or Pauli rank, of the target encoded magic state. The efficiency of our simulation method is rooted in a curious fact: every circuit-level Pauli error in these protocols propagates to a Clifford error at the end. This property is satisfied by a large family of protocols, including those that repeatedly measure a transversal Clifford that squares to a Pauli. We provide a proof-of-principle numerical simulation that prepares a magic state using such logical Clifford measurements. Our work enables practical simulation of logical magic state preparation protocols without resorting to approximations or resource-intensive state-vector simulations.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Fast digital methods for adiabatic state preparation

We present a quantum algorithm for adiabatic state preparation on a gate-based quantum computer, with complexity polylogarithmic in the inverse error. Our algorithm digitally simulates the adiabatic evolution between two self-adjoint operators $H_0$ and $H_1$, exponentially suppressing the diabatic error by harnessing the theoretical concept of quasi-adiabatic continuation as an algorithmic tool. Given an upper bound $α$ on $\|H_0\|$ and $\|H_1\|$ along with the promise that the $k$th eigenstate $|ψ_k(s)\rangle$ of $H(s) \equiv (1-s)H_0 + sH_1$ is separated from the rest of the spectrum by a gap of at least $γ> 0$ for all $s \in [0,1]$, this algorithm implements an operator $\widetilde{U}$ such that $\||ψ_k(1)\rangle - \widetilde{U}|ψ_k(s)\rangle\| \leq ε$ using $O(α^2/γ^2)\text{polylog}(α/γε)$ queries to block-encodings of $H_0$ and $H_1$. In addition, we develop an algorithm that is applicable only to ground states and requires multiple queries to an oracle that prepares $|ψ_0(0)\rangle$, but has slightly better scaling in all parameters. We also show that the costs of both algorithms can be further reduced under certain reasonable conditions, such as when $\|H_1 - H_0\|$ is small compared to $α$, or when more information about the gap of $H(s)$ is available. For certain problems, the scaling can even be improved to linear in $\|H_1 - H_0\|/γ$ up to polylogarithmic factors.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Low-overhead fault-tolerant quantum computing using long-range connectivity

Vast numbers of qubits will be needed for large-scale quantum computing due to the overheads associated with error correction. We present a scheme for low-overhead fault-tolerant quantum computation based on quantum low-density parity-check (LDPC) codes, where long-range interactions enable many logical qubits to be encoded with a modest number of physical qubits. In our approach, logic gates operate via logical Pauli measurements that preserve both the protection of the LDPC codes as well as the low overheads in terms of the required number of additional qubits. Compared with surface codes with the same code distance, we estimate order-of-magnitude improvements in the overheads for processing around one hundred logical qubits using this approach. Given the high thresholds demonstrated by LDPC codes, our estimates suggest that fault-tolerant quantum computation at this scale may be achievable with a few thousand physical qubits at comparable error rates to what is needed for current approaches.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Chiral central charge from a single bulk wave function

A $(2+1)$-dimensional gapped quantum many-body system can have a topologically protected energy current at its edge. The magnitude of this current is determined entirely by the temperature and the chiral central charge, a quantity associated with the effective field theory of the edge. We derive a formula for the chiral central charge that, akin to the topological entanglement entropy, is completely determined by the many-body ground state wave function in the bulk. According to our formula, nonzero chiral central charge gives rise to a topological obstruction that prevents the ground state wave function from being real-valued in any local product basis.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Modular commutator in gapped quantum many-body systems

In arXiv:2110.06932, we argued that the chiral central charge -- a topologically protected quantity characterizing the edge theory of a gapped (2+1)-dimensional system -- can be extracted from the bulk by using an order parameter called the modular commutator. In this paper, we reveal general properties of the modular commutator and strengthen its relationship with the chiral central charge. First, we identify connections between the modular commutator and conditional mutual information, time reversal, and modular flow. Second, we prove, within the framework of the entanglement bootstrap program, that two topologically ordered media connected by a gapped domain wall must have the same modular commutator in their respective bulk. Third, we numerically calculate the value of the modular commutator for a bosonic lattice Laughlin state for finite sizes and extrapolate to the infinite-volume limit. The result of this extrapolation is consistent with the proposed formula up to an error of about 0.7%.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Fusion rules from entanglement

We derive some of the axioms of the algebraic theory of anyon [A. Kitaev, Ann. Phys., 321, 2 (2006)] from a conjectured form of entanglement area law for two-dimensional gapped systems. We derive the fusion rules of topological charges and show that the multiplicities of the fusion rules satisfy these axioms. Moreover, even though we make no assumption about the exact value of the constant sub-leading term of the entanglement entropy of a disk-like region, this term is shown to be equal to $\ln \mathcal{D}$, where $\mathcal{D}$ is the total quantum dimension of the underlying anyon theory. These derivations are rigorous and follow from the entanglement area law alone. More precisely, our framework starts from two local entropic constraints, which are implied by the area law. From these constraints, we prove what we refer to as the "isomorphism theorem." The existence of superselection sectors and fusion multiplicities follows from this theorem, even without assuming anything about the parent Hamiltonian. These objects and the axioms of the anyon theory are shown to emerge from the structure and the internal self-consistency relations of the information convex sets.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

The ghost in the radiation: Robust encodings of the black hole interior

We reconsider the black hole firewall puzzle, emphasizing that quantum error-correction, computational complexity, and pseudorandomness are crucial concepts for understanding the black hole interior. We assume that the Hawking radiation emitted by an old black hole is pseudorandom, meaning that it cannot be distinguished from a perfectly thermal state by any efficient quantum computation acting on the radiation alone. We then infer the existence of a subspace of the radiation system which we interpret as an encoding of the black hole interior. This encoded interior is entangled with the late outgoing Hawking quanta emitted by the old black hole, and is inaccessible to computationally bounded observers who are outside the black hole. Specifically, efficient operations acting on the radiation, those with quantum computational complexity polynomial in the entropy of the remaining black hole, commute with a complete set of logical operators acting on the encoded interior, up to corrections which are exponentially small in the entropy. Thus, under our pseudorandomness assumption, the black hole interior is well protected from exterior observers as long as the remaining black hole is macroscopic. On the other hand, if the radiation is not pseudorandom, an exterior observer may be able to create a firewall by applying a polynomial-time quantum computation to the radiation.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Markovian Marignals

We introduce a class of so called Markovian marginals, which gives a natural framework for constructing solutions to the quantum marginal problem. We consider a set of marginals that possess a certain internal quantum Markov chain structure. If they are equipped with such a structure and are locally consistent on their overlapping supports, there exists a global state that is consistent with all the marginals. The proof is constructive, and relies on a reduction of the marginal problem to a certain combinatorial problem. By employing an entanglement entropy scaling law, we give a physical argument that the requisite structure exists in any states with finite correlation lengths. This includes topologically ordered states as well as finite temperature Gibbs states.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Precursor problem and holographic mutual information

The recent proposal of Almheiri et al.http://arxiv.org/abs/1411.7041, together with the Ryu-Takayanagi formula, implies the entanglement wedge hypothesis for certain choices of boundary subregions. This fact is derived in the pure AdS space. A similar conclusion holds in the presence of quantum corrections, but in a more restricted domain of applicability. We also comment on http://arxiv.org/abs/1601.05416 and some similarities and differences with this work

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Ground state entanglement constrains low-energy excitations

For a general quantum many-body system, we show that its ground-state entanglement imposes a fundamental constraint on the low-energy excitations. For two-dimensional systems, our result implies that any system that supports anyons must have a nonvanishing topological entanglement entropy. We demonstrate the generality of this argument by applying it to three-dimensional quantum many-body systems, and showing that there is a pair of ground state topological invariants that are associated to their physical boundaries. From the pair, one can determine whether the given boundary can or cannot absorb point-like or line-like excitations.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Localization from superselection rules in translation invariant systems

We study a translation invariant spin model in a three-dimensional regular lattice, called the cubic code model, in the presence of arbitrary extensive perturbations. Below a critical perturbation strength, we show that most states with finite energy are localized; the overwhelming majority of such states have energy concentrated around a finite number of defects, and remain so for a time that is near-exponential in the distance between the defects. This phenomenon is due to an emergent superselection rule and does not require any disorder. An extensive number of local integrals of motion for these finite energy sectors are identified as well. Our analysis extends more generally to systems with immobile topological excitations.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Long-range mutual information and topological uncertainty principle

Ordered phases in Landau paradigm can be diagnosed by a local order parameter, whereas topologically ordered phases cannot be detected in such a way. In this paper, we propose long-range mutual information(LRMI) as a unified diagnostic for both conventional long-range order and topological order. Using the LRMI, we characterize orders in $n+1$D gapped systems as $m$-membrane condensates with $ 0 \leq m \leq n-1$. The familiar conventional order and 2+1D topological orders are respectively identified as $0$-membrane and $1$-membrane condensates. We propose and study the topological uncertainty principle, which describes the non-commuting nature of non-local order parameters in topological orders.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Constructing local integrals of motion in the many-body localized phase

Many-body localization provides a generic mechanism of ergodicity breaking in quantum systems. In contrast to conventional ergodic systems, many-body localized (MBL) systems are characterized by extensively many local integrals of motion (LIOM), which underlie the absence of transport and thermalization in these systems. Here we report a physically motivated construction of local integrals of motion in the MBL phase. We show that any local operator (e.g., a local particle number or a spin flip operator), evolved with the system's Hamiltonian and averaged over time, becomes a LIOM in the MBL phase. Such operators have a clear physical meaning, describing the response of the MBL system to a local perturbation. In particular, when a local operator represents a density of some globally conserved quantity, the corresponding LIOM describes how this conserved quantity propagates through the MBL phase. Being uniquely defined and experimentally measurable, these LIOMs provide a natural tool for characterizing the properties of the MBL phase, both in experiments and numerical simulations. We demonstrate the latter by numerically constructing an extensive set of LIOMs in the MBL phase of a disordered spin chain model. We show that the resulting LIOMs are quasi-local, and use their decay to extract the localization length and establish the location of the transition between the MBL and ergodic phases.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Entropic topological invariant for a gapped one-dimensional system

We propose an order parameter for a general one-dimensional gapped system with an open boundary condition. The order parameter can be computed from the ground state entanglement entropy of some regions near one of the boundaries. Hence, it is well-defined even in the presence of arbitrary interaction and disorder. We also show that it is invariant under a finite-depth local quantum circuit, suggesting its stability against an arbitrary local perturbation that does not close the energy gap. Further, it can unambiguously distinguish Majorana chain from a trivial chain under a global fermion parity conservation. We argue that the order parameter can be in principle measured in an optical lattice system.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Local integrals of motion and the logarithmic lightcone in many-body localized systems

We propose to define full many-body localization in terms of the recently introduced integrals of motion[Chandran et al., arXiv:1407.8480], which characterize the time-averaged response of the system to a local perturbation. The quasi-locality of such integrals of motion implies an effective lightcone that grows logarithmically in time. This subsequently implies that (i) the average entanglement entropy can grow at most logarithmically in time for a global quench from a product state, and (ii) with high probability, the time evolution of a local operator for a time interval $|t|$ can be classically simulated with a resource that scales polynomially in $|t|$.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

On the informational completeness of local observables

For a general multipartite quantum state, we formulate a locally checkable condition, under which the expectation values of certain nonlocal observables are completely determined by the expectation values of some local observables. The condition is satisfied by ground states of gapped quantum many-body systems in two spatial dimensions, assuming a widely conjectured form of area law is correct. Its implications on the studies of gapped quantum many-body systems, quantum state tomography, and quantum state verification are discussed. These results are based on a partial characterization of states with small yet nonzero conditional mutual information, which may be of independent interest.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Reconstructing quantum states from local data

We consider the problem of reconstructing global quantum states from local data. Because the reconstruction problem has many solutions in general, we consider the reconstructed state of maximum global entropy consistent with the local data. We show that unique ground states of local Hamiltonians are exactly reconstructed as the maximal entropy state. More generally, we show that if the state in question is a ground state of a local Hamiltonian with a degenerate space of locally indistinguishable ground states, then the maximal entropy state is close to the ground state projector. We also show that local reconstruction is possible for thermal states of local Hamiltonians. Finally, we discuss a procedure to certify that the reconstructed state is close to the true global state. We call the entropy of our reconstructed maximum entropy state the "reconstruction entropy", and we discuss its relation to emergent geometry in the context of holographic duality.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Determining the structure of real-space entanglement spectrum from approximate conditional independence

We study the ground state of a gapped quantum many-body system whose entanglement entropy $S_A$ can be expressed as $S_A = a|\partial A| - γ$, where $a, γ$ are some constants and $|\partial A|$ is an area of the subsystem $A$. By using a recently proved operator extension of strong subadditivity of entropy,[I. H. Kim, J. Math. Phys. 53, 122204 (2012)] we show that certain linear combination of the real-space entanglement spectrum has a small correlation with almost any local operator. Our result implies that there exists a structure relating the real-space entanglement spectrum over different subsystems. Further, this structure is inherited from the generic property of the ground state alone, suggesting that the locality of the entanglement spectrum may be attributed to the area law of entanglement entropy.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Local non-CSS quantum error correcting code on a three-dimensional lattice

We present a family of non-CSS quantum error-correcting code consisting of geometrically local stabilizer generators on a 3D lattice. We study the Hamiltonian constructed from ferromagnetic interaction of overcomplete set of local stabilizer generators. The degenerate ground state of the system is characterized by a quantum error-correcting code whose number of encoded qubits are equal to the second Betti number of the manifold. These models (i) have solely local interactions; (ii) admit a strong-weak duality relation with an Ising model on a dual lattice; (iii) have topological order in the ground state, some of which survive at finite temperature; and (iv) behave as classical memory at finite temperature.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Long-range entanglement is necessary for a topological storage of quantum information

A general inequality between entanglement entropy and a number of topologically ordered states is derived, even without using the properties of the parent Hamiltonian or the formalism of topological quantum field theory. Given a quantum state $\ketψ$, we obtain an upper bound on the number of distinct states that are locally indistinguishable from $\ketψ$. The upper bound is determined only by the entanglement entropy of some local subsystems. As an example, we show that $\log N \leq 2γ$ for a large class of topologically ordered systems on a torus, where $N$ is the number of topologically protected states and $γ$ is the constant subcorrection term of the entanglement entropy. We discuss applications to quantum many-body systems that do not have any low-energy topological quantum field theory description, as well as tradeoff bounds for general quantum error correcting codes.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

3D local qupit quantum code without string logical operator

Recently Haah introduced a new quantum error correcting code embedded on a cubic lattice. One of the defining properties of this code is the absence of string logical operator. We present new codes with similar properties by relaxing the condition on the local particle dimension. The resulting code is well-defined when the local Hilbert space dimension is prime. These codes can be divided into two different classes: the local stabilizer generators are either symmetric or antisymmetric with respect to the inversion operation. These is a nontrivial correspondence between these two classes. For any symmetric code without string logical operator, there exists a complementary antisymmetric code with the same property and vice versa. We derive a sufficient condition for the absence of string logical operator in terms of the algebraic constraints on the defining parameters of the code. Minimal number of local particle dimension which satisfies the condition is 5. These codes have logarithmic energy barrier for any logical error.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Perturbative analysis of topological entanglement entropy from conditional independence

We use the structure of conditionally independent states to analyze the stability of topological entanglement entropy. For the ground state of quantum double or Levin-Wen model, we obtain a bound on the first order perturbation of topological entanglement entropy in terms of its energy gap and subsystem size. The bound decreases superpolynomially with the size of the subsystem, provided the energy gap is nonzero. We also study the finite temperature stability of stabilizer models, for which we prove a stronger statement than the strong subadditivity of entropy. Using this statement and assuming i) finite correlation length ii) small conditional mutual information of certain configurations, first order perturbation effect for arbitrary local perturbation can be bounded. We discuss the technical obstacles in generalizing these results.

0 citations0 reviewsNo code linkedOpen access
preprint2007arXiv

Quamtumness, Generalized Spherical 2-Design and Symmetric Informationally Complete POVM

C. A. Fuchs and M. Sasaki defined the quantumness of a set of quantum states in \cite{Quantumness}, which is closely related to the fidelity loss in transmission of the quantum states through a classical channel. In \cite{Fuchs}, Fuchs showed that in $d$-dimensional Hilbert space, minimum quantumness is $\frac{2}{d+1}$, and this can be achieved by all rays in the space. He left an open problem, asking whether fewer than $d^2$ states can achieve this bound. Recently, in a different context, A. J. Scott introduced a concept of generalized $t$-design in \cite{GenSphet}, which is a natural generalization of spherical $t$-design. In this paper, we show that the lower bound on the quantumness can be achieved if and only if the states form a generalized 2-design. As a corollary, we show that this bound can be only achieved if the number of states are larger or equal to $d^2$, answering the open problem. Furthermore, we also show that the minimal set of such ensemble is Symmetric Informationally Complete POVM(SIC-POVM). This leads to an equivalence relation between SIC-POVM and minimal set of ensemble achieving minimal quantumness.

0 citations0 reviewsNo code linkedOpen access