SearcharxivSearch

arXiv subjects

Jungyun Lee

Publications and source records attributed to Jungyun Lee.

9 recordsLinked to original sources

Improving Generalization and Trainability of Quantum Eigensolvers via Graph Neural Encoding

Determining the ground state of a many-body Hamiltonian is a central problem across physics, chemistry, and combinatorial optimization, yet it is often classically intractable due to the exponential growth of Hilbert space with system size. Even on fault-tolerant quantum computers, quantum algorithms with convergence guarantees -- such as quantum phase estimation and quantum subspace methods -- require an initial state with sufficiently large overlap with the true ground state to be effective. Variational quantum eigensolvers (VQEs) are natural candidates for preparing such states; however, standard VQEs typically exhibit poor generalization, requiring retraining for each Hamiltonian instance, and often suffer from barren plateaus, where gradients can vanish exponentially with circuit depth and system size. To address these limitations, we propose an end-to-end representation learning framework that combines a graph autoencoder with a classical neural network to generate VQE parameters that generalize across Hamiltonian instances. By encoding interaction topology and coupling structure, the proposed model produces high-overlap initial states without instance-specific optimization. Through extensive numerical experiments on families of one- and two-local Hamiltonians, we demonstrate improved generalization and trainability, manifested as reduced test error and a significantly milder decay of gradient variance. We further show that our method substantially accelerates convergence in quantum subspace-based eigensolvers, highlighting its practical impact for downstream quantum algorithms.

quant-ph

Quadratic speed-ups in quantum kernelized binary classification

Classification is at the core of data-driven prediction and decision-making, representing a fundamental task in supervised machine learning. Recently, several quantum machine learning algorithms that use quantum kernels as a measure of similarities between data have emerged to perform binary classification on datasets encoded as quantum states. The potential advantages of quantum kernels arise from the ability of quantum computers to construct kernels that are more effective than their classical counterparts in capturing patterns in data or computing kernels more efficiently. However, existing quantum kernel-based classification algorithms do not harness the capability of having data samples in quantum superposition for additional enhancements. In this work, we demonstrate how such capability can be leveraged in quantum kernelized binary classifiers (QKCs) through Quantum Amplitude Estimation (QAE) for quadratic speed-up. Additionally, we propose new quantum circuits for the QKCs in which the number of qubits is reduced by one, and the circuit depth is reduced linearly with respect to the number of sample data. We verify the quadratic speed-up over previous methods through numerical simulations on the Iris dataset.

quant-ph

Higher Hickerson formula

Hickerson made an explicit formula for Dedekind sums $s(p,q)$ in terms of the continued fraction of $p/q$. We develop analogous formula for generalized Dedekind sums $s_{i,j}(p,q)$ defined in association with the $x^{i}y^{j}$-coefficient of the Todd power series of the lattice cone in $\Bbb{R}^2$ generated by $(1,0)$ and $(p,q)$. The formula generalizes Hickerson's original one and reduces to Hickerson's for $i=j=1$. In the formula, generalized Dedekind sums are divided into two parts: the integral $s^I_{ij}(p,q)$ and the fractional $s^R_{ij}(p,q)$. We apply the formula to Siegel's formula for partial zeta values at a negative integer and obtain a new expression which involves only $s^I_{ij}(p,q)$ the integral part of generalized Dedekind sums. This formula directly generalize Meyer's formula for the special value at $0$. Using our formula, we present the table of the partial zeta value at $s=-1$ and $-2$ in more explicit form. Finally, we present another application on the equidistribution property of the fractional parts of the graph $\Big{(}\frac{p}{q},R_{i+j}q^{i+j-2} s_{ij}(p,q)\Big{)}$ for a certain integer $R_{i+j}$ depending on $i+j$.

math.NT

An analogue of the Rademacher function for generalized Dedekind sums in higher dimension

We consider generalized Dedekind sums in dimension $n$, for fixed $n$-tuple of natural numbers, defined as sum of products of values of periodic Bernoulli functions. This includes the higher dimensional Dedekind sums of Zagier and Apostol-Carlitz' generalized Dedekind sums as well as the original Dedekind sums. These are realized as coefficients of Todd series of lattice cones and satisfy reciprocity law from the cocycle property of Todd series. Using iterated residue formula, we compute the coefficient of the decomposition of of the Todd series corresponding to a nonsingular decomposition of the lattice cone defining the Dedekind sums. We associate a Laurent polynomial which is added to generalized Dedekind sums of fixed index to make their denominators bounded. We give explicitly the denominator in terms of Bernoulli numbers. This generalizes the role played by the rational function given by the difference of the Rademacher function and the classical Dedekind sums. We associate an exponential sum to the generalized Dedekind sums using the integrality of the generalized Rademacher function. We show that this exponential sum has a nontrivial bound that is sufficient to fulfill Weyl's equidistribution criterion and thus the fractional part of the generalized Dedekind sums are equidistributed. As an example, for a 3 dimensional case and Zagier's higher dimensional generalization of Dedekind sums, we compute the Laurent polynomials associated.

math.NT

Equidistribution of generalized Dedekind sums and exponential sums

For the generalized Dedekind sums s_{ij}(p,q) defined in association with the x^{i}y^{j}-coefficient of the Todd power series of the lattice cone in R^2 generated by (1,0) and (q,p), we associate an exponential sum. We obtain this exponential sum using the cocycle property of the Todd series of 2d cones and the nonsingular cone decomposition along with the continued fraction of q/p. Its Weil bound is given for the modulus q, applying the purity theorem of the cohomology of the related l-adic sheaf due to Denef and Loeser. The Weil type bound of Denef and Loeser fulfills the Weyl's equidistribution criterion for R(i,j)q^{i+j-2} s_{ij}(p,q). As a special case, we recover the equidistribution result of the classical Dedekind sums multiplied by 12 not using the modular weight of the Dedekind's η(τ).

math.NT

Special values of partial zeta functions of real quadratic fields at nonpositive integers and Euler-Maclaurin formula

We compute the special values at nonpositive integers of the partial zeta function of an ideal of a real quadratic field applying an asymptotic version of Euler-Maclaurin formula to the lattice cone associated to the ideal considered. The Euler-Maclaurin formula involved is obtained by applying the Todd series of differential operators to an integral of a small perturbation of thecone. The additive property of Todd series w.r.t. the cone decomposition enables us to express the partial zeta values in terms of the continued fraction of the reduced element of the ideal. The expression obtained uses the positive continued fraction which yields a virtual decomposition of the cone. We apply the expression to some indexed families of real quadratic fields satisfying certain condition on the shape of the continued fractions. The families considered include those appeared in \cite{J-L1} and \cite{J-L2} as well as the Richaud-Degert types. We show that the partial zeta values at a given nonpositive integer $-k$ in the family indexed by $n$ is a polynomial of $n$. Finally, we compute explicitly the polynomials producing the partial zeta values at $s=-k$ for small $k$ of some chosen families and compare these with some previously known results.

math.NT

The behavior of Hecke's L-function of real quadratic fields at s=0

For a family of real quadratic fields $\{K_n=\FQ(\sqrt{f(n)})\}_{n\in \FN}$, a Dirichlet character $χ$ modulo $q$ and prescribed ideals $\{\fb_n\subset K_n\}$, we investigate the linear behaviour of the special value of partial Hecke's L-function $L_{K_n}(s,χ_n:=χ\circ N_{K_n},\fb_n)$ at $s=0$. We show that for $n=qk+r$, $L_{K_n}(0,χ_n,\fb_n)$ can be written as $$\frac{1}{12q^2}(A_χ(r)+kB_χ(r)),$$ where $A_χ(r),B_χ(r)\in \FZ[χ(1),χ(2),..., χ(q)]$ if a certain condition on $\fb_n$ in terms of its continued fraction is satisfied. Furthermore, we write precisely $A_χ(r)$ and $B_χ(r)$ using values of the Bernoulli polynomials. We describe how the linearity is used in solving class number one problem for some families and recover the proofs in some cases. Finally, we list some families of real quadratic fields with the linearity.

math.NT

Polynomial behavior of special values of partial zeta function of real quadratic fields at s=0

We compute the special values of partial zeta function at $s=0$ for family of real quadratic fields $K_n$ and ray class ideals $\fb_n$ such that $\fb_n^{-1} = [1,δ(n)]$ where the continued fraction expansion of $δ(n)$ is purely periodic and each terms are polynomial in $n$ of bounded degree $d$. With an additional assumptions, we prove that the special values of partial zeta function at $s=0$ behaves as quasi-polynomial. We apply this to obtain that the special values the Hecke's $L$-functions at $s=0$ for a family of for a Dirichlet character $χ$ behave as quasi-polynomial as well. We compute out explicitly the coefficients of the quasi-polynomials. Two examples satisfying the condition are presented and for these families the special values of the partial zeta functions at $s=0$.

math.NT

Caliber numbers of real quadratic fields

We obtain lower bound of caliber number of real quadratic field $K=\FQ(\sqrt{d})$ using splitting primes in $K$. We find all real quadratic fields of caliber number 1 and find all real quadratic fields of caliber number 2 if $d$ is not 5 modulo 8. In both cases, we don't rely on the assumption on $ζ_K(1/2)$.

math.NT