Why does embedding constraints into quantum circuits require exponentially more qubits than classical evaluation?

Your question touches on a real tension in quantum algorithm design, but the preprints provided don't directly address *why* the exponential blowup happens fundamentally — they mostly describe workarounds.

Here's what the archive does tell us:

The core issue is slack qubits [AG-2024.03-2171]. When you encode a linear inequality constraint (say, x + y ≤ 5) into a quantum circuit using the standard penalty-term method, you need extra qubits — called slack variables — to represent the "slack" (the unused headroom: 5 − x − y). For each inequality, you need roughly log₂(constraint-range) additional qubits. In a problem with many constraints, these accumulate fast [AG-2024.03-2171].

Why does this blow up the search space exponentially? Because you've added new *degrees of freedom* to your quantum state. A quantum computer explores its state space by tuning parameters in the circuit; each extra qubit doubles the dimension of the Hilbert space the optimizer must navigate. The result is a "complicated parameter landscape" that classical optimizers struggle to navigate [AG-2024.03-2171].

The clever workaround proposed is to evaluate constraints classically: omit the slack qubits from the circuit entirely and check the inequalities after each parameter update, using them only to score candidate solutions [AG-2024.03-2171]. This sidesteps the exponential growth while sacrificing some quantum advantage on that part of the problem.

A related technique — minor embedding — addresses connectivity constraints by mapping a logical problem onto the limited qubit topology of real hardware [AG-2024.05-2370], which also requires extra qubits but is handled more systematically.

Unfortunately, the archive doesn't contain a deeper theoretical treatment of *why* slack variables force exponential growth — only practical evidence that they do and how to avoid them.