arXiv subjects

Leonardo Bohac

Publications and source records attributed to Leonardo Bohac.

4 recordsLinked to original sources

arXiv2025

Read-Only Opacity and Restricted-Access Inference on Quantum Memories via U-QRAM

Universal QRAM (U-QRAM) is a fixed, data-independent unitary interface that implements coherent random-access reads relative to a designated computational "truth-table" basis on the memory register. This work studies restricted-access inference: the memory register is persistent but inaccessible, while an experimenter may prepare and measure only accessible registers and may invoke the fixed read interaction. Allowing the memory to be in an arbitrary quantum state (pure or mixed, possibly entangled with an inaccessible reference system, or a coherent superposition of truth tables), we establish a sharp, protocol-independent limitation of read-only access. For any finite-query protocol -- including arbitrary accessible ancillas, intermediate measurements, adaptivity, and general CPTP processing between queries -- the induced output state on the accessible registers depends on the memory state only through its diagonal in the truth-table basis. Equivalently, read-only access factors through dephasing (pinching) in that basis; coherences between distinct truth tables are operationally invisible. Consequently, every memory-hypothesis testing task reduces to a standard state-discrimination problem on the accessible registers, and the minimum-error optimal measurement is characterized by Helstrom theory. We illustrate the framework with three explicit examples: (i) the phase-kickback reduction recovering the one-query Bernstein-Vazirani/Deutsch-Jozsa geometry, (ii) a minimal Helstrom instance with optimal success probability 3/4, and (iii) perfect indistinguishability of relative phases in entangled truth-table superpositions.

quant-ph↗

arXiv2025

Bias-Class Discrimination of Universal QRAM Boolean Memories

We study the discrimination of Boolean memory configurations via a fixed Universal QRAM (U-QRAM) interface. Given query access to a quantum memory storing an unknown Boolean function $f:[N]\to\{0,1\}$, we ask: what can be inferred about the bias class of $f$ (its imbalance from $1/2$, up to complement symmetry) using coherent, addressable queries? We show that for exact-weight bias classes, the induced single-query ensemble state on the address register has a two-eigenspace structure that yields closed-form expressions for the single-copy Helstrom-optimal measurement and success probability. Because complementing $f$ changes the state $|\psi\rangle$ only by a global phase, hypotheses $p$ and $1-p$ are information-theoretically identical in this model; thus the natural discriminand is the phase-bias magnitude $|\mu|$ (equivalently $\mu^2$). This goes beyond the perfect-discrimination case of Deutsch-Jozsa and complements exact-identification settings such as Bernstein-Vazirani.

quant-ph↗

arXiv2025

Closed-Form Optimal Quantum Circuits for Single-Query Identification of Boolean Functions

We study minimum-error identification of an unknown single-bit Boolean function given black-box (oracle) access with one allowed query. Rather than stopping at an abstract optimal measurement, we give a fully constructive solution: an explicit state preparation and an explicit measurement unitary whose computational-basis readout achieves the Helstrom-optimal success probability 3/4 for distinguishing the four possible functions. The resulting circuit is low depth, uses a fixed gate set, and (in this smallest setting) requires no entanglement in the input state. Beyond the specific example, the main message is operational. It highlights a regime in which optimal oracle discrimination is not only well-defined but implementably explicit: the optimal POVM collapses to a compact gate-level primitive that can be compiled, verified, and composed inside larger routines. Motivated by this, we discuss a "what if" question that is open in spirit: for fixed (n,m,k), could optimal k-query identification (possibly for large hypothesis classes) admit deterministic, closed-form descriptions of the inter-query unitaries and the final measurement unitary acting on the natural n+m-qubit input--output registers (and, if needed, small work registers)? Even when such descriptions are not compact and do not evade known circuit-complexity barriers for generic Boolean functions, making the optimum constructive at the circuit level would be valuable for theory-to-hardware translation and for clarifying which forms of "oracle access" are physically meaningful.

quant-ph↗

arXiv2025

Universal Quantum Random Access Memory: A Data-Independent Unitary with a Commuting-Projector Hamiltonian

Quantum random access memory (QRAM) is a central primitive for coherent data access in quantum algorithms, yet it remains controversial in practice because the wall-clock cost of "one lookup" can hide routing depth, control overhead, and geometric constraints. We present a universal QRAM construction (U-QRAM) in which the database is a physical memory register that participates in the lookup unitary as quantum control. This yields a single fixed, data-independent lookup unitary on $A \otimes D \otimes M$ that is correct for all basis-encoded databases. Our first contribution is an explicit, exact Hamiltonian realization: U-QRAM equals a single time-independent evolution $U_{QRAM} = \exp(-iH_{tot})$ where $H_{tot}$ is a sum of mutually commuting projector terms, one per memory cell, and the construction avoids control-dependent phase ambiguities. Our second contribution is an architectural sharpening: under unary (one-hot, mode-addressed) encoding of the address, each cell term becomes uniform and 3-local, delineating the most direct path toward constant-latency interpretations. We keep claims conservative by separating latency from work and stating explicit hardware assumptions required for constant wall-clock queries.

quant-ph↗