Yi-Kai Liu 0001

dblp:74/3706 · DBLP profile ↗
← Back
14ranked-venue papers
7as first author
1since 2021 · last 2025
0000-0001-7458-4721ORCID · verified

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 8 · 4 first-author · 1 since 2021Security and privacy · 3 · 2 first-authorArtificial intelligence and machine learning · 2 · 1 first-authorComputer networks · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Theoretical computer science
6 papers
Quantum computing and quantum information · 64% Mathematical optimization · 18% Computational complexity · 16%
Artificial intelligence
1 paper
Information extraction and text analysis · 40% Probabilistic and Bayesian machine learning · 40% Learning theory · 20%
Network and information security
3 papers
Cryptographic primitives and cryptanalysis · 64% Privacy and data protection · 34% Network security · 2%

Topics — the 25 heaviest of 26, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Quantum computing and quantum information › quantum circuit simulation
classical simulation
0.912025
Polynomial-Time Classical Simulation of Noisy IQP Circuits with Constant Depth · SODA 2025
Quantum computing and quantum information
quantum circuit simulation
0.912025
Polynomial-Time Classical Simulation of Noisy IQP Circuits with Constant Depth · SODA 2025
Quantum computing and quantum information › quantum computing
quantum supremacy
0.912025
Polynomial-Time Classical Simulation of Noisy IQP Circuits with Constant Depth · SODA 2025
Computational complexity › query complexity
sampling complexity
0.912025
Polynomial-Time Classical Simulation of Noisy IQP Circuits with Constant Depth · SODA 2025
Cryptographic primitives and cryptanalysis
quantum cryptography
0.422015
Privacy Amplification in the Isolated Qubits Model · EUROCRYPT (2) 2015
Single-Shot Security for One-Time Memories in the Isolated Qubits Model · CRYPTO (2) 2014
Mathematical optimization › nonconvex optimization
phase retrieval
0.312018
Phase Retrieval Without Small-Ball Probability Assumptions · IEEE Trans. Inf. Theory 2018
Quantum computing and quantum information › quantum pseudorandomness
pseudorandom quantum states
0.312018
Pseudorandom Quantum States · CRYPTO (3) 2018
Quantum computing and quantum information
quantum pseudorandomness
0.312018
Pseudorandom Quantum States · CRYPTO (3) 2018
Privacy and data protection › differential privacy
privacy amplification
0.212015
Privacy Amplification in the Isolated Qubits Model · EUROCRYPT (2) 2015
Natural language and speech › Information extraction and text analysis › topic model
latent dirichlet allocation
0.112012
A Spectral Algorithm for Latent Dirichlet Allocation · NIPS 2012
Machine learning › Probabilistic and Bayesian machine learning › structured models
latent variable model
0.112012
A Spectral Algorithm for Latent Dirichlet Allocation · NIPS 2012
Machine learning › Probabilistic and Bayesian machine learning › statistical inference
parameter estimation
0.112012
A Spectral Algorithm for Latent Dirichlet Allocation · NIPS 2012
Machine learning › Learning theory
spectral methods
0.112012
A Spectral Algorithm for Latent Dirichlet Allocation · NIPS 2012
Natural language and speech › Information extraction and text analysis
topic model
0.112012
A Spectral Algorithm for Latent Dirichlet Allocation · NIPS 2012
Mathematical optimization › continuous optimization
convex optimization
0.112011
Universal low-rank matrix recovery from Pauli measurements · NIPS 2011
Mathematical optimization › continuous optimization › matrix optimization › matrix recovery
low-rank matrix recovery
0.112011
Universal low-rank matrix recovery from Pauli measurements · NIPS 2011
Mathematical optimization › continuous optimization › convex optimization › norm optimization
nuclear norm minimization
0.112011
Universal low-rank matrix recovery from Pauli measurements · NIPS 2011
Quantum computing and quantum information
quantum state tomography
0.112011
Universal low-rank matrix recovery from Pauli measurements · NIPS 2011
Information theory › signal processing
compressed sensing
0.112018
Phase Retrieval Without Small-Ball Probability Assumptions · IEEE Trans. Inf. Theory 2018
Quantum computing and quantum information
quantum algorithms
0.112009
Quantum algorithms using the curvelet transform · STOC 2009
Quantum computing and quantum information › quantum algorithms
quantum speedup
0.112009
Quantum algorithms using the curvelet transform · STOC 2009
Content delivery and video streaming › peer-to-peer streaming
free-riding mitigation
0.112005
Designing incentives for peer-to-peer routing · INFOCOM 2005
Wireless networking › mobile ad hoc networks › cooperation incentives
reputation system
0.112005
Designing incentives for peer-to-peer routing · INFOCOM 2005
Network security › wireless network security
malicious node resilience
0.012005
Designing incentives for peer-to-peer routing · INFOCOM 2005
Algorithmic game theory and mechanism design › solution concepts in games › equilibrium concepts
subgame perfect equilibrium
0.012005
Designing incentives for peer-to-peer routing · INFOCOM 2005

Methods — techniques the papers use, named apart from their topics

depolarizing noise · 0.9dephasing noise · 0.9sub-gaussian measurements · 0.3stability analysis · 0.3quantum information theory · 0.2game theory · 0.2spectral decomposition · 0.1singular value decomposition · 0.1method of moments · 0.1restricted isometry property · 0.1matrix lasso · 0.1entropy duality · 0.1dudley's inequality · 0.1simulation · 0.1curvelet transform · 0.1
YearPublicationVenuePosition
2025 Polynomial-Time Classical Simulation of Noisy IQP Circuits with Constant Depth
abstract
Sampling from the output distributions of quantum computations comprising only commuting gates, known as instantaneous quantum polynomial (IQP) computations, is believed to be intractable for classical computers, and hence this task has become a leading candidate for testing the capabilities of quantum devices. Here we demonstrate that for an arbitrary IQP circuit undergoing dephasing or depolarizing noise, whose depth is greater than a critical O (1) threshold, the output distribution can be efficiently sampled by a classical computer. Unlike other simulation algorithms for quantum supremacy tasks, we do not require assumptions on the circuit’s architecture, on anti-concentration properties, nor do we require Ω(log (n )) circuit depth. We take advantage of the fact that IQP circuits have deep sections of diagonal gates, which allows the noise to build up predictably and induce a large-scale breakdown of entanglement within the circuit. Our results suggest that quantum supremacy experiments based on IQP circuits may be more susceptible to classical simulation than previously thought. Furthermore, we show that the critical depth threshold of our algorithm is tight, and below this threshold there are noisy IQP circuits which are hard to sample from. Thus we demonstrate that noisy IQP circuits exhibit a phase transition in the computational complexity of sampling, as circuit depth is increased.
Joel Rajakumar, James D. Watson, Yi-Kai Liu 0001
SODA3
2018 Pseudorandom Quantum States
Zheng-Feng Ji, Yi-Kai Liu 0001, Fang Song 0001
CRYPTO (3)2
2018 Phase Retrieval Without Small-Ball Probability Assumptions
abstract
In the context of the phase retrieval problem, it is known that certain natural classes of measurements, such as Fourier measurements and random Bernoulli measurements, do not lead to the unique reconstruction of all possible signals, even in combination with certain practically feasible random masks. To avoid this difficulty, the analysis is often restricted to measurement ensembles (or masks) that satisfy a small-ball probability condition, in order to ensure that the reconstruction is unique. This paper shows a complementary result: for random Bernoulli measurements, there is still a large class of signals that can be reconstructed uniquely, namely, those signals that are non-peaky. In fact, this result is much more general: it holds for random measurements sampled from any subgaussian distribution 2), without any small-ball conditions. This is demonstrated in two ways: 1) a proof of stability and uniqueness and 2) a uniform recovery guarantee for the PhaseLift algorithm. In all of these cases, the number of measurements m approaches the information-theoretic lower bound. Finally, for random Bernoulli measurements with erasures, it is shown that PhaseLift achieves uniform recovery of all signals (including peaky ones).
Felix Krahmer, Yi-Kai Liu 0001
IEEE Trans. Inf. Theory2
2015 Privacy Amplification in the Isolated Qubits Model
Yi-Kai Liu 0001
EUROCRYPT (2)1
2015 A Spectral Algorithm for Latent Dirichlet Allocation
Anima Anandkumar, Dean P. Foster, Daniel Hsu 0001, Sham M. Kakade, Yi-Kai Liu 0001
Algorithmica5
2014 Single-Shot Security for One-Time Memories in the Isolated Qubits Model
Yi-Kai Liu 0001
CRYPTO (2)1
2014 Building one-time memories from isolated qubits: (extended abstract)
abstract
One-time memories (OTM's) are simple tamper-resistant cryptographic devices, which can be used to implement one-time programs, a very general form of software protection and program obfuscation. Here we investigate the possibility of building OTM's using quantum mechanical devices. It is known that OTM's cannot exist in a fully-quantum world or in a fully-classical world. Instead, we propose a new model based on isolated qubits - qubits that can only be accessed using local operations and classical communication (LOCC). This model combines a quantum resource (single-qubit measurements) with a classical restriction (on communication between qubits), and can be implemented using current technologies, such as nitrogen vacancy centers in diamond. In this model, we construct OTM's that are information-theoretically secure against one-pass LOCC adversaries that use 2-outcome measurements.
Yi-Kai Liu 0001
ITCS1
2012 A Spectral Algorithm for Latent Dirichlet Allocation
abstract
Topic modeling is a generalization of clustering that posits that observations (words in a document) are generated by \emph{multiple} latent factors (topics), as opposed to just one. This increased representational power comes at the cost of a more challenging unsupervised learning problem of estimating the topic-word distributions when only words are observed, and the topics are hidden. This work provides a simple and efficient learning procedure that is guaranteed to recover the parameters for a wide class of topic models, including Latent Dirichlet Allocation (LDA). For LDA, the procedure correctly recovers both the topic-word distributions and the parameters of the Dirichlet prior over the topic mixtures, using only trigram statistics (\emph{i.e.}, third order moments, which may be estimated with documents containing just three words). The method, called Excess Correlation Analysis, is based on a spectral decomposition of low-order moments via two singular value decompositions (SVDs). Moreover, the algorithm is scalable, since the SVDs are carried out only on $k \times k$ matrices, where $k$ is the number of latent factors (topics) and is typically much smaller than the dimension of the observation (word) space.
Anima Anandkumar, Dean P. Foster, Daniel Hsu 0001, Sham M. Kakade, Yi-Kai Liu 0001
NIPS5
2011 Quantum Property Testing for Bounded-Degree Graphs
Andris Ambainis, Andrew M. Childs, Yi-Kai Liu 0001
APPROX-RANDOM3
2011 Universal low-rank matrix recovery from Pauli measurements
abstract
We study the problem of reconstructing an unknown matrix M of rank r and dimension d using O(rd polylog d) Pauli measurements. This has applications in quantum state tomography, and is a non-commutative analogue of a well-known problem in compressed sensing: recovering a sparse vector from a few of its Fourier coefficients. We show that almost all sets of O(rd log^6 d) Pauli measurements satisfy the rank-r restricted isometry property (RIP). This implies that M can be recovered from a fixed ("universal") set of Pauli measurements, using nuclear-norm minimization (e.g., the matrix Lasso), with nearly-optimal bounds on the error. A similar result holds for any class of measurements that use an orthonormal operator basis whose elements have small operator norm. Our proof uses Dudley's inequality for Gaussian processes, together with bounds on covering numbers obtained via entropy duality.
Yi-Kai Liu 0001
NIPS1
2009 Quantum algorithms using the curvelet transform
abstract
The curvelet transform is a directional wavelet transform over Rn, which is used to analyze functions that have singularities along smooth surfaces (Candes and Donoho, 2002). I demonstrate how this can lead to new quantum algorithms. I give an efficient implementation of a quantum curvelet transform, together with two applications: a single-shot measurement procedure for approximately finding the center of a ball in Rn, given a quantum-sample over the ball; and, a quantum algorithm for finding the center of a radial function over Rn, given oracle access to the function. I conjecture that these algorithms succeed with constant probability, using one quantum-sample and O(1) oracle queries, respectively, independent of the dimension n -- this can be interpreted as a quantum speed-up. To support this conjecture, I prove rigorous bounds on the distribution of probability mass for the continuous curvelet transform. This shows that the above algorithms work in an idealized "continuous" model.
Yi-Kai Liu 0001
STOC1
2006 Consistency of Local Density Matrices Is QMA-Complete
Yi-Kai Liu 0001
APPROX-RANDOM1
2006 On Bounded Distance Decoding for General Lattices
Yi-Kai Liu 0001, Vadim Lyubashevsky, Daniele Micciancio
APPROX-RANDOM1
2005 Designing incentives for peer-to-peer routing
abstract
In a peer-to-peer network, nodes are typically required to route packets for each other. This leads to a problem of "free-loaders", nodes that use the network but refuse to route other nodes' packets. In this paper we study ways of designing incentives to discourage free-loading. We model the interactions between nodes as a "random matching game", and describe a simple reputation system that provides incentives for good behavior. Under certain assumptions, we obtain a stable subgame-perfect equilibrium. We use simulations to investigate the robustness of this scheme in the presence of noise and malicious nodes, and we examine some of the design trade-offs. We also evaluate some possible adversarial strategies, and discuss how our results might apply to real peer-to-peer systems.
Alberto Blanc, Yi-Kai Liu 0001, Amin Vahdat
INFOCOM2