相关论文: Cut-elimination for the mu-calculus with one varia…

We present a program that implements the OPP reduction method to extract the coefficients of the one-loop scalar integrals from a user defined (sub)-amplitude or Feynman Diagram, as well as the rational terms coming from the 4-dimensional…

Guided by the theory of graph limits, we investigate a variant of the cut metric for limit objects of sequences of discrete probability distributions. Apart from establishing basic results, we introduce a natural operation called {\em…

We assume some standard choices for the branch cuts of a group of functions and consider the problem of then calculating the branch cuts of expressions involving those functions. Typical examples include the addition formulae for inverse…

This paper investigates first-order game logic and first-order modal mu-calculus, which extend their propositional modal logic counterparts with first-order modalities of interpreted effects such as variable assignments. Unlike in the…

We present a subtraction scheme for eliminating the ultraviolet, soft, and collinear divergences in the numerical calculation of an arbitrary one-loop QCD amplitude with an arbitrary number of external legs. The subtractions consist of…

The use of complex analysis for computing one-loop scattering amplitudes is naturally induced by generalised unitarity-cut conditions, fulfilled by complex values of the loop variable. We report on two techniques: the cut-integration with…

We uncover a method of calculation that proceeds at every step without fixing the gauge or specifying details of the regularisation scheme. Results are obtained by iterated use of integration by parts and gauge invariance identities. The…

This paper proposes a basic proof theoretic framework for major modal logics: {\sf S5} and some of its subsystems. The framework is based on a version of hypersequent calculus, and the basic modal systems we handle here are the system {\sf…

In this paper we present a mathematical formulation for the omega invariant of a numerical semigroup for each of its minimal generators. The model consists of solving a problem of optimizing a linear function over the efficient set of a…

In this article, we study in detail the modified topological recursion of the one matrix model for arbitrary $\beta$ in the one cut case. We show that for polynomial potentials, the recursion can be computed as a sum of residues. However…

Let $\Omega$ be an open set in $\mathbb{R}^n$ with $C^1$-boundary and $\Sigma$ be the skeleton of $\Omega$, which consists of points where the distance function to $\partial\Omega$ is not differentiable. This paper characterizes the cut…

Within the framework of the Exact Renormalization Group, a manifestly gauge invariant calculus is constructed for SU(N) Yang-Mills. The methodology is comprehensively illustrated with a proof, to all orders in perturbation theory, that the…

We introduce a new notion of structural refinement, a sound abstraction of logical implication, for the modal nu-calculus. Using new translations between the modal nu-calculus and disjunctive modal transition systems, we show that these two…

We consider the problem of query-efficient global max-cut on a weighted undirected graph in the value oracle model examined by [RSW18]. Graph algorithms in this cut query model and other query models have recently been studied for various…

The coalgebraic approach to modal logic provides a uniform framework that captures the semantics of a large class of structurally different modal logics, including e.g. graded and probabilistic modal logics and coalition logic. In this…

Let $R$ be an o-minimal expansion of a group in a language in which $\textrm{Th}(R)$ eliminates quantifiers, and let $C$ be a predicate for a valuational cut in $R$. We identify a condition that implies quantifier elimination for…

In the paper we study the Yang-Mills effective action in the four-dimensional space-time by using background field formalism. We give an explicit way of cutoff regularization procedure, then do a two-loop renormalization and calculate a…

Recently an efficient numerical method has been developed to implement the constraints of crossing symmetry and unitarity on the operator dimensions and OPE coefficients of conformal field theories (CFT) in diverse space-time dimensions. It…

We compare form factors in sine-Gordon theory, obtained via the bootstrap, to finite volume matrix elements computed using the truncated conformal space approach. For breather form factors, this is essentially a straightforward application…

The determination of renormalization factors is of crucial importance. They relate the observables obtained on finite, discrete lattices to their measured counterparts in the continuum in a suitable renormalization scheme. Therefore, they…