Galvão Group
Quantum information science has the potential to revolutionize information processing, in the form of dramatically faster quantum algorithms and novel protocols for cryptography, metrology, and sensing. The Galvão Research Group explores the features of quantum theory that enable advantage in quantum information processing tasks, in particular, those present in photonic implementations of quantum computers. There is not a single way to harness these quantum effects, so studying different models of quantum computation enables us to pinpoint different ways to get quantum systems to work their magic.
Our group has 3 main research lines:
- Foundations of quantum computation
- Quantification of resources for quantum computational advantage: quantum contextuality, coherence, non-locality, adaptivity, etc.
- Optimizing different models of quantum computation, especially for the current regime of Noisy, Intermediate-scale Quantum (NISQ) devices: measurement-based quantum computation, variational quantum algorithms, Bayesian methods and machine learning for device characterization and metrology.
- Photonic quantum computation
- Requirements for scalable photonic quantum computation;
- Characterization of multiphoton indistinguishability;
- Computational uses for complex, reconfigurable multi-mode interferometers;
- Classical simulation algorithms.
- Quantum software engineering
- Semantic structures able to comply with different types of classical control (non-deterministic, probabilistic, continuous) and quantum data;
- Algorithmic calculi stemming from the semantics above for the systematic derivation of quantum programs in a compositional way;
- Dynamic logics for the quantum domain to support the formulation of contracts for quantum algorithms and their compositional verification;
- Compositional methods for coordination of distributed quantum computational systems — a main requirement for obtaining optimally responsive global quantum networks.
Projects
Publications
-
Convexity of noncontextual wirings and how they order the set of correlations
Physical Review A, 2024Efficient validation of Boson Sampling from binned photon-number distributions
QUANTUM, 2024Modular quantum-to-quantum Bernoulli factory in an integrated photonic processor
NATURE PHOTONICS, 2024Unbounded Sharing of Nonlocality Using Qubit Projective Measurements
Physical Review Letters, 2024Kirkwood-Dirac representations beyond quantum states and their relation to noncontextuality
Physical Review A, 2024Reducing measurement costs by recycling the Hessian in adaptive variational quantum algorithms
Quantum Science and Technology, 2024Unitary-Invariant Witnesses of Quantum Imaginarity
Physical Review Letters, 2024Lifting noncontextuality inequalities
PHYSICAL REVIEW A, 2024Alternative robust ways of witnessing nonclassicality in the simplest scenario
PHYSICAL REVIEW A, 2024Inequalities witnessing coherence, nonlocality, and contextuality
PHYSICAL REVIEW A, 2024Secure two-party computation via measurement-based quantum computing
Quantum Information Processing, 2024Polarization-encoded photonic quantum-to-quantum Bernoulli factory based on a quantum dot source
SCIENCE ADVANCES, 2024Combining contextuality and causality: a game semantics approach
PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES, 2024Measuring relational information between quantum states, and applications
NEW JOURNAL OF PHYSICS, 2024Non-stabilizerness and entanglement from cat-state injection
NEW JOURNAL OF PHYSICS, 2024On Quantum Natural Policy Gradients
IEEE Transactions on Quantum Engineering, 2024Quantum circuits for measuring weak values, Kirkwood–Dirac quasiprobability distributions, and state spectra
QUANTUM SCIENCE AND TECHNOLOGY, 2024Coherence and contextuality in a Mach-Zehnder interferometer
QUANTUM, 2024Digital quantum simulation of non-perturbative dynamics of open systems with orthogonal polynomials
QUANTUM, 2024Necessary and sufficient state condition for violation of a Bell inequality with multiple measurement settings
Physical Review A, 2024VQC-based reinforcement learning with data re-uploading: performance and trainability
Quantum Machine Intelligence, 2024Quantum advantage in temporally flat measurement-based quantum computation
QUANTUM, 2024 -
Pauli-based model of quantum computation with higher-dimensional systems
Phys. Rev. A 108, 032606 (2023), 2023Quantum circuit compilation and hybrid computation using Pauli-based computation
QUANTUM, 2023Non-separability classification of degrees of freedom of light assisted by machine learning
OPTICS COMMUNICATIONS, 2023Quantum circuits to measure scalar spin chirality
PHYSICAL REVIEW RESEARCH, 2023Simple proof that anomalous weak values require coherence
Rafael Wagner and Ernesto F. Galvão, Phys. Rev. A 108, L040202 (2023), 2023Experimental certification of contextuality, coherence, and dimension in a programmable universal photonic processor
SCIENCE ADVANCES, 2023Using a resource theoretic perspective to witness and engineer quantum generalized contextuality for prepare-and-measure scenarios
JOURNAL OF PHYSICS A-MATHEMATICAL AND THEORETICAL, 2023Machine learning classification of speckle patterns for roughness measurements
Physics Letters A, 128736 (2023)., 2023Boson bunching is not maximized by indistinguishable particles
NATURE PHOTONICS, 2023Non-linear Boson Sampling
NPJ QUANTUM INFORMATION, 2023Partial nonseparability of spin-orbit modes
JOURNAL OF OPTICS, 2023Sheaf representation of monoidal categories
ADVANCES IN MATHEMATICS, 2023Closing Bell: Boxing black box simulations in the resource theory of contextuality
RS Barbosa, M Karvonen, S Mansfield
Chapter in "Samson Abramsky on Logic and Structure in Computer Science and Beyond", A. Palmigiano, M. Sadrzadeh (eds), vol. 25 of Outstanding Contributions to Logic. Springer., 2023Policy gradients using variational quantum circuits
Quantum Machine Intelligence volume 5, Article number: 18 (2023), 2023 -
Quadratic Speedup for Spatial Search by Continuous-Time Quantum Walk
PHYSICAL REVIEW LETTERS, 2022Continuous-variable nonlocality and contextuality
COMMUNICATIONS IN MATHEMATICAL PHYSICS, 2022Spin-orbit maximally discordant mixed states
PHYSICAL REVIEW A, 2022 -
Emergence of Noncontextuality under Quantum Darwinism
PRX QUANTUM, 2021Quantum Tree-Based Planning
A. Sequeira, L. P. Santos and L. S. Barbosa, "Quantum Tree-Based Planning," in IEEE Access, vol. 9, pp. 125416-125427, 2021, doi: 10.1109/ACCESS.2021.3110652., 2021Scheme for Universal High-Dimensional Quantum Computation with Linear Optics
PHYSICAL REVIEW LETTERS, 2021The logic of contextuality
S Abramsky, RS Barbosa
29th EACSL Annual Conference on Computer Science Logic (CSL 2021), Leibniz International Proceedings in Informatics (LIPIcs) 183: 5:1–5:18, 2021Witnesses of coherence and dimension from multiphoton indistinguishability tests
PHYSICAL REVIEW RESEARCH, 2021Gaussian optical networks for one-dimensional anyons
PHYSICAL REVIEW A, 2021Learning models of quantum systems from experiments
NATURE PHYSICS, 2021 -
Quantum and classical bounds for two-state overlaps
PHYSICAL REVIEW A, 2020Experimental quantification of four-photon indistinguishability
NEW JOURNAL OF PHYSICS, 2020