-
The role of quantum and classical correlations in shrinking algorithms for optimization
Authors:
Victor Fischer,
Maximilian Passek,
Friedrich Wagner,
Jernej Rudi Finžgar,
Lilly Palackal,
Christian B. Mendl
Abstract:
The benefit of quantum computing for solving combinatorial optimization problems (COPs) constitutes an open research question. In this work, we study the performance of a shrinking algorithm for COPs. The algorithm leverages correlations extracted from quantum or classical subroutines to recursively simplify the problem. We compare the performance of the algorithm equipped with correlations from t…
▽ More
The benefit of quantum computing for solving combinatorial optimization problems (COPs) constitutes an open research question. In this work, we study the performance of a shrinking algorithm for COPs. The algorithm leverages correlations extracted from quantum or classical subroutines to recursively simplify the problem. We compare the performance of the algorithm equipped with correlations from the quantum approximate optimization algorithm (QAOA) as well as the classical linear programming (LP) and semi-definite programming (SDP) relaxations. This allows us to benchmark the utility of QAOA correlations against established classical relaxation algorithms. We apply the recursive algorithm to MaxCut problem instances with up to a hundred vertices at different graph densities. Our results indicate that LP outperforms all other approaches for low-density instances, while SDP excels for high-density problems. Moreover, the shrinking algorithm proves to be a viable alternative to established methods of rounding LP and SDP relaxations. In addition, the recursive shrinking algorithm outperforms its bare counterparts for all three types of correlations, i.e., LP with spanning tree rounding, the Goemans-Williamson algorithm, and conventional QAOA. While the lowest depth QAOA consistently yields worse results than the SDP, our tensor network experiments show that the performance increases significantly for deeper QAOA circuits.
△ Less
Submitted 26 April, 2024;
originally announced April 2024.
-
Improving Quantum and Classical Decomposition Methods for Vehicle Routing
Authors:
Laura S. Herzog,
Friedrich Wagner,
Christian Ufrecht,
Lilly Palackal,
Axel Plinge,
Christopher Mutschler,
Daniel D. Scherer
Abstract:
Quantum computing is a promising technology to address combinatorial optimization problems, for example via the quantum approximate optimization algorithm (QAOA). Its potential, however, hinges on scaling toy problems to sizes relevant for industry. In this study, we address this challenge by an elaborate combination of two decomposition methods, namely graph shrinking and circuit cutting. Graph s…
▽ More
Quantum computing is a promising technology to address combinatorial optimization problems, for example via the quantum approximate optimization algorithm (QAOA). Its potential, however, hinges on scaling toy problems to sizes relevant for industry. In this study, we address this challenge by an elaborate combination of two decomposition methods, namely graph shrinking and circuit cutting. Graph shrinking reduces the problem size before encoding into QAOA circuits, while circuit cutting decomposes quantum circuits into fragments for execution on medium-scale quantum computers. Our shrinking method adaptively reduces the problem such that the resulting QAOA circuits are particularly well-suited for circuit cutting. Moreover, we integrate two cutting techniques which allows us to run the resulting circuit fragments sequentially on the same device. We demonstrate the utility of our method by successfully applying it to the archetypical traveling salesperson problem (TSP) which often occurs as a sub-problem in practically relevant vehicle routing applications. For a TSP with seven cities, we are able to retrieve an optimum solution by consecutively running two 7-qubit QAOA circuits. Without decomposition methods, we would require five times as many qubits. Our results offer insights into the performance of algorithms for combinatorial optimization problems within the constraints of current quantum technology.
△ Less
Submitted 8 April, 2024;
originally announced April 2024.
-
Optimized Noise Suppression for Quantum Circuits
Authors:
Friedrich Wagner,
Daniel J. Egger,
Frauke Liers
Abstract:
Quantum computation promises to advance a wide range of computational tasks. However, current quantum hardware suffers from noise and is too small for error correction. Thus, accurately utilizing noisy quantum computers strongly relies on noise characterization, mitigation, and suppression. Crucially, these methods must also be efficient in terms of their classical and quantum overhead. Here, we e…
▽ More
Quantum computation promises to advance a wide range of computational tasks. However, current quantum hardware suffers from noise and is too small for error correction. Thus, accurately utilizing noisy quantum computers strongly relies on noise characterization, mitigation, and suppression. Crucially, these methods must also be efficient in terms of their classical and quantum overhead. Here, we efficiently characterize and mitigate crosstalk noise, which is a severe error source in, e.g., cross-resonance based superconducting quantum processors. For crosstalk characterization, we develop a simplified measurement experiment. Furthermore, we analyze the problem of optimal experiment scheduling and solve it for common hardware architectures. After characterization, we mitigate noise in quantum circuits by a noise-aware qubit routing algorithm. Our integer programming algorithm extends previous work on optimized qubit routing by swap insertion. We incorporate the measured crosstalk errors in addition to other, more easily accessible noise data in the objective function. Furthermore, we strengthen the underlying integer linear model by proving a convex hull result about an associated class of polytopes, which has applications beyond this work. We evaluate the proposed method by characterizing crosstalk noise for a complete 27 qubit chip and leverage the resulting data to improve the approximation ratio of the Quantum Approximate Optimization Algorithm by up to 10 % compared to other established noise-aware routing methods. Our work clearly demonstrates the gains of including noise data when map** abstract quantum circuits to hardware native ones.
△ Less
Submitted 12 January, 2024;
originally announced January 2024.
-
Bell nonlocality in maximal-length quantum mechanics
Authors:
Pasquale Bosso,
Fabrizio Illuminati,
Luciano Petruzziello,
Fabian Wagner
Abstract:
In this paper, we investigate the consequences of maximal length as well as minimal momentum scales on nonlocal correlations shared by two parties of a bipartite quantum system. To this aim, we rely on a general phenomenological scheme which is usually associated with the non-negligible spacetime curvature at cosmological scales, namely the extended uncertainty principle. In so doing, we find that…
▽ More
In this paper, we investigate the consequences of maximal length as well as minimal momentum scales on nonlocal correlations shared by two parties of a bipartite quantum system. To this aim, we rely on a general phenomenological scheme which is usually associated with the non-negligible spacetime curvature at cosmological scales, namely the extended uncertainty principle. In so doing, we find that quantum correlations are degraded if the deformed quantum mechanical model mimics a positive cosmological constant. This opens up the possibility to recover classicality at sufficiently large distances.
△ Less
Submitted 18 August, 2023; v1 submitted 22 June, 2023;
originally announced June 2023.
-
Enhancing Quantum Algorithms for Quadratic Unconstrained Binary Optimization via Integer Programming
Authors:
Friedrich Wagner,
Jonas Nüßlein,
Frauke Liers
Abstract:
To date, research in quantum computation promises potential for outperforming classical heuristics in combinatorial optimization. However, when aiming at provable optimality, one has to rely on classical exact methods like integer programming. State-of-the-art integer programming algorithms can compute strong relaxation bounds even for hard instances, but may have to enumerate a large number of su…
▽ More
To date, research in quantum computation promises potential for outperforming classical heuristics in combinatorial optimization. However, when aiming at provable optimality, one has to rely on classical exact methods like integer programming. State-of-the-art integer programming algorithms can compute strong relaxation bounds even for hard instances, but may have to enumerate a large number of subproblems for determining an optimum solution. If the potential of quantum computing realizes, it can be expected that in particular finding high-quality solutions for hard problems can be done fast. Still, near-future quantum hardware considerably limits the size of treatable problems. In this work, we go one step into integrating the potentials of quantum and classical techniques for combinatorial optimization. We propose a hybrid heuristic for the weighted maximum-cut problem or, equivalently, for quadratic unconstrained binary optimization. The heuristic employs a linear programming relaxation, rendering it well-suited for integration into exact branch-and-cut algorithms. For large instances, we reduce the problem size according to a linear relaxation such that the reduced problem can be handled by quantum machines of limited size. Moreover, we improve the applicability of QAOA, a parameterized quantum algorithm, by deriving optimal parameters for special instances which motivates a parameter estimate for arbitrary instances. We present numerous computational results from real quantum hardware.
△ Less
Submitted 26 April, 2024; v1 submitted 10 February, 2023;
originally announced February 2023.
-
The minimal length: a cut-off in disguise?
Authors:
Pasquale Bosso,
Luciano Petruzziello,
Fabian Wagner
Abstract:
The minimal-length paradigm, a possible implication of quantum gravity at low energies, is commonly understood as a phenomenological modification of Heisenberg's uncertainty relation. We show that this modification is equivalent to a cut-off in the space conjugate to the position representation, i.e. the space of wave numbers, which does not necessarily correspond to momentum space. This result is…
▽ More
The minimal-length paradigm, a possible implication of quantum gravity at low energies, is commonly understood as a phenomenological modification of Heisenberg's uncertainty relation. We show that this modification is equivalent to a cut-off in the space conjugate to the position representation, i.e. the space of wave numbers, which does not necessarily correspond to momentum space. This result is generalized to several dimensions and noncommutative geometries once a suitable definition of the wave number is provided. Furthermore, we find a direct relation between the ensuing bound in wave-number space and the minimal-length scale. For scenarios in which the existence of the minimal length cannot be explicitly verified, the proposed framework can be used to clarify the situation. Indeed, applying it to common models, we find that one of them does, against all expectations, allow for arbitrary precision in position measurements. In closing, we comment on general implications of our findings for the field. In particular, we point out that the minimal length is purely kinematical such that, effectively, there is only one model of minimal-length quantum mechanics.
△ Less
Submitted 9 February, 2023;
originally announced February 2023.
-
Momentum gauge fields from curved momentum space through Kaluza-Klein reduction
Authors:
Eduardo Guendelman,
Fabian Wagner
Abstract:
In this work we investigate the relation between curved momentum space and momentum-dependent gauge fields. While the former is a classic idea that has been shown to be tied to minimal-length models, the latter constitutes a relatively recent development in quantum gravity phenomenology. In particular, the gauge principle in momentum space amounts to a modification of the position operator of the…
▽ More
In this work we investigate the relation between curved momentum space and momentum-dependent gauge fields. While the former is a classic idea that has been shown to be tied to minimal-length models, the latter constitutes a relatively recent development in quantum gravity phenomenology. In particular, the gauge principle in momentum space amounts to a modification of the position operator of the form $\hat{X}^μ\rightarrow\hat{X}^μ-g A^μ(\hat{P})$ akin to a gauge-covariant derivative in momentum space according to the minimal coupling prescription. Here, we derive both effects from a Kaluza-Klein reduction of a higher-dimensional geometry exhibiting curvature in momentum space. The interplay of the emerging gauge fields as well as the remaining curved momentum space lead to modifications of the Heisenberg algebra. While the gauge fields imply Moyal-type noncommutativity dependent on the analogue field strength tensor, the dimensionally reduced curved momentum space geometry translates to a Snyder-type noncommutative geometry.
△ Less
Submitted 22 September, 2023; v1 submitted 31 July, 2022;
originally announced August 2022.
-
Spin operator, Bell nonlocality and Tsirelson bound in quantum-gravity induced minimal-length quantum mechanics
Authors:
Pasquale Bosso,
Luciano Petruzziello,
Fabian Wagner,
Fabrizio Illuminati
Abstract:
Different approaches to quantum gravity converge in predicting the existence of a minimal scale of length. This raises the fundamental question as to whether and how an intrinsic limit to spatial resolution can affect quantum mechanical observables associated to internal degrees of freedom. We answer this question in general terms by showing that the spin operator acquires a momentum-dependent con…
▽ More
Different approaches to quantum gravity converge in predicting the existence of a minimal scale of length. This raises the fundamental question as to whether and how an intrinsic limit to spatial resolution can affect quantum mechanical observables associated to internal degrees of freedom. We answer this question in general terms by showing that the spin operator acquires a momentum-dependent contribution in quantum mechanics equipped with a minimal length. Among other consequences, this modification induces a form of quantum nonlocality stronger than the one arising in ordinary quantum mechanics. In particular, we show that violations of the Bell inequality can exceed the maximum value allowed in ordinary quantum mechanics, the so-called Tsirelson bound, by a positive-valued function of the momentum operator. We introduce possible experimental settings based on neutron interferometry and quantum contextuality, and we provide preliminary estimates on the values of the physical parameters needed for actual laboratory implementations.
△ Less
Submitted 24 May, 2023; v1 submitted 21 July, 2022;
originally announced July 2022.
-
Improving Quantum Computation by Optimized Qubit Routing
Authors:
Friedrich Wagner,
Andreas Bärmann,
Frauke Liers,
Markus Weissenbäck
Abstract:
In this work we propose a high-quality decomposition approach for qubit routing by swap insertion. This optimization problem arises in the context of compiling quantum algorithms onto specific quantum hardware. Our approach decomposes the routing problem into an allocation subproblem and a set of token swap** problems. This allows us to tackle the allocation part and the token swap** part sepa…
▽ More
In this work we propose a high-quality decomposition approach for qubit routing by swap insertion. This optimization problem arises in the context of compiling quantum algorithms onto specific quantum hardware. Our approach decomposes the routing problem into an allocation subproblem and a set of token swap** problems. This allows us to tackle the allocation part and the token swap** part separately. Extracting the allocation part from the qubit routing model of Nannicini et al. (ar** part we develop an exact branch-and-bound algorithm. In this context, we improve upon known lower bounds on the token swap** problem. Furthermore, we enhance an existing approximation algorithm. We present numerical results for the integrated allocation and token swap** problem. Obtained solutions may not be globally optimal due to the decomposition and the usage of an approximation algorithm. However, the solutions are obtained fast and are typically close to optimal. In addition, there is a significant reduction in the number of gates and output circuit depth when compared to state-of-the-art heuristics. Reducing these figures is crucial for minimizing noise when running quantum algorithms on near-term hardware. As a consequence, using the novel decomposition approach leads to compiled algorithms with improved quality. Indeed, when compiled with the novel routing procedure and executed on real hardware, our experimental results for quantum approximate optimization algorithms show an significant increase in solution quality in comparison to standard routing methods.
△ Less
Submitted 31 January, 2023; v1 submitted 2 June, 2022;
originally announced June 2022.
-
Relativistic Extended Uncertainty Principle from Spacetime Curvature
Authors:
Fabian Wagner
Abstract:
The investigations presented in this study are directed at relativistic modifications of the uncertainty relation derived from the curvature of the background spacetime. These findings generalize previous work which is recovered in the nonrelativistic limit. Applying the 3+1-splitting in accordance with the ADM-formalism, we find the relativistic physical momentum operator and compute its standard…
▽ More
The investigations presented in this study are directed at relativistic modifications of the uncertainty relation derived from the curvature of the background spacetime. These findings generalize previous work which is recovered in the nonrelativistic limit. Applying the 3+1-splitting in accordance with the ADM-formalism, we find the relativistic physical momentum operator and compute its standard deviation for wave functions confined to a geodesic ball on a spacelike hypersurface. Its radius can then be understood as a measure of position uncertainty. Under the assumtion of small position uncertainties in comparison to background curvature length scales, we obtain the corresponding corrections to the uncertainty relation in flat space. Those depend on the Ricci scalar of the effective spatial metric, the particle is moving on, and, if there are nonvanishing time-space components of the spacetime metric, gradients of the shift vector and the lapse function. Interestingly, this result is applicable not only to massive but also to massless particles. Over all, this is not a covariant, yet a consistently general relativistic approach. We further speculate on a possible covariant extension.
△ Less
Submitted 30 November, 2021;
originally announced November 2021.
-
Generalized uncertainty principle or curved momentum space?
Authors:
Fabian Wagner
Abstract:
The concept of minimum length, widely accepted as a low-energy effect of quantum gravity, manifests itself in quantum mechanics through generalized uncertainty principles. Curved momentum space, on the other hand, is at the heart of similar applications such as doubly special relativity. We introduce a duality between theories yielding generalized uncertainty principles and quantum mechanics on no…
▽ More
The concept of minimum length, widely accepted as a low-energy effect of quantum gravity, manifests itself in quantum mechanics through generalized uncertainty principles. Curved momentum space, on the other hand, is at the heart of similar applications such as doubly special relativity. We introduce a duality between theories yielding generalized uncertainty principles and quantum mechanics on nontrivial momentum space. In particular, we find canonically conjugate variables which map the former into the latter. In that vein, we explicitly derive the vielbein corresponding to a generic generalized uncertainty principle in $d$ dimensions. Assuming the predominantly used quadratic form of the modification, the curvature tensor in momentum space is proportional to the noncommutativity of the coordinates in the modified Heisenberg algebra. Yet, the metric is non-Euclidean even in the flat case corresponding to commutative space, because the resulting momentum basis is noncanonical. These insides are used to constrain the curvature and the deviation from the canonical basis.
△ Less
Submitted 9 December, 2021; v1 submitted 21 October, 2021;
originally announced October 2021.
-
Gravitationally induced uncertainty relations in curved backgrounds
Authors:
Luciano Petruzziello,
Fabian Wagner
Abstract:
This paper aims at investigating the influence of space-time curvature on the uncertainty relation. In particular, relying on previous findings, we assume the quantum wave function to be confined to a geodesic ball on a given space-like hypersurface whose radius is a measure of the position uncertainty. On the other hand, we concurrently work out a viable physical definition of the momentum operat…
▽ More
This paper aims at investigating the influence of space-time curvature on the uncertainty relation. In particular, relying on previous findings, we assume the quantum wave function to be confined to a geodesic ball on a given space-like hypersurface whose radius is a measure of the position uncertainty. On the other hand, we concurrently work out a viable physical definition of the momentum operator and its standard deviation in the non-relativistic limit of the 3+1 formalism. Finally, we evaluate the uncertainty relation which to second order depends on the Ricci scalar of the effective 3-metric and the corresponding covariant derivative of the shift vector. For the sake of illustration, we apply our general result to a number of examples arising in the context of both general relativity and extended theories of gravity.
△ Less
Submitted 14 January, 2021;
originally announced January 2021.
-
Unified Treatment of EPR and Bell Arguments in Algebraic Quantum Field Theory
Authors:
Michael L. G. Redhead,
Fabian Wagner
Abstract:
A conjecture concerning vacuum correlations in axiomatic quantum field theory is proved. It is shown that this result can be applied both in the context of EPR-type experiments and Bell-type experiments.
A conjecture concerning vacuum correlations in axiomatic quantum field theory is proved. It is shown that this result can be applied both in the context of EPR-type experiments and Bell-type experiments.
△ Less
Submitted 3 February, 1998;
originally announced February 1998.