Source author record

Hsin-Yuan Huang

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

ResearcherUnclaimed source record

math.AP Machine Learning quant-ph Information Theory math-ph math.IT math.MP

Catalog footprint

What is connected

6works

7topics

4close collaborators

Actions

Connect this record

Open graph Browse works

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.

preprint2022arXiv

Foundations for learning from noisy quantum experiments

Understanding what can be learned from experiments is central to scientific progress. In this work, we use a learning-theoretic perspective to study the task of learning physical operations in a quantum machine when all operations (state preparation, dynamics, and measurement) are a priori unknown. We prove that, without any prior knowledge, if one can explore the full quantum state space by composing the operations, then every operation can be learned. When one cannot explore the full state space but all operations are approximately known and noise in Clifford gates is gate-independent, we find an efficient algorithm for learning all operations up to a single unlearnable parameter characterizing the fidelity of the initial state. For learning a noise channel on Clifford gates to a fixed accuracy, our algorithm uses quadratically fewer experiments than previously known protocols. Under more general conditions, the true description of the noise can be unlearnable; for example, we prove that no benchmarking protocol can learn gate-dependent Pauli noise on Clifford+T gates even under perfect state preparation and measurement. Despite not being able to learn the noise, we show that a noisy quantum computer that performs entangled measurements on multiple copies of an unknown state can yield a large advantage in learning properties of the state compared to a noiseless device that measures individual copies and then processes the measurement data using a classical computer. Concretely, we prove that noisy quantum computers with two-qubit gate error rate $ε$ can achieve a learning task using $N$ copies of the state, while $N^{Ω(1/ε)}$ copies are required classically.

preprint2022arXiv

Generalization in quantum machine learning from few training data

Modern quantum machine learning (QML) methods involve variationally optimizing a parameterized quantum circuit on a training data set, and subsequently making predictions on a testing data set (i.e., generalizing). In this work, we provide a comprehensive study of generalization performance in QML after training on a limited number $N$ of training data points. We show that the generalization error of a quantum machine learning model with $T$ trainable gates scales at worst as $\sqrt{T/N}$. When only $K \ll T$ gates have undergone substantial change in the optimization process, we prove that the generalization error improves to $\sqrt{K / N}$. Our results imply that the compiling of unitaries into a polynomial number of native gates, a crucial application for the quantum computing industry that typically uses exponential-size training data, can be sped up significantly. We also show that classification of quantum states across a phase transition with a quantum convolutional neural network requires only a very small training data set. Other potential applications include learning quantum error correcting codes or quantum dynamical simulation. Our work injects new hope into the field of QML, as good generalization is guaranteed from few training data.

preprint2021arXiv

On Liouville systems at critical parameters, Part 2: Multiple bubbles

In this paper, we continue to consider the generalized Liouville system: $$ Δ_g u_i+\sum_{j=1}^n a_{ij}ρ_j\left(\frac{h_j e^{u_j}}{\int h_j e^{u_j}}- {1} \right)=0\quad\text{in \,}M,\quad i\in I=\{1,\cdots,n\}, $$ where $(M,g)$ is a Riemann surface $M$ with volume $1$, $h_1,..,h_n$ are positive smooth functions and $ρ_j\in \mathbb R^+$($j\in I$). In previous works Lin-Zhang identified a family of hyper-surfaces $Γ_N$ and proved a priori estimates for $ρ=(ρ_1,..,ρ_n)$ in areas separated by $Γ_N$. Later Lin-Zhang also calculated the leading term of $ρ^k-ρ$ where $ρ\in Γ_1$ is the limit of $ρ^k$ on $Γ_1$ and $ρ^k$ is the parameter of a bubbling sequence. This leading term is particularly important for applications but it is very hard to be identified if $ρ^k$ tends to a higher order hypersurface $Γ_N$ ($N>1$). Over the years numerous attempts have failed but in this article we overcome all the stumbling blocks and completely solve the problem under the most general context: We not only capture the leading terms of $ρ^k-ρ\in Γ_N$, but also reveal new robustness relations of coefficient functions at different blowup points.

preprint2016arXiv

The domain geometry and the bubbling phenomenon of rank two Gauge theory

Let $Ω$ be a flat torus and $G$ be the green's function of $-Δ$ on $Ω$. One intriguing mystery of $G$ is how the number of its critical points is related to blowup solutions of certain PDEs. In this article we prove that for the following equation that describes a Chern-Simons model in Gauge theory: \begin{equation}\label{e103} \left\{ \begin{array}{ll} Δu_1+\frac{1}{\varepsilon^2}e^{u_2}(1-e^{u_1})=8πδ_{p_{1}} Δu_2+\frac{1}{\varepsilon^2}e^{u_1}(1-e^{u_2})=8πδ_{p_{2}} \end{array} \text{ in }\quad Ω\right., \quad p_1-p_2 \mbox{ is a half period}, \end{equation} if fully bubbling solutions of Liouville type exist, $G$ has exactly three critical points. In addition we establish necessary conditions for the existence of fully bubbling solutions with multiple bubbles.

preprint2014arXiv

Uniqueness of topological multi-vortex solutions for a skew-symmetric Chern-Simons system

Consider the following skew-symmetric Chern-Simons system \begin{equation*}\left \{ \begin{split} &Δu_{1}+\frac{1}{\varepsilon^2} e^{u_{2}}(1-e^{u_{1}})=4π\sum^{N_1}_{j=1}δ_{p_{j,1}}\\ &Δu_{2}+\frac{1}{\varepsilon^2} e^{u_{1}}(1-e^{u_{2}})=4π\sum^{N_2}_{j=1}δ_{p_{j,2}} \end{split}\right.\quad\text{ in }\quadΩ, \end{equation*} where $Ω$ is a flat 2-dimensional torus $\mathbb{T}^2$ or $\mathbb{R}^2$, $\varepsilon> 0$ is a coupling parameter, and $δ_p$ denotes the Dirac measure concentrated at $p$. In this paper, we prove that, when the coupling parameter $\varepsilon$ is small, the topological type solutions to the above system are uniquely determined by the location of their vortex points. This result follows by the bubbling analysis and the non-degency of linearized equations.

preprint2013arXiv

On the Entire Radial Solutions of the Chern-Simons SU(3) System

In this paper, we study the entire radial solutions of the self-dual equations arising from the relativistic SU(3) Chern-Simons model proposed by Kao-Lee and Dunne. Understanding the structure of entire radial solutions is one of fundamental issues for the system of nonlinear equations. In this paper, we prove any entire radial solutions must be one of topological, non-topological and mixed type solutions, and completely classify the asymptotic behaviors at infinity of these solutions. Even for radial solutions, this classification has remained an open problem for many years. As an application of this classification, we prove that the two components u and v have intersection at most finite times.