More Like this

1. Improved Merlin–Arthur Protocols for Central Problems in Fine-Grained Complexity

   https://doi.org/10.1007/s00453-023-01102-6  

   Akmal, Shyan; Chen, Lijie; Jin, Ce; Raj, Malvika; Williams, Ryan (August 2023, Algorithmica)

   Abstract In a Merlin–Arthur proof system, the proof verifier (Arthur) accepts valid proofs (from Merlin) with probability 1, and rejects invalid proofs with probability arbitrarily close to 1. The running time of such a system is defined to be the length of Merlin’s proof plus the running time of Arthur. We provide new Merlin–Arthur proof systems for some key problems in fine-grained complexity. In several cases our proof systems have optimal running time. Our main results include:Certifying that a list ofnintegers has no 3-SUM solution can be done in Merlin–Arthur time$$\tilde{O}(n)$$ $\tilde{O}\left(n\right)$. Previously, Carmosino et al. [ITCS 2016] showed that the problem has a nondeterministic algorithm running in$$\tilde{O}(n^{1.5})$$ $\tilde{O}\left(n^{1.5}\right)$time (that is, there is a proof system with proofs of length$$\tilde{O}(n^{1.5})$$ $\tilde{O}\left(n^{1.5}\right)$and a deterministic verifier running in$$\tilde{O}(n^{1.5})$$ $\tilde{O}\left(n^{1.5}\right)$time).Counting the number ofk-cliques with total edge weight equal to zero in ann-node graph can be done in Merlin–Arthur time$${\tilde{O}}(n^{\lceil k/2\rceil })$$ $\tilde{O}\left(n^{\lceil k/2\rceil }\right)$(where$$k\ge 3$$ $k\ge 3$). For oddk, this bound can be further improved for sparse graphs: for example, counting the number of zero-weight triangles in anm-edge graph can be done in Merlin–Arthur time$${\tilde{O}}(m)$$ $\tilde{O}\left(m\right)$. Previous Merlin–Arthur protocols by Williams [CCC’16] and Björklund and Kaski [PODC’16] could only countk-cliques in unweighted graphs, and had worse running times for smallk.Computing the All-Pairs Shortest Distances matrix for ann-node graph can be done in Merlin–Arthur time$$\tilde{O}(n^2)$$ $\tilde{O}\left(n^2\right)$. Note this is optimal, as the matrix can have$$\Omega (n^2)$$ $\Omega \left(n^2\right)$nonzero entries in general. Previously, Carmosino et al. [ITCS 2016] showed that this problem has an$$\tilde{O}(n^{2.94})$$ $\tilde{O}\left(n^{2.94}\right)$nondeterministic time algorithm.Certifying that ann-variablek-CNF is unsatisfiable can be done in Merlin–Arthur time$$2^{n/2 - n/O(k)}$$ $2^{n/2-n/O\left(k\right)}$. We also observe an algebrization barrier for the previous$$2^{n/2}\cdot \textrm{poly}(n)$$ $2^{n/2}·\text{poly}\left(n\right)$-time Merlin–Arthur protocol of R. Williams [CCC’16] for$$\#$$ $\#$SAT: in particular, his protocol algebrizes, and we observe there is no algebrizing protocol fork-UNSAT running in$$2^{n/2}/n^{\omega (1)}$$ $2^{n/2}/n^{\omega \left(1\right)}$time. Therefore we have to exploit non-algebrizing properties to obtain our new protocol.Certifying a Quantified Boolean Formula is true can be done in Merlin–Arthur time$$2^{4n/5}\cdot \textrm{poly}(n)$$ $2^{4n/5}·\text{poly}\left(n\right)$. Previously, the only nontrivial result known along these lines was an Arthur–Merlin–Arthur protocol (where Merlin’s proof depends on some of Arthur’s coins) running in$$2^{2n/3}\cdot \textrm{poly}(n)$$ $2^{2n/3}·\text{poly}\left(n\right)$time.Due to the centrality of these problems in fine-grained complexity, our results have consequences for many other problems of interest. For example, our work implies that certifying there is no Subset Sum solution tonintegers can be done in Merlin–Arthur time$$2^{n/3}\cdot \textrm{poly}(n)$$ $2^{n/3}·\text{poly}\left(n\right)$, improving on the previous best protocol by Nederlof [IPL 2017] which took$$2^{0.49991n}\cdot \textrm{poly}(n)$$ $2^{0.49991n}·\text{poly}\left(n\right)$time. 

   more » « less
2. The half-volume spectrum of a manifold

   https://doi.org/10.1007/s00526-025-02949-z  

   Mazurowski, Liam; Zhou, Xin (June 2025, Calculus of Variations and Partial Differential Equations)

   Abstract We define the half-volume spectrum$$\{{\tilde{\omega }_p\}_{p\in \mathbb {N}}}$$ $\{{\tilde{\omega }}_p{\}}_{p\in N}$of a closed manifold$$(M^{n+1},g)$$ $(M^{n+1},g)$. This is analogous to the usual volume spectrum ofM, except that we restrict top-sweepouts whose slices each enclose half the volume ofM. We prove that the Weyl law continues to hold for the half-volume spectrum. We define an analogous half-volume spectrum$$\tilde{c}(p)$$ $\tilde{c}\left(p\right)$in the phase transition setting. Moreover, for$$3 \le n+1 \le 7$$ $3\le n+1\le 7$, we use the Allen–Cahn min-max theory to show that each$$\tilde{c}(p)$$ $\tilde{c}\left(p\right)$is achieved by a constant mean curvature surface enclosing half the volume ofMplus a (possibly empty) collection of minimal surfaces with even multiplicities. 

   more » « less
3. Search for supersymmetry in final states with missing transverse momentum and three or more b-jets in 139 fb$$^{-1}$$ of proton–proton collisions at $$\sqrt{s} = 13$$ TeV with the ATLAS detector

   https://doi.org/10.1140/epjc/s10052-023-11543-6  

   Aad, G.; Abbott, B.; Abbott, D. C.; Abeling, K.; Abidi, S. H.; Aboulhorma, A.; Abramowicz, H.; Abreu, H.; Abulaiti, Y.; Abusleme Hoffman, A. C.; et al (July 2023, The European Physical Journal C)

   Abstract A search for supersymmetry involving the pair production of gluinos decaying via off-shell third-generation squarks into the lightest neutralino$$(\tilde{\chi }^0_1)$$ $\left({\tilde{\chi }}_1^0\right)$is reported. It exploits LHC proton–proton collision data at a centre-of-mass energy$$\sqrt{s} = 13$$ $\sqrt{s}=13$TeV with an integrated luminosity of 139 fb$$^{-1}$$ ${}^{-1}$collected with the ATLAS detector from 2015 to 2018. The search uses events containing large missing transverse momentum, up to one electron or muon, and several energetic jets, at least three of which must be identified as containingb-hadrons. Both a simple kinematic event selection and an event selection based upon a deep neural-network are used. No significant excess above the predicted background is found. In simplified models involving the pair production of gluinos that decay via off-shell top (bottom) squarks, gluino masses less than 2.44 TeV (2.35 TeV) are excluded at 95% CL for a massless$$\tilde{\chi }^0_1.$$ ${\tilde{\chi }}_1^0.$Limits are also set on the gluino mass in models with variable branching ratios for gluino decays to$$b\bar{b}\tilde{\chi }^0_1,$$ $b\overline{b}{\tilde{\chi }}_1^0,$$$t\bar{t}\tilde{\chi }^0_1$$ $t\overline{t}{\tilde{\chi }}_1^0$and$$t\bar{b}\tilde{\chi }^-_1/\bar{t}b\tilde{\chi }^+_1.$$ $t\overline{b}{\tilde{\chi }}_1^{-}/\overline{t}b{\tilde{\chi }}_1^{+}.$ 

   more » « less
4. Observation of four-top-quark production in the multilepton final state with the ATLAS detector

   https://doi.org/10.1140/epjc/s10052-023-11573-0  

   Aad, G.; Abbott, B.; Abeling, K.; Abicht, N. J.; Abidi, S. H.; Aboulhorma, A.; Abramowicz, H.; Abreu, H.; Abulaiti, Y.; Hoffman, A. C.; et al (June 2023, The European Physical Journal C)

   Abstract This paper presents the observation of four-top-quark ($$t\bar{t}t\bar{t}$$ $t\overline{t}t\overline{t}$) production in proton-proton collisions at the LHC. The analysis is performed using an integrated luminosity of 140 $$\hbox {fb}^{-1}$$ ${\text{fb}}^{-1}$at a centre-of-mass energy of 13 TeV collected using the ATLAS detector. Events containing two leptons with the same electric charge or at least three leptons (electrons or muons) are selected. Event kinematics are used to separate signal from background through a multivariate discriminant, and dedicated control regions are used to constrain the dominant backgrounds. The observed (expected) significance of the measured$$t\bar{t}t\bar{t}$$ $t\overline{t}t\overline{t}$signal with respect to the standard model (SM) background-only hypothesis is 6.1 (4.3) standard deviations. The$$t\bar{t}t\bar{t}$$ $t\overline{t}t\overline{t}$production cross section is measured to be$$22.5^{+6.6}_{-5.5}$$ $22.5_{-5.5}^{+6.6}$ fb, consistent with the SM prediction of$$12.0 \pm 2.4$$ $12.0\pm 2.4$fb within 1.8 standard deviations. Data are also used to set limits on the three-top-quark production cross section, being an irreducible background not measured previously, and to constrain the top-Higgs Yukawa coupling and effective field theory operator coefficients that affect$$t\bar{t}t\bar{t}$$ $t\overline{t}t\overline{t}$production. 

   more » « less
5. JUNO sensitivity to invisible decay modes of neutrons

   https://doi.org/10.1140/epjc/s10052-024-13638-0  

   Abusleme, Angel; Adam, Thomas; Adamowicz, Kai; Ahmad, Shakeel; Ahmed, Rizwan; Aiello, Sebastiano; An, Fengpeng; An, Qi; Andronico, Giuseppe; Anfimov, Nikolay; et al (January 2025, The European Physical Journal C)

   Abstract We explore the decay of bound neutrons in the JUNO liquid scintillator detector into invisible particles (e.g.,$$n\rightarrow 3 \nu $$ $n\to 3\nu$or$$nn \rightarrow 2 \nu $$ $nn\to 2\nu$), which do not produce an observable signal. The invisible decay includes two decay modes:$$ n \rightarrow { inv} $$ $n\to \mathrm{inv}$and$$ nn \rightarrow { inv} $$ $nn\to \mathrm{inv}$. The invisible decays ofs-shell neutrons in$$^{12}\textrm{C}$$ $_{}^{12}\text{C}$will leave a highly excited residual nucleus. Subsequently, some de-excitation modes of the excited residual nuclei can produce a time- and space-correlated triple coincidence signal in the JUNO detector. Based on a full Monte Carlo simulation informed with the latest available data, we estimate all backgrounds, including inverse beta decay events of the reactor antineutrino$${\bar{\nu }}_e$$ ${\overline{\nu }}_e$, natural radioactivity, cosmogenic isotopes and neutral current interactions of atmospheric neutrinos. Pulse shape discrimination and multivariate analysis techniques are employed to further suppress backgrounds. With two years of exposure, JUNO is expected to give an order of magnitude improvement compared to the current best limits. After 10 years of data taking, the JUNO expected sensitivities at a 90% confidence level are$$\tau /B( n \rightarrow { inv} ) > 5.0 \times 10^{31} \, \textrm{years}$$ $\tau /B(n\to \mathrm{inv})>5.0\times {10}^{31}\text{years}$and$$\tau /B( nn \rightarrow { inv} ) > 1.4 \times 10^{32} \, \textrm{years}$$ $\tau /B(nn\to \mathrm{inv})>1.4\times {10}^{32}\text{years}$. 

   more » « less