Source author record

Daniel J. Brod

Daniel J. Brod appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

13works
3topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

13 published item(s)

preprint2020arXiv

Quantum and classical bounds for two-state overlaps

Suppose we have $N$ quantum systems in unknown states $\lvertψ_i \rangle $, but know the value of some pairwise overlaps $\left| \langle ψ_k \lvert ψ_l \rangle \right|^2$. What can we say about the values of the unknown overlaps? We provide a complete answer to this problem for three pure states and two given overlaps, and a way to obtain bounds for the general case. We discuss how the answer contrasts from that of a classical model featuring only coherence-free, diagonal states, and describe three applications: basis-independent coherence witnesses, dimension witnesses, and characterisation of multi-photon indistinguishability.

preprint2020arXiv

Quantum computation from fermionic anyons on a 1D lattice

Fermionic linear optics corresponds to the dynamics of free fermions, and is known to be efficiently simulable classically. We define fermionic anyon models by deforming the fermionic algebra of creation and annihilation operators, and consider the dynamics of number-preserving, quadratic Hamiltonians on these operators. We show that any such deformation results in an anyonic linear optical model which allows for universal quantum computation.

preprint2020arXiv

Regimes of classical simulability for noisy Gaussian boson sampling

As a promising candidate for exhibiting quantum computational supremacy, Gaussian Boson Sampling (GBS) is designed to exploit the ease of experimental preparation of Gaussian states. However, sufficiently large and inevitable experimental noise might render GBS classically simulable. In this work, we formalize this intuition by establishing a sufficient condition for approximate polynomial-time classical simulation of noisy GBS --- in the form of an inequality between the input squeezing parameter, the overall transmission rate and the quality of photon detectors. Our result serves as a non-classicality test that must be passed by any quantum computationalsupremacy demonstration based on GBS. We show that, for most linear-optical architectures, where photon loss increases exponentially with the circuit depth, noisy GBS loses its quantum advantage in the asymptotic limit. Our results thus delineate intermediate-sized regimes where GBS devices might considerably outperform classical computers for modest noise levels. Finally, we find that increasing the amount of input squeezing is helpful to evade our classical simulation algorithm, which suggests a potential route to mitigate photon loss.

preprint2019arXiv

Experimental quantification of genuine four-photon indistinguishability

Photon indistinguishability plays a fundamental role in information processing, with applications such as linear-optical quantum computation and metrology. It is then necessary to develop appropriate tools to quantify the amount of this resource in a multiparticle scenario. Here we report a four-photon experiment in a linear-optical interferometer designed to simultaneously estimate the degree of indistinguishability between three pairs of photons. The interferometer design dispenses with the need of heralding for parametric down-conversion sources, resulting in an efficient and reliable optical scheme. We then use a recently proposed theoretical framework to quantify genuine four-photon indistinguishability, as well as to obtain bounds on three unmeasured two-photon overlaps. Our findings are in high agreement with the theory, and represent a new resource-effective technique for the characterization of multiphoton interference.

preprint2016arXiv

A passive CPHASE gate via cross-Kerr nonlinearities

A fundamental and open question is whether cross-Kerr nonlinearities can be used to construct a controlled-phase (CPHASE) gate. Here we propose a gate constructed from a discrete set of atom-mediated cross-Kerr interaction sites with counter-propagating photons. We show that the average gate fidelity $F$ between a CPHASE and our proposed gate increases as the number of interaction sites increases and the spectral width of the photon decreases, e.g. with 12 sites we find $F > 99\%$.

preprint2016arXiv

Efficient classical simulation of matchgate circuits with generalized inputs and measurements

Matchgates are a restricted set of two-qubit gates known to be classically simulable under particular conditions. Specifically, if a circuit consists only of nearest-neighbour matchgates, an efficient classical simulation is possible if either (i) the input is a computational basis state and the simulation requires computing probabilities of multi-qubit outcomes (including also adaptive measurements), or (ii) if the input is an arbitrary product state, but the output of the circuit consists of a single qubit. In this paper we extend these results to show that matchgates are classically simulable even in the most general combination of these settings, namely, if the inputs are arbitrary product states, if the measurements are over arbitrarily many output qubits, and if adaptive measurements are allowed. This remains true even for arbitrary single-qubit measurements, albeit only in a weaker notion of classical simulation. These results make for an interesting contrast with other restricted models of computation, such as Clifford circuits or (bosonic) linear optics, where the complexity of simulation varies greatly under similar modifications.

preprint2016arXiv

Two photons co- and counter-propagating through $N$ cross-Kerr sites

A cross-Kerr interaction produces a phase shift on two modes of light proportional to the number of photons in both modes, and is sometimes called cross-phase modulation. Cross-Kerr nonlinearities have many applications in classical and quantum nonlinear optics, including the possibility of a deterministic and all-optical controlled-phase gate. We calculate the one- and two-photon S-matrix for fields propagating in a medium where the cross-Kerr interaction is spatially distributed at discrete interaction sites comprised of atoms. For the interactions considered, we analyze the cases where the photons co-propagate and counter-propagate through the medium and give a physical interpretation to the differences between the two cases. Finally, we obtain the S-matrix in the limit of infinitely long chains, showing that it corresponds to a perfect controlled-phase operation.

preprint2015arXiv

BosonSampling with Lost Photons

BosonSampling is an intermediate model of quantum computation where linear-optical networks are used to solve sampling problems expected to be hard for classical computers. Since these devices are not expected to be universal for quantum computation, it remains an open question of whether any error-correction techniques can be applied to them, and thus it is important to investigate how robust the model is under natural experimental imperfections, such as losses and imperfect control of parameters. Here we investigate the complexity of BosonSampling under photon losses---more specifically, the case where an unknown subset of the photons are randomly lost at the sources. We show that, if $k$ out of $n$ photons are lost, then we cannot sample classically from a distribution that is $1/n^{Θ(k)}$-close (in total variation distance) to the ideal distribution, unless a $\text{BPP}^{\text{NP}}$ machine can estimate the permanents of Gaussian matrices in $n^{O(k)}$ time. In particular, if $k$ is constant, this implies that simulating lossy BosonSampling is hard for a classical computer, under exactly the same complexity assumption used for the original lossless case.

preprint2015arXiv

Experimental Scattershot Boson Sampling

Boson Sampling is a computational task strongly believed to be hard for classical computers, but efficiently solvable by orchestrated bosonic interference in a specialised quantum computer. Current experimental schemes, however, are still insufficient for a convincing demonstration of the advantage of quantum over classical computation. A new variation of this task, Scattershot Boson Sampling, leads to an exponential increase in speed of the quantum device, using a larger number of photon sources based on parametric downconversion. This is achieved by having multiple heralded single photons being sent, shot by shot, into different random input ports of the interferometer. Here we report the first Scattershot Boson Sampling experiments, where six different photon-pair sources are coupled to integrated photonic circuits. We employ recently proposed statistical tools to analyse our experimental data, providing strong evidence that our photonic quantum simulator works as expected. This approach represents an important leap toward a convincing experimental demonstration of the quantum computational supremacy.

preprint2014arXiv

The complexity of simulating constant-depth BosonSampling

BosonSampling is a restricted model of quantum computation proposed recently, where a non-adaptive linear-optical network is used to solve a sampling problem that seems to be hard for classical computers. Here we show that, even if the linear-optical network has a constant number (greater than four) of beam splitter layers, the exact version of the BosonSampling problem is still classically hard, unless the polynomial hierarchy collapses to its third level. This is based on similar result known for constant-depth quantum circuits and circuits of 2-local commuting gates (IQP).

preprint2014arXiv

The Computational Power of Non-interacting Particles

Shortened abstract: In this thesis, I study two restricted models of quantum computing related to free identical particles. Free fermions correspond to a set of two-qubit gates known as matchgates. Matchgates are classically simulable when acting on nearest neighbors on a path, but universal for quantum computing when acting on distant qubits or when SWAP gates are available. I generalize these results in two ways. First, I show that SWAP is only one in a large family of gates that uplift matchgates to quantum universality. In fact, I show that the set of all matchgates plus any nonmatchgate parity-preserving two-qubit gate is universal, and interpret this fact in terms of local invariants of two-qubit gates. Second, I investigate the power of matchgates in arbitrary connectivity graphs, showing they are universal on any connected graph other than a path or a cycle, and classically simulable on a cycle. I also prove the same dichotomy for the XY interaction. Free bosons give rise to a model known as BosonSampling. BosonSampling consists of (i) preparing a Fock state of n photons, (ii) interfering these photons in an m-mode linear interferometer, and (iii) measuring the output in the Fock basis. Sampling approximately from the resulting distribution should be classically hard, under reasonable complexity assumptions. Here I show that exact BosonSampling remains hard even if the linear-optical circuit has constant depth. I also report several experiments where three-photon interference was observed in integrated interferometers of various sizes, providing some of the first implementations of BosonSampling in this regime. The experiments also focus on the bosonic bunching behavior and on validation of BosonSampling devices. This thesis contains descriptions of the numerical analyses done on the experimental data, omitted from the corresponding publications.

preprint2012arXiv

Geometries for universal quantum computation with matchgates

Matchgates are a group of two-qubit gates associated with free fermions. They are classically simulatable if restricted to act between nearest neighbors on a one-dimensional chain, but become universal for quantum computation with longer-range interactions. We describe various alternative geometries with nearest-neighbor interactions that result in universal quantum computation with matchgates only, including subtle departures from the chain. Our results pave the way for new quantum computer architectures that rely solely on the simple interactions associated with matchgates.

preprint2011arXiv

Extending matchgates into universal quantum computation

Matchgates are a family of two-qubit gates associated with noninteracting fermions. They are classically simulatable if acting only on nearest neighbors, but become universal for quantum computation if we relax this restriction or use SWAP gates [Jozsa and Miyake, Proc. R. Soc. A 464, 3089 (2008)]. We generalize this result by proving that any nonmatchgate parity-preserving unitary is capable of extending the computational power of matchgates into universal quantum computation. We identify the single local invariant of parity-preserving unitaries responsible for this, and discuss related results in the context of fermionic systems.