Related papers: Combinatorial principles equivalent to weak induct…
The existence of a mass gap between the Standard Model (SM) and possible new states encourages us to use effective field theories. Here we follow the non-linear realization of the electroweak symmetry breaking: the electroweak effective…
Narrow resonances in systems with short-range interactions are discussed in an effective field theory (EFT) framework. An effective Lagrangian is formulated in the form of a combined expansion in powers of a momentum Q << Lambda--a…
An efficient entailment proof system is essential to compositional verification using separation logic. Unfortunately, existing decision procedures are either inexpressive or inefficient. For example, Smallfoot is an efficient procedure but…
The effective-field-theory (EFT) approach to the clustering of galaxies and other biased tracers allows for an isolation of the cosmological information that is protected by symmetries, in particular the equivalence principle, and thus is…
We construct an effective field theory (EFT) description of the hard photon spectrum for heavy WIMP annihilation. This facilitates precision predictions relevant for line searches, and allows the incorporation of non-trivial energy…
Simpson and the second author asked whether there exists a characterization of the natural numbers by a second-order sentence which is provably categorical in the theory RCA$^*_0$. We answer in the negative, showing that for any…
We construct a generalized linear sigma model as an effective field theory (EFT) to describe nearly conformal gauge theories at low energies. The work is motivated by recent lattice studies of gauge theories near the conformal window, which…
We searched for violations of the weak equivalence principle using a cryogenic torsion balance with a pendulum comprised of superconducting niobium and copper. We constrain the E\"otv\"os parameter with 95%-confidence to…
The aim of this article is to refine a weak invariance principle for stationary sequences given by Doukhan & Louhichi (1999). Since our conditions are not causal our assumptions need to be stronger than the mixing and causal $\theta$-weak…
Let $T_1$, $T_2$ be two Calder\'on-Zygmund operators and $T_{1,\,b}$ be the commutator of $T_1$ with symbol $b\in {\rm BMO}(\mathbb{R}^n)$. In this paper, the author prove that, the composite operator $T_1T_2$ satisfies the following…
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.…
Postulating an impredicative universe in dependent type theory allows System F style encodings of finitary inductive types, but these fail to satisfy the relevant {\eta}-equalities and consequently do not admit dependent eliminators. To…
An inductive inference system for proving validity of formulas in the initial algebra $T_{\mathcal{E}}$ of an order-sorted equational theory $\mathcal{E}$ is presented. It has 20 inference rules, but only 9 of them require user interaction;…
This paper uses the framework of reverse mathematics to investigate the strength of two recurrence theorems of topological dynamics. It establishes that one of these theorems, the existence of an almost periodic point, lies strictly between…
We extend the classical Feferman-Vaught theorem to logic for metric structures. This implies that the reduced powers of elementarily equivalent structures are elementarily equivalent, and therefore they are isomorphic under the Continuum…
This paper continues the author's previous study \cite{Kura20}, showing that several weak principles inspired by non-normal modal logic suffice to derive various refined forms of the second incompleteness theorem. Among the main results of…
Walsh [MR4525964, Zbl 1569.03151] has shown that comparing proof-theoretic ordinals is equivalent to comparing $\Pi^1_1$-consequence comparison and $\Pi^1_1$-reflection comparison, all modulo true $\Sigma^1_1$-sentences. In this paper, we…
We use effective field theory to compute the influence of nuclear structure on precision calculations of atomic energy levels. As usual, the EFT's effective couplings correspond to the various nuclear properties (such as the charge radius,…
Weighted labelled transition systems are LTSs whose transitions are given weights drawn from a commutative monoid. WLTSs subsume a wide range of LTSs, providing a general notion of strong (weighted) bisimulation. In this paper we extend…
We revisit Kapranov and Voevodsky's idea of spaces modelled on combinatorial pasting diagrams, now as a framework for higher-dimensional rewriting and the basis of a model of weak omega-categories. In the first part, we elaborate on…