Xiaodi Wu

Generating author description...

All published works

Action	Title	Year	Authors
+ PDF Chat	Robust analog quantum simulators by quantum error-detecting codes	2024	Yingkang Cao Shih‐Fu Liu Haowei Deng Zihan Xia Xiaodi Wu Yuxin Wang
+ PDF Chat	QHDOPT: A Software for Nonlinear Optimization with Quantum Hamiltonian Descent	2024	Samuel Kushnir Jiaqi Leng Yuxiang Peng Lei Fan Xiaodi Wu
+ PDF Chat	On the Computational Complexity of Schr\"odinger Operators	2024	Yufan Zheng Jiaqi Leng Yizhou Liu Xiaodi Wu
+ PDF Chat	Efficient Routing on Quantum Networks using Adaptive Clustering	2024	Crishantha Jerome Clayton Xiaodi Wu Bobby Bhattacharjee
+ PDF Chat	QHDOPT: A Software for Nonlinear Optimization with Quantum Hamiltonian Descent	2024	Samuel Kushnir Jiaqi Leng Yuxiang Peng Lei Fan Xiaodi Wu
+ PDF Chat	Quantum-centric supercomputing for materials science: A perspective on challenges and future directions	2024	Yuri Alexeev Maximilian Amsler Marco Antonio Barroca Sanzio Bassini Torey Battelle Daan Camps David Casanova Young Jay Choi Frederic T. Chong Charles Chung
+ PDF Chat	The Quantum Abstract Machine	2024	Liyi Li Le Chang Rance Cleaveland Mingwei Zhu Xiaodi Wu
+ PDF Chat	SimuQ: A Framework for Programming Quantum Hamiltonian Simulation with Analog Compilation	2024	Yuxiang Peng Jacob Young Pengyu Liu Xiaodi Wu
+ PDF Chat	A Case for Synthesis of Recursive Quantum Unitary Programs	2024	Haowei Deng Runzhou Tao Yuxiang Peng Xiaodi Wu
+	Expanding Hardware-Efficiently Manipulable Hilbert Space via Hamiltonian Embedding	2024	Jiaqi Leng Joseph Li Yuxiang Peng Xiaodi Wu
+ PDF Chat	Differentiable Quantum Programming with Unbounded Loops	2023	Fang Wang Mingsheng Ying Xiaodi Wu
+ PDF Chat	A Verified Optimizer for Quantum Circuits	2023	Kesha Hietala Robert W. Rand Liyi Li Shih-Han Hung Xiaodi Wu Michael Hicks
+	A formally certified end-to-end implementation of Shor’s factorization algorithm	2023	Yuxiang Peng Kesha Hietala Runzhou Tao Liyi Li Robert W. Rand Michael Hicks Xiaodi Wu
+ PDF Chat	Quantum Algorithm for Estimating Volumes of Convex Bodies	2023	Shouvanik Chakrabarti Andrew M. Childs Shih-Han Hung Tongyang Li Chunhao Wang Xiaodi Wu
+	Quantum Hamiltonian Descent	2023	Jiaqi Leng Ethan Hickman Joseph Li Xiaodi Wu
+	Analyzing Convergence in Quantum Neural Networks: Deviations from Neural Tangent Kernels	2023	Xuchen You Shouvanik Chakrabarti Boyang Chen Xiaodi Wu
+	Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium	2023	Manuel Barbosa Gilles Barthe Christian Doczkal Jelle Don Serge Fehr Benjamin Grégoire Yu‐Hsuan Huang Andreas Hülsing Y.-H. Lee Xiaodi Wu
+	A quantum-classical performance separation in nonconvex optimization	2023	Jiaqi Leng Yufan Zheng Xiaodi Wu
+	A quantum central path algorithm for linear optimization	2023	Brandon Augustino Jiaqi Leng Giacomo Nannicini Tamás Terlaky Xiaodi Wu
+	Quantum-centric Supercomputing for Materials Science: A Perspective on Challenges and Future Directions	2023	Yuri Alexeev Maximilian Amsler P. G. Baity Marco Antonio Barroca Sanzio Bassini Torey Battelle Daan Camps David Casanova Young Jai Choi Frederic T. Chong
+	Microwave signal processing using an analog quantum reservoir computer	2023	Alen Senanian Sridhar Prabhu Vladimir Kremenetski Saswata Roy Yingkang Cao Jeremy Kline Tatsuhiro Onodera Logan G. Wright Xiaodi Wu Valla Fatemi
+ PDF Chat	Verified compilation of Quantum oracles	2022	Liyi Li Finn Voichick Kesha Hietala Yuxiang Peng Xiaodi Wu Michael Hicks
+ PDF Chat	Algebraic reasoning of Quantum programs via non-idempotent Kleene algebra	2022	Yuxiang Peng Mingsheng Ying Xiaodi Wu
+ PDF Chat	Constant-Round Blind Classical Verification of Quantum Sampling	2022	Kai-Min Chung Y.-H. Lee Han-Hsuan Lin Xiaodi Wu
+	A Formally Certified End-to-End Implementation of Shor's Factorization Algorithm	2022	Yuxiang Peng Kesha Hietala Runzhou Tao Liyi Li Robert W. Rand Michael Hicks Xiaodi Wu
+	A Convergence Theory for Over-parameterized Variational Quantum Eigensolvers	2022	Xuchen You Shouvanik Chakrabarti Xiaodi Wu
+	Differentiable Analog Quantum Computing for Optimization and Control	2022	Jiaqi Leng Yuxiang Peng Yi-Ling Qiao Ming Lin Xiaodi Wu
+	Differentiable Quantum Programming with Unbounded Loops	2022	Fang Wang Mingsheng Ying Xiaodi Wu
+	Qafny: A Quantum-Program Verifier	2022	Liyi Li Mingwei Zhu Yi Lee Le Chang Xiaodi Wu
+ PDF Chat	Sublinear Classical and Quantum Algorithms for General Matrix Games	2021	Tongyang Li Chunhao Wang Shouvanik Chakrabarti Xiaodi Wu
+ PDF Chat	A verified optimizer for Quantum circuits	2021	Kesha Hietala Robert W. Rand Shih-Han Hung Xiaodi Wu Michael Hicks
+	Exponentially Many Local Minima in Quantum Neural Networks	2021	Xuchen You Xiaodi Wu
+	A HS‐PRP‐Type Hybrid Conjugate Gradient Method with Sufficient Descent Property	2021	Xiaodi Wu Yihan Zhu Jianghua Yin
+	Verified Compilation of Quantum Oracles	2021	Liyi Li Finn Voichick Kesha Hietala Yuxiang Peng Xiaodi Wu Michael Hicks
+ PDF Chat	Simulating Large Quantum Circuits on a Small Quantum Computer	2020	Tianyi Peng Aram W. Harrow Māris Ozols Xiaodi Wu
+	On the principles of differentiable quantum programming languages	2020	Shaopeng Zhu Shih-Han Hung Shouvanik Chakrabarti Xiaodi Wu
+ PDF Chat	Quantum algorithms and lower bounds for convex optimization	2020	Shouvanik Chakrabarti Andrew M. Childs Tongyang Li Xiaodi Wu
+	Sublinear classical and quantum algorithms for general matrix games	2020	Tongyang Li Chunhao Wang Shouvanik Chakrabarti Xiaodi Wu
+	Constant-round Blind Classical Verification of Quantum Sampling	2020	Kai-Min Chung Yi Lee Han-Hsuan Lin Xiaodi Wu
+	Quantum Wasserstein Generative Adversarial Networks	2019	Shouvanik Chakrabarti Yiming Huang Tongyang Li Soheil Feizi Xiaodi Wu
+	Verified Optimization in a Quantum Intermediate Representation	2019	Kesha Hietala Robert W. Rand Shih-Han Hung Xiaodi Wu Michael Hicks
+ PDF Chat	Limitations of Semidefinite Programs for Separable States and Entangled Games	2019	Aram W. Harrow Anand Natarajan Xiaodi Wu
+ PDF Chat	Quantitative robustness analysis of quantum programs	2019	Shih-Han Hung Kesha Hietala Shaopeng Zhu Mingsheng Ying Michael Hicks Xiaodi Wu
+	Sublinear quantum algorithms for training linear and kernel-based classifiers	2019	Tongyang Li Shouvanik Chakrabarti Xiaodi Wu
+	Quantum algorithm for estimating volumes of convex bodies	2019	Shouvanik Chakrabarti Andrew M. Childs Shih-Han Hung Tongyang Li Chunhao Wang Xiaodi Wu
+	Quantum Wasserstein Generative Adversarial Networks	2019	Shouvanik Chakrabarti Yiming Huang Tongyang Li Soheil Feizi Xiaodi Wu
+	Verified Optimization in a Quantum Intermediate Representation	2019	Kesha Hietala Robert W. Rand Shih‐Han Hung Xiaodi Wu Michael Hicks
+	Quantum Query Complexity of Entropy Estimation	2018	Tongyang Li Xiaodi Wu
+	Exponential Quantum Speed-ups for Semidefinite Programming with Applications to Quantum Learning	2017	Fernando G. S. L. Brandão Amir Kalev Tongyang Li Cedric Yen-Yu Lin Krysta M. Svore Xiaodi Wu
+ PDF Chat	An Improved Semidefinite Programming Hierarchy for Testing Entanglement	2017	Aram W. Harrow Anand Natarajan Xiaodi Wu
+	Computational Notions of Quantum Min-Entropy	2017	Yi-Hsiu Chen Kai-Min Chung Ching–Yi Lai Salil Vadhan Xiaodi Wu
+	Sample-optimal tomography of quantum states	2017	Jeongwan Haah Aram W. Harrow Zhengfeng Ji Xiaodi Wu Nengkun Yu
+	Quantum SDP Solvers: Large Speed-ups, Optimality, and Applications to Quantum Learning	2017	Fernando G. S. L. Brandão Amir Kalev Tongyang Li Cedric Yen-Yu Lin Krysta M. Svore Xiaodi Wu
+	Sample-optimal tomography of quantum states	2016	Jeongwan Haah Aram W. Harrow Zhengfeng Ji Xiaodi Wu Nengkun Yu
+	Quantum-Proof Extractors: Optimal up to Constant Factors	2016	Kai-Min Chung Gil Cohen Thomas Vidick Xiaodi Wu
+	Epsilon-net method for optimizations over separable states	2015	Yaoyun Shi Xiaodi Wu
+	Parallel repetition for entangled k-player games via fast quantum search	2015	Kai-Min Chung Xiaodi Wu Henry Yuen
+	Strong parallel repetition for free entangled games, with any number of players	2014	Kai-Min Chung Xiaodi Wu Henry Yuen
+	Physical Randomness Extractors	2014	Kai-Min Chung Yaoyun Shi Xiaodi Wu
+	Physical Randomness Extractors: Generating Random Numbers with Minimal Assumptions	2014	Kai-Min Chung Yaoyun Shi Xiaodi Wu
+	Multi-Source Randomness Extractors Against Quantum Side Information, and their Applications	2014	Kai-Min Chung Xin Li Xiaodi Wu
+	Strong parallel repetition for free entangled games, with any number of players	2014	Kai-Min Chung Xiaodi Wu Henry Yuen
+ PDF Chat	Parallel Approximation of Min-Max Problems	2013	Gus Gutoski Xiaodi Wu
+ PDF Chat	Image Splicing Detection Based on Statistical Properties of Benford Model	2013	Sen-feng Tong Zhen Zhang Yongjie Xie Xiaodi Wu
+ PDF Chat	Epsilon-Net Method for Optimizations over Separable States	2012	Yaoyun Shi Xiaodi Wu
+	Epsilon-net method for optimizations over separable states	2011	Yaoyun Shi Xiaodi Wu
+	Parallel approximation of min-max problems with applications to classical and quantum zero-sum games	2010	Gus Gutoski Xiaodi Wu
+	Equilibrium Value Method for the Proof of QIP=PSPACE	2010	Xiaodi Wu
+	Parallelized Solution to Semidefinite Programmings in Quantum Complexity Theory	2010	Xiaodi Wu
+	Non-Identity Check Remains QMA-Complete for Short Circuits	2009	Zhengfeng Ji Xiaodi Wu
+ PDF Chat	Exact quantum search by parallel unitary discrimination schemes	2008	Xiaodi Wu Runyao Duan

Common Coauthors

Coauthor	Papers Together
Tongyang Li	11
Shouvanik Chakrabarti	11
Yuxiang Peng	10
Kai-Min Chung	10
Kesha Hietala	9
Shih-Han Hung	7
Liyi Li	7
Michael Hicks	6
Robert W. Rand	6
Yaoyun Shi	5
Aram W. Harrow	5
Jiaqi Leng	5
Mingsheng Ying	4
Chunhao Wang	4
Jiaqi Leng	3
Michael Hicks	3
Henry Yuen	3
Zhengfeng Ji	3
Runzhou Tao	3
Andrew M. Childs	3
Xuchen You	3
Johannes Greiner	2
Jeongwan Haah	2
Ryan Landfield	2
Nishant Saurabh	2
Bruce G. Elmegreen	2
Daan Camps	2
Emanuel Gull	2
Maximilian Amsler	2
Shantenu Jha	2
Katherine Klymko	2
Wibe A. de Jong	2
Margaret Martonosi	2
H. Eric Tseng	2
Yunseong Nam	2
Mitsuhisa Sato	2
Fernando G. S. L. Brandão	2
Gokul Subramanian Ravi	2
Joseph Li	2
Kristel Michielsen	2
Douglas M. Jennewein	2
S. Vallecorsa	2
Meifeng Lin	2
Krysta M. Svore	2
Joel E. Moore	2
Kyungsun Moon	2
Diego Ottaviani	2
Jed W. Pitera	2
Soyoung Shin	2
Han-Hsuan Lin	2

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+ PDF Chat	Quantum Computing in the NISQ era and beyond	2018	John Preskill	9
+ PDF Chat	A variational eigenvalue solver on a photonic quantum processor	2014	Alberto Peruzzo Jarrod R. McClean Peter Shadbolt Man‐Hong Yung Xiaoqi Zhou Peter J. Love Alán Aspuru‐Guzik Jeremy L. O’Brien	8
+ PDF Chat	Strengths and Weaknesses of Quantum Computing	1997	Charles H. Bennett Ethan Bernstein Gilles Brassard Umesh Vazirani	6
+ PDF Chat	Quantum machine learning	2017	Jacob Biamonte Péter Wittek Nicola Pancotti Patrick Rebentrost Nathan Wiebe Seth Lloyd	6
+ PDF Chat	Parallel Approximation of Non-interactive Zero-sum Quantum Games	2009	Rahul Jain John Watrous	6
+ PDF Chat	Quantum Algorithm for Linear Systems of Equations	2009	Aram W. Harrow Avinatan Hassidim Seth Lloyd	5
+ PDF Chat	The Complexity of the Local Hamiltonian Problem	2006	Julia Kempe Alexei Kitaev Oded Regev	5
+	Toward the first quantum simulation with quantum speedup	2018	Andrew M. Childs Dmitri Maslov Yunseong Nam Neil J. Ross Yuan Su	5
+ PDF Chat	Quantum supremacy using a programmable superconducting processor	2019	Frank Arute Kunal Arya Ryan Babbush Dave Bacon Joseph C. Bardin R. Barends Rupak Biswas Sergio Boixo Fernando G. S. L. Brandão David A. Buell	5
+	A Quantum Approximate Optimization Algorithm	2014	Edward Farhi Jeffrey Goldstone Sam Gutmann	5
+ PDF Chat	Q#	2018	Krysta M. Svore Alan Geller Matthias Troyer John Azariah Christopher Granade Bettina Heim Vadym Kliuchnikov Mariia Mykhailova Andres Paz Martin Roetteler	5
+	Quantum amplitude amplification and estimation	2002	Gilles Brassard Peter Høyer Michele Mosca Alain Tapp	5
+ PDF Chat	Hardware-efficient variational quantum eigensolver for small molecules and quantum magnets	2017	Abhinav Kandala Antonio Mezzacapo Kristan Temme Maika Takita Markus Brink Jerry M. Chow Jay Gambetta	4
+ PDF Chat	Hamiltonian simulation using linear combinations of unitary operations	2012	Andrew M. Childs Nathan Wiebe	4
+ PDF Chat	Polynomial-Time T-Depth Optimization of Clifford+T Circuits Via Matroid Partitioning	2014	Matthew Amy Dmitri Maslov Michele Mosca	4
+ PDF Chat	Quantum weakest preconditions	2006	Ellie D’Hondt Prakash Panangaden	4
+ PDF Chat	Quantum principal component analysis	2014	Seth Lloyd Masoud Mohseni Patrick Rebentrost	4
+ PDF Chat	Trevisan's Extractor in the Presence of Quantum Side Information	2012	Anindya De Christopher Portmann Thomas Vidick Renato Renner	4
+ PDF Chat	Quantum relational Hoare logic	2019	Dominique Unruh	4
+ PDF Chat	On the controlled-NOT complexity of controlled-NOT–phase circuits	2018	Matthew Amy Parsiad Azimzadeh Michele Mosca	4
+ PDF Chat	The Bounded-Storage Model in the Presence of a Quantum Adversary	2008	Robert König Barbara M. Terhal	4
+ PDF Chat	Quantitative robustness analysis of quantum programs	2019	Shih-Han Hung Kesha Hietala Shaopeng Zhu Mingsheng Ying Michael Hicks Xiaodi Wu	4
+	A quantum–quantum Metropolis algorithm	2012	Man‐Hong Yung Alán Aspuru‐Guzik	4
+ PDF Chat	Quantum optimization using variational algorithms on near-term quantum devices	2018	Nikolaj Moll Panagiotis Kl. Barkoutsos Lev S. Bishop Jerry M. Chow Andrew W. Cross Daniel J. Egger Stefan Filipp Andreas Fuhrer Jay Gambetta Marc Ganzhorn	4
+ PDF Chat	On QMA protocols with two short quantum proofs	2012	François Le Gall Shota Nakagawa Harumichi Nishimura	4
+	Equilibrium Value Method for the Proof of QIP=PSPACE	2010	Xiaodi Wu	4
+ PDF Chat	Quantum Metropolis sampling	2011	Kristan Temme Tobias J. Osborne K. G. H. Vollbrecht David Poulin Frank Verstraete	4
+ PDF Chat	Synthesis of quantum circuits for linear nearest neighbor architectures	2010	Mehdi Saeedi Robert Wille Rolf Drechsler	4
+ PDF Chat	Quantum Mechanics Helps in Searching for a Needle in a Haystack	1997	Lov K. Grover	4
+ PDF Chat	Automated optimization of large quantum circuits with continuous parameters	2018	Yunseong Nam Neil J. Ross Yuan Su Andrew M. Childs Dmitri Maslov	4
+	Short Multi-Prover Quantum Proofs for SAT without Entangled Measurements	2010	Jing Chen Andrew Drucker	4
+ PDF Chat	Quantum speedup of Monte Carlo methods	2015	Ashley Montanaro	4
+	Efficient quantum tomography II	2017	Ryan O’Donnell John C. Wright	4
+ PDF Chat	Complete family of separability criteria	2004	Andrew C. Doherty Pablo A. Parrilo Federico M. Spedalieri	4
+	Quantum Amplitude Amplification and Estimation	2000	Gilles Brassard Peter Høyer Michele Mosca Alain Tapp	4
+ PDF Chat	Strong NP-hardness of the quantum separability problem	2010	Sevag Gharibian	4
+	Tapering off qubits to simulate fermionic Hamiltonians	2017	Sergey Bravyi Jay Gambetta Antonio Mezzacapo Kristan Temme	3
+ PDF Chat	None	2009	Scott Aaronson Salman Beigi Andrew Drucker Bill Fefferman Peter W. Shor	3
+	Convex Optimization	2004	Stephen Boyd Lieven Vandenberghe	3
+ PDF Chat	On the Hardness of Distinguishing Mixed-State Quantum Computations	2005	Bill Rosgen John Watrous	3
+ PDF Chat	Optimal Hamiltonian Simulation by Quantum Signal Processing	2017	Guang Hao Low Isaac L. Chuang	3
+ PDF Chat	Cryptographic distinguishability measures for quantum-mechanical states	1999	Christopher A. Fuchs J. van de Graaf	3
+	Simulated Annealing for Convex Optimization	2006	Adam Tauman Kalai Santosh Vempala	3
+ PDF Chat	Sampling from the Thermal Quantum Gibbs State and Evaluating Partition Functions with a Quantum Computer	2009	David Poulin Paweł Wocjan	3
+ PDF Chat	The Operational Meaning of Min- and Max-Entropy	2009	Robert König Renato Renner Christian Schaffner	3
+ PDF Chat	Robust protocols for securely expanding randomness and distributing keys using untrusted quantum devices	2014	Carl A. Miller Yaoyun Shi	3
+ PDF Chat	Testing Product States, Quantum Merlin-Arthur Games and Tensor Optimization	2013	Aram W. Harrow Ashley Montanaro	3
+ PDF Chat	None	2009	John Watrous	3
+	Quantum measurements and the Abelian Stabilizer Problem	1995	Alexei Kitaev	3
+ PDF Chat	Two-Message Quantum Interactive Proofs Are in PSPACE	2009	Rahul Jain Sarvagya Upadhyay John Watrous	3