Papers for

quantum computing developers

Papers whose findings have a practical use for this group, as judged from the abstract. Open a paper to read what it means in practice.

Complex sign selection bounds sums of vectors in any dimension

The Komlós conjecture for complex discrepancy

Abstract: The Komlós conjecture is a classic problem in discrepancy theory; it asks whether an absolute constant $K$ exists such that given any $n$ vectors $a_1,\ldots,a_n$ inside the $m$-dimensional Euclidean ball, regardless of how large $m,n$ are, there is always a selection of signs $\varepsilon_1,\ldots,\varepsilon_n$ guaranteeing $$\|\varepsilon_1a_1+\ldots+\varepsilon_na_n\|_\infty \leq K.$$ We show that if the $\varepsilon_i$'s are allowed to take not just the values of $\pm 1$ but any unit modulus complex number, which we refer to as complex discrepancy, then the above inequality holds for a finite, explicit constant $K_{\mathbb{C}}$. Here, the $\ell^\infty$ norm of the resulting vector in $\mathbb{C}^m$ is the largest modulus of its entries, and thus the complex discrepancy of real vectors is equivalent to their rank-$2$ vector discrepancy. Therefore, our result resolves the Komlós problem for Gaussian discrepancy -- a discrepancy measure introduced by Chewi, Gerber, Rigollet and Turner. Our paper builds upon the recent work of Bansal and Jiang on the Beck-Fiala and Komlós conjectures, which we approach from the formalism of Burkholder and the Bellman function method from probability and harmonic analysis. Our work was in part motivated by the realization that the complex discrepancy of the columns of any unitary matrix is equal to 1, a fact that follows from a straightforward calculation based on Idel and Wolf's generalization of the Sinkhorn normal form for unitary matrices.

Mon 14 SeptDiscrete Mathematics
The gist
The Komlós conjecture asks if you can always pick plus or minus signs for a set of vectors so their sum never gets too large in any coordinate. The authors show that if instead of just ±1, you can choose any complex number with absolute value 1 as your sign, then you can guarantee the sum stays bounded by some fixed constant. This complex sign choice expands the possibilities and solves a version of the conjecture related to more flexible 'Gaussian discrepancy.' The work builds on recent advances using probability and harmonic analysis techniques.
Open 2609.15071v1

Randomized queries can be far more efficient than certificates

Randomized query complexity can beat certificate complexity

Abstract: A long-standing open question in query complexity asks whether there is a total Boolean function f with R(f) << C(f), where R(f) and C(f) denote its bounded-error randomized query complexity and certificate complexity, respectively. We construct a function with R(f) = O~(sqrt{C(f)}), which is optimal up to log factors. The same function also has $Q(f) = O~(C(f)^{1/4}), where Q(f) is the bounded-error quantum query complexity of f, which is also nearly optimal.

Mon 14 SeptComputational Complexity
The gist
Sometimes, figuring out the answer to a problem can involve checking just a few crucial hints, called certificates, or asking questions randomly. The authors created a special function where randomly asking questions is much faster than relying on certificates alone. This means random strategies can be significantly more efficient at solving some problems. Their method is also nearly the best possible compared to previous approaches.
Open 2609.15063v1

Quantum circuit improves paraphrase detection with fewer parameters

Parameter-Efficient Quantum NLP for Paraphrase Detection: Performance, Robustness, and Entanglement

Abstract: Rigorous empirical validation of quantum machine learning on natural language tasks remains scarce. We evaluate a 10-qubit hybrid quantum-classical variational circuit (2,148 parameters) for paraphrase detection across three benchmarks: MRPC, Quora Question Pairs (QQP), and adversarial PAWS. On QQP (n = 10 seeds), the circuit achieves 75.53% +/- 0.75%. accuracy, statistically outperforming parameter-matched classical baselines (DeepMLP: p = 0.015, Cohen's d = 1.20; F1: p < 0.001, d = 2.32) and surpassing DistilBERT-4bit with 31,191 fewer parameters. On MRPC the optimal 2-layer variant reaches 92% of BERT-base accuracy at 54,000 lower parameter cost. Circuit depth analysis reveals a dataset-depth scaling effect; entanglement analysis via the Meyer-Wallach measure identifies multi-qubit entanglement as the primary performance driver (r = 0.85 across four variants). Adversarial evaluation on PAWS reveals emergent robustness: 98.2% recall versus 81.6% classical (+16.6 pp, d = 1.24, p < 0.001), without adversarial training. These results constitute the first systematic parameter-matched multi-benchmark empirical validation of hybrid variational circuits for NLP. All results are from classical simulation; hardware validation is future work.

Sun 13 SeptComputation and Language
The gist
Detecting when two sentences mean the same thing is an important task in language understanding. The authors show that a special kind of quantum-inspired computer model can do this task well using fewer adjustable parts than common classical methods. Their model is also more resistant to tricky examples designed to fool it, even without extra training. This work uses simulated quantum circuits to compare performance, with future work planned on real quantum hardware.
Open 2609.14529v1

Local gradient neural operator predicts evolving mechanical systems well

Local gradient neural operator

Abstract: Field temporal prediction and source identification constitute canonical problems in dynamical systems. Conventional approaches to these problems depend on a thorough understanding of the governing partial differential equations (PDEs). Recently, deep learning, as represented by neural operators, has provided a data-driven paradigm for addressing such tasks. However, most existing global neural operators for PDEs require large training datasets and many learnable parameters, with limited interpretability and generalization. We propose the local gradient neural operator (LGNO) as a lightweight and interpretable alternative for field temporal evolution prediction and source identification in typical mechanical problems. The method builds on priors from nonlinear gradient discretization and uses multilayer perceptron convolutional layers to learn translation-invariant local kernels that resemble discrete stencils. A zero consistent stencil factorization separates coefficient learning from field reconstruction, rendering the learned operators more transparent. For problems with symmetries, network folding shares equivalent components and reduces parameter counts. We evaluate the method on PDE benchmarks covering linear and nonlinear, static and dynamic, and low and high dimensional cases. Results show that LGNO maintains accuracy, parameter efficiency, and rollout stability across these tasks, and further exhibits wide applicability to mechanical problems including diffusion, flow, and quantum phenomena.

Mon 7 SeptMachine Learning
The gist
Predicting how things like heat or fluids will change over time usually needs deep understanding of complicated math equations. The researchers introduce a new method called the local gradient neural operator, which learns from data in a simpler, more understandable way. Their approach uses local patterns that mimic traditional numerical methods and keeps things efficient with fewer parameters. This method works well on many types of problems, including those involving diffusion, flow, and even quantum effects.
Open 2609.07752v1