Engineering Papers⌕ Search

Engineering topics

Korpas, Georgios

Publications and source records attributed to Korpas, Georgios.

Quantum Optimization: Potential, Challenges, and the Path Forward

Recent advances in quantum computers are demonstrating the ability to solve problems at a scale beyond brute force classical simulation. As such, a widespread interest in quantum algorithms has developed in many areas, with optimization being one of the most pronounced domains. Across computer science and physics, there are a number of algorithmic approaches, often with little linkage. This is further complicated by the fragmented nature of the field of mathematical optimization, where major classes of optimization problems, such as combinatorial optimization, convex optimization, non-convex optimization, and stochastic extensions, have devoted communities. With these aspects in mind, this work draws on multiple approaches to study quantum optimization. Provably exact versus heuristic settings are first explained using computational complexity theory — highlighting where quantum advantage is possible in each context. Then, the core building blocks for quantum optimization algorithms are outlined to subsequently define prominent problem classes and identify key open questions that, if answered, will advance the field. The effects of scaling relevant problems on noisy quantum devices are also outlined in detail, alongside meaningful benchmarking problems. We underscore the importance of benchmarking by proposing clear metrics to conduct appropriate comparisons with classical optimization techniques. Lastly, we highlight two domains – finance and sustainability – as rich sources of optimization problems that could be used to benchmark, and eventually validate, the potential real-world impact of quantum optimization.

97 MATHEMATICS AND COMPUTING↗

Mocking the u-plane integral

Abstract The u -plane integral is the contribution of the Coulomb branch to correlation functions of $${\mathcal {N}}=2$$ N = 2 gauge theory on a compact four-manifold. We consider the u -plane integral for correlators of point and surface observables of topologically twisted theories with gauge group $$\mathrm{SU}(2)$$ SU ( 2 ) , for an arbitrary four-manifold with $$(b_1,b_2^+)=(0,1)$$ ( b 1 , b 2 + ) = ( 0 , 1 ) . The u -plane contribution equals the full correlator in the absence of Seiberg–Witten contributions at strong coupling, and coincides with the mathematically defined Donaldson invariants in such cases. We demonstrate that the u -plane correlators are efficiently determined using mock modular forms for point observables, and Appell–Lerch sums for surface observables. We use these results to discuss the asymptotic behavior of correlators as function of the number of observables. Our findings suggest that the vev of exponentiated point and surface observables is an entire function of the fugacities.

Mathematics↗

Renormalization and BRST Symmetry in Donaldson–Witten Theory

The presence of a BRST symmetry in topologically twisted gauge theories makes a precise analysis of these theories feasible. While the global BRST symmetry suggests that correlation functions of BRST exact observables vanish, this decoupling might be obstructed due to a contribution from the boundary of field space. Motivated by divergent BRST exact observables on the Coulomb branch of Donaldson–Witten theory, we put forward a new prescription for the renormalization of correlation functions on the Coulomb branch. This renormalization is based on the relation between Coulomb branch integrals and integrals over a modular fundamental domain and establishes that BRST exact observables indeed decouple in Donaldson–Witten theory.

97 MATHEMATICS AND COMPUTING↗