Source author record

Terry Farrelly

Terry Farrelly 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

7works
13topics
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

7 published item(s)

preprint2022arXiv

Does causal dynamics imply local interactions?

We consider quantum systems with causal dynamics in discrete spacetimes, also known as quantum cellular automata (QCA). Due to time-discreteness this type of dynamics is not characterized by a Hamiltonian but by a one-time-step unitary. This can be written as the exponential of a Hamiltonian but in a highly non-unique way. We ask if any of the Hamiltonians generating a QCA unitary is local in some sense, and we obtain two very different answers. On one hand, we present an example of QCA for which all generating Hamiltonians are fully non-local, in the sense that interactions do not decay with the distance. We expect this result to have relevant consequences for the classification of topological phases in Floquet systems, given that this relies on the effective Hamiltonian. On the other hand, we show that all one-dimensional quasi-free fermionic QCAs have quasi-local generating Hamiltonians, with interactions decaying exponentially in the massive case and algebraically in the critical case. We also prove that some integrable systems do not have local, quasi-local nor low-weight constants of motion; a result that challenges the standard definition of integrability.

preprint2021arXiv

Local tensor-network codes

Tensor-network codes enable the construction of large stabilizer codes out of tensors describing smaller stabilizer codes. An application of tensor-network codes was an efficient and exact decoder for holographic codes. Here, we show how to write some topological codes, including the surface code and colour code, as simple tensor-network codes. We also show how to calculate distances of stabilizer codes by contracting a tensor network. The algorithm actually gives more information, including a histogram of all logical coset weights. We prove that this method is efficient in the case of holographic codes. Using our tensor-network distance calculator, we find a modification of the rotated surface code that has the same distance but fewer minimum-weight logical operators by injecting the non-CSS five-qubit code tensor into the tensor network. This corresponds to an improvement in successful error correction of up to 2% against depolarizing noise (in the perfect-measurement setting), but comes at the cost of introducing four higher-weight stabilizers. Our general construction lets us pick a network geometry (e.g., a Euclidean lattice in the case of the surface code), and, using only a small set of seed codes (constituent tensors), build extensive codes with the potential for optimisation.

preprint2020arXiv

A quantum cellular automaton for one-dimensional QED

We propose a discrete spacetime formulation of quantum electrodynamics in one-dimension (a.k.a the Schwinger model) in terms of quantum cellular automata, i.e. translationally invariant circuits of local quantum gates. These have exact gauge covariance and a maximum speed of information propagation. In this picture, the interacting quantum field theory is defined as a "convergent" sequence of quantum cellular automata, parameterized by the spacetime lattice spacing---encompassing the notions of continuum limit and renormalization, and at the same time providing a quantum simulation algorithm for the dynamics.

preprint2020arXiv

Discretizing quantum field theories for quantum simulation

To date, all proposed quantum algorithms for simulating quantum field theory (QFT) simulate (continuous-time) Hamiltonian lattice QFT as a stepping stone. Two overlooked issues are how large we can take the timestep in these simulations while getting the right physics and whether we can go beyond the standard recipe that relies on Hamiltonian lattice QFT. The first issue is crucial in practice for, e.g., trapped-ion experiments which actually have a lower bound on the possible ratio of timestep to lattice spacing. To this end, we show that a timestep equal to or going to zero faster than the spatial lattice spacing is necessary for quantum simulations of QFT, but far more importantly a timestep equal to the lattice spacing is actually sufficient. To do this, first for $ϕ^4$ theory, we give a quantum circuit exactly equivalent to the real-time path integral from the discrete-time Lagrangian formulation of lattice QFT. Next we give another circuit with no lattice QFT analogue, but, by using Feynman rules applied to the circuit, we see that it also reproduces the correct continuum behaviour. Finally, we look at non-abelian gauge fields, showing that the discrete-time lattice QFT path-integral is exactly equivalent to a finite-depth local circuit. All of these circuits have an analogue of a lightcone on the lattice and therefore are examples of quantum cellular automata. Aside from the potential practical benefit of these circuits, this all suggests that the path-integral approach to lattice QFT need not be overlooked in quantum simulations of physics and has a simple quantum information interpretation.

preprint2019arXiv

Efficient Learning for Deep Quantum Neural Networks

Neural networks enjoy widespread success in both research and industry and, with the imminent advent of quantum technology, it is now a crucial challenge to design quantum neural networks for fully quantum learning tasks. Here we propose the use of quantum neurons as a building block for quantum feed-forward neural networks capable of universal quantum computation. We describe the efficient training of these networks using the fidelity as a cost function and provide both classical and efficient quantum implementations. Our method allows for fast optimisation with reduced memory requirements: the number of qudits required scales with only the width, allowing the optimisation of deep networks. We benchmark our proposal for the quantum task of learning an unknown unitary and find remarkable generalisation behaviour and a striking robustness to noisy training data.

preprint2016arXiv

Comparing classical and quantum equilibration

By using a physically-relevant and theory independent definition of measurement-based equilibration, we show quantitatively that equilibration is easier for quantum systems than for classical systems, in the situation where the initial state of the system is completely known (pure state). This shows that quantum equilibration is a fundamental, nigh unavoidable, aspect of physical systems, while classical equilibration relies on experimental ignorance. When the state is not completely known, a mixed state, this framework also shows quantum equilibration requires weaker conditions.

preprint2016arXiv

Equilibration of Quantum Gases

Finding equilibration times is a major unsolved problem in physics with few analytical results. Here we look at equilibration times for quantum gases of bosons and fermions in the regime of negligibly weak interactions, a setting which not only includes paradigmatic systems such as gases confined to boxes, but also Luttinger liquids and the free superfluid Hubbard model. To do this, we focus on two classes of measurements: (i) coarse-grained observables, such as the number of particles in a region of space, and (ii) few-mode measurements, such as phase correlators and correlation functions. We show that, in this setting, equilibration occurs quite generally despite the fact that the particles are not interacting. Furthermore, for coarse-grained measurements the timescale is generally at most polynomial in the number of particles N, which is much faster than previous general upper bounds, which were exponential in N. For local measurements on lattice systems, the timescale is typically linear in the number of lattice sites. In fact, for one dimensional lattices, the scaling is generally linear in the length of the lattice, which is optimal. Additionally, we look at a few specific examples, one of which consists of N fermions initially confined on one side of a partition in a box. The partition is removed and the fermions equilibrate extremely quickly in time O(1/N).