LogQ Parameterization: Phase-Based QUBO Encoding

• LogQ Parameterization is a phase-based encoding method that maps discrete QUBO spins to continuous unit-modulus complex phases via the function f(θ)=e^(-iπR(θ)).
• It relaxes binary variables onto the complex unit circle, preserving the discrete spin norm while enabling a non‐linear continuous optimization framework.
• Its practical advantages include logarithmically reduced qubit requirements and circuit depth, along with tailored gradient strategies for enhanced trainability.

LogQ parameterization is a phase-based encoding of Quadratic Unconstrained Binary Optimization (QUBO) variables in which each discrete spin is represented not by a binary register value or a real interval variable, but by a unit-modulus complex phase

$f(\theta_i)=e^{-i\pi R(\theta_i)},$

with $\theta_i\in\mathbb R$ continuous and $R(\theta_i)$ driven toward $0$ or $1$ so that $f(\theta_i)\to \pm1$. In the formulation developed for QUBO, this encoding was introduced within a logarithmic-qubit quantum ansatz and later shown to admit an exact classical reformulation as a non-linear continuous relaxation on the complex unit circle. The term “LogQ” refers to logarithmic qubit scaling rather than logarithms in the objective, and the construction is explicitly described as neither a probability parameterization, nor a simplex relaxation, nor a standard logit parameterization (Messud et al., 14 Apr 2026).

1. Discrete optimization problem and motivation

LogQ is formulated for the spin form of QUBO. Instead of binary variables $x_i\in\{0,1\}$, it uses spins $s_i\in\{-1,1\}$, related by

$s_i=2x_i-1.$

The target optimization problem is

$$s^*=\underset{s \in \{-1,1\}^{n}}{\arg\min}\; \left(-\frac{1}{2}\sum_{i,j=0}^{n-1} s_i Q_{ij} s_j\right).$$

This is the baseline discrete problem that LogQ parameterizes (Messud et al., 14 Apr 2026).

A conventional continuous relaxation would replace each spin by a real variable in $\theta_i\in\mathbb R$0,

$\theta_i\in\mathbb R$1

and then threshold the optimized value at zero. The LogQ motivation is that such a linear relaxation is weak because it does not enforce $\theta_i\in\mathbb R$2. LogQ instead relaxes the variables onto the complex unit circle, where the modulus is fixed to $\theta_i\in\mathbb R$3 and the binary values $\theta_i\in\mathbb R$4 appear as special points. This suggests that the method is best understood as a relaxation that preserves a strong analogue of the discrete spin norm while allowing continuous optimization over latent phase coordinates (Messud et al., 14 Apr 2026).

From a modeling standpoint, the decisive substitution is not

$\theta_i\in\mathbb R$5

but

$\theta_i\in\mathbb R$6

The resulting scheme is therefore unlike standard LP relaxations, unlike SDP or vector relaxations, and unlike variational quantum encodings that use one qubit per logical variable.

2. Encoding map, latent variables, and decoding

The LogQ parameterization has three distinct levels. The actual optimization variables are the continuous real parameters $\theta_i\in\mathbb R$7. The intermediate coordinate is $\theta_i\in\mathbb R$8, which serves as a relaxed phase coordinate. The embedding used by the algorithm is the unit-modulus complex number

$\theta_i\in\mathbb R$9

At convergence, the intended condition is

$R(\theta_i)$0

so that

$R(\theta_i)$1

and the recovered spin is

$R(\theta_i)$2

Thus the $R(\theta_i)$3 are latent continuous controls rather than relaxed spins themselves, $R(\theta_i)$4 is the relaxed coordinate, and $R(\theta_i)$5 is the actual phase/amplitude embedding (Messud et al., 14 Apr 2026).

The paper emphasizes that the only genuine modeling freedom in LogQ is the choice of $R(\theta_i)$6. The stated sufficient conditions for a useful parameterization are: $R(\theta_i)$7

$R(\theta_i)$8

together with the existence of large intervals such that $R(\theta_i)$9 is not small, and the condition that only “small barrier” local minima exist in $0$0. These conditions are motivated entirely by trainability. Earlier LogQ variants exhibited vanishing gradients and therefore required evolutionary or global optimization; the revised design criterion is to preserve the binary endpoint structure without destroying useful gradient signal (Messud et al., 14 Apr 2026).

Two common misconceptions are explicitly excluded by the source formulation. First, LogQ is not a probability parameterization and does not encode spins through a simplex. Second, the name does not refer to logarithmic terms in the surrogate objective; it refers to logarithmic qubit scaling.

3. Quantum ansatz and logarithmic-qubit structure

In the original quantum formulation, the variational objective is

$0$1

with

$0$2

and

$0$3

The state uses one amplitude per original variable index $0$4, but the amplitudes are constrained to equal magnitude and differ only by phase. It can also be written as

$0$5

where $0$6 implements the diagonal phases on top of the uniform superposition (Messud et al., 14 Apr 2026).

This is the structural source of the quantum efficiency claim. Since the $0$7 logical variables are indexed by computational basis states $0$8, the method uses only

$0$9

qubits to represent $1$0 amplitudes. The formulation explicitly states that this yields “an exponential reduction in the number of qubits and a quadratic reduction in quantum circuit depth” compared to standard encodings such as QAOA’s computational-basis encoding (Messud et al., 14 Apr 2026). A related analysis states that QAOA needs $1$1 qubits for a QUBO with $1$2 variables, whereas LogQ needs only $1$3, and that the LogQ circuit uses about $1$4 CNOTs, versus $1$5 for $1$6-layer QAOA (Chatterjee et al., 11 Jul 2025).

The cost operator is expanded as

$1$7

where the $1$8 are the $1$9 tensor products of $f(\theta_i)\to \pm1$0 Pauli matrices and identities. Because $f(\theta_i)\to \pm1$1 is symmetric, at most $f(\theta_i)\to \pm1$2 components and the same number of Pauli-basis measurements are needed. This Pauli decomposition and measurement burden later becomes a central target of the classical reformulation (Messud et al., 14 Apr 2026).

4. Exact classical reformulation as a non-linear continuous relaxation

The central reformulation result is that the same phase parameterization can be written directly as a classical optimization problem: $f(\theta_i)\to \pm1$3 subject to

$f(\theta_i)\to \pm1$4

This is a continuous relaxation because the $f(\theta_i)\to \pm1$5 are continuous, but it is not a relaxation into a real interval. It is a relaxation into the unit circle in $f(\theta_i)\to \pm1$6, and the modulus constraint enforces a strong analogue of $f(\theta_i)\to \pm1$7 (Messud et al., 14 Apr 2026).

Substituting

$f(\theta_i)\to \pm1$8

and using symmetry of $f(\theta_i)\to \pm1$9, the paper derives the real-valued surrogate

$x_i\in\{0,1\}$0

Equivalently, the discrete spin products are replaced by cosine couplings of phase differences: $x_i\in\{0,1\}$1 The analogy emphasized in the formulation is

$x_i\in\{0,1\}$2

This is the final classical surrogate induced by the LogQ parameterization (Messud et al., 14 Apr 2026).

The connection between the quantum and classical views is exact at the level of parameterization. Both use the same $x_i\in\{0,1\}$3, the same $x_i\in\{0,1\}$4, and the same map $x_i\in\{0,1\}$5. The quantum version evaluates the cost as an expectation value of a Pauli-decomposed operator on a logarithmic-qubit state; the classical version analytically collapses that expectation into a deterministic nonlinear objective involving pairwise cosines. The practical consequences stated in the source are the elimination of Pauli decomposition and the bypassing of measurement overhead (Messud et al., 14 Apr 2026).

The practical algorithm is correspondingly simple in outline: choose $x_i\in\{0,1\}$6, initialize $x_i\in\{0,1\}$7, optimize the quantum or classical cost over $x_i\in\{0,1\}$8, then decode each optimized coordinate using $x_i\in\{0,1\}$9 and map to $s_i\in\{-1,1\}$0. No initialization rule is specified, and no optimizer pseudocode is given for the 2026 reformulation paper.

5. Trainability and gradient-compliant parameterizations

A major issue in the earlier LogQ literature is that trainability depends strongly on the choice of $s_i\in\{-1,1\}$1. In the 2025 development focused on improving the scheme, the original parameterization is the step function

$s_i\in\{-1,1\}$2

This is ideal from an encoding standpoint because it directly produces binary outputs, but it has

$s_i\in\{-1,1\}$3

almost everywhere, so gradients vanish almost everywhere and the scheme is “not optimizable using gradient-inspired methods.” Earlier implementations therefore relied on genetic algorithms and other evolutionary or global methods (Chatterjee et al., 11 Jul 2025).

The first smoothing considered is the logistic sigmoid

$s_i\in\{-1,1\}$4

This introduces continuous gradients, but the source analysis states that large $s_i\in\{-1,1\}$5 recreates broad plateaus while small $s_i\in\{-1,1\}$6 softens the encoding too much. The proposed replacement is the “distorted sigmoid”

$s_i\in\{-1,1\}$7

with

$s_i\in\{-1,1\}$8

The optimization domain is extended from $s_i\in\{-1,1\}$9 to

$s_i=2x_i-1.$0

with the numerical choice $s_i=2x_i-1.$1, and in practice $s_i=2x_i-1.$2 is used (Chatterjee et al., 11 Jul 2025).

This trainability analysis is directly relevant to the later classical surrogate. The 2026 paper does not print an explicit gradient formula for the classical objective, but it makes clear that derivatives involve chain-rule factors $s_i=2x_i-1.$3 and phase-difference terms. A plausible implication is that the same design logic for $s_i=2x_i-1.$4 persists after dequantization: if $s_i=2x_i-1.$5 vanishes frequently away from the binary endpoints, the classical surrogate will also exhibit poor gradient signal (Messud et al., 14 Apr 2026).

The 2025 paper packages the improved trainable scheme as LogQ-grad. Its practical recipe is: use $s_i=2x_i-1.$6 with $s_i=2x_i-1.$7, restrict $s_i=2x_i-1.$8, start with $s_i=2x_i-1.$9 or $$s^*=\underset{s \in \{-1,1\}^{n}}{\arg\min}\; \left(-\frac{1}{2}\sum_{i,j=0}^{n-1} s_i Q_{ij} s_j\right).$$0, use Cobyla with a large initial trust-region parameter $$s^*=\underset{s \in \{-1,1\}^{n}}{\arg\min}\; \left(-\frac{1}{2}\sum_{i,j=0}^{n-1} s_i Q_{ij} s_j\right).$$1, decrease $$s^*=\underset{s \in \{-1,1\}^{n}}{\arg\min}\; \left(-\frac{1}{2}\sum_{i,j=0}^{n-1} s_i Q_{ij} s_j\right).$$2 over the run, perform a post-processing stage with $$s^*=\underset{s \in \{-1,1\}^{n}}{\arg\min}\; \left(-\frac{1}{2}\sum_{i,j=0}^{n-1} s_i Q_{ij} s_j\right).$$3, and use multistart initialization. On MaxCut instances, the reported objective values are lower than those of the original GA-based LogQ: for $$s^*=\underset{s \in \{-1,1\}^{n}}{\arg\min}\; \left(-\frac{1}{2}\sum_{i,j=0}^{n-1} s_i Q_{ij} s_j\right).$$4, $$s^*=\underset{s \in \{-1,1\}^{n}}{\arg\min}\; \left(-\frac{1}{2}\sum_{i,j=0}^{n-1} s_i Q_{ij} s_j\right).$$5 versus $$s^*=\underset{s \in \{-1,1\}^{n}}{\arg\min}\; \left(-\frac{1}{2}\sum_{i,j=0}^{n-1} s_i Q_{ij} s_j\right).$$6; for $$s^*=\underset{s \in \{-1,1\}^{n}}{\arg\min}\; \left(-\frac{1}{2}\sum_{i,j=0}^{n-1} s_i Q_{ij} s_j\right).$$7, $$s^*=\underset{s \in \{-1,1\}^{n}}{\arg\min}\; \left(-\frac{1}{2}\sum_{i,j=0}^{n-1} s_i Q_{ij} s_j\right).$$8 versus $$s^*=\underset{s \in \{-1,1\}^{n}}{\arg\min}\; \left(-\frac{1}{2}\sum_{i,j=0}^{n-1} s_i Q_{ij} s_j\right).$$9; and for $\theta_i\in\mathbb R$00, $\theta_i\in\mathbb R$01 versus $\theta_i\in\mathbb R$02. The same source states that converged solutions satisfy the intended binary condition,

$\theta_i\in\mathbb R$03

for all coordinates (Chatterjee et al., 11 Jul 2025).

6. Interpretation, limitations, and nomenclature

LogQ is best classified as a non-linear phase relaxation of binary variables. It is not an LP relaxation, not an SDP or vector relaxation, and not a conventional variational ansatz in which $\theta_i\in\mathbb R$04 qubits directly represent $\theta_i\in\mathbb R$05 bits. Its defining feature is that the binary structure is encoded through unit-modulus phases associated with amplitudes of a $\theta_i\in\mathbb R$06-qubit register, and that this same encoding survives intact when the quantum machinery is removed (Messud et al., 14 Apr 2026).

The practical advantages stated for the method are logarithmically fewer qubits,

$\theta_i\in\mathbb R$07

reduced circuit depth versus standard encodings, elimination of Pauli decomposition after classical reformulation, elimination of measurement overhead, and compatibility with gradient-inspired optimization if $\theta_i\in\mathbb R$08 is chosen well. The corresponding limitations are equally explicit: the method remains heuristic; success depends strongly on the choice of $\theta_i\in\mathbb R$09; the landscape may still contain plateaus or local minima, ideally only “small barrier” ones; and the papers do not establish guarantees of global optimality or approximation ratios (Messud et al., 14 Apr 2026).

The literature also contains several unrelated uses of similar terminology. “LogQuant” denotes a 2-bit KV-cache compression method whose “log” component is a base-2 log-distributed token-retention rule, not a formal method named LogQ (Chen et al., 25 Mar 2025). In large-scale retrieval, “logQ correction” denotes a sampled-softmax importance-sampling adjustment that subtracts $\theta_i\in\mathbb R$10 or $\theta_i\in\mathbb R$11 from sampled negative logits and, in its refined form, excludes the positive item from the sampled denominator (Khrylchenko et al., 12 Jul 2025). These usages are terminological collisions rather than variants of the phase-based QUBO parameterization.

In concise form, LogQ parameterization denotes the substitution

$\theta_i\in\mathbb R$12

with $\theta_i\in\mathbb R$13 and $\theta_i\in\mathbb R$14, together with a logarithmic-qubit amplitude encoding in the quantum formulation and an exactly corresponding cosine-coupled nonlinear surrogate in the classical formulation. Its significance lies less in any single optimizer than in the structural claim that a quantum-inspired phase encoding can define a distinct continuous relaxation of QUBO variables that remains meaningful even after the quantum layer is removed (Messud et al., 14 Apr 2026).