Talks

We study the effective field theory of inflation, i.e. the most general theory describing the fluctuations around a quasi de Sitter background, in the case of single field models. The scalar mode can be eaten by the metric by going to unitary gauge. In this gauge, the most general theory is built with the lowest dimension operators invariant under spatial diffeomorphisms, like g^{00} and K_{mu nu}, the extrinsic curvature of constant time surfaces. This approach allows us to characterize all the possible high energy corrections to simple slow-roll inflation, whose sizes are constrained by experiments. Also, it describes in a common language all single field models, including those with a small speed of sound and Ghost Inflation, and it makes explicit the implications of having a quasi de Sitter background. The non-linear realization of time diffeomorphisms forces correlation among different observables, like a reduced speed of sound and an enhanced level of non-Gaussianity.

I will review an old (Greenberg and Schweber, 1958) and undeservedly forgotten idea in quantum field theory. This idea allows one to reformulate QFT as a Hamiltonian theory of physical (rather than bare) particles and their direct interactions. The dressed particle approach is scattering-equivalent to the traditional one, however it doesn\'t require renormalization and may provide a valuable tool for calculations of wave functions of bound states and time evolution.

Constructing good quantum LDPC codes remains an important problem in quantum coding theory. We contribute to the ongoing discussion on this topic by proposing two approaches to constructing quantum LDPC codes. In the first, we rely on an algebraic method that uses a redundant description of the parity check matrix to overcome the problem of 4-cycles in the Tanner graph that degrade the performance of iterative decoding. In the second we use the fact that subsystem coding can simplify the decoding process. We show that if there exist classical LDPC codes with large error exponents, then we can construct degenerate subsystem LDPC codes with the stabilizer generators having low weight.

We investigate which families of quantum states can be used as resources for approximate and/or stochastic universal measurement-based quantum computation, in the sense that single-qubit operations and classical communication are sufficient to prepare (with some fixed precision and/or probability) any quantum state from the initial resource. We find entanglement-based criteria for non-universality in the approximate and/or stochastic case. By applying them, we are able to discard some families of states as not universal also in this weaker sense. Finally, we show that any family $Sigma$ of states that is \'close\' to an (approximate and/or stochastic) universal family $Gamma$ is approximate and stochastic universal, and we prove that if $Gamma$ was efficiently universal then also $Sigma$ is.

Explorations of the possibility that the quark masses, and more generally the particle mass spectra, could be dynamically generated in the context of massless QCD will be presented. The basic idea is that the large degeneracy of the free massless QCD could lead to a large quark condensate and its corresponding mass. Under the presence of this very massive quark, the other five ones could acquire smaller masses as argued by Fritzsch in his Democratic Symmetry Breaking scheme. Further, the lepton and neutrinos could get their masses through their interaction with quarks mediated by radiative corrections. In this case the stronger electromagnetic corrections could imply the larger lepton masses with respect to the neutrino ones, since these are only weakly interacting with the quarks.

Quantum computers provide new resources to solve combinatorial optimization problems (COPs). Using techniques borrowed from quantum information theory, I will present a quantum algorithm that simulates classical annealing processes, where the (quantum) annealing rate greatly outperforms other classical methods like Markov chain Monte-Carlo based algorithms. Our quantum algorithm provides quadratic speedups to find both, the solution to particular instances of COPs, and the preparation of (quantum) Gibbs\' states.

I will present a new protocol that was developed entirely in the measurement-based model for quantum computation. Our protocol allows Alice to have Bob carry out a quantum computation for her such that Alice\'s inputs, outputs and computation remain perfectly private, and where Alice does not require any quantum computational power or memory. Alice only needs to be able to prepare single qubits from a finite set and send them to Bob, who has the balance of the required quantum computational resources. Our protocol is interactive: after the initial preparation of quantum states, Alice and Bob use two-way classical communication which enables Alice to drive the computation, giving single-qubit measurement instructions to Bob, depending on previous measurement outcomes. Our protocol is efficient and is presented for the special case of a classical-input, and classical-output; modifications allow the general case of quantum inputs and outputs. We also discuss the use of authentication in order for Alice to detect an uncooperative Bob. Based on joint work with Joseph Fitzsimons and Elham Kashefi

We consider the question of forward and backward translation between measurement-based quantum computing, called patterns, and quantum circuit computation. It is known that the class of patterns with a particular properties, having flow, is in one-to-one correspondence with quantum circuits. However we show that a more general class of patterns, those having generalised flow, will sometime translate to imaginary circuits, quantum circuits with time-like curves. Extending this approach, we first present the semantics of quantum circuits with time-like curves in terms of post-selection quantum computing and then characterise the class of curves with unitary or completely-positive semantic. Finally we present the re-write rules for opening the loops to transform an imaginary circuit to a normal circuit and discuss the connection between time-like curves and depth complexity.