Search Results for author: Xiaodi Wu

Found 8 papers, 5 papers with code

Exponentially Many Local Minima in Quantum Neural Networks

no code implementations6 Oct 2021 Xuchen You, Xiaodi Wu

Specifically, we show for typical under-parameterized QNNs, there exists a dataset that induces a loss function with the number of spurious local minima depending exponentially on the number of parameters.

Sublinear classical and quantum algorithms for general matrix games

no code implementations11 Dec 2020 Tongyang Li, Chunhao Wang, Shouvanik Chakrabarti, Xiaodi Wu

We give a sublinear classical algorithm that can interpolate smoothly between these two cases: for any fixed $q\in (1, 2]$, we solve the matrix game where $\mathcal{X}$ is a $\ell_{q}$-norm unit ball within additive error $\epsilon$ in time $\tilde{O}((n+d)/{\epsilon^{2}})$.

On the Principles of Differentiable Quantum Programming Languages

1 code implementation2 Apr 2020 Shaopeng Zhu, Shih-Han Hung, Shouvanik Chakrabarti, Xiaodi Wu

We also conduct a case study of training a VQC instance with controls, which shows the advantage of our scheme over existing auto-differentiation for quantum circuits without controls.

A Verified Optimizer for Quantum Circuits

2 code implementations4 Dec 2019 Kesha Hietala, Robert Rand, Shih-Han Hung, Xiaodi Wu, Michael Hicks

Optimizations and other transformations are expressed as Coq functions, which are proved correct with respect to a semantics of SQIR programs.

Programming Languages Emerging Technologies Logic in Computer Science Quantum Physics

Quantum Wasserstein Generative Adversarial Networks

1 code implementation NeurIPS 2019 Shouvanik Chakrabarti, Yiming Huang, Tongyang Li, Soheil Feizi, Xiaodi Wu

The study of quantum generative models is well-motivated, not only because of its importance in quantum machine learning and quantum chemistry but also because of the perspective of its implementation on near-term quantum machines.

Verified Optimization in a Quantum Intermediate Representation

1 code implementation12 Apr 2019 Kesha Hietala, Robert Rand, Shih-Han Hung, Xiaodi Wu, Michael Hicks

We present sqire, a low-level language for quantum computing and verification.

Logic in Computer Science Emerging Technologies Programming Languages Quantum Physics

Sublinear quantum algorithms for training linear and kernel-based classifiers

no code implementations4 Apr 2019 Tongyang Li, Shouvanik Chakrabarti, Xiaodi Wu

We design sublinear quantum algorithms for the same task running in $\tilde{O}(\sqrt{n} +\sqrt{d})$ time, a quadratic improvement in both $n$ and $d$.

Quantization

Simulating large quantum circuits on a small quantum computer

2 code implementations29 Mar 2019 Tianyi Peng, Aram Harrow, Maris Ozols, Xiaodi Wu

The tensor network of such a circuit can be decomposed into clusters of size at most $d$ with at most $K$ qubits of inter-cluster quantum communication.

Quantum Physics

Cannot find the paper you are looking for? You can Submit a new open access paper.