arXiv subjects

Cen Zhang

Publications and source records attributed to Cen Zhang.

At least 37 records · Page 2Linked to original sources

arXiv2022

Moments for positivity: using Drell-Yan data to test positivity bounds and reverse-engineer new physics

Moments of the leptonic angular distribution in the Drell-Yan process have recently been shown to be sensitive probes of a specific class of dimension-8, four-fermion operators in the Standard Model Effective Field Theory, involving a pair of quarks and leptons. The same operators are also subject to positivity bounds, when requiring the associated (unknown) UV completion to obey basic principles of quantum field theory. We perform a phenomenological study to quantify the sensitivity of the high-luminosity LHC to this set of operators and, by extension, the positivity bounds. We further extend the angular basis of moments and consider double differential information to improve the ability to disentangle the different operators, leading to a sensitivity to new physics scales up to 3 TeV. We use this information to explore the violation of positivity at the LHC as a way to test the underlying principles of quantum field theory. Finally, we present a case study which combines our results with information from other (current and prospective) experiments, as well as the positivity cone to infer the properties of possible tree-level UV completions. The data lead to robust, model-independent lower bounds on the $M/\sqrt{g}$ combination of the particle mass and coupling, for states that couple to right-handed leptons and/or up quarks.

hep-ph↗

arXiv2022

Probing top-quark couplings indirectly at Higgs factories

We perform a global effective-field-theory analysis to assess the combined precision on Higgs couplings, triple gauge-boson couplings, and top-quark couplings, at future circular $e^+e^-$ colliders, with a focus on runs below the $t\bar t$ production threshold. Deviations in the top-quark sector entering as one-loop corrections are consistently taken into account in Higgs and diboson processes. We find that future lepton colliders running at center-of-mass energies below the $t\bar t$ production threshold can still provide useful information on top-quark couplings, by measuring virtual top-quark effects. With rate and differential measurements, the indirect individual sensitivity achievable is better than at the high-luminosity LHC. However, strong correlations between the extracted top-quark and Higgs couplings are also present and lead to much weaker global constraints on top-quark couplings. This implies that a direct probe of top-quark couplings above the $t\bar t$ production threshold is helpful also for the determination of Higgs and triple-gauge-boson couplings. In addition, we find that below the $e^+e^-\to t\bar th$ production threshold, the top-quark Yukawa coupling can be determined by its loop corrections to all Higgs production and decay channels. Degeneracy with the $ggh$ coupling can be resolved, and even a global limit is competitive with the prospects of a linear collider above the threshold. This provides an additional means of determining the top-quark Yukawa coupling indirectly at lepton colliders.

hep-ph↗

arXiv2022

Unambiguously Testing Positivity at Lepton Colliders

The diphoton channel at lepton colliders, $e^+e^- (μ^+μ^-) \to γγ$, has a remarkable feature that the leading new physics contribution comes only from dimension-eight operators. This contribution is subject to a set of positivity bounds, derived from the fundamental principles of Quantum Field Theory, such as unitarity, locality, analyticity and Lorentz invariance. These positivity bounds are thus applicable to the most direct observable -- the diphoton cross section. This unique feature provides a clear, robust, and unambiguous test of these principles. We estimate the capability of various future lepton colliders in probing the dimension-eight operators and testing the positivity bounds in this channel. We show that positivity bounds can lift certain flat directions among the effective operators and significantly change the perspectives of a global analysis. We also discuss the positivity bounds of the $Zγ/ZZ$ processes which are related to the $γγ$ ones, but are more complicated due to the massive $Z$ boson.

hep-ph↗

arXiv2022

Probing Top-quark Operators with Precision Electroweak Measurements

In the Standard Model Effective Field Theory (SMEFT), operators involving the top quark are generally difficult to probe, and can generate sizable loop contributions to the electroweak precision observables, measured by past and future lepton colliders. Could the high precision of the electroweak measurements compensate the loop suppression and provide competitive reaches on these operators? Would the inclusion of these contributions introduce too many additional parameters for a meaningful global electroweak analysis to be done? In this paper, we perform a detailed phenomenological study to address these two important questions. Focusing on eight dimension-6 operators that generate anomalous couplings between the electroweak gauge bosons and the third-generation quarks, we calculate their one loop contributions to the $e^+e^- \to f\bar{f}$ processes both on and off the Z-pole and the $e^-e^+ \to WW$ process. A global analysis is performed with these eight operators and the ones that contribute to the above processes at tree level, using the measurements at LEP, SLC and several low energy experiments. We find that, while the current electroweak precision measurements are sensitive to the one-loop effects of the top-quark operators, it is difficult to separate them from the operators that contribute at the tree level, making a global analysis rather challenging. Under more assumptions, competitive reaches could be obtained in a global fit. Another important finding of our study is that the two operators that generate dipole interactions of the bottom quark have significant impacts in the Z-pole measurements and should not be omitted. We also discuss the implication of the recently reported W-boson mass measurement at CDF to our results. Finally, we estimate the reaches of future lepton colliders in probing the top-quark operators with precision electroweak measurements.

hep-ph↗

arXiv2021

SMEFTs living on the edge: determining the UV theories from positivity and extremality

We study the "inverse problem" in the context of the Standard Model Effective Field Theory (SMEFT): how and to what extend can one reconstruct the UV theory, given the measured values of the operator coefficients in the IR? The main obstacle of this problem is the degeneracies in the space of coefficients: a given SMEFT truncated at a finite dimension can be mapped to infinitely many UV theories. We discuss these degeneracies at the dimension-8 level, and show that positivity bounds play a crucial role in the inverse problem. In particular, the degeneracies either vanish or become significantly limited for SMEFTs that live on or close to the positivity bounds. The UV particles of these SMEFTs, and their properties such as spin, charge, other quantum numbers, and interactions with the SM particles, can often be uniquely determined, assuming dimension-8 coefficients are measured. The allowed region for SMEFTs, which forms a convex cone, can be systematically constructed by enumerating its generators. We show that a geometric notion, extremality, conveniently connects the positivity problem with the inverse problem. We discuss the implications of a SMEFT living on an extremal ray, on a $k$-face, and on the vertex of the positive cone. We also show that the information of the dimension-8 coefficients can be used to set exclusion limits on all individual UV states that interact with the SM, independent of specific model assumptions. Our results indicate that the dimension-8 operators encode much more information about the UV than one would naively expect, which can be used to reverse engineer the UV physics from the SMEFT.

hep-ph↗

arXiv2021

Combined SMEFT interpretation of Higgs, diboson, and top quark data from the LHC

We present a global interpretation of Higgs, diboson, and top quark production and decay measurements from the LHC in the framework of the Standard Model Effective Field Theory (SMEFT) at dimension six. We constrain simultaneously 36 independent directions in its parameter space, and compare the outcome of the global analysis with that from individual and two-parameter fits. Our results are obtained by means of state-of-the-art theoretical calculations for the SM and the EFT cross-sections, and account for both linear and quadratic corrections in the $1/Λ^2$ expansion. We demonstrate how the inclusion of NLO QCD and $\mathcal{O}\left( Λ^{-4}\right)$ effects is instrumental to accurately map the posterior distributions associated to the fitted Wilson coefficients. We assess the interplay and complementarity between the top quark, Higgs, and diboson measurements, deploy a variety of statistical estimators to quantify the impact of each dataset in the parameter space, and carry out fits in BSM-inspired scenarios such as the top-philic model. Our results represent a stepping stone in the ongoing program of model-independent searches at the LHC from precision measurements, and pave the way towards yet more global SMEFT interpretations extended to other high-$p_T$ processes as well as to low-energy observables.

hep-ph↗

arXiv2021

ECMO: Peripheral Transplantation to Rehost Embedded Linux Kernels

Dynamic analysis based on the full-system emulator QEMU is widely used for various purposes. However, it is challenging to run firmware images of embedded devices in QEMU, especially the process to boot the Linux kernel (we call this process rehosting the Linux kernel.) That's because embedded devices usually use different system-on-chips (SoCs) from multiple vendors and only a limited number of SoCs are currently supported in QEMU. In this work, we propose a technique called peripheral transplantation. The main idea is to transplant the device drivers of designated peripherals into the Linux kernel. By doing so, it can replace the peripherals in the kernel that are currently unsupported in QEMU with supported ones, thus making the Linux kernel rehostable. After that, various applications can be built upon. We implemented this technique inside a prototype system called ECMO and applied it to 815 firmware images, which consist of 20 kernel versions, 37 device models, and 24 vendors. The result shows that ECMO can successfully transplant peripherals for all the 815 Linux kernels. Among them,710 kernels can be successfully rehosted, i.e., launching a user-space shell (87.1% success rate). The failed cases are mainly because the root file system format (ramfs) is not supported by the kernel. We further build three applications, i.e., kernel crash analysis, rootkit forensic analysis, and kernel fuzzing, based on the rehosted kernels to demonstrate the usage scenarios of ECMO

cs.AR↗

arXiv2021

Positivity in Multi-Field EFTs

We discuss the general method for obtaining full positivity bounds on multi-field effective field theories (EFTs). While the leading order forward positivity bounds are commonly derived from the elastic scattering of two (superposed) external states, we show that for a generic EFT containing 3 or more low-energy modes, this approach only gives incomplete bounds. We then identify the allowed parameter space as the dual to a spectrahedron, constructed from crossing symmetries of the amplitude, and show that finding the optimal bounds for a given number of modes is equivalent to a geometric problem: finding the extremal rays of a spectrahedron. We show how this is done analytically for simple cases, and numerically formulated as semidefinite programming (SDP) problems for more complicated cases. We demonstrate this approach with a number of well-motivated examples in particle physics and cosmology, including EFTs of scalars, vectors, fermions and gravitons. In all these cases, we find that the SDP approach leads to results that either improve the previous ones or are completely new. We also find that the SDP approach is numerically much more efficient.

hep-ph↗

arXiv2021

Automated one-loop computations in the SMEFT

We present the automation of one-loop computations in the standard-model effective field theory at dimension six. Our general implementation, dubbed SMEFT@NLO, covers all types of operators: bosonic, two- and four-fermion ones. Included ultraviolet and rational counterterms presently allow for fully differential predictions, possibly matched to parton shower, up to the one-loop level in the strong coupling or in four-quark operator coefficients. Exact flavor symmetries are imposed among light quark generations and an initial focus is set on top-quark interactions in the fermionic sector. We illustrate the potential of this implementation with novel loop-induced and next-to-leading-order computations relevant for top-quark, electroweak, and Higgs-boson phenomenology at the LHC and future colliders.

hep-ph↗

arXiv2021

Positivity in electron-positron scattering: testing the axiomatic quantum field theory principles and probing the existence of UV states

We consider the positivity bounds on dimension-8 four-electron operators and study two related phenomenological aspects at future lepton colliders. First, if positivity is violated, probing such violations will revolutionize our understanding of the fundamental pillars of quantum field theory and the $S$-matrix theory. We observe that positivity violation at scales of 1--10 TeV can potentially be probed at future lepton colliders even if one assumes that dimension-6 operators are also present. Second, the positive nature of the dimension-8 parameter space often allows us to either directly infer the existence of UV-scale particles together with their quantum numbers or exclude them up to certain scales in a model-independent way. In particular, dimension-8 positivity plays an important role in the test of the Standard Model. If no deviations from the Standard Model are observed, it allows for simultaneous exclusion limits on all kinds of potential UV-complete models. Unlike the dimension-6 case, these limits apply regardless of the UV model setup and cannot be removed by possible cancellations among various UV contributions. This thus consists of a novel and universal test to confirm the Standard Model. We demonstrate with realistic examples how all the previously mentioned possibilities, including the test of positivity violation, can be achieved. Hence, we provide an important motivation for studying dimension-8 operators more comprehensively.

hep-ph↗

arXiv2020

Generalized elastic positivity bounds on interacting massive spin-2 theories

We use generalized elastic positivity bounds to constrain the parameter space of multi-field spin-2 effective field theories. These generalized bounds involve inelastic scattering amplitudes between particles with different masses, which contain kinematic singularities even in the $t=0$ limit. We apply these bounds to the pseudo-linear spin-2 theory, the cycle spin-2 theory and the line spin-2 theory respectively. For the pseudo-linear theory, we exclude the remaining operators that are unconstrained by the usual elastic positivity bounds, thus excluding all the leading (or highest cutoff) interacting operators in the theory. For the cycle and line theory, our approach also provides new bounds on the Wilson coefficients previously unconstrained, bounding the parameter space in both theories to be a finite region ({\it i.e.}, every Wilson coefficient being constrained from both sides). To help visualize these finite regions, we sample various cross sections of them and estimate the total volumes.

hep-th↗

arXiv2020

Generalized positivity bounds on chiral perturbation theory

Recently, a new set of positivity bounds with $t$ derivatives have been discovered. We explore the generic features of these generalized positivity bounds with loop amplitudes and apply these bounds to constrain the parameters in chiral perturbation theory up to the next-to-next-to-leading order. We show that the generalized positivity bounds give rise to stronger constraints on the $\bar l_i$ constants, compared to the existing axiomatic bounds. The parameter space of the $b_i$ constants is constrained by the generalized positivity bounds to be a convex region that is enclosed for many sections of the total space. We also show that the improved version of these positivity bounds can further enhance the constraints on the parameters. The often used Padé unitarization method however does not improve the analyticity of the amplitudes in the chiral perturbation theory at low energies.

hep-ph↗

arXiv2020

Convex Geometry Perspective to the (Standard Model) Effective Field Theory Space

We present a convex geometry perspective to the Effective Field Theory (EFT) parameter space. We show that the second $s$ derivatives of the forward EFT amplitudes form a convex cone, whose extremal rays are closely connected with states in the UV theory. For tree-level UV-completions, these rays are simply theories with all UV particles living in at most one irreducible representation of the symmetries of the theory. In addition, all the extremal rays are determined by the symmetries and can be systematically identified via group theoretical considerations. The implications are twofold. First, geometric information encoded in the EFT space can help reconstruct the UV-completion. In particular, we will show that the dim-8 operators are important in reverse-engineering the UV physics from the Standard Model EFT, and thus deserve more theoretical and experimental investigations. Second, theoretical bounds on the Wilson coefficients can be obtained by identifying the boundaries of the cone and are in general stronger than the current positivity bounds. We show explicit examples of these new bounds, and demonstrate that they originate from the scattering amplitudes corresponding to entangled states.

hep-ph↗

arXiv2020

Elastic positivity vs extremal positivity bounds in SMEFT: a case study in transversal electroweak gauge-boson scatterings

The positivity bounds, derived from the axiomatic principles of quantum field theory (QFT), constrain the signs of Wilson coefficients and their linear combinations in the Standard Model Effective Field Theory (SMEFT). The precise determination of these bounds, however, can become increasingly difficult as more and more SM modes and operators are taken into account. We study two approaches that aim at obtaining the full set of bounds for a given set of SM fields: 1) the traditional elastic positivity approach, which exploits the elastic scattering amplitudes of states with arbitrarily superposed helicities as well as other quantum numbers, and 2) the newly proposed extremal positivity approach, which constructs the allowed coefficient space directly by using the extremal representation of convex cones. Considering the electroweak gauge-bosons as an example, we demonstrate how the best analytical and numerical positivity bounds can be obtained in several ways. We further compare the constraining power and the efficiency of various approaches, as well as their applicability to more complex problems. While the new extremal approach is more constraining by construction, we also find that it is analytically easier to use, numerically much faster than the elastic approach, and much more applicable when more SM particle states and operators are taken into account. As a byproduct, we provide the best positivity bounds on the transversal quartic-gauge-boson couplings, required by the axiomatic principles of QFT, and show that they exclude $\approx 99.3\%$ of the parameter space currently being searched at the LHC.

hep-ph↗

arXiv2020

MUZZ: Thread-aware Grey-box Fuzzing for Effective Bug Hunting in Multithreaded Programs

Grey-box fuzz testing has revealed thousands of vulnerabilities in real-world software owing to its lightweight instrumentation, fast coverage feedback, and dynamic adjusting strategies. However, directly applying grey-box fuzzing to input-dependent multithreaded programs can be extremely inefficient. In practice, multithreading-relevant bugs are usually buried in sophisticated program flows. Meanwhile, the existing grey-box fuzzing techniques do not stress thread-interleavings which affect execution states in multithreaded programs. Therefore, mainstream grey-box fuzzers cannot effectively test problematic segments in multithreaded programs despite they might obtain high code coverage statistics. To this end, we propose MUZZ, a new grey-box fuzzing technique that hunts for bugs in multithreaded programs. MUZZ owns three novel thread-aware instrumentations, namely coverage-oriented instrumentation, thread-context instrumentation, and schedule-intervention instrumentation. During fuzzing, these instrumentations engender runtime feedback to stress execution states caused by thread interleavings. By leveraging the feedback in the dynamic seed selection and execution strategies, MUZZ preserves more valuable seeds that expose bugs in a multithreading context. We evaluate MUZZ on 12 real-world software programs. Experiments show that MUZZ outperforms AFL in both multithreading-relevant seed generation and concurrency-vulnerability detection. Further, by replaying the target programs against the generated seeds, MUZZ also reveals more concurrency-bugs (e.g., data-races, thread-leaks) than AFL. In total, MUZZ detected 8 new concurrency-vulnerabilities and 19 new concurrency-bugs. At the time of writing, 4 CVE IDs have been assigned to the reported issues.

cs.SE↗

arXiv2019

Positivity bounds on vector boson scattering at the LHC

Weak vector boson scattering (VBS) is a sensitive probe of new physics effects in the electroweak symmetry breaking. Currently, experimental results at the LHC are interpreted in the effective field theory approach, where possible deviations from the Standard Model in the quartic-gauge-boson couplings are often described by 18 dimension-8 operators. By assuming that a UV completion exists, we derive a new set of theoretical constraints on the coefficients of these operators, i.e. certain combinations of coefficients must be positive. These constraints imply that the current effective approach to VBS has a large redundancy: only about $2\%$ of the full parameter space leads to a UV completion. By excluding the remaining unphysical region of the parameter space, these constraints provide guidance for future VBS studies and measurements.

hep-ph↗

arXiv2019

Probing the top quark flavor-changing couplings at CEPC

We propose to study the flavor properties of the top quark at the future Circular Electron Positron Collider (CEPC) in China. We systematically consider the full set of 56 real parameters that characterize the flavor-changing neutral interactions of the top quark, which can be tested at CEPC in the single top production channel. Compared with the current bounds from the LEP2 data and the projected limits at the high-luminosity LHC, we find that CEPC could improve the limits of the four-fermion flavor-changing coefficients by one to two orders of magnitude, and would also provide similar sensitivity for the two-fermion flavor-changing coefficients. Overall, CEPC could explore a large fraction of currently allowed parameter space that will not be covered by the LHC upgrade. We show that the $c$-jet tagging capacity at CEPC could further improve its sensitivity to top-charm flavor-changing couplings. If a signal is observed, the kinematic distribution as well as the $c$-jet tagging could be exploited to pinpoint the various flavor-changing couplings, providing valuable information about the flavor properties of the top quark.

hep-ph↗

arXiv2019

Proposal for the validation of Monte Carlo implementations of the standard model effective field theory

We propose a procedure to cross-validate Monte Carlo implementations of the standard model effective field theory. It is based on the numerical comparison of squared amplitudes computed at specific phase-space and parameter points in pairs of implementations. Interactions are fully linearised in the effective field theory expansion. The squares of linear effective field theory amplitudes and their interference with standard-model contributions are compared separately. Such pairwise comparisons are primarily performed at tree level and a possible extension to the one-loop level is also briefly considered. We list the current standard model effective field theory implementations and the comparisons performed to date.

hep-ph↗