SearcharxivSearch

arXiv subjects

Lucas Kocia

Publications and source records attributed to Lucas Kocia.

17 recordsLinked to original sources

Surrogate-based optimization for variational quantum algorithms

Variational quantum algorithms are a class of techniques intended to be used on near-term quantum computers. The goal of these algorithms is to perform large quantum computations by breaking the problem down into a large number of shallow quantum circuits, complemented by classical optimization and feedback between each circuit execution. One path for improving the performance of these algorithms is to enhance the classical optimization technique. Given the relative ease and abundance of classical computing resources, there is ample opportunity to do so. In this work, we introduce the idea of learning surrogate models for variational circuits using few experimental measurements, and then performing parameter optimization using these models as opposed to the original data. We demonstrate this idea using a surrogate model based on kernel approximations, through which we reconstruct local patches of variational cost functions using batches of noisy quantum circuit results. Through application to the quantum approximate optimization algorithm and preparation of ground states for molecules, we demonstrate the superiority of surrogate-based optimization over commonly-used optimization techniques for variational algorithms.

quant-ph

Improved Strong Simulation of Universal Quantum Circuits

We find a scaling reduction in the stabilizer rank of the twelve-qubit tensored $T$ gate magic state. This lowers its asymptotic bound to $2^{\sim 0.463 t}$ for multi-Pauli measurements on $t$ magic states, improving over the best previously found bound of $2^{\sim 0.468 t}$. We numerically demonstrate this reduction. This constructively produces the most efficient strong simulation algorithm of the Clifford+$T$ gateset to relative or multiplicative error. We then examine the cost of Pauli measurement in terms of its Gauss sum rank, which is a slight generalization of the stabilizer rank and is a lower bound on its asymptotic scaling. We demonstrate that this lower bound appears to be tight at low $t$-counts, which suggests that the stabilizer rank found at the twelve-qubit state can be lowered further to $2^{\sim 0.449 t}$ and we prove and numerically show that this is the case for single-Pauli measurements. Our construction directly shows how the reduction at $12$ qubits is iteratively based on the reduction obtained at $6$, $3$, $2$, and $1$ qubits. This explains why novel reductions are found at tensor factors for these number of qubit primitives, an explanation lacking previously in the literature. Furthermore, in the process we observe an interesting relationship between the T gate magic state's stabilizer rank and decompositions that are Clifford-isomorphic to a computational sub-basis tensored with single-qubit states that produce minimal unique stabilizer state inner products -- the same relationship that allowed for finding minimal numbers of unique Gauss sums in the odd-dimensional qudit Wigner formulation of Pauli measurements.

quant-ph

More Optimal Simulation of Universal Quantum Computers

Validating whether a quantum device confers a computational advantage often requires classical simulation of its outcomes. The worst-case sampling cost of $L_1$-norm based simulation has plateaued at $\le(2+\sqrt{2})ξ_t δ^{-1}$ in the limit that $t \rightarrow \infty$, where $δ$ is the additive error and $ξ_t$ is the stabilizer extent of a $t$-qubit magic state. We reduce this prefactor 68-fold by a leading-order reduction in $t$ through correlated sampling. The result exceeds even the average-case of the prior state-of-the-art and current simulators accurate to multiplicative error. Numerical demonstrations support our proofs. The technique can be applied broadly to reduce the cost of $L_1$ minimization.

quant-ph

Improved Weak Simulation of Universal Quantum Circuits by Correlated $L_1$ Sampling

Bounding the cost of classically simulating the outcomes of universal quantum circuits to additive error $δ$ is often called weak simulation and is a direct way to determine when they confer a quantum advantage. Weak simulation of the $T$+Clifford gateset is $BQP$-complete and is expected to scale exponentially with the number $t$ of $T$ gates. We constructively tighten the upper bound on the worst-case $L_1$ norm sampling cost to next order in $t$ from $\mathcal O(ξ^t δ^{-2})$ if $δ^2 \gg ξ^{-t}$ to $\mathcal O((ξ^t{-}t) δ^{-2} )$ if $δ^2 \gg (ξ^t -t)^{-1}$, where $ξ^t = 2^{\sim 0.228 t}$ is the stabilizer extent of the $t$-tensored $T$ gate magic state. We accomplish this by replacing independent $L_1$ sampling in the popular SPARSIFY algorithm used in many weak simulators with correlated $L_1$ sampling. As an aside, this result demonstrates that the $T$ gate magic state's approximate stabilizer state decomposition is not multiplicative with respect to $t$, for finite values, despite the multiplicativity of its stabilizer extent. This is the first weak simulation algorithm that has lowered this bound's dependence on finite $t$ in the worst-case to our knowledge and establishes how to obtain further such reductions in $t$.

quant-ph

Behavior of Analog Quantum Algorithms

Analog quantum algorithms are formulated in terms of Hamiltonians rather than unitary gates and include quantum adiabatic computing, quantum annealing, and the quantum approximate optimization algorithm (QAOA). These algorithms are promising candidates for near-term quantum applications, but they often require fine tuning via the annealing schedule or variational parameters. In this work, we explore connections between these analog algorithms, as well as limits in which they become approximations of the optimal procedure.Notably, we explore how the optimal procedure approaches a smooth adiabatic procedure but with a superposed oscillatory pattern that can be explained in terms of the interactions between the ground state and first excited state that effect the coherent error cancellation of diabatic transitions. Furthermore, we provide numeric and analytic evidence that QAOA emulates this optimal procedure with the length of each QAOA layer equal to the period of the oscillatory pattern. Additionally, the ratios of the QAOA bangs are determined by the smooth, non-oscillatory part of the optimal procedure. We provide arguments for these phenomena in terms of the product formula expansion of the optimal procedure. With these arguments, we conclude that different analog algorithms can emulate the optimal protocol under different limits and approximations. Finally, we present a new algorithm for better approximating the optimal protocol using the analytic and numeric insights from the rest of the paper. In practice, numerically, we find that this algorithm outperforms standard QAOA and naive quantum annealing procedures.

quant-ph

Stationary Phase Method in Discrete Wigner Functions and Classical Simulation of Quantum Circuits

One of the lowest-order corrections to Gaussian quantum mechanics in infinite-dimensional Hilbert spaces are Airy functions: a uniformization of the stationary phase method applied in the path integral perspective. We introduce a "periodized stationary phase method" to discrete Wigner functions of systems with odd prime dimension and show that the $\fracπ{8}$ gate is the discrete analog of the Airy function. We then establish a relationship between the stabilizer rank of states and the number of quadratic Gauss sums necessary in the periodized stationary phase method. This allows us to develop a classical strong simulation of a single qutrit marginal on $t$ qutrit $\fracπ{8}$ gates that are followed by Clifford evolution, and show that this only requires $3^{\frac{t}{2}+1}$ quadratic Gauss sums. This outperforms the best alternative qutrit algorithm (based on Wigner negativity and scaling as $\sim\hspace{-3pt} 3^{0.8 t}$ for $10^{-2}$ precision) for any number of $\fracπ{8}$ gates to full precision.

quant-ph

Improved Simulation of Quantum Circuits by Fewer Gaussian Eliminations

We show that the cost of strong simulation of quantum circuits using $t$ $T$ gate magic states exhibits non-trivial reductions on its upper bound for $t=1$, $t=2$, $t=3$, and $t=6$ with odd-prime-qudits. This agrees with previous numerical bounds found for qubits. We define simulation cost by the number of terms that require Gaussian elimination of a $t \times t$ matrix and so capture the cost of simulation methods that proceed by computing stabilizer inner products or evaluating quadratic Gauss sums. Prior numerical searchs for qubits were unable to converge beyond $t=7$. We effectively increase the space searched for these non-trivial reductions by $>10^{10^4}$ and extend the bounds to $t=14$ for qutrits. This is accomplished by using the Wigner-Weyl-Moyal formalism to algebraically find bounds instead of relying on numerics. We find a new reduction in the upper bound from the $12$-qutrit magic state of ${3^{\sim 0.469t}}$, which improves on the bound obtained from the $6$-qutrit magic state of ${3^{\sim 0.482t}}$.

quant-ph

The Non-Disjoint Ontic States of the Grassmann Ontological Model, Transformation Contextuality, and the Single Qubit Stabilizer Subtheory

We show that it is possible to construct a preparation non-contextual ontological model that does not exhibit "transformation contextuality" for single qubits in the stabilizer subtheory. In particular, we consider the "blowtorch" map and show that it does not exhibit transformation contextuality under the Grassmann Wigner-Weyl-Moyal (WWM) qubit formalism. Furthermore, the transformation in this formalism can be fully expressed at order $\hbar^0$ and so does not qualify as a candidate quantum phenomenon. In particular, we find that the Grassmann WWM formalism at order $\hbar^0$ corresponds to an ontological model governed by an additional set of constraints arising from the relations defining the Grassmann algebra. Due to this additional set of constraints, the allowed probability distributions in this model do not form a single convex set when expressed in terms of disjoint ontic states and so cannot be mapped to models whose states form a single convex set over disjoint ontic states. However, expressing the Grassmann WWM ontological model in terms of non-disjoint ontic states corresponding to the monomials of the Grassmann algebra results in a single convex set. We further show that a recent result by Lillystone et al. that proves a broad class of preparation and measurement non-contextual ontological models must exhibit transformation contextuality lacks the generality to include the ontological model considered here; Lillystone et al.'s result is appropriately limited to ontological models whose states produce a single convex set when expressed in terms of disjoint ontic states. Therefore, we prove that for the qubit stabilizer subtheory to be captured by a preparation, transformation and measurement non-contextual ontological theory, it must be expressed in terms of non-disjoint ontic states, unlike the case for the odd-dimensional single-qudit stabilizer subtheory.

quant-ph

Measurement Contextuality and Planck's Constant

Contextuality is a necessary resource for universal quantum computation and non-contextual quantum mechanics can be simulated efficiently by classical computers in many cases. Orders of Planck's constant, $\hbar$, can also be used to characterize the classical-quantum divide by expanding quantities of interest in powers of $\hbar$---all orders higher than $\hbar^0$ can be interpreted as quantum corrections to the order $\hbar^0$ term. We show that contextual measurements in finite-dimensional systems have formulations within the Wigner-Weyl-Moyal (WWM) formalism that require higher than order $\hbar^0$ terms to be included in order to violate the classical bounds on their expectation values. As a result, we show that contextuality as a resource is equivalent to orders of $\hbar$ as a resource within the WWM formalism. This explains why qubits can only exhibit state-independent contextuality under Pauli observables as in the Peres-Mermin square while odd-dimensional qudits can also exhibit state-dependent contextuality. In particular, we find that qubit Pauli observables lack an order $\hbar^0$ contribution in their Weyl symbol and so exhibit contextuality regardless of the state being measured. On the other hand, odd-dimensional qudit observables generally possess non-zero order $\hbar^0$ terms, and higher, in their WWM formulation, and so exhibit contextuality depending on the state measured: odd-dimensional qudit states that exhibit measurement contextuality have an order $\hbar^1$ contribution that allows for the violation of classical bounds while states that do not exhibit measurement contextuality have insufficiently large order $\hbar^1$ contributions.

quant-ph

Discrete Wigner Formalism for Qubits and Non-Contextuality of Clifford Gates on Qubit Stabilizer States

We show that qubit stabilizer states can be represented by non-negative quasi-probability distributions associated with a Wigner-Weyl-Moyal formalism where Clifford gates are positive state-independent maps. This is accomplished by generalizing the Wigner-Weyl-Moyal formalism to three generators instead of two---producing an exterior, or Grassmann, algebra---which results in Clifford group gates for qubits that act as a permutation on the finite Weyl phase space points naturally associated with stabilizer states. As a result, a non-negative probability distribution can be associated with each stabilizer state's three-generator Wigner function, and these distributions evolve deterministically to one another under Clifford gates. This corresponds to a hidden variable theory that is non-contextual and local for qubit Clifford gates while Clifford (Pauli) measurements have a context-dependent representation. Equivalently, we show that qubit Clifford gates can be expressed as propagators within the three-generator Wigner-Weyl-Moyal formalism whose semiclassical expansion is truncated at order $\hbar^0$ with a finite number of terms. The $T$-gate, which extends the Clifford gate set to one capable of universal quantum computation, require a semiclassical expansion of the propagator to order $\hbar^1$. We compare this approach to previous quasi-probability descriptions of qubits that relied on the two-generator Wigner-Weyl-Moyal formalism and find that the two-generator Weyl symbols of stabilizer states result in a description of evolution under Clifford gates that is state-dependent, in contrast to the three-generator formalism. We have thus extended Wigner non-negative quasi-probability distributions from the odd $d$-dimensional case to $d=2$ qubits, which describe the non-contextuality of Clifford gates and contextuality of Pauli measurements on qubit stabilizer states.

quant-ph

Graphene Terahertz Absorption

The unique terahertz properties of graphene has been identified for novel optoelectronic applications. In a graphene sample with bias voltage added, there is an enhanced absorption in the far infrared region and a diminished absorption in the infrared region. The strength of enhancement(diminishment) increases with the gate voltage, and the enhancement compensates the diminishment. We find that it is the coherence length of electrons in graphene that allows pure electronic transitions between states differing by small momentums and makes intraband transition possible, is responsible for the far infrared enhancement. Phonon assisted processes are not necessary and would not in any case contribute to a sum rule. This naturally leads to results obeying the general sum-rule in optical absorptions. Our prediction of the strength of enhancement(diminishment) in terms of the bias agrees with experiments. This is the first direct calculation we are aware of, since the prior phonon assisted model for indirect transition should not obey a sum rule.

cond-mat.mes-hall

Reassessing Graphene Absorption and Emission Spectroscopy

We present a new paradigm for understanding optical absorption and hot electron dynamics experiments in graphene. Our analysis pivots on assigning proper importance to phonon assisted indirect processes and bleaching of direct processes. We show indirect processes figure in the excess absorption in the UV region. Experiments which were thought to indicate ultrafast relaxation of electrons and holes, reaching a thermal distribution from an extremely non-thermal one in under 5-10 fs, instead are explained by the nascent electron and hole distributions produced by indirect transitions. These need no relaxation or ad-hoc energy removal to agree with the observed emission spectra and fast pulsed absorption spectra. The fast emission following pulsed absorption is dominated by phonon assisted processes, which vastly outnumber direct ones and are always available, connecting any electron with any hole any time. Calculations are given, including explicitly calculating the magnitude of indirect processes, supporting these views.

cond-mat.mtrl-sci

Discrete Wigner Function Derivation of the Aaronson-Gottesman Tableau Algorithm

The Gottesman-Knill theorem established that stabilizer states and operations can be efficiently simulated classically. For qudits with dimension three and greater, stabilizer states and Clifford operations have been found to correspond to positive discrete Wigner functions and dynamics. We present a discrete Wigner function-based simulation algorithm for odd-$d$ qudits that has the same time and space complexity as the Aaronson-Gottesman algorithm. We show that the efficiency of both algorithms is due to the harmonic evolution in the symplectic structure of discrete phase space. The differences between the Wigner function algorithm and Aaronson-Gottesman are likely due only to the fact that the Weyl-Heisenberg group is not in $SU(d)$ for $d=2$ and that qubits have state-independent contextuality. This may provide a guide for extending the discrete Wigner function approach to qubits.

quant-ph

Semiclassical Formulation of Gottesman-Knill and Universal Quantum Computation

We give a path integral formulation of the time evolution of qudits of odd dimension. This allows us to consider semiclassical evolution of discrete systems in terms of an expansion of the propagator in powers of $\hbar$. The largest power of $\hbar$ required to describe the evolution is a traditional measure of classicality. We show that the action of the Clifford operators on stabilizer states can be fully described by a single contribution of a path integral truncated at order $\hbar^0$ and so are "classical," just like propagation of Gaussians under harmonic Hamiltonians in the continuous case. Such operations have no dependence on phase or quantum interference. Conversely, we show that supplementing the Clifford group with gates necessary for universal quantum computation results in a propagator consisting of a finite number of semiclassical path integral contributions truncated at order $\hbar^1$ , a number that nevertheless scales exponentially with the number of qudits. The same sum in continuous systems has an infinite number of terms at order $\hbar^1$.

quant-ph

Theory of Graphene Raman Spectroscopy

Raman spectroscopy plays a key role in studies of graphene and related carbon systems. Graphene is perhaps the most promising material of recent times for many novel applications, including electronics. In this paper, the traditional and well established Kramers-Heisenberg-Dirac (KHD) Raman scattering theory (1925-1927) is extended to crystalline graphene for the first time. It demands different phonon production mechanisms and phonon energies than does the popular "double resonance" Raman scattering model. The latter has never been compared to KHD. Within KHD, phonons are produced instantly along with electrons and holes, in what we term an electron-hole-phonon triplet, which does not suffer Pauli blocking. A new mechanism for double phonon production we name "transition sliding" explains the brightness of the 2D mode and other overtones, as a result of linear (Dirac cone) electron dispersion. Direct evidence for sliding resides in hole doping experiments performed in 2011 \cite{chenCrommie}. Whole ranges of electronic transitions are permitted and may even constructively interfere for the same laser energy and phonon q, explaining the dispersion, bandwidth, and strength of many two phonon Raman bands. Graphene's entire Raman spectrum, including dispersive and fixed bands, missing bands not forbidden by symmetries, weak bands, overtone bands, Stokes anti-Stokes anomalies, individual bandwidths, trends with doping, and D-2D band spacing anomalies emerge naturally and directly in KHD theory.

cond-mat.mtrl-sci

The Polyacetylene Raman Spectrum, Decoded

More than 30 years ago, polyacetylene was very much in the limelight, an early example of a conducting polymer and source of many unusual spectroscopic features spawning disparate ideas as to their origin. Several versions of the polyacetylene spectrum story emerged, with contradictory conclusions. In this paper both ordinary and peculiar polyacetylene spectral features are explained in terms of standard (if disused) spectroscopic concepts, including the dependence of electronic transition moments on phonon coordinates, Born-Oppenheimer energy surface properties, and (much more familiarly) electron and phonon band structure. Raman sideband dispersion and line shapes are very well matched by theory in a fundamental way. Most importantly, clear ramifications emerge for the Raman spectroscopy of a wide range of extended systems, including graphene and beyond, suggesting changes to some common practice in condensed matter spectroscopy.

cond-mat.mes-hall