SearcharxivSearch

arXiv subjects

Michael de Oliveira

Publications and source records attributed to Michael de Oliveira.

14 recordsLinked to original sources

Quantum Bayesian Networks Can Speed up Reinforcement Learning in Partially Observable Environments

Reinforcement learning (RL) provides a principled framework for decision-making in partially observable environments, which can be modeled as Markov decision processes and compactly represented through dynamic decision Bayesian networks. Recent advances demonstrate that inference on sparse Bayesian networks can be accelerated using quantum rejection sampling combined with amplitude amplification, leading to a computational speedup in estimating acceptance probabilities. Building on this result, we introduce Quantum Bayesian Reinforcement Learning (QBRL), a hybrid quantum-classical look-ahead algorithm for model-based RL in partially observable environments. We present a rigorous, oracle-free time complexity analysis under fault-tolerant assumptions for the quantum device. Unlike standard treatments that assume a black-box oracle, we explicitly specify the inference process, allowing our bounds to more accurately reflect the true computational cost. We show that, for environments whose dynamics form a sparse Bayesian network, horizon-based near-optimal planning can be achieved sub-quadratically faster through quantum-enhanced belief updates. On the other hand, we show that there is no quantum speed-up for environments that are either fully observable, or characterized by Bayesian networks whose maximum in-degree is not small. Furthermore, we present numerical experiments benchmarking QBRL against its classical counterpart on simple yet illustrative decision-making tasks. Our results offer a detailed analysis of how the quantum computational advantage translates into decision-making performance, highlighting that the magnitude of the advantage can vary significantly across different deployment settings.

quant-ph

Worst-case depth hierarchy for shallow quantum circuits

Circuit depth is a central resource in complexity theory. While bounded-depth classical circuits admit well-understood hierarchy theorems, the internal structure of constant-depth quantum computation remains comparatively unexplored. We prove an explicit depth hierarchy theorem for $\mathsf{QNC}^0$. For each $d\ge 12$, we construct a family of two-round interactive problems on which no depth-$(d-1)$ quantum circuit can achieve near-perfect success, regardless of gate set, circuit size, or ancillary qubits. In contrast, we prove that our construction admits realizations by simple bounded fan-in quantum circuits of depth larger than $d$ by a small constant factor. Moreover, all bounded fan-in classical circuits of sublogarithmic depth (in the input size) fail to achieve perfect success on these tasks for every $d$, yielding a hierarchy of problems that show unconditional quantum advantage of $\mathsf{QNC}^0$ over $\mathsf{NC}^0$. A key obstacle is the scarcity of lower bound techniques for quantum circuits. To address this, we develop methods to analyze how depth affects a circuit's ability to realize nonlocal correlations amongst its output qubits in a fine-grained manner. Our approach exploits the correspondence between constraint systems and nonlocal games, translating group-theoretic constructions into rigid operator-valued constraint systems and then into non-local games. In particular, we construct constraint systems whose unique faithful operator-valued solutions require every perfect strategy, and every near-perfect strategy to a fixed precision, to implement multi-controlled phase operations. This reduces to a nonlocal unitary-synthesis problem, yielding depth lower bounds for both shallow quantum and classical circuits. These results show that increasing depth strictly increases computational power within $\mathsf{QNC}^0$, establishing a genuinely quantum hierarchy.

quant-ph

The Power of Shallow-depth Toffoli and Qudit Quantum Circuits

The relevance of shallow-depth quantum circuits has recently increased, mainly due to their applicability to near-term devices. In this context, one of the main goals of quantum circuit complexity is to find problems that can be solved by shallow quantum circuits but require more computational resources classically. Our first contribution in this work is to prove new separations between classical and quantum constant-depth circuits. Firstly, we show a separation between constant-depth quantum circuits with quantum advice $\mathsf{QNC}^0/\mathsf{qpoly}$, and $\mathsf{AC}^0[p]$, which is the class of classical constant-depth circuits with unbounded-fan in and $\mathsf{MOD}_{p}$ gates. Additionally, we show a separation between $\mathsf{QAC}^0$, the circuit class containing Toffoli gates with unbounded control, and $\mathsf{AC}^0[p]$, when $\mathsf{QAC}^0$ is augmented with additional mid-circuit measurements and classical fanout. This establishes the first such separation for a shallow-depth quantum class that does not involve quantum fanout gates, while relying solely on finite quantum gate sets. Equivalently, this yields a separation between $\mathsf{AC}^0[p]$ and $[\mathsf{QNC}^0, \mathsf{AC}^0]^2$, i.e., shallow quantum circuits interleaved with simple classical computation. Secondly, we consider $\mathsf{QNC}^0$ circuits with infinite-size gate sets. We show that these circuits, along with quantum prime modular gates or classical prime modular gates in combination with classical fanout, can implement threshold gates, showing that $\mathsf{QNC}^0[p]=\mathsf{QTC}^0$. Finally, we also show that in the infinite-size gate set case, these quantum circuit classes for higher-dimensional Hilbert spaces do not offer any advantage to standard qubit implementations.

quant-ph

Learning depth-3 circuits via quantum agnostic boosting

We initiate the study of quantum agnostic learning of phase states with respect to a function class $\mathsf{C}\subseteq \{c:\{0,1\}^n\rightarrow \{0,1\}\}$: given copies of an unknown $n$-qubit state $|ψ\rangle$ which has fidelity $\textsf{opt}$ with a phase state $|ϕ_c\rangle=\frac{1}{\sqrt{2^n}}\sum_{x\in \{0,1\}^n}(-1)^{c(x)}|x\rangle$ for some $c\in \mathsf{C}$, output $|ϕ\rangle$ which has fidelity $|\langle ϕ| ψ\rangle|^2 \geq \textsf{opt}-\varepsilon$. To this end, we give agnostic learning protocols for the following classes: (i) Size-$t$ decision trees which runs in time $\textsf{poly}(n,t,1/\varepsilon)$. This also implies $k$-juntas can be agnostically learned in time $\textsf{poly}(n,2^k,1/\varepsilon)$. (ii) $s$-term DNF formulas in time $\textsf{poly}(n,(s/\varepsilon)^{\log \log (s/\varepsilon) \cdot \log(1/\varepsilon)})$. Our main technical contribution is a quantum agnostic boosting protocol which converts a weak agnostic learner, which outputs a parity state $|ϕ\rangle$ such that $|\langle ϕ|ψ\rangle|^2\geq \textsf{opt}/\textsf{poly}(n)$, into a strong learner which outputs a superposition of parity states $|ϕ'\rangle$ such that $|\langle ϕ'|ψ\rangle|^2\geq \textsf{opt} - \varepsilon$. Using quantum agnostic boosting, we obtain a $n^{O(\log(n/\varepsilon) \cdot \log \log n)}$-time algorithm for $\varepsilon$-learning $\textsf{poly}(n)$-sized depth-$3$ circuits (consisting of $\textsf{AND}$, $\textsf{OR}$, $\textsf{NOT}$ gates) in the uniform $\textsf{PAC}$ model given quantum examples. Classically, obtaining an algorithm with a similar complexity has been an open question in the $\textsf{PAC}$ model and our work answers this given quantum examples.

quant-ph

Unconditionally separating noisy $\mathsf{QNC}^0$ from bounded polynomial threshold circuits of constant depth

The rapid evolution of quantum devices fuels concerted efforts to experimentally establish quantum advantage over classical computing. Many demonstrations of quantum advantage, however, rely on computational assumptions and face verification challenges. Furthermore, steady advances in classical algorithms and machine learning make the issue of provable, practically demonstrable quantum advantage a moving target. In this work, we unconditionally demonstrate that parallel quantum computation can exhibit greater computational power than previously recognized. We prove that polynomial-size biased threshold circuits of constant depth -- which model neural networks with tunable expressivity -- fail to solve certain problems solvable by small constant-depth quantum circuits with local gates, for values of the bias that allow quantifiably large computational power. Additionally, we identify a family of problems that are solvable in constant depth by a universal quantum computer over prime-dimensional qudits with bounded connectivity, but remain hard for polynomial-size biased threshold circuits. We thereby bridge the foundational theory of non-local games in higher dimensions with computational advantage on emerging devices operating on a wide range of physical platforms. Finally, we show that these quantum advantages are robust to noise across all prime qudit dimensions with all-to-all connectivity, enhancing their practical appeal.

quant-ph

Bridging Resource Theory and Quantum Key Distribution: Geometric Analysis and Statistical Testing

Discerning between quantum and classical correlations is of great importance. Bell polytopes are well established as a fundamental tool. In this paper, we extend this line of inquiry by applying resource theory within the context of Network scenarios, to a Quantum Key Distribution (QKD) protocol. To achieve this, we consider the causal structure $P3$ that can describe the protocol, and we aim to develop useful statistical tests to assess it. More concretely, our objectives are twofold: firstly, to utilise the underlying causal structure of the QKD protocol to obtain a geometrical analysis of the resulting non-convex polytope, with a focus on the classical behaviours. Second, we devise a test within this framework to evaluate the distance between any two behaviours within the generated polytope. This approach offers a unique perspective, linking deviations from expected behaviour directly to the quality of the quantum resource or the residual nonclassicality in protocol execution.

quant-ph

Sub-cycle modulation of light's Orbital Angular Momentum

The exploration of light has traditionally focused on its spatial properties, particularly its orbital angular momentum (OAM), while its temporal dynamics have remained an underexplored frontier due to the slow response times of existing modulation techniques. In this context, we introduce a method to modulate the OAM of light on a femtosecond scale by engineering a controllable space-time coupling in ultrashort pulses. By intricately linking azimuthal position with time, we implement a static, azimuthally varying wavefront transformation to dynamically alter the spatial distribution of light in a fixed transverse plane. Our experiments demonstrate self-torqued wave packets that exhibit spiraling motions and rapid temporal OAM changes down to a few femtoseconds. We further extend this concept to generate wave packets that angularly self-accelerate. We reveal that these wave packets dynamically adjust their OAM by redistributing their energy density across their spectral bandwidth, all without the influence of external forces. Owing to the unique properties of self-torque and angular acceleration, these time-varying OAM beams offer an accessible avenue for exploring light at fundamental time scales, with far-reaching implications for ultrafast spectroscopy, nano- and micro-structure manipulation, condensed matter physics, and other related areas.

physics.optics

Heuristic-free Verification-inspired Quantum Benchmarking

In this paper, we introduce a new approach to quantum benchmarking inspired by quantum verification motivating new paradigms of quantum benchmarking. Our proposed benchmark not only serves as a robust indicator of computational capability but also offers scalability, customizability, and universality. By providing formal statements regarding the quality of quantum devices while assuming device consistency, we eliminate the reliance on heuristics. We establish a deep connection between quantum verification and quantum benchmarking. For practical application, we present a concrete benchmarking protocol derived from a quantum verification protocol, and prove it to match our redefined standards for quantum benchmarking.

quant-ph

Quantum advantage in temporally flat measurement-based quantum computation

Several classes of quantum circuits have been shown to provide a quantum computational advantage under certain assumptions. The study of ever more restricted classes of quantum circuits capable of quantum advantage is motivated by possible simplifications in experimental demonstrations. In this paper we study the efficiency of measurement-based quantum computation with a completely flat temporal ordering of measurements. We propose new constructions for the deterministic computation of arbitrary Boolean functions, drawing on correlations present in multi-qubit Greenberger, Horne, and Zeilinger (GHZ) states. We characterize the necessary measurement complexity using the Clifford hierarchy, and also generally decrease the number of qubits needed with respect to previous constructions. In particular, we identify a family of Boolean functions for which deterministic evaluation using non-adaptive MBQC is possible, featuring quantum advantage in width and number of gates with respect to classical circuits.

quant-ph

Radially and azimuthally pure vortex beams from phase-amplitude metasurfaces

To exploit the full potential of the transverse spatial structure of light using the Laguerre-Gaussian basis, it is necessary to control the azimuthal and radial components of the photons. Vortex phase elements are commonly used to generate these modes of light, offering precise control over the azimuthal index but neglect the radially dependent amplitude term which defines their associated corresponding transverse profile. Here we experimentally demonstrate the generation of high purity Laguerre-Gaussian beams with a single step on-axis transformation implemented with a dielectric phase-amplitude metasurface. By vectorially structuring the input beam and projecting it onto an orthogonal polarisation basis, we can sculpt any vortex beam in phase and amplitude. We characterize the azimuthal and radial purity of the generated vortex beams, reaching a purity of 98% for a vortex beam with $\ell=50$ and $p=0$. Furthermore, we comparatively show that the purity of the generated vortex beams outperform those generated with other well-established phase-only metasurface approaches. In addition, we highlight the formation of 'ghost' orbital angular momentum orders from azimuthal gratings (analogous to ghost orders in ruled gratings), which have not been widely studied to date. Our work brings higher-order vortex beams and their unlimited potential within reach of wide adoption.

physics.optics

Optical vortex crystals with dynamic topologies

Vortex crystals are geometric arrays of vortices found in various physics fields, owing their regular internal structure to mutual interactions within a spatially confined system. In optics, vortex crystals may form spontaneously within a nonlinear resonator but their usefulness is limited by the lack of control over their topology. On the other hand, programmable devices used in free space, like spatial light modulators, allow the design of nearly arbitrary vortex distributions but without any intrinsic dynamics. By combining non-Hermitian optics with on-demand topological transformations enabled by metasurfaces, we report a solid-state laser that generates vortex crystals with mutual interactions and actively-tunable topologies. We demonstrate 10x10 coherent vortex arrays with nonlocal coupling networks that are not limited to nearest-neighbor coupling but rather dictated by the crystal's topology. The vortex crystals exhibit sharp Bragg diffraction peaks, witnessing their coherence and high topological charge purity, which we resolve spatially over the whole lattice by introducing a parallelized analysis technique. By structuring light at the source, we enable complex transformations that allow to arbitrarily partition the orbital angular momentum inside the cavity and to heal topological charge defects, making these resonators a robust and versatile tool for advanced applications in topological optics.

physics.optics

Quantum Bayesian decision-making*

As a compact representation of joint probability distributions over a dependence graph of random variables, and a tool for modelling and reasoning in the presence of uncertainty, Bayesian networks are of great importance for artificial intelligence to combine domain knowledge, capture causal relationships, or learn from incomplete datasets. Known as a NP-hard problem in a classical setting, Bayesian inference pops up as a class of algorithms worth to explore in a quantum framework. This paper explores such a research direction and improves on previous proposals by a judicious use of the utility function in an entangled configuration. It proposes a completely quantum mechanical decision-making process with a proven computational advantage. A prototype implementation in Qiskit (a Python-based program development kit for the IBM Q machine) is discussed as a proof-of-concept.

quant-ph

Holographically-controlled random numbers from entangled twisted photons

We present a quantum random number generator (QRNG) based on the random outcomes inherent in projective measurements on a superposition of quantum states of light. Firstly, we use multiplexed holograms encoded on a spatial light modulator to spatially map down-converted photons onto a superposition of optical paths. This gives us full digital control of the mapping process which we can tailor to achieve any desired probability distribution. More importantly, we use this method to account for any bias present within our transmission and detection system, forgoing the need for time-consuming and inefficient unbiasing algorithms. Our QRNG achieved a min-entropy of $\text{H}_{\text{min}}=0.9991\pm0.0003$ bits per photon and passed the NIST statistical test suite. Furthermore, we extend our approach to realise a QRNG based on photons entangled in their orbital angular momentum (OAM) degree of freedom. This combination of digital holograms and projective measurements on arbitrary OAM combinations allowed us to generate random numbers with arbitrary distributions, in effect tailoring the system's entropy while maintaining the inherent quantum irreproducibility. Such techniques allow access to the higher-dimensional OAM Hilbert space, opening up an avenue for generating multiple random bits per photon.

quant-ph

Experimental quantum secret sharing with spin-orbit structured photons

Secret sharing allows three or more parties to share secret information which can only be decrypted through collaboration. It complements quantum key distribution as a valuable resource for securely distributing information. Here we take advantage of hybrid spin and orbital angular momentum states to access a high dimensional encoding space, demonstrating a protocol that is easily scalable in both dimension and participants. To illustrate the versatility of our approach, we first demonstrate the protocol in two dimensions, extending the number of participants to ten, and then demonstrate the protocol in three dimensions with three participants, the highest realisation of participants and dimensions thus far. We reconstruct secrets depicted as images with a fidelity of up to 0.979. Moreover, our scheme exploits the use of conventional linear optics to emulate the quantum gates needed for transitions between basis modes on a high dimensional Hilbert space with the potential of up to 1.225 bits of encoding capacity per transmitted photon. Our work offers a practical approach for sharing information across multiple parties, a crucial element of any quantum network.

quant-ph