Talks

It is known that measurement-based quantum computations (MBQCs) which compute a non-linear Boolean function with sufficiently high probability of success are contextual, i.e., they cannot be described by a non-contextual hidden variable model. It is also known that contexuality has descriptions in terms of cohomology [1,2]. And so it seems in range to obtain a cohomological description of MBQC. And yet, the two connections mentioned above are not easily strung together. In a previous work [3], the cohomological description for MBQC was provided for the temporally flat case. Here we present the extension to the general temporally ordered case. [1] S. Abramsky, R. Barbosa, S. Mansfield, The Cohomology of Non-Locality and Contextuality, EPTCS 95, 2012, pp. 1-14 [2] C. Okay, S. Roberts, S.D. Bartlett, R. Raussendorf, Topological proofs of contextuality in quantum mechanics, Quant. Inf. Comp. 17, 1135-1166 (2017). [3] R. Raussendorf, Cohomological framework for contextual quantum computations, Quant. Inf. Comp. 19, 1141-1170 (2019) This is jount work with Polina Feldmann and Cihan Okay

Demonstrating quantum advantages in near term quantum devices is a notoriously difficult task. Ongoing efforts try to overcome different limitations of quantum devices without fault-tolerance, such as their limited system size or obstacles towards verification of the outcome of the computation. Proposals that exhibit more reliable quantum advantages for classically hard-to-simulate verifiable problems lack, at the same time, practical applicability. In this talk we will review different approaches to demonstrate quantum advantages inspired from many-body quantum physics. The first of them use entangled quantum resources such as cluster states, which are useful to demonstrate verifiable quantum advantages based on sampling problems (Theory proposal Phys. Rev. X 8, 021010, 2018 and recent experimental demonstration arXiv preprint arXiv:2307.14424). The second probe measurement of many-body quantities such as dynamical structure factors in quantum simulation setups (Proceedings of the National Academy of Sciences 117 (42), 26123-26134).

Nonlocal games are a foundational tool for understanding entanglement and constructing quantum protocols in settings with multiple spatially separated quantum devices. However, the spatial separation between devices can be difficult to enforce in practice. To this end, Kalai et al. (STOC '23) initiated the study of compiled nonlocal games. The KLVY compilation procedure transforms any k-prover nonlocal into a game with a classical verifier and a single cryptographically limited quantum prover. Kalai et al. showed that their compilation procedure is sound against classical provers and complete for entangled provers. Natarajan and Zhang (FOCS '23) showed that the compiled two-prover CHSH game is sound against quantum provers. I will discuss recent work, showing that the compiler is sound for any two-player XOR game. I will also discuss challenges and open questions in extending results from nonlocal games to the compiled setting.

Strongly coupled confining theories are well-motivated in many BSM frameworks. The early universe cosmological history of these theories provides possibilities for observable signals. These theories undergo confinement deconfinement phase transition in the early universe, which can result in gravitational wave signals, observable in upcoming experiments. Using AdS/CFT, these theories have been studied in the Randall-Sundrum framework, and various quantitative aspects of the phase transition have been calculated. In the models that have been considered, the rate of transition from the deconfined phase to the confined phase is very small and leads to a period of supercooling. This enhances the gravitational wave signal, but presents a tension between a low confinement scale and fitting to the standard picture of BBN. In this talk, I will briefly review the calculations leading to these conclusions, and argue that some of the issues are specific to the simplified models that have been studied. I will present two modifications that are expected on general grounds, motivated by including strong IR effects systematically. Such effects change the results significantly. In particular, new qualitative features appear which have been missed in previous investigations. I will briefly comment on the phenomenological implications and open questions. The talk will be based on 2309.10090 and 2401.09633.

---

Zoom link