Related papers: Infinitary Combinatory Reduction Systems: Confluen…
Z. Zhou et al. proved that in a Teichm\"uller equivalence class, there exists an extremal quasiconformal mapping with a weakly non-decreasable dilatation. In this paper, we prove that in an infinitesimal equivalence class, there exists a…
Higher-dimensional rewriting systems are tools to analyse the structure of formally reducing terms to normal forms, as well as comparing the different reduction paths that lead to those normal forms. This higher structure can be captured by…
The present work constitutes the third installment in a series of investigations devoted to discrete conformal structures on surfaces with boundary. In our preceding works \cite{X-Z DCS1, X-Z DCS2}, we established, respectively, a…
We present the analytic integration of the iterated single-unresolved subtraction terms in the extension of the CoLoRFulNNLO subtraction scheme to color-singlet production in hadron collisions. We exploit the fact that, in this scheme,…
We study the regularity of infinitesimal CR automorphisms of abstract CR structures which possess a certain microlocal extension and show that there are smooth multipliers, completely determined by the CR structure, such that if $X$ is such…
We investigate self-similar solutions to the inverse mean curvature flow in Euclidean space. In the case of one dimensional planar solitons, we explicitly classify all homothetic solitons and translators. Generalizing Andrews' theorem that…
Indexing highly repetitive collections has become a relevant problem with the emergence of large repositories of versioned documents, among other applications. These collections may reach huge sizes, but are formed mostly of documents that…
The main result of the paper is that a system of invariant subspaces of a (completely non-unitary) Hilbert space contraction $T$ with finite defects (rank$(I-T^*T)<\infty$, rank$(I-TT^*)<\infty$) is an unconditional basis (Riesz basis) if…
This article is an exposition of recent results on self-similar sets, asserting that if the dimension is smaller than the trivial upper bound then there are almost overlaps between cylinders. We give a heuristic derivation of the theorem…
In the recent application of scientific modeling, machine learning models are largely applied to facilitate computational simulations of fluid systems. Rotation symmetry is a general property for most symmetric fluid systems. However, in…
I show that under certain conditions it is possible to define consistent irrelevant deformations of interacting conformal field theories. The deformations are finite or have a unique running scale ("quasi-finite"). They are made of an…
Confluence denotes the property of a state transition system that states can be rewritten in more than one way yielding the same result. Although it is a desirable property, confluence is often too strict in practical applications because…
We can associate with any irreducible curve singularity (ics) a numerical semigroup. Two ics are said to be equisingular if they have the same semigroup. Two equisingular ics have the same Milnor number. Conversely, The set of ics with a…
Infinite types and formulas are known to have really curious and unsound behaviors. For instance, they allow to type {\Omega}, the auto- autoapplication and they thus do not ensure any form of normalization/productivity. Moreover, in most…
We present a typing system with non-idempotent intersection types, typing a term syntax covering three different calculi: the pure {\lambda}-calculus, the calculus with explicit substitutions {\lambda}S, and the calculus with explicit…
We introduce the notion of semigroup with a tight ideal series and investigate their closures in semitopological semigroups, particularly inverse semigroups with continuous inversion. As a corollary we show that the symmetric inverse…
A finite subgroup of $GL(n,\mathbb C)$ is involutory if the sum of the dimensions of its irreducible complex representations is given by the number of absolute involutions in the group. A uniform combinatorial model is constructed for all…
We consider isometric immersions of complete connected Riemannian manifolds into space forms of nonzero constant curvature. We prove that if such an immersion is compact and has semi-definite second fundamental form, then it is an embedding…
Connecting orbits are important invariant structures in the state space of nonlinear systems and various techniques are designed for their computation. However, a uniform analytic approximation of the whole orbit seems rare. Here, based on…
We introduce the concept of F-decomposable systems, well-ordered inverse systems of Hausdorff compacta with fully closed bonding mappings. A continuous mapping between Hausdorff compacta is called fully closed if the intersection of the…