Searcharxiv⌕ Search

arXiv subjects

Matthias König

Publications and source records attributed to Matthias König.

At least 19 recordsLinked to original sources

QED Corrections to $B^-\toτ^-\barν_τ$

Using a sequence of effective field theories (EFTs), we calculate the rate for the leptonic decay $B^-\toτ^-\barν_τ(γ)$ including real and virtual QED corrections, with a cut $E_{\rm cut}\llΛ_{\rm QCD}$ imposed on electromagnetic radiation in the $B$-meson rest frame. We establish a factorization theorem for the rate and evaluate it at $\mathcal{O}(α)$, resumming the leading logarithmic corrections to all orders in perturbation theory. The large mass $m_τ$ allows us to treat the tau lepton as a heavy fermion below $μ\sim m_B\sim m_τ$, leading to an EFT construction that is structurally different and noticeably simpler than that for the muon case. In particular, hadron-structure dependent QED corrections can be described in terms of QED-induced $B^-\toτ^-$ form factors, which should be calculable on the lattice. Our analysis includes the leading $Λ_{\rm QCD}/m_τ$ corrections as well as the leading corrections in $E_{\rm cut}/Λ_{\rm QCD}$. We show that contributions of the form $Λ_{\rm QCD}m_B/m_τ^2$, which are naively sizable, cancel among each other. Contrary to the muon channel, structure-dependent corrections involving $BB^\astγ$ transitions are numerically negligible for the tau case. The remaining logarithmic dependence on $E_\mathrm{cut}$ is mild. We estimate that the present uncertainty in the calculation of the structure-dependent QED corrections is about 0.5\% of the rate. As a byproduct, we present a state-of-the-art prediction for the lepton flavor universality ratio of the tau and muon channels.

hep-ph↗

The Simplest B Decay, Precisely

We derive the QCD$\times$QED factorization theorem governing the leptonic decay $B^-\toμ^-\barν_μ(γ)$ at all orders in $α_s$ and $α$. Electromagnetic corrections to this decay probe multiple scales, which we disentangle through a sequence of effective field theories (EFTs). The resulting state-of-the-art prediction for the photon-vetoed rate includes the complete structure-dependent component and is accurate at the percent level, establishing the theoretical framework required for future high-precision measurements of this channel, which will allow for a clean determination of $|V_{ub}|$ and powerful tests of new physics. Our work presents the first complete study of QED effects to an exclusive $B$-meson decay at next-to-leading power (NLP) in the heavy-quark expansion. Important milestones are (i) the construction of the complete NLP operator basis in soft-collinear effective theory (SCET); (ii) the proposal of a "SCET-friendly" reduction scheme for the Dirac structures of four-fermion operators in dimensional regularization, which avoids power-enhanced evanescent operators; (iii) the consistent refactorization of endpoint-divergent convolution integrals and the first complete resummation of "rapidity logarithms" arising at the boundary between the contributions involving soft and hard-collinear quarks; (iv) the systematic discussion of the EFT below the scale of QCD confinement and the non-perturbative matching of SCET onto this low-energy theory; (v) the decoupling of pseudoscalar mesons in the context of heavy-hadron chiral perturbation theory, so that they can be integrated out for processes in which they do not appear as external particles. We perform a phenomenological analysis of direct and indirect contributions to the decay rate and radiation-energy spectrum, highlighting the importance of the chiral anomaly.

hep-ph↗

Structure-Dependent QED Effects in Exclusive B Decays at Subleading Power

We derive a factorization theorem for the structure-dependent QED effects in the weak exclusive process $B^-\to\ell^-\barν_\ell$, i.e., effects probing the internal structure of the $B$ meson. The derivation requires a careful treatment of endpoint-divergent convolutions common to subleading-power factorization formulas. We find that the decay amplitude is sensitive to two- and three-particle light-cone distribution amplitudes of the $B$ meson as well as to a new hadronic parameter $F(μ,Λ)$, which generalizes the notion of the $B$-meson decay constant in the presence of QED effects. This is the first derivation of a subleading-power factorization theorem in which the soft functions are non-perturbative hadronic matrix elements.

hep-ph↗

Super-Leading Logarithms in Top-Quark Pair Production at Hadron Colliders

To date, the appearance and resummation of "super-leading" logarithms in hadron-hadron collisions has been studied only for massless parton states. We extend the formalism to include an arbitrary number of massive final states. We derive the corresponding anomalous dimension and identify an additional Coulomb phase that gives rise to a new source of super-leading logarithms. We then perform a systematic leading-logarithmic resummation of these contributions for $2\to M$ processes. Finally, we analyze the numerical impact in partonic scattering processes for $t\bar{t}$ production, including a treatment of the Sommerfeld enhancement observed near threshold.

hep-ph↗

EFECT: A Method to Quantify the Reproducibility of Stochastic Simulations

Reproducibility is a fundamental requirement for validating scientific claims in computational research. Stochastic computational models are widely used in fields such as systems biology, financial modeling and environmental sciences. However, achieving reproducibility in stochastic simulations remains challenging, as each run can produce different outcomes. Existing infrastructure and software tools do not address independent reproduction of simulation results. Without independent reproducibility, results and conclusions lack credibility, as it remains unclear whether observed findings reflect model behavior or are artifacts of stochastic variation or an underpowered study. To bridge this gap, we introduce the Empirical Characteristic Function Equality Convergence Test (EFECT), a data-driven method to quantify the reproducibility of stochastic simulation results. EFECT employs empirical characteristic functions to compare reported results with those independently generated by assessing distributional inequality, termed EFECT error. Additionally, we establish the EFECT convergence point, a quantitative metric for determining the required number of simulation runs to achieve an EFECT error value of a priori significance. EFECT is applicable to all bounded, real-valued outputs, regardless of the model type or simulation method that produced them. We tested EFECT with over 40 use cases to demonstrate its broad applicability and effectiveness. EFECT standardizes stochastic simulation reproducibility, establishing a workflow that guarantees reliable results, supporting a wide range of stakeholders, and thereby enhancing validation of stochastic simulation studies, across a model's lifecycle. To promote standardization, we are developing the open-source software library libSSR in multiple programming languages for easy integration of EFECT.

stat.ME↗

Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks

The ubiquity of deep learning algorithms in various applications has amplified the need for assuring their robustness against small input perturbations such as those occurring in adversarial attacks. Existing complete verification techniques offer provable guarantees for all robustness queries but struggle to scale beyond small neural networks. To overcome this computational intractability, incomplete verification methods often rely on convex relaxation to over-approximate the nonlinearities in neural networks. Progress in tighter approximations has been achieved for piecewise linear functions. However, robustness verification of neural networks for general activation functions (e.g., Sigmoid, Tanh) remains under-explored and poses new challenges. Typically, these networks are verified using convex relaxation techniques, which involve computing linear upper and lower bounds of the nonlinear activation functions. In this work, we propose a novel parameter search method to improve the quality of these linear approximations. Specifically, we show that using a simple search method, carefully adapted to the given verification problem through state-of-the-art algorithm configuration techniques, improves the average global lower bound by 25% on average over the current state of the art on several commonly used local robustness verification benchmarks.

cs.LG↗

The Inverted Pendulum as a Classical Analog of the EFT Paradigm

The inverted pendulum is a mechanical system with a rapidly oscillating pivot point. Using techniques similar in spirit to the methodology of effective field theories, we derive an effective Lagrangian that allows for the systematic computation of corrections to the so-called Kapitza equation. The derivation of the effective potential of the system requires non-trivial matching conditions, which need to be determined order by order in the power-counting of the problem. The convergence behavior of the series is investigated on the basis of high-order results obtained by this method.

hep-ph↗

Computing Tools for Effective Field Theories

In recent years, theoretical and phenomenological studies with effective field theories have become a trending and prolific line of research in the field of high-energy physics. In order to discuss present and future prospects concerning automated tools in this field, the SMEFT-Tools 2022 workshop was held at the University of Zurich from 14th-16th September 2022. The current document collects and summarizes the content of this workshop.

hep-ph↗

A Proof of Concept for Matchete: An Automated Tool for Matching Effective Theories

Studying the impact of new-physics models on low-energy observables necessitates matching to effective field theories at the relevant mass thresholds. We introduce the first public version of Matchete, a computer tool for matching weakly-coupled models at one-loop order. It uses functional methods to directly compute all matching contributions in a manifestly gauge-covariant manner, while simplification methods eliminate redundant operators from the output. We sketch the workings of the program and provide examples of how to match simple Standard Model extensions. The package, documentation, and example notebooks are publicly available at https://gitlab.com/matchete/matchete.

hep-ph↗

Evanescent Operators in One-Loop Matching Computations

Effective Field Theory calculations used in countless phenomenological analyses employ dimensional regularization, and at intermediate stages of computations, the operator bases extend beyond the four-dimensional ones. The extra pieces -- the evanescent operators -- can ultimately be removed with a suitable renormalization scheme, resulting in a finite shift of the physical operators. Modern Effective Field Theory matching techniques relying on the method of expansion by regions have to be extended to account for this. After illustrating the importance of these shifts in two specific examples, we compute the finite shifts required to remove all evanescent operators appearing in the one-loop matching of generic ultraviolet theories to the Standard Model Effective Field Theory and elucidate the formalism for generic Effective Field Theory calculations.

hep-ph↗

Rediscovering Argumentation Principles Utilizing Collective Attacks

Argumentation Frameworks (AFs) are a key formalism in AI research. Their semantics have been investigated in terms of principles, which define characteristic properties in order to deliver guidance for analysing established and developing new semantics. Because of the simple structure of AFs, many desired properties hold almost trivially, at the same time hiding interesting concepts behind syntactic notions. We extend the principle-based approach to Argumentation Frameworks with Collective Attacks (SETAFs) and provide a comprehensive overview of common principles for their semantics. Our analysis shows that investigating principles based on decomposing the given SETAF (e.g. directionality or SCC-recursiveness) poses additional challenges in comparison to usual AFs. We introduce the notion of the reduct as well as the modularization principle for SETAFs which will prove beneficial for this kind of investigation. We then demonstrate how our findings can be utilized for incremental computation of extensions and give a novel parameterized tractability result for verifying preferred extensions.

cs.AI↗

BioSimulators: a central registry of simulation engines and services for recommending specific tools

Computational models have great potential to accelerate bioscience, bioengineering, and medicine. However, it remains challenging to reproduce and reuse simulations, in part, because the numerous formats and methods for simulating various subsystems and scales remain siloed by different software tools. For example, each tool must be executed through a distinct interface. To help investigators find and use simulation tools, we developed BioSimulators (https://biosimulators.org), a central registry of the capabilities of simulation tools and consistent Python, command-line, and containerized interfaces to each version of each tool. The foundation of BioSimulators is standards, such as CellML, SBML, SED-ML, and the COMBINE archive format, and validation tools for simulation projects and simulation tools that ensure these standards are used consistently. To help modelers find tools for particular projects, we have also used the registry to develop recommendation services. We anticipate that BioSimulators will help modelers exchange, reproduce, and combine simulations.

q-bio.QM↗

libRoadRunner 2.0: A High-Performance SBML Simulation and Analysis Library

Motivation: This paper presents libRoadRunner 2.0, an extensible, high-performance, cross-platform, open-source software library for the simulation and analysis of models expressed using Systems Biology Markup Language SBML). Results: libRoadRunner is a self-contained library, able to run both as a component inside other tools via its C++ and C bindings, and interactively through its Python or Julia interface. libRoadRunner uses a custom Just-In-Time JIT compiler built on the widely-used LLVM JIT compiler framework. It compiles SBML-specified models directly into native machine code for a large variety of processors, making it appropriate for solving extremely large models or repeated runs. libRoadRunner is flexible, supporting the bulk of the SBML specification (except for delay and nonlinear algebraic equations) and including several SBML extensions such as composition and distributions. It offers multiple deterministic and stochastic integrators, as well as tools for steady-state, sensitivity, stability analysis, and structural analysis of the stoichiometric matrix. Availability: libRoadRunner binary distributions are available for Mac OS X, Linux, and Windows. The library is licensed under the Apache License Version 2.0. libRoadRunner is also available for ARM-based computers such as the Raspberry Pi and can in principle be compiled on any system supported by LLVM-13. http://sys-bio.github.io/roadrunner/index.html provides online documentation, full build instructions, binaries, and a git source repository.

q-bio.QM↗

Aspartix-V21

In this solver description we present ASPARTIX-V, in its 2021 edition, which participates in the International Competition on Computational Models of Argumentation (ICCMA) 2021. ASPARTIX-V is capable of solving all classical (static) reasoning tasks part of ICCMA'21 and extends the ASPARTIX system suite by incorporation of recent ASP language constructs (e.g. conditional literals), domain heuristics within ASP, and multi-shot methods. In this light ASPARTIX-V deviates from the traditional focus of ASPARTIX on monolithic approaches (i.e., one-shot solving via a single ASP encoding) to further enhance performance.

cs.AI↗

SuperTracer: A Calculator of Functional Supertraces for One-Loop EFT Matching

We present SuperTracer, a Mathematica package aimed at facilitating the functional matching procedure for generic UV models. This package automates the most tedious parts of one-loop functional matching computations. Namely, the determination and evaluation of all relevant supertraces, including loop integration and Dirac algebra manipulations. The current version of SuperTracer also contains a limited set of output simplifications. However, a further reduction of the output to a minimal basis using Fierz identities, integration by parts, simplification of Dirac structures, and/or light field redefinitions might still be necessary. The code and example notebooks are publicly available at https://gitlab.com/supertracer/supertracer.

hep-ph↗

SED-ML Validator: tool for debugging simulation experiments

Summary: More sophisticated models are needed to address problems in bioscience, synthetic biology, and precision medicine. To help facilitate the collaboration needed for such models, the community developed the Simulation Experiment Description Markup Language (SED-ML), a common format for describing simulations. However, the utility of SED-ML has been hampered by limited support for SED-ML among modeling software tools and by different interpretations of SED-ML among the tools that support the format. To help modelers debug their simulations and to push the community to use SED-ML consistently, we developed a tool for validating SED-ML files. We have used the validator to correct the official SED-ML example files. We plan to use the validator to correct the files in the BioModels database so that they can be simulated. We anticipate that the validator will be a valuable tool for developing more predictive simulations and that the validator will help increase the adoption and interoperability of SED-ML. Availability: The validator is freely available as a webform, HTTP API, command-line program, and Python package at https://run.biosimulations.org/utils/validate and https://pypi.org/project/biosimulators-utils. The validator is also embedded into interfaces to 11 simulation tools. The source code is openly available as described in the Supplementary data. Contact: karr@mssm.edu

q-bio.QM↗

Effective Field Theory after a New-Physics Discovery

When a new heavy particle is discovered at the LHC or at a future high-energy collider, it will be interesting to study its decays into Standard Model particles using an effective field-theory framework. We point out that the proper effective theory can not be constructed as an expansion in local, higher-dimensional operators; rather, it must be based on non-local operators defined in soft-collinear effective theory (SCET). For the interesting case where the new resonance is a gauge-singlet spin-0 boson, which is the first member of a new sector governed by a mass scale $M$, we show how a consistent scale separation between $M$ and the electroweak scale $v$ is achieved up to next-to-next-to-leading order in the expansion parameter $λ\sim v/M$. The Wilson coefficients in the effective Lagrangian depend in a non-trivial way on the mass of the new resonance and the masses of yet undiscovered heavy particles. Large logarithms of the ratio $M/v$ can be systematically resummed using the renormalization group. We develop a SCET toolbox, with which it is straightforward to construct the relevant effective Lagrangians for new heavy particles with other charges and spin.

hep-ph↗

The LFU Ratio $R_π$ in the Standard Model and Beyond

We discuss the possibility of performing precise tests of $μ/e$ universality in $B \toπ\ell^+\ell^-$ decays. We show that in wide regions of the dilepton invariant mass spectrum the ratio between muonic and electronic decay widths can be predicted with high accuracy, both within and beyond the Standard Model. We present numerical expressions which can be used to extract precise information on short-distance dynamics if a deviation from universality is observed in the data.

hep-ph↗