Constraint-Packing and the Sum-Check Protocol over Binary Tower Fields

SNARKs based on the sum-check protocol often invoke the ``zero-check PIOP\u27\u27. This reduces the vanishing of many constraints to a single sum-check instance applied to an $n$-variate polynomial of the form $g(x) = \text{eq}(r,x) \cdot p(x)$, where $p$ is a product of multilinear polynomials, $r$ is a random vector, and $\text{eq}$ is the multilinear extension of the equality function. In recent SNARK designs, $p(x)$ is defined over a ``small\u27\u27 base field, while $r$ is drawn from a large extension field $\mathbb{F}$ for security. Recent papers (Bagad, Domb, and Thaler 2024; Gruen 2024) have optimized the sum-check protocol prover for this setting. However, these works still require the prover to ``pre-compute\u27\u27 all evaluations of $\text{eq}(r, x)$ as $x$ ranges over $\{0, 1\}^{n}$, and this computation involves about $n$ multiplications over the extension field $\mathbb{F}$. In this note, we describe a modification to the zero-check PIOP in the case of binary tower fields that reduces this pre-computation cost by a factor of close to $\log |\mathbb{F}|$, which is $128$ in important applications. We show that our modification is sound, and that it strictly generalizes a (possibly folklore) technique of constraint-packing over field extensions

Reinterpretation of LHC Results for New Physics: Status and recommendations after Run 2

We report on the status of efforts to improve the reinterpretation of searches and measurements at the LHC in terms of models for new physics, in the context of the LHC Reinterpretation Forum. We detail current experimental offerings in direct searches for new particles, measurements, technical implementations and Open Data, and provide a set of recommendations for further improving the presentation of LHC results in order to better enable reinterpretation in the future. We also provide a brief description of existing software reinterpretation frameworks and recent global analyses of new physics that make use of the current data

Identification of boosted, hadronically decaying W bosons and comparisons with ATLAS data taken at √s = 8 TeV

This paper reports a detailed study of techniques for identifying boosted, hadronically decaying W bosons using 20.3 fb −¹ of proton–proton collision data collected by the ATLAS detector at the LHC at a centre-of-mass energy √s = 8 TeV. A range of techniques for optimising the signal jet mass resolution are combined with various jet substructure variables. The results of these studies in Monte Carlo simulations show that a simple pairwise combination of groomed jet mass and one substructure variable can provide a 50 % efficiency for identifying W bosons with transverse momenta larger than 200 GeV while maintaining multijet background efficiencies of 2–4 % for jets with the same transverse momentum. These signal and background efficiencies are confirmed in data for a selection of tagging techniques

Measurement and interpretation of same-sign W boson pair production in association with two jets in pp collisions at s = 13 TeV with the ATLAS detector

This paper presents the measurement of fducial and diferential cross sections for both the inclusive and electroweak production of a same-sign W-boson pair in association with two jets (W±W±jj) using 139 fb−1 of proton-proton collision data recorded at a centre-of-mass energy of √s = 13 TeV by the ATLAS detector at the Large Hadron Collider. The analysis is performed by selecting two same-charge leptons, electron or muon, and at least two jets with large invariant mass and a large rapidity diference. The measured fducial cross sections for electroweak and inclusive W±W±jj production are 2.92 ± 0.22 (stat.) ± 0.19 (syst.)fb and 3.38±0.22 (stat.)±0.19 (syst.)fb, respectively, in agreement with Standard Model predictions. The measurements are used to constrain anomalous quartic gauge couplings by extracting 95% confdence level intervals on dimension-8 operators. A search for doubly charged Higgs bosons H±± that are produced in vector-boson fusion processes and decay into a same-sign W boson pair is performed. The largest deviation from the Standard Model occurs for an H±± mass near 450 GeV, with a global signifcance of 2.5 standard deviations

Studies of new Higgs boson interactions through nonresonant HH production in the b¯bγγ fnal state in pp collisions at √s = 13 TeV with the ATLAS detector

A search for nonresonant Higgs boson pair production in the b ¯bγγ fnal state is performed using 140 fb−1 of proton-proton collisions at a centre-of-mass energy of 13 TeV recorded by the ATLAS detector at the CERN Large Hadron Collider. This analysis supersedes and expands upon the previous nonresonant ATLAS results in this fnal state based on the same data sample. The analysis strategy is optimised to probe anomalous values not only of the Higgs (H) boson self-coupling modifer κλ but also of the quartic HHV V (V = W, Z) coupling modifer κ2V . No signifcant excess above the expected background from Standard Model processes is observed. An observed upper limit µHH < 4.0 is set at 95% confdence level on the Higgs boson pair production cross-section normalised to its Standard Model prediction. The 95% confdence intervals for the coupling modifers are −1.4 < κλ < 6.9 and −0.5 < κ2V < 2.7, assuming all other Higgs boson couplings except the one under study are fxed to the Standard Model predictions. The results are interpreted in the Standard Model efective feld theory and Higgs efective feld theory frameworks in terms of constraints on the couplings of anomalous Higgs boson (self-)interactions

Comparison of inclusive and photon-tagged jet suppression in 5.02 TeV Pb+Pb collisions with ATLAS

Parton energy loss in the quark–gluon plasma (QGP) is studied with a measurement of photon-tagged jet production in 1.7 nb−1 of Pb+Pb data and 260 pb−1 of pp data, both at sNN=5.02 TeV, with the ATLAS detector. The process pp →γ+jet+X and its analogue in Pb+Pb collisions is measured in events containing an isolated photon with transverse momentum (pT) above 50 GeV and reported as a function of jet pT. This selection results in a sample of jets with a steeply falling pT distribution that are mostly initiated by the showering of quarks. The pp and Pb+Pb measurements are used to report the nuclear modification factor, RAA, and the fractional energy loss, Sloss, for photon-tagged jets. In addition, the results are compared with the analogous ones for inclusive jets, which have a significantly smaller quark-initiated fraction. The RAA and Sloss values are found to be significantly different between those for photon-tagged jets and inclusive jets, demonstrating that energy loss in the QGP is sensitive to the colour-charge of the initiating parton. The results are also compared with a variety of theoretical models of colour-charge-dependent energy loss

Model-independent search for the presence of new physics in events including H → γγ with s \sqrt{s} = 13 TeV pp data recorded by the ATLAS detector at the LHC

Abstract A model-independent search for new physics leading to final states containing a Higgs boson, with a mass of 125.09 GeV, decaying to a pair of photons is performed with 139 fb−1 of s $$\sqrt{s}$$ = 13 TeV pp collision data recorded by the ATLAS detector at the Large Hadron Collider at CERN. This search examines 22 final states categorized by the objects that are produced in association with the Higgs boson. These objects include isolated electrons or muons, hadronically decaying τ-leptons, additional photons, missing transverse momentum, and hadronic jets, as well as jets that are tagged as containing a b-hadron. No significant excesses above Standard Model expectations are observed and limits on the production cross section at 95% confidence level are set. Detector efficiencies are reported for all 22 signal regions, which can be used to convert detector-level cross-section limits reported in this paper to particle-level cross-section constraints

Combination of searches for invisible decays of the Higgs boson using 139 fb−1 of proton-proton collision data at root s=13 TeV collected with the ATLAS experiment

Many extensions of the Standard Model predict the production of dark matter particles at the LHC. Sufficiently light dark matter particles may be produced in decays of the Higgs boson that would appear invisible to the detector. This Letter presents a statistical combination of searches for H→invisible decays where multiple production modes of the Standard Model Higgs boson are considered. These searches are performed with the ATLAS detector using 139 fb−1of proton–proton collisions at a centre–of–mass energy of √s=13TeV at the LHC. In combination with the results at √s=7TeV and 8TeV, an upper limit on the H→invisible branching ratio of 0.107 (0.077) at the 95% confidence level is observed (expected). These results are also interpreted in the context of models where the 125GeV Higgs boson acts as a portal to dark matter, and limits are set on the scattering cross-section of weakly interacting massive particles and nucleons

Searches for lepton-flavour-violating decays of the Higgs boson into eτ and μτ in \sqrt{s} = 13 TeV pp collisions with the ATLAS detector

Abstract This paper presents direct searches for lepton flavour violation in Higgs boson decays, H → eτ and H → μτ, performed using data collected with the ATLAS detector at the LHC. The searches are based on a data sample of proton-proton collisions at a centre-of-mass energy s $$\sqrt{s}$$ = 13 TeV, corresponding to an integrated luminosity of 138 fb−1. Leptonic (τ → ℓνℓντ) and hadronic (τ → hadrons ντ) decays of the τ-lepton are considered. Two background estimation techniques are employed: the MC-template method, based on data-corrected simulation samples, and the Symmetry method, based on exploiting the symmetry between electrons and muons in the Standard Model backgrounds. No significant excess of events is observed and the results are interpreted as upper limits on lepton-flavour-violating branching ratios of the Higgs boson. The observed (expected) upper limits set on the branching ratios at 95% confidence level, B $$\mathcal{B}$$ (H → eτ) < 0.20% (0.12%) and B $$\mathcal{B}$$ (H → μτ ) < 0.18% (0.09%), are obtained with the MC-template method from a simultaneous measurement of potential H → eτ and H → μτ signals. The best-fit branching ratio difference, B $$\mathcal{B}$$ (H → μτ) → B $$\mathcal{B}$$ (H → eτ), measured with the Symmetry method in the channel where the τ-lepton decays to leptons, is (0.25 ± 0.10)%, compatible with a value of zero within 2.5σ