57 citations · 117 across the 10 of their papers we have counts for
12 papers
Quantum Cryptography and Autoformalization in Lean
Maor Ben Shahar, Jonathan Morag, Dirk Englund +1
Quantum key distribution provides secure communication by relying on physics principles and mathematical reasoning. Security proofs across the field can contain gaps, often between…
A Machine-Verified Proof of a Quantum-Optimization Conjecture
Uri Kol, Maor Ben-Shahar, Kfir Sulimany +1
We report a machine-verified resolution of a problem open for over a decade in quantum optimization: the Farhi, Goldstone and Gutmann (FGG) conjecture that depth- Quantum Approx…
3D gravity and double copy theory
Maor Ben-Shahar, Francesco Bonechi, Maxim Zabzine
We introduce a novel reformulation of three-dimensional gravity in terms of divergenceless vector frames, inspired by the double copy for Chern-Simons theory. This formulation is o…
Kerr worldline-QFT action from Compton amplitude to infinite spin orders
Maor Ben-Shahar, Lucile Cangemi, Henrik Johansson
We develop a quadratic-in-Riemann worldline action for a Kerr black hole at infinite spin orders by matching to a proposed tree-level Kerr Compton amplitude, originally obtained fr…
Off-shell double copy theories in BV
Maor Ben-Shahar, Francesco Bonechi, Maxim Zabzine
We present a construction of the double copy for gauge theories that exhibit off-shell color-kinematics duality within the Batalin-Vilkovitsky (BV) formalism. As illustrative examp…
Off-shell color-kinematics duality from codifferentials
Maor Ben-Shahar, Francesco Bonechi, Maxim Zabzine
We examine the color-kinematics duality within the BV formalism, highlighting its emergence as a feature of specific gauge-fixed actions. Our goal is to establish a general framewo…
Scattering of spinning compact objects from a worldline EFT
Maor Ben-Shahar
We study the EFT of a spinning compact object and show that with appropriate gauge fixing, computations become amenable to worldline quantum field theory techniques. We use the res…
Superspace Expansion of The 11D Linearized Superfields in The Pure Spinor Formalism, and The Covariant Vertex Operator
Maor Ben-Shahar, Max Guillen
11D pure spinors have been shown to successfully describe 11D supergravity in a manifestly super-Poincaré covariant manner. The feasibility of its actual usage for scattering ampli…
Lagrangians Manifesting Color-Kinematics Duality in the NMHV Sector of Yang-Mills
Maor Ben-Shahar, Lucia Garozzo, Henrik Johansson
Scattering amplitudes in Yang-Mills theory are known to exhibit kinematic structures which hint to an underlying kinematic algebra that is dual to the gauge group color algebra. Th…
Off-Shell Color-Kinematics Duality for Chern-Simons
Maor Ben-Shahar, Henrik Johansson
Many gauge theories possess a hidden duality between color and kinematics in their on-shell scattering amplitudes. An open problem is to formulate an off-shell realization of the d…
10D Super-Yang-Mills Scattering Amplitudes From Its Pure Spinor Action
Maor Ben-Shahar, Max Guillen
Using the pure spinor master action for 10D super-Yang-Mills in the gauge , tree-level scattering amplitudes are calculated through the perturbiner method, and shown t…
One-loop Amplitudes for N=2 Homogeneous Supergravities
Maor Ben-Shahar, Marco Chiodaroli
We compute one-loop matter amplitudes in homogeneous Maxwell-Einstein supergravities with N=2 supersymmetry using the double-copy construction. We start from amplitudes of N=2 supe…