相关论文: Cut-elimination for the mu-calculus with one varia…
The theory of slice regular functions is nowadays widely studied and has found its elegant applications to a functional calculus for quaternionic linear operators and Schur analysis. However, much less is known about their boundary…
We show how the exact renormalization group for the effective action with a sharp momentum cutoff, may be organised by expanding one-particle irreducible parts in terms of homogeneous functions of momenta of integer degree (Taylor…
For every positive integer k we consider the class SCCk of all finite graphs whose strongly connected components have size at most k. We show that for every k, the Modal mu-Calculus fixpoint hierarchy on SCCk collapses to the level Delta2,…
In these lectures we give an introduction to the reduction theory of binary forms starting with quadratic forms with real coefficients, Hermitian forms, and then define the Julia quadratic for any degree $n$ binary form. A survey of a…
We present a cut finite element method (CutFEM) for the Laplace--Beltrami equation on a smooth closed curve $\Gamma\subset\mathbb{R}^2$ coupled to a harmonic bulk problem in $\Omega$ that requires \emph{no explicit stabilization}: no ghost…
Whitney's broken circuit theorem gives a graphical example to reduce the number of the terms in the sum of the inclusion-exclusion formula by a predicted cancellation. So far, the known cancellations for the formula strongly depend on the…
This article establishes cutoff convergence or abrupt convergence of three statistical quantities for multivariate (Hurwitz) stable geometric Brownian motion: the autocorrelation function, the Wasserstein distance between the current state…
We study Milner's lambda-calculus with partial substitutions. Particularly, we show confluence on terms and metaterms, preservation of \b{eta}-strong normalisation and characterisation of strongly normalisable terms via an intersection…
By precisely writing down the matrix element of the local Boltzmann operator, we have proposed a new path integral formulation for quantum field theory and developed a corresponding Monte Carlo algorithm. With current formula, the…
The radiative correction to beta function is comprehensively studied at 1 loop in the context of universal extra dimensions. Instead of using cutoffs to regularize 1-loop divergences, the dimensional regularization scheme is used. Large…
This study builds on a recent paper by Lai et al [Appl. Comput. Harmon. Anal., 2018] in which a novel boundary integral formulation is presented for scalar wave scattering analysis in two-dimensional layered and half-spaces. The seminal…
We present a sequent calculus for the Grzegorczyk modal logic Grz allowing cyclic and other non-well-founded proofs and obtain the cut-elimination theorem for it by constructing a continuous cut-elimination mapping acting on these proofs.…
We study an expressive model of timed pushdown automata extended with modular and fractional clock constraints. We show that the binary reachability relation is effectively expressible in hybrid linear arithmetic with a rational and an…
This paper revisits the modal truncation from an optimisation point of view. In particular, the concept of dominant poles is formulated with respect to different systems norms as the solution of the associated optimal modal truncation…
In enlarging the field content of pure Yang-Mills theory to a cutoff dependent matrix valued complex scalar field, we construct a vectorial operator, which is by definition invariant with respect to the gauge transformation of the…
We prove norm estimates for multilinear fractional integrals acting on weighted and variable Hardy spaces. In the weighted case we develop ideas we used for multilinear singular integrals [7]. For the variable exponent case, a key element…
Wu's positive $\lambda$-calculus is a recent call-by-value $\lambda$-calculus with sharing coming from Miller and Wu's study of the proof-theoretical concept of focalization. Accattoli and Wu showed that it simplifies a technical aspect of…
It has been observed independently by many researchers that the isolating cut lemma of Li and Panigrahi [FOCS 2020] can be easily extended to obtain new algorithms for finding the non-trivial minimizer of a symmetric submodular function and…
Auxiliary field quantum Monte Carlo methods for Hubbard models are generally based on a Hubbard-Stratonovitch transformation where the field couples to the z-component of the spin. This transformation breaks SU(2) spin invariance. The…
In two-dimensional Lipschitz domains, we analyze a Brinkman--Darcy--Forchheimer problem on the weighted spaces $\mathbf{H}_0^1(\omega,\Omega) \times L^2(\omega,\Omega)/\mathbb{R}$, where $\omega$ belongs to the Muckenhoupt class $A_2$.…